Reasoning about qualitative temporal information
Artificial Intelligence - Special volume on constraint-based reasoning
An interval logic for space based on “connection”
ECAI '92 Proceedings of the 10th European conference on Artificial intelligence
Reasoning about temporal relations: a maximal tractable subclass of Allen's interval algebra
AAAI '94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 1)
Maintaining knowledge about temporal intervals
Communications of the ACM
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 new proof of tractability for 0RD-horn relations
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
When Tables Tell It All: Qualitative Spatial and Temporal Reasoning Based on Linear Orderings
COSIT 2001 Proceedings of the International Conference on Spatial Information Theory: Foundations of Geographic Information Science
On the consistency of cardinal direction constraints
Artificial Intelligence
A Tableau-Based System for Spatial Reasoning about Directional Relations
TABLEAUX '09 Proceedings of the 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Reasoning about cyclic space: axiomatic and computational aspects
Spatial cognition III
Reasoning about cardinal directions between extended objects
Artificial Intelligence
Using extended cardinal direction calculus in natural language based systems
ICAISC'10 Proceedings of the 10th international conference on Artifical intelligence and soft computing: Part II
Composing cardinal direction relations basing on interval algebra
KSEM'10 Proceedings of the 4th international conference on Knowledge science, engineering and management
SXPath: extending XPath towards spatial querying on web documents
Proceedings of the VLDB Endowment
A syntactical approach to qualitative constraint networks merging
LPAR'10 Proceedings of the 17th international conference on Logic for programming, artificial intelligence, and reasoning
Acquisition of spatial relations from an experimental corpus
LTC'09 Proceedings of the 4th conference on Human language technology: challenges for computer science and linguistics
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
A semi-dynamical approach for solving qualitative spatial constraint satisfaction problems
Theoretical Computer Science
Reasoning With Topological And Directional Spatial Information
Computational Intelligence
A hybrid reasoning model for "whole and part" cardinal direction relations
Advances in Artificial Intelligence
Representation and reasoning about general solid rectangles
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Hi-index | 0.00 |
This paper presents the 169 permitted relations between two rectangles whose sides are parallel to the axes of some orthogonal basis in a 2-dimensional Euclidean space. Elaborating rectangle algebra just like interval algebra, it defines the concept of convexity as well as the ones of weak preconvexity and strong preconvexity. It introduces afterwards the fundamental operations of intersection, composition and inversion and demonstrates that the concept of weak preconvexity is preserved by the operation of composition whereas the concept of strong preconvexity is preserved by the operation of intersection. Finally, fitting the propagation techniques conceived to solve interval networks, it shows that the polynomial path-consistency algorithm is a decision method for the problem of proving the consistency of strongly preconvex rectangle networks.