Modelling topological and metrical properties in physical processes
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Journal of the ACM (JACM)
Reasoning about temporal relations: a maximal tractable subclass of Allen's interval algebra
Journal of the ACM (JACM)
Boolean connection algebras: a new approach to the Region-Connection Calculus
Artificial Intelligence
Maintaining knowledge about temporal intervals
Communications of the ACM
A relation — algebraic approach to the region connection calculus
Theoretical Computer Science
Reasoning about Binary Topological Relations
SSD '91 Proceedings of the Second International Symposium on Advances in Spatial Databases
Qualitative and Topological Relationships in Spatial Databases
SSD '93 Proceedings of the Third International Symposium on Advances in Spatial Databases
Computational Properties of Qualitative Spatial Reasoning: First Results
KI '95 Proceedings of the 19th Annual German Conference on Artificial Intelligence: Advances in Artificial Intelligence
Region connection calculus: its models and composition table
Artificial Intelligence
Extensionality of the RCC8 composition table
Fundamenta Informaticae
On Topological Consistency and Realization
Constraints
A representation theorem for Boolean contact algebras
Theoretical Computer Science
Maximal tractable fragments of the region connection calculus: a complete analysis
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Generalized Region Connection Calculus
Artificial Intelligence
Qualitative spatial reasoning with topological information
Qualitative spatial reasoning with topological information
Reasoning about cardinal directions between extended objects
Artificial Intelligence
Solving qualitative constraints involving landmarks
CP'11 Proceedings of the 17th international conference on Principles and practice of constraint programming
Reasoning about cardinal directions between extended objects: The NP-hardness result
Artificial Intelligence
Combining topological and directional information: first results
KSEM'06 Proceedings of the First 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
The relevance of spatial relation terms and geographical feature types
PAKDD'12 Proceedings of the 2012 Pacific-Asia conference on Emerging Trends in Knowledge Discovery and Data Mining
Qualitative constraint satisfaction problems: An extended framework with landmarks
Artificial Intelligence
Hi-index | 0.00 |
The RCC8 constraint language developed by Randell et al. has been popularly adopted by the Qualitative Spatial Reasoning and GIS communities. The recent observation that RCC8 composition table describes only weak composition instead of composition raises questions about Renz and Nebel's maximality results about the computational complexity of reasoning with RCC8. This paper shows that any consistent RCC8 binary constraint network (RCC8 network for short) can be consistently extended. Given @Q, an RCC8 network, and z, a fresh variable, suppose xTy@?@Q and T is contained in the weak composition of R and S. This means that we can add two new constraints xRz and zSy to @Q without changing the consistency of the network. The result guarantees the applicability to RCC8 of one key technique, (Theorem 5) of [J. Renz, B. Nebel, On the complexity of qualitative spatial reasoning: A maximal tractable fragment of the Region Connection Calculus. Artificial Intelligence 108 (1999) 69-123], which allows the transfer of tractability of a set of RCC8 relations to its closure under composition, intersection, and converse.