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...
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...
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...
In fields such as medicine, geography, and mechanics, spatial reasoning involves reasoning about entities—for example cavities and invading particles—that may coincide without...
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 ...