Modelling topological and metrical properties in physical processes
Proceedings of the first international conference on Principles of knowledge representation and reasoning
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
A Cognitive Assessment of Topological Spatial Relations: Results from an Empirical Investigation
COSIT '97 Proceedings of the International Conference on Spatial Information Theory: A Theoretical Basis for GIS
Maximal Tractable Fragments of the Region Connection Calculus: A Complete Analysis
IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
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
A representation theorem for Boolean contact algebras
Theoretical Computer Science
Generalized region connection calculus
Artificial Intelligence
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Qualitative spatial reasoning with topological information
Qualitative spatial reasoning with topological information
RCC8 binary constraint network can be consistently extended
Artificial Intelligence
Reasoning about vague topological information
Proceedings of the sixteenth ACM conference on Conference on information and knowledge management
Spatial reasoning in a fuzzy region connection calculus
Artificial Intelligence
Combining topological and directional information for spatial reasoning
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
RCC8 binary constraint network can be consistently extended
Artificial Intelligence
Combining RCC-8 with qualitative direction calculi: algorithms and complexity
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Information Sciences: an International Journal
Solving qualitative constraints involving landmarks
CP'11 Proceedings of the 17th international conference on Principles and practice of constraint programming
On standard models of fuzzy region connection calculus
International Journal of Approximate Reasoning
Formalization and reasoning about spatial semantic integrity constraints
Data & Knowledge Engineering
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
Solving minimal constraint networks in qualitative spatial and temporal reasoning
CP'12 Proceedings of the 18th international conference on Principles and Practice of Constraint Programming
Qualitative constraint satisfaction problems: An extended framework with landmarks
Artificial Intelligence
Hi-index | 0.00 |
Topological relations are important in various tasks of spatial reasoning, scene description and object recognition. The RCC8 spatial constraint language developed by Randell, Cui and Cohn is widely recognized as of particular importance in both the research fields of qualitative spatial reasoning (QSR) and geographical information science. Given a network of RCC8 relations, naturally we ask when it is consistent, and if this is the case, can we have a realization in a certain spatial model? This paper gives a direct and simple algorithm for generating realizations of path-consistent networks of RCC8 base relations. As a result, we also show that each consistent network of RCC8 relations has a realization in the digital plane (with either 4- or 8-connections) and in any RCC model.