Pages that link to "Item:Q5941063"
From MaRDI portal
The following pages link to A relation-algebraic approach to the region connection calculus (Q5941063):
Displayed 26 items.
- On standard models of fuzzy region connection calculus (Q433513) (← links)
- Region connection calculus: Its models and composition table (Q814446) (← links)
- Composing cardinal direction relations (Q814537) (← links)
- The complexity of constraint satisfaction problems for small relation algebras (Q814599) (← links)
- Generalized region connection calculus (Q814636) (← links)
- On the complemented disk algebra (Q817585) (← links)
- On topological consistency and realization (Q850454) (← links)
- On redundant topological constraints (Q891795) (← links)
- Reasoning about cardinal directions between extended objects (Q991028) (← links)
- New work for Carnap's quasi-analysis (Q1025577) (← links)
- Boolean connection algebras: A new approach to the Region-Connection Calculus (Q1583514) (← links)
- Combining topological and size information for spatial reasoning (Q1605277) (← links)
- Algebraic foundations for qualitative calculi and networks (Q1733063) (← links)
- Constants and finite unary relations in qualitative constraint reasoning (Q1749385) (← links)
- Relation algebras and their application in temporal and spatial reasoning (Q1781107) (← links)
- Remarks on contact relations on Boolean algebras (Q1935013) (← links)
- Contact join-semilattices (Q2082255) (← links)
- Spatial reasoning about qualitative shape compositions. Composing qualitative lengths and angles (Q2188781) (← links)
- RCC8 binary constraint network can be consistently extended (Q2457645) (← links)
- A representation theorem for Boolean contact algebras (Q2581369) (← links)
- Evolution of Region Connection Calculus to VRCC-3D+ (Q2815559) (← links)
- REASONING WITH TOPOLOGICAL AND DIRECTIONAL SPATIAL INFORMATION (Q2857285) (← links)
- FULL MEREOGEOMETRIES (Q3066777) (← links)
- Relational proof systems for spatial reasoning ★ (Q3647246) (← links)
- A Logic of East and West (Q5881809) (← links)
- Spatial relations between indeterminate regions (Q5944534) (← links)