Pages that link to "Item:Q1141642"

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)