Complexity and algorithms for reasoning about time: a graph-theoretic approach
Journal of the ACM (JACM)
Reasoning about temporal relations: a maximal tractable subclass of Allen's interval algebra
Journal of the ACM (JACM)
Maintaining knowledge about temporal intervals
Communications of the ACM
Reasoning about Qualitative Spatial Relationships
Journal of Automated Reasoning
A New Tractable Subclass of the Rectangle Algebra
IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
Maximal Tractable Fragments of the Region Connection Calculus: A Complete Analysis
IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
Similarity of Cardinal Directions
SSTD '01 Proceedings of the 7th International Symposium on Advances in Spatial and Temporal Databases
RCC8 binary constraint network can be consistently extended
Artificial Intelligence
On Topological Consistency and Realization
Constraints
Combining topological and directional information: first results
KSEM'06 Proceedings of the First international conference on Knowledge Science, Engineering and Management
Reasoning about vague topological information
Proceedings of the sixteenth ACM conference on Conference on information and knowledge management
GNet: A generalized network model and its applications in qualitative spatial reasoning
Information Sciences: an International Journal
Reasoning with cardinal directions: an efficient algorithm
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
Combining RCC-8 with qualitative direction calculi: algorithms and complexity
IJCAI'09 Proceedings of the 21st international jont 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
Merging qualitative constraint networks defined on different qualitative formalisms
COSIT'09 Proceedings of the 9th international conference on Spatial information theory
Reasoning about cardinal directions between extended objects
Artificial Intelligence
Information Sciences: an International Journal
Composing cardinal direction relations basing on interval algebra
KSEM'10 Proceedings of the 4th international conference on Knowledge science, engineering and management
A semi-dynamical approach for solving qualitative spatial constraint satisfaction problems
Theoretical Computer Science
Reasoning With Topological And Directional Spatial Information
Computational Intelligence
A hybrid reasoning model for "whole and part" cardinal direction relations
Advances in Artificial Intelligence
Qualitative constraint satisfaction problems: An extended framework with landmarks
Artificial Intelligence
Leveraging spatial join for robust tuple extraction from web pages
Information Sciences: an International Journal
Hi-index | 0.00 |
Current research on qualitative spatial representation and reasoning usually focuses on one single aspect of space. However, in real world applications, several aspects are often involved together. This paper extends the well-known RCC8 constraint language to deal with both topological and directional information, and then investigates the interaction between the two kinds of information. Given a topological (RCC8) constraint network and a directional constraint network, we ask when the joint network is satisfiable. We show that when the topological network is over one of the three maximal tractable subclasses of RCC8, the problem can be reduced into satisfiability problems in the RCC8 algebra and the rectangle algebra (RA). Therefore, reasoning techniques developed for RCC8 and RA can be used to solve the satisfiability problem of a joint network.