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
Anthony (Tony) Cohn
Professor of Automated Reasoning
Brandon Bennett
Lecturer
John Stell
Senior Lecturer, Group Leader.
Vania Dimitrova
Associate Professor
Olaf Beyersdorff
Visiting Professor of Computational Logic
Lucía Gómez Álvarez
PhD Student
Adam Richard-Bollans
PhD Student
Paul Brown
PhD Student
Lijun Wei
Research Fellow
Kareem Al Ammari
Research Fellow
Research Areas
Qualitative Spatial Representations for Activity Recognition
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.