- 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.