Complexity and algorithms for reasoning about time: a graph-theoretic approach
Journal of the ACM (JACM)
Maintaining knowledge about temporal intervals
Communications of the ACM
A relation — algebraic approach to the region connection calculus
Theoretical Computer Science
Reasoning about Qualitative Spatial Relationships
Journal of Automated Reasoning
Region connection calculus: its models and composition table
Artificial Intelligence
On Topological Consistency and Realization
Constraints
A new tractable subclass of the rectangle algebra
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
On the consistency of cardinal direction constraints
Artificial Intelligence
RCC8 binary constraint network can be consistently extended
Artificial Intelligence
Combining topological and directional information for spatial reasoning
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Combinative reasoning with RCC5 and cardinal direction relations
KSEM'07 Proceedings of the 2nd international conference on Knowledge science, engineering and management
Reasoning With Topological And Directional Spatial Information
Computational Intelligence
Hi-index | 0.00 |
Representing and reasoning about spatial information is important in artificial intelligence and geographical information science. Relations between spatial entities are the most important kind of spatial information. Most current formalisms of spatial relations focus on one single aspect of space. This contrasts sharply with real world applications, where several aspects are usually involved together. This paper proposes a qualitative calculus that combines a simple directional relation model with the well-known topological RCC5 model. We show by construction that the consistency of atomic networks can be decided in polynomial time.