I am a 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, my 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
Departamentul de Calculatoare
Universitatea Tehnica din Cluj-Napoca
Dept. of Computer Science
Technical University of Cluj-Napoca