Near sets. Special theory about nearness of objects

JF Peters - Fundamenta Informaticae, 2007 - content.iospress.com
The problem considered in this paper is how to approximate sets of objects that are
qualitatively but not necessarily spatially near each other. The term qualitatively near is used …

Region connection calculus: Its models and composition table

S Li, M Ying - Artificial Intelligence, 2003 - Elsevier
Originating in Allen's analysis of temporal relations, the notion of composition table has
become a key technique in providing an efficient inference mechanism for a wide class of …

Contact algebras and region-based theory of space: a proximity approach–I

G Dimov, D Vakarelov - Fundamenta Informaticae, 2006 - content.iospress.com
This work is in the field of region-based (or Whitehedian) theory of space, which is an
important subfield of Qualitative Spatial Reasoning (QSR). The paper can be considered …

A representation theorem for Boolean contact algebras

I Düntsch, M Winter - Theoretical Computer Science, 2005 - Elsevier
We prove a representation theorem for Boolean contact algebras which implies that the
axioms for the region connection calculus (RCC)[DA Randell, AG Cohn, Z. Cui, Computing …

Region–based theory of discrete spaces: A proximity approach

I Düntsch, D Vakarelov - Annals of Mathematics and Artificial Intelligence, 2007 - Springer
We introduce Boolean proximity algebras as a generalization of Efremovič proximities which
are suitable in reasoning about discrete regions. Following Stone's representation theorem …

Region-based theory of space: algebras of regions, representation theory, and logics

D Vakarelov - Mathematical problems from applied logic II: Logics for …, 2007 - Springer
In this paper, we present recent results in the region-based theory of space that concern
algebras of regions, the corresponding topological and discrete models, and representation …

Between Contact and Support: Introducing a Logic for Image Schemas and Directed Movement

MM Hedblom, O Kutz, T Mossakowski… - AI* IA 2017 Advances in …, 2017 - Springer
Cognitive linguistics introduced image schemas as a missing link between embodied
experiences and high-level conceptualisation in language and metaphorical thinking. They …

A proximity approach to some region-based theories of space

D Vakarelov, G Dimov, I Düntsch… - Journal of applied non …, 2002 - Taylor & Francis
This paper is a continuation of [VAK 01]. The notion of local connection algebra, based on
the primitive notions of connection and boundedness, is introduced. It is slightly different but …

Nearness of objects: Extension of approximation space model

JF Peters, A Skowron, J Stepaniuk - Fundamenta Informaticae, 2007 - content.iospress.com
The problem considered in this paper is the extension of an approximation space to include
a nearness relation. Approximation spaces were introduced by Zdzis? aw Pawlak during the …

[PDF][PDF] Modal logics for region-based theories of space

P Balbiani, T Tinchev, D Vakarelov - Fundamenta Informaticae, 2007 - researchgate.net
Modal Logics for Region-based Theories of Space Introduction Page 1 Fundamenta Informaticae
81 (2007) 29–82 29 IOS Press Modal Logics for Region-based Theories of Space Philippe …