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
Senior Lecturer, Group Leader.
Visiting Professor of Computational Logic
Kareem Al Ammari
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.