Reference results for Mereotopology from

Mereotopology - Wikipedia, the free encyclopedia

In formal ontology, a branch of metaphysics, and in ontological computer science, mereotopology is a first-order theory, embodying mereological and topological ...

Basic Problems of Mereotopology - Columbia University

1 (Published in N. Guarino (ed.), Formal Ontology in Information Systems , Amsterdam: IOS Press, 1998, pp. 29–38.) Basic Problems of Mereotopology

mereotopology - Wiktionary

mereotopology. Definition from Wiktionary, the free dictionary. Jump to: navigation, search. Contents. 1 English. 1.1 Pronunciation; 1.2 Etymology; 1.3 Noun;

Mereotopology: A Theory of Parts and Boundaries

Mereotopology: A Theory of Parts and Boundaries Barry Smith Department of Philosophy and Member of the Center for Cognitive Science University at Buffalo

Mereotopology: A Theory of Parts and Boundaries

Papers on Mereotopology. Barry Smith . Barry Smith, “ Ontology and the Logistic Analysis of Reality”, in N. Guarino and R. Poli (eds.), Proceedings of the ...

Talk:Mereotopology - Wikipedia, the free encyclopedia

I've: Selected the GEMTC of Casati and Varzi (1999) as a paradigmatic mereotopological system, and added the section describing it; Expanded the references and linked ...

Quantum mereotopology | Barry Smith -

While mereotopology - the theory of boundaries, contact and separation built up on a mereological foundation - has found fruitful applications in the realm of ...

CiteSeerX — Mereotopology for Product Modelling

Abstract. Mereotopology is the branch of logic that treats the qualitative formalisation of parthood and connection relations between entities.

Mereotopology - Springer

Synonyms. Region connection calculus; RCC; 9‐Intersection calculus; 4‐Intersection calculus; Pointless topology

Whitehead's point-free geometry - Wikipedia, the free ...'s_point-free_geometry

Whitehead's point-free geometry This article has an unclear citation style. The references used ... Their system SMT (strong mereotopology) consists of C1-C3, ...