Skip to main content

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


John Stell

Senior Lecturer, Group Leader.

Vania Dimitrova

Associate Professor

Olaf Beyersdorff

Visiting Professor of Computational Logic

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.