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.
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.