Pages that link to "Item:Q4332082"
From MaRDI portal
The following pages link to Parts, wholes, and part-whole relations: The prospects of mereotopology (Q4332082):
Displaying 19 items.
- Heyting mereology as a framework for spatial reasoning (Q482328) (← links)
- Generalized region connection calculus (Q814636) (← links)
- Mereotopological connection (Q1402583) (← links)
- Directional relative position between objects in image processing: A comparison between fuzzy approaches. (Q1403753) (← links)
- A proof system for contact relation algebras (Q1576385) (← links)
- Boolean connection algebras: A new approach to the Region-Connection Calculus (Q1583514) (← links)
- The mereotopology of time (Q2319892) (← links)
- Essential unifiers (Q2494722) (← links)
- FULL MEREOGEOMETRIES (Q3066777) (← links)
- Discrete Mereotopology (Q3295808) (← links)
- ASPMT(QS): Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories (Q3449232) (← links)
- Modal Logics Based on Mathematical Morphology for Qualitative Spatial Reasoning (Q3647301) (← 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)
- Non-monotonic spatial reasoning with answer set programming modulo theories (Q4593084) (← links)
- Extension and Self-Connection (Q5013632) (← links)
- (Q5288468) (← links)
- The mereology of thermodynamic equilibrium (Q6180138) (← links)
- A monadic second-order version of Tarski's geometry of solids (Q6559162) (← links)