Research Interests:

  • Computational Logic

  • (Multi-) Agent Reasoning

  • Knowledge Representation

  • Deductive Databases

  • Nonmonotonic Reasoning

  • (Disjunctive) Logic Programming