Pages that link to "Item:Q1141642"
From MaRDI portal
The following pages link to A calculus of individuals based on 'connection' (Q1141642):
Displayed 41 items.
- Reasoning about visibility (Q420853) (← links)
- A semi-dynamical approach for solving qualitative spatial constraint satisfaction problems (Q441879) (← links)
- Two-dimensional fuzzy spatial relations: a new way of computing and representation (Q446365) (← links)
- Spatial reasoning with \(\mathcal{RCC} 8\) and connectedness constraints in Euclidean spaces (Q464617) (← links)
- Generalized region connection calculus (Q814636) (← links)
- Stonian p-ortholattices: a new approach to the mereotopology \(RT_{0}\) (Q1045997) (← links)
- Exploiting lattices in a theory of space and time (Q1202661) (← links)
- Connection structures: Grzegorczyk's and Whitehead's definitions of point (Q1355124) (← links)
- Boolean connection algebras: A new approach to the Region-Connection Calculus (Q1583514) (← links)
- Combining topological and size information for spatial reasoning (Q1605277) (← links)
- Particle-free bodies and point-free spaces (Q1621830) (← links)
- Rough mereology: A new paradigm for approximate reasoning (Q1809331) (← links)
- Tesseral spatio-temporal reasoning for multi-dimensional data (Q1818123) (← links)
- Mereology on topological and convergence spaces (Q1934951) (← links)
- Complementation in representable theories of region-based space (Q1949166) (← links)
- Relational representation theorems for extended contact algebras (Q2243545) (← links)
- A calculus of regions respecting both measure and topology (Q2281314) (← links)
- Binary topological relations on the digital sphere (Q2302905) (← links)
- The mereotopology of time (Q2319892) (← links)
- On the decidability of axiomatized mereotopological theories (Q2354622) (← links)
- A representation theorem for Boolean contact algebras (Q2581369) (← links)
- FULL MEREOGEOMETRIES (Q3066777) (← links)
- Continuity of Motion in Whitehead’s Geometrical Space (Q3295803) (← links)
- Mereology in Engineering and Computer Science (Q3295807) (← links)
- Mereocompactness and Duality for Mereotopological Spaces (Q3305432) (← links)
- Relational proof systems for spatial reasoning ★ (Q3647246) (← links)
- Dynamic logics of the region-based theory of discrete spaces (Q3647263) (← links)
- A ModalWalk Through Space (Q3647299) (← links)
- A Topological Constraint Language with Component Counting (Q3647303) (← links)
- A Canonical Model of the Region Connection Calculus (Q3647304) (← links)
- Mereotopology in 2nd-Order and Modal Extensions of Intuitionistic Propositional Logic (Q3647305) (← links)
- A Proximity Approach to Some Region-Based Theories of Space (Q3647306) (← links)
- Design and comparison of lattices of topological relations for spatial representation and reasoning (Q4474978) (← links)
- Expressivity in polygonal, plane mereotopology (Q4508265) (← links)
- Extension and Self-Connection (Q5013632) (← links)
- A Logic for Spatial Reasoning in the Framework of Rough Mereology (Q5056084) (← links)
- Defining Measures in a Mereological Space (an exploratory paper) (Q5066096) (← links)
- Compositionality: Ontology and Mereology of Domains (Q5187818) (← links)
- Carving Up space: Steps towards construction of an absolutely complete theory of spatial regions (Q5236444) (← links)
- A relation-algebraic approach to the region connection calculus (Q5941063) (← links)
- Is weak supplementation analytic? (Q6088917) (← links)