Professor of Artificial Intelligence (Intelligent Systems Group), Department of Computer Science, Technical University of Cluj-Napoca.

Current work involves research on logic, natural language understanding, ontology engineering, deductive social games.

More recently, research has focused on:
1) modelling puzzles in first order logic;
2) designing deduction games for teaching logic;
 

Previous research interests lie in the areas of non-monotonic logics, legal reasoning, safety assurance of software systems by means of argumentation, description logics, and their applications in artificial intelligence.

Topics for interested students: Modelling in First Order Logic, Explainable AI, Ontologies and reasoning, Knowledge graphs, Epistemic reasoning, Natural Language Understanding

Професор штучного інтелекту (група інтелектуальних систем), факультет комп'ютерних наук, Технічний університет Клуж-Напока.

Поточна робота включає дослідження в галузі логіки, розуміння природної мови, інженерії онтологій, дедуктивних соціальних ігор.

Останнім часом дослідження були зосереджені на:
1) моделювання головоломок в логіці першого порядку;
2) розробці дедуктивних ігор для навчання логіки;
 

Попередні наукові інтереси лежать в області немонотонних логік, забезпечення безпеки програмних систем за допомогою аргументації, логіки опису та їх застосування в штучному інтелекті.

Теми для зацікавлених студентів: Моделювання в логіці першого порядку, пояснювальний ШІ, онтології та міркування, графи знань, епістемічні міркування, розуміння природної мови.

https://users.utcluj.ro/~agroza/