Iconic indexing by 2-D strings
IEEE Transactions on Pattern Analysis and Machine Intelligence
Temporal reasoning based on semi-intervals
Artificial Intelligence
Complexity and algorithms for reasoning about time: a graph-theoretic approach
Journal of the ACM (JACM)
Basic meanings of spatial relations: computation and evaluation in 3D space
AAAI'94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 2)
Reasoning about temporal relations: a maximal tractable subclass of Allen's interval algebra
Journal of the ACM (JACM)
A new approach to cyclic ordering of 2D orientations using ternary relation algebras
Artificial Intelligence
Maintaining knowledge about temporal intervals
Communications of the ACM
A relation — algebraic approach to the region connection calculus
Theoretical Computer Science
Qualitative Representation of Spatial Knowledge
Qualitative Representation of Spatial Knowledge
Combining topological and size information for spatial reasoning
Artificial Intelligence
Reasoning about Qualitative Spatial Relationships
Journal of Automated Reasoning
A Formal Definition of Binary Topological Relationships
FOFO '89 Proceedings of the 3rd International Conference on Foundations of Data Organization and Algorithms
Reasoning About Spatial Relationships in Picture Retrieval Systems
VLDB '94 Proceedings of the 20th International Conference on Very Large Data Bases
2D Projection Interval Relationships: A Symbolic Representation of Spatial Relationships
SSD '95 Proceedings of the 4th International Symposium on Advances in Spatial Databases
Similarity of Cardinal Directions
SSTD '01 Proceedings of the 7th International Symposium on Advances in Spatial and Temporal Databases
Region connection calculus: its models and composition table
Artificial Intelligence
Constraint Processing
Integrated spatial reasoning in geographic information systems: combining topology and direction
Integrated spatial reasoning in geographic information systems: combining topology and direction
Image Database Design Based on 9D-SPA Representation for Spatial Relations
IEEE Transactions on Knowledge and Data Engineering
On Topological Consistency and Realization
Constraints
A Family of Directional Relation Models for Extended Objects
IEEE Transactions on Knowledge and Data Engineering
Reasoning with cardinal directions: an efficient algorithm
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
A new tractable subclass of the rectangle algebra
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
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
Combining topological and directional information for spatial reasoning
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
On the consistency of cardinal direction constraints
Artificial 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
On combinations of binary qualitative constraint calculi
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Customizing qualitative spatial and temporal calculi
AI'07 Proceedings of the 20th Australian joint conference on Advances in artificial intelligence
Qualitative spatial reasoning with topological information
Qualitative spatial reasoning with topological information
Combining topological and directional information: first results
KSEM'06 Proceedings of the First international conference on Knowledge Science, Engineering and Management
Extensionality of the RCC8 Composition Table
Fundamenta Informaticae
Qualitative Spatial Representation and Reasoning: An Overview
Fundamenta Informaticae - Qualitative Spatial Reasoning
COSIT'11 Proceedings of the 10th international conference on Spatial information theory
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
Biological, computational and robotic connections with Kant's theory of mathematical knowledge
AI Communications - ECAI 2012 Turing and Anniversary Track
Hi-index | 0.00 |
Current research on qualitative spatial representation and reasoning mainly focuses on one single aspect of space. In real-world applications, however, multiple spatial aspects are often involved simultaneously. This paper investigates problems arising in reasoning with combined topological and directional information. We use the RCC8 algebra and the rectangle algebra (RA) for expressing topological and directional information, respectively. We give examples to show that the bipath-consistency algorithm Bipath-Consistency is incomplete for solving even basic RCC8 and RA constraints. If topological constraints are taken from some maximal tractable subclasses of RCC8, and directional constraints are taken from a subalgebra, termed DIR49, of RA, then we show that Bipath-Consistency is able to separate topological constraints from directional ones. This means, given a set of hybrid topological and directional constraints from the above subclasses of RCC8 and RA, we can transfer the joint satisfaction problem in polynomial time to two independent satisfaction problems in RCC8 and RA. For general RA constraints, we give a method to compute solutions that satisfy all topological constraints and approximately satisfy each RA constraint to any prescribed precision. © 2012 Wiley Periodicals, Inc.