The following pages link to (Q3493315):
Displaying 15 items.
- A condensed semantics for qualitative spatial reasoning about oriented straight line segments (Q420800) (← links)
- Region connection calculus: Its models and composition table (Q814446) (← links)
- Generalized region connection calculus (Q814636) (← links)
- On topological consistency and realization (Q850454) (← links)
- A uniform representation for time and space and their mutual constraints (Q1202659) (← links)
- Exploiting lattices in a theory of space and time (Q1202661) (← links)
- Completing sort hierarchies (Q1202662) (← links)
- Topological queries in spatial databases (Q1305920) (← links)
- Mereotopological connection (Q1402583) (← links)
- Boolean connection algebras: A new approach to the Region-Connection Calculus (Q1583514) (← links)
- RCC8 binary constraint network can be consistently extended (Q2457645) (← links)
- Mereocompactness and Duality for Mereotopological Spaces (Q3305432) (← links)
- Carving Up space: Steps towards construction of an absolutely complete theory of spatial regions (Q5236444) (← links)
- Spatial relations between indeterminate regions (Q5944534) (← links)
- On some meta-theoretic topological features of the region connection calculus (Q6535325) (← links)