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 …
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 …
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 …
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 …
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 …
Cognitive linguistics introduced image schemas as a missing link between embodied experiences and high-level conceptualisation in language and metaphorical thinking. They …
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 …
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 …
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 …