Home » Research » Research » Knowledge Representation and Reasoning

Knowledge Representation and Reasoning

KRR is a research group within the Centre for Artificial Intelligence Research focusing on modelling and reasoning with formal ontologies based on description logics. We also conduct research on the following related aspects of knowledge representation and reasoning:

  • belief revision;
  • cognitive robotics;
  • constraint solving;
  • information integration;
  • nonmonotonic and non-classical reasoning;
  • ontology construction;
  • reasoning about actions.
CAIR node: