Sciweavers

1532 search results - page 1 / 307
» Connection Relations in Mereotopology
Sort
View
ECAI
1998
Springer
13 years 11 months ago
Connection Relations in Mereotopology
Abstract. We provide a model-theoretic framework for investigating and comparing a variety of mereotopological theories with respect to (i) the intended interpretation of their con...
Anthony G. Cohn, Achille C. Varzi
COSIT
2003
Springer
111views GIS» more  COSIT 2003»
14 years 18 days ago
Layers: A New Approach to Locating Objects in Space
Standard theories in mereotopology focus on relations of parthood and connection among spatial or spatio-temporal regions. Objects or processes which might be located in such regio...
Maureen Donnelly, Barry Smith
AIML
2008
13 years 8 months ago
Modal logics for mereotopological relations
We present a complete axiomatization of a logic denoted by MTML (Mereo-Topological Modal Logic) based on the following set of mereotopological relations: part-of, overlap, underlap...
Yavor Nenov, Dimiter Vakarelov
IJCAI
2003
13 years 8 months ago
Layered Mereotopology
In fields such as medicine, geography, and mechanics, spatial reasoning involves reasoning about entities—for example cavities and invading particles—that may coincide without...
Maureen Donnelly
KR
2004
Springer
14 years 22 days ago
Multidimensional Mereotopology
To support commonsense reasoning about space, we require a qualitative calculus of spatial entities and their relations. One requirement for such a calculus, which has not so far ...
Antony Galton