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
Composite regions in topological queries
Information 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
Reasoning About Spatial Relationships in Picture Retrieval Systems
VLDB '94 Proceedings of the 20th International Conference on Very Large Data Bases
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)
Similarity assessment for cardinal directions between extended spatial objects
Similarity assessment for cardinal directions between extended spatial objects
Consistency Checking for Qualitative Spatial Reasoning with Cardinal Directions
CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming
Composing cardinal direction relations
Artificial Intelligence
On the consistency of cardinal direction constraints
Artificial Intelligence
Computing and Managing Cardinal Direction Relations
IEEE Transactions on Knowledge and Data Engineering
On the consistency of cardinal direction constraints
Artificial Intelligence
Spatial reasoning based on rules
IWINAC'05 Proceedings of the First international conference on Mechanisms, Symbols, and Models Underlying Cognition: interplay between natural and artificial computation - Volume Part I
Heterogeneous spatial reasoning
ECSQARU'05 Proceedings of the 8th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
EUROCAST'11 Proceedings of the 13th international conference on Computer Aided Systems Theory - Volume Part I
| Hi-index | 0.01 |
We present a formal model for qualitative spatial reasoning with cardinal directions and study the problem of checking the consistency of a set of cardinal direction constraints. We present 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 cardinal direction constraints can be performed in O(n5) time while the consistency checking of an unrestricted set of cardinal direction constraints is NP-complete. Finally, we briefly discuss some extensions to the basic model.