Research Interests:

• Computational Logic


• (Multi-) Agent Reasoning


• Knowledge Representation


• Deductive Databases


• Nonmonotonic Reasoning


• (Disjunctive) Logic Programming