R3-[Q-Shape] - Research

Foundations of Qualitative Spatial Reasoning

Qualitative Spatial Calculi

 

Complexity of Ternary Constraint Reasoning Algorithms

We investigate several algorithms for reasoning with ternary relation systems with respect to their complexity and properties of the obtained result.

 

Basic Definitions for Qualitative Spatial Reasoning