Knowledge Representation and Reasoning

A long standing interest of the Knowledge Representation and Reasoning (KRR) Group is Qualitative Spatial Representation and Reasoning (QSR), for which the group is well known, in particular for the Region Connection Calculus (RCC). The group collaborates with the computer vision group on applying QSR as a representation in activity recognition. Other applications of QSR include geographical information science, robotics, and as a semantics for  spatial expressions in natural language.

Other areas of interest in the KRR group include ontologies, decision support systems, the representation of vagueness, and modal logics.

Who we are

Professor of Automated Reasoning
More
Senior Lecturer, Group Leader.
More
Associate Professor
More
Visiting Professor of Computational Logic
More
PhD Student
2:1
Research Fellow
Research Fellow

Research Areas

The KRR group has collaborated with the Computer Vision group since the mid-90s in using qualitative spatio-temporal representations for representing, learning and analysing activities in video. More information can be found in the Computer Vision group page.
More