Parts, wholes, and part-whole relations: The prospects of mereotopology
From MaRDI portal
DOI10.1016/S0169-023X(96)00017-1zbMATH Open0875.68388OpenAlexW2066676451MaRDI QIDQ4332082FDOQ4332082
Authors: Achille C. Varzi
Publication date: 27 February 1997
Published in: Data & Knowledge Engineering (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0169-023x(96)00017-1
Recommendations
Cited In (34)
- A monadic second-order version of Tarski's geometry of solids
- Unity, identity, and topology: how to make donuts and cut things in half
- Non-monotonic spatial reasoning with answer set programming modulo theories
- FULL MEREOGEOMETRIES
- A proximity approach to some region-based theories of space
- Whitehead's mereotopology and the project of formal ontology
- ASPMT(QS): Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories
- A new approach to the concepts of boundary and contact: toward an alternative to mereotopology
- Intelligible worlds
- Part and complement: Fundamental concepts in spatial relations
- Title not available (Why is that?)
- The mereology of thermodynamic equilibrium
- A proof system for contact relation algebras
- Title not available (Why is that?)
- Mereotopology: A theory of parts and boundaries
- Expressivity in polygonal, plane mereotopology
- Boolean connection algebras: A new approach to the Region-Connection Calculus
- Essential unifiers
- Directional relative position between objects in image processing: A comparison between fuzzy approaches.
- Modal logics based on mathematical morphology for qualitative spatial reasoning
- On recognizing an object with a partition
- The mereotopology of time
- Design and comparison of lattices of topological relations for spatial representation and reasoning
- Title not available (Why is that?)
- Title not available (Why is that?)
- Extension and self-connection
- Mereotopological connection
- A mereology for the change of parts
- Heyting mereology as a framework for spatial reasoning
- Inconsistent boundaries
- Discrete mereotopology
- A formal theory for reasoning about parthood, connection, and location
- Generalized region connection calculus
- Mereotopology without mereology
This page was built for publication: Parts, wholes, and part-whole relations: The prospects of mereotopology
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4332082)