Home » Research » Research » Knowledge Representation and Reasoning

Knowledge Representation and Reasoning

KRR is a research group based at UCT under Tommie Meyer focusing on reasoning in propositional and description logics. We 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: