Projects
Projects
People and projects related to qualitative reasoning
SFB/TR8 R3-[Q-Shape]
The projects goal is the development of qualitative high-level representation and reasoning methods for cognitive agents operating in a spatial environment and communicating about space.
SFB/TR8 R4-[LogoSpace]
The project focuses on constraint-based reasoning in qualitative spatio-temporal calculi. Amongst other things the aim is to develop qualitative spatio-temporal calculi including an analysis of their logical properties such as decidability and computational complexity.
