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
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
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
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Computing and Managing Cardinal Direction Relations
IEEE Transactions on Knowledge and Data Engineering
A Family of Directional Relation Models for Extended Objects
IEEE Transactions on Knowledge and Data Engineering
GNet: A generalized network model and its applications in qualitative spatial reasoning
Information Sciences: an International Journal
A model for describing and composing direction relations between overlapping and contained regions
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
Consistency checking of basic cardinal constraints over connected regions
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Combining RCC-8 with qualitative direction calculi: algorithms and complexity
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Hi-index | 0.00 |
We present a formal model for qualitative spatial reasoning with cardinal directions utilizing a coordinate 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(n5) 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.