Knowledge Representation and Reasoning

KRR is a research group based in Computer Science at the University of Cape Town. The group works on various aspects of Knowledge Representation and Reasoning. At present our focus is on belief change, defeasible reasoning, and other forms of non-monotonic and non-classical reasoning.

We are always looking for good postgraduate students to join the group. If you have an interest in logic-based Artificial Intelligence, please contact Prof Tommie Meyer at Details about postgraduate admission in Computer Science at UCT can be found here:

  • CSIR
  • DSI
  • Covid-19