Constraint propagation algorithms for temporal reasoning: a revised report
Readings in qualitative reasoning about physical systems
Maintaining knowledge about temporal intervals
Communications of the ACM
Combining topological and size information for spatial reasoning
Artificial Intelligence
Fast algebraic methods for interval constraint problems
Annals of Mathematics and Artificial Intelligence
On Optimization of Predictions in Ontology-Driven Situation Awareness
KSEM '09 Proceedings of the 3rd International Conference on Knowledge Science, Engineering and Management
A Combined Calculus on Orientation with Composition Based on Geometric Properties
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
A hybrid geometric-qualitative spatial reasoning system and its application in GIS
COSIT'11 Proceedings of the 10th international conference on Spatial information theory
Reasoning With Topological And Directional Spatial Information
Computational Intelligence
Qualitative constraint satisfaction problems: An extended framework with landmarks
Artificial Intelligence
Hi-index | 0.00 |
Qualitative constraint calculi are representation formalisms that allow for efficient reasoning about spatial and temporal information. Many of the calculi discussed in the field of Qualitative Spatial and Temporal Reasoning can be defined as combinations of other, simpler and more compact formalisms. On the other hand, existing calculi can be combined to a new formalism in which one can represent, and reason about, different aspects of a domain at the same time. For example, Gerevini and Renz presented a loose combination of the region connection calculus RCC-8 and the point algebra: the resulting formalism integrates topological and qualitative size relations between spatially extended objects. In this paper we compare the approach by Gerevini and Renz to a method that generates a new qualitative calculus by exploiting the semantic interdependencies between the component calculi. We will compare these two methods and analyze some formal relationships between a combined calculus and its components. The paper is completed by an empirical case study in which the reasoning performance of the suggested methods is compared on random test instances.