Representations of commonsense knowledge
Representations of commonsense knowledge
Constraint propagation algorithms for temporal reasoning: a revised report
Readings in qualitative reasoning about physical systems
Reasoning about qualitative temporal information
Artificial Intelligence - Special volume on constraint-based reasoning
Reasoning about temporal relations: a maximal tractable subclass of Allen's interval algebra
Journal of the ACM (JACM)
Selected papers of the 9th annual ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Composite regions in topological queries
Information Systems
The complexity of query evaluation in indefinite temporal constraint databases
Selected papers from the international workshop on Uncertainty in databases and deductive systems
Qualitative representation of positional information
Artificial Intelligence
Topological queries in spatial databases
Journal of Computer and System Sciences
Point-based approaches to qualitative temporal reasoning
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
Querying temporal and spatial constraint networks in PTIME
Artificial Intelligence
Maintaining knowledge about temporal intervals
Communications of the ACM
Reasoning About Spatial Relationships in Picture Retrieval Systems
VLDB '94 Proceedings of the 20th International Conference on Very Large Data Bases
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
Composing Cardinal Direction Relations
SSTD '01 Proceedings of the 7th International Symposium on Advances in Spatial and Temporal Databases
Consistency Checking for Qualitative Spatial Reasoning with Cardinal Directions
CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming
Using Orientation Information for Qualitative Spatial Reasoning
Proceedings of the International Conference GIS - From Space to Territory: Theories and Methods of Spatio-Temporal Reasoning on Theories and Methods of Spatio-Temporal Reasoning in Geographic Space
Consistent Queries over Cardinal Directions Across Different Levels of Detail
DEXA '00 Proceedings of the 11th International Workshop on Database and Expert Systems Applications
Modeling Spatial Relationships between Color Sets
CBAIVL '00 Proceedings of the IEEE Workshop on Content-based Access of Image and Video Libraries (CBAIVL'00)
Composing cardinal direction relations
Artificial Intelligence
A complete classification of tractability in RCC-5
Journal of Artificial Intelligence Research
A new tractable subclass of the rectangle algebra
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Combinative reasoning with RCC5 and cardinal direction relations
KSEM'07 Proceedings of the 2nd international conference on Knowledge science, engineering and management
Cardinal direction relations in 3D space
KSEM'07 Proceedings of the 2nd international conference on Knowledge science, engineering and management
Reasoning about cardinal directions between extended objects
Artificial Intelligence
SOWL: spatio-temporal representation, reasoning and querying over the semantic web
Proceedings of the 6th International Conference on Semantic Systems
Qualitative reasoning with directional relations
Artificial Intelligence
Composing cardinal direction relations basing on interval algebra
KSEM'10 Proceedings of the 4th international conference on Knowledge science, engineering and management
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
Reasoning With Topological And Directional Spatial Information
Computational Intelligence
Spatial reasoning with rectangular cardinal relations
Annals of Mathematics and Artificial Intelligence
Hi-index | 0.00 |
We present a formal model for qualitative spatial reasoning with cardinal directions utilizing a co-ordinate system. Then, we study the problem of checking the consistency of a set of cardinal direction constraints. We introduce the first algorithm for this problem, prove its correctness and analyze its computational complexity. Utilizing the above algorithm, we prove that the consistency checking of a set of basic (i.e., non-disjunctive) cardinal direction constraints can be performed in O(n^5) time. We also show that the consistency checking of a set of unrestricted (i.e., disjunctive and non-disjunctive) cardinal direction constraints is NP-complete. Finally, we briefly discuss an extension to the basic model and outline an algorithm for the consistency checking problem of this extension.