Maintaining knowledge about temporal intervals
Communications of the ACM
Fast algebraic methods for interval constraint problems
Annals of Mathematics and Artificial Intelligence
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
Eligible and frozen constraints for solving temporal qualitative constraint networks
CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
A simple way to improve path consistency processing in interval algebra networks
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
CP'06 Proceedings of the 12th international conference on Principles and Practice of Constraint Programming
Towards an efficient SAT encoding for temporal reasoning
CP'06 Proceedings of the 12th international conference on Principles and Practice of Constraint Programming
Restarts and Nogood Recording in Qualitative Constraint-based Reasoning
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Automated incremental pairwise testing of software product lines
SPLC'10 Proceedings of the 14th international conference on Software product lines: going beyond
Proceedings of the forty-third annual ACM symposium on Theory of computing
A condensed semantics for qualitative spatial reasoning about oriented straight line segments
Artificial Intelligence
Pairwise testing for software product lines: comparison of two approaches
Software Quality Control
Nogoods in qualitative constraint-based reasoning
KI'12 Proceedings of the 35th Annual German conference on Advances in Artificial Intelligence
Decomposition and tractability in qualitative spatial and temporal reasoning
Artificial Intelligence
Spatial reasoning with rectangular cardinal relations
Annals of Mathematics and Artificial Intelligence
Argumentation frameworks as constraint satisfaction problems
Annals of Mathematics and Artificial Intelligence
Hi-index | 0.00 |
Qualitative Spatial and Temporal Reasoning (QSR) is concerned with constraint-based formalisms for representing, and reasoning with, spatial and temporal information over infinite domains. Within the QSR community it has been a widely accepted assumption that genuine qualitative reasoning methods outperform other reasoning methods that are applicable to encodings of qualitative CSP instances. Recently this assumption has been tackled by several authors, who proposed to encode qualitative CSP instances as finite CSP or SAT instances. In this paper we report on the results of a broad empirical study in which we compared the performance of several reasoners on instances from different qualitative formalisms. Our results show that for small-sized qualitative calculi (e.g., Allen's interval algebra and RCC-8) a state-of-theart implementation of QSR methods currently gives the most efficient performance. However, on recently suggested large-size calculi, e.g., OPRA4, finite CSP encodings provide a considerable performance gain. These results confirm a conjecture by Bessière stating that support-based constraint propagation algorithms provide better performance for large-sized qualitative calculi.