Reference results for Mereotopology from Search.com.

Mereotopology - Wikipedia, the free encyclopedia

https://en.wikipedia.org/wiki/Mereotopology

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

www.columbia.edu/~av72/papers/Fois_1998.pdf

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

mereotopology - Wiktionary

https://en.wiktionary.org/wiki/mereotopology

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

ontology.buffalo.edu/smith/articles/Mereotopology1.pdf

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

ontology.buffalo.edu/smith/articles/mereotopology.htm

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

https://en.wikipedia.org/wiki/Talk:Mereotopology

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 - Academia.edu

www.academia.edu/2824206/Quantum_mereotopology

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

citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.8.7157

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

Mereotopology - Springer

link.springer.com/referenceworkentry/10.1007/978-0-387-35973-1_777

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

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

https://en.wikipedia.org/wiki/Whitehead'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, ...