Searching for "First-Order Mereotopology." – sorted by Relevance.
5 documents found, showing 1 through 5.
-
A modeltheoretic characterization of Asher and Vieu’s ontology of mereotopology
- …@(email omitted); Abstract We characterize the models of Asher and Vieu’s first-order mereotopology RT0 in terms…
- Cited by 2 (2 self) – Add To MetaCart
-
Background & Motivation
- …Representation Theory for Asher and Vieu’s First-Order Mereotopology Torsten Hahmann (CS, Uof…
- Add To MetaCart
-
Qualitative Spatial Reasoning: Idea [Cohn 1997]
- … for bechmarking expressiveness Examples Discussion Example: A first-order mereotopological ontology [Asher, Vieu…
- Add To MetaCart
-
Topological queries
- …-Hartmann: “First-Order Mereotopology” (Chapter in forthcoming book Logics of Space). 36 Transitive closure logics…
- Cited by 1 (0 self) – Add To MetaCart
-
On the Skeleton of Stonian p-Ortholattices
- … in mereotopology, different first-order mereotopological theories have been proposed. Most prominent amongst them…
- Cited by 1 (1 self) – Add To MetaCart
Showing 1 through 5.
