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)
Maintaining knowledge about temporal intervals
Communications of the ACM
Region connection calculus: its models and composition table
Artificial Intelligence
Constraint Processing
Reasoning about temporal relations: The tractable subalgebras of Allen's interval algebra
Journal of the ACM (JACM)
Similarity assessment for cardinal directions between extended spatial objects
Similarity assessment for cardinal directions between extended spatial objects
Composing cardinal direction relations
Artificial Intelligence
Cardinal directions between spatial objects: the pairwise-consistency problem
Information Sciences—Informatics and Computer Science: An International Journal
A new tractable subclass of the rectangle algebra
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Qualitative spatial and temporal reasoning: efficient algorithms for everyone
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
On the consistency of cardinal direction constraints
Artificial Intelligence
RCC8 binary constraint network can be consistently extended
Artificial Intelligence
Reasoning about cardinal directions between extended objects
Artificial Intelligence
Spatial reasoning with rectangular cardinal relations
Annals of Mathematics and Artificial Intelligence
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
Hi-index | 0.00 |
The cardinal direction calculus (CDC) proposed by Goyal and Egenhofer is a very expressive qualitative calculus for directional information of extended objects. Early work has shown that consistency checking of complete networks of basic CDC constraints is tractable, while reasoning with the CDC in general is NP-hard. This paper shows, however, that if some constraints are unspecified, then consistency checking of incomplete networks of basic CDC constraints is already intractable. This draws a sharp boundary between the tractable and intractable subclasses of the CDC. The result is achieved by a reduction from the well-known 3-SAT problem.