R3-[Q-Shape] - Research
Foundations of Qualitative Spatial Reasoning
Qualitative Spatial Calculi
- Doublecross Calculus
- Oriented Point Relation Algebra (OPRA)
- Ternary Point Configuration Calculus (TPCC)
- Dipole Relation Algebra
- Granular Point Configuration Calculus (SFB Technical Report)
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
