- Head of the Institute of Information Systems
- Head of the Knowledge Based Systems Group
Research Interests
knowledge representation and reasoning, computational logic, algorithms and complexity in AI, declarative problem solving, nonmonotonic logic programming and databases, reasoning about actions and change, intelligent agents, logic in computer science