Maintaining knowledge about temporal intervals
Communications of the ACM
Double-Crossing: Decidability and Computational Complexity of a Qualitative Calculus for Navigation
COSIT 2001 Proceedings of the International Conference on Spatial Information Theory: Foundations of Geographic Information Science
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
A Generic Toolkit for n-ary Qualitative Temporal and Spatial Calculi
TIME '06 Proceedings of the Thirteenth International Symposium on Temporal Representation and Reasoning
Qualitative spatial reasoning about relative point position
Journal of Visual Languages and Computing
Qualitative Reasoning about Convex Relations
Proceedings of the international conference on Spatial Cognition VI: Learning, Reasoning, and Talking about Space
Representing Relative Direction as a Binary Relation of Oriented Points
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Efficient methods for qualitative spatial reasoning
Journal of Artificial Intelligence Research
Qualitative spatial and temporal reasoning: efficient algorithms for everyone
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
On the consistency of cardinal direction constraints
Artificial Intelligence
Qualitative spatial reasoning with topological information
Qualitative spatial reasoning with topological information
SC'04 Proceedings of the 4th international conference on Spatial Cognition: reasoning, Action, Interaction
CLP(QS): a declarative spatial reasoning framework
COSIT'11 Proceedings of the 10th international conference on Spatial information theory
Qualitative reasoning about relative direction of oriented points
Artificial Intelligence
A condensed semantics for qualitative spatial reasoning about oriented straight line segments
Artificial Intelligence
Spatio-temporal reasoning by combined topological and directional relations information
International Journal of Artificial Intelligence and Soft Computing
Directional relations and frames of reference
Geoinformatica
Qualitative constraint satisfaction problems: An extended framework with landmarks
Artificial Intelligence
StarVars: effective reasoning about relative directions
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Hi-index | 0.00 |
Qualitative spatial reasoning (QSR) pursues a symbolic approach to reasoning about a spatial domain. Qualitative calculi are defined to capture domain properties in relation operations, granting a relation algebraic approach to reasoning. QSR has two primary goals: providing a symbolic model for human common-sense level of reasoning and providing efficient means for reasoning. In this paper, we dismantle the hope for efficient reasoning about directional information in infinite spatial domains by showing that it is inherently hard to decide consistency of a set of constraints that represents positions in the plane by specifying directions from reference objects. We assume that these reference objects are not fixed but only constrained through directional relations themselves. Known QSR reasoning methods fail to handle this information.