ΕΠΙΚΟΥΡΟΣ ΚΑΘΗΓΗΤΗΣ με θητεία

Αναπαράσταση γνώσης και λογική στην Τεχνητή Νοημοσύνη. Βασικές αρχές και τυποποιημένες μέθοδοι κωδικοποίησης της γνώσης σε υπολογιστικά συστήματα, ώστε να διευκολύνεται η επίλυση προβλημάτων, η εξαγωγή συμπερασμάτων και ο αυτόματος συλλογισμός. Περιλαμβάνει δε: Τυπική Λογική (Formal Logic), Μη-μονοτονική Λογική (Non-monotonic Logic), Περιγραφική Λογική (Description Logic), Τροπική και Χρονική Λογική (Modal and Temporal Logic), Θεωρία Μοντέλων (Model Theory), Θεωρία Αποδείξεων (Proof Theory), Προεπιλεγμένη Συλλογιστική (Default Reasoning), Αναθεώρηση Πεποιθήσεων (Belief Revision), Αυτοματοποιημένη Συλλογιστική (Automated Reasoning), Λογικός Προγραμματισμός (Logic Programming), Προγραμματισμός Συνόλου Απαντήσεων (Answer Set Programming), Ασαφής (Fuzzy), Πιθανοτική (Probabilistic), Πολυμεταβλητή (Multivalued) Λογική, Σημασιολογικά Δίκτυα (Semantic Networks), Ανακάλυψη Γνώσης (Knowledge Discovery), Αναπαράσταση Γνώσης (Knowledge Representation), Σημασιολογία (Semantics), Νευρω-συμβολική Αναπαράσταση (Neuro-symbolic Representation), Μοντέλα Επεξηγήσιμης Τεχνητής Νοημοσύνης (Explainable Artificial Intelligence Models).