R4-[LogoSpace] - Overview

Constraint-Based Reasoning in Qualitative Spatio-Temporal Calculi


The project R4-[LogoSpace] is concerned with constraint-based formalisms that allow for representing, and reasoning about, spatial and temporal information. The aim of the project is to develop such formalisms and to analyze the computational properties of reasoning services in these formalisms.

One of the current central project goals is to develop advanced computational techniques for spatial and spatio-temporal constraint satisfaction by adapting techniques from the finite CSP and SAT domains. A second focus of the project is to apply these techniques in practice, in particular, on reasoning tasks in domains such as spatial planning, human-machine interaction, and GIS.