The field of knowledge representation and reasoning is concerned with systems for automated reasoning in the context of artificial intelligence.

Our focus in particular is on:

• defeasible and inductive reasoning
• argumentation
• qualitative spatial reasoning
• epistemic reasoning
• knowledge acquisition.

Priority area leader