Qualitative Reasoning about Convex Relations
Proceedings of the international conference on Spatial Cognition VI: Learning, Reasoning, and Talking about Space
Qualitative spatial representation and reasoning in the SparQ-toolbox
SC'06 Proceedings of the 2006 international conference on Spatial Cognition V: reasoning, action, interaction
Qualitative reasoning with directional relations
Artificial Intelligence
A much better polynomial time approximation of consistency in the LR calculus
Proceedings of the 2010 conference on STAIRS 2010: Proceedings of the Fifth Starting AI Researchers' Symposium
| Hi-index | 0.00 |
Temporal and spatial reasoning is a central task for numerous applications in many areas of Artificial Intelligence. For this task, numerous formalisms using the qualitative approach have been proposed. Clearly, these formalisms share a common algebraic structure. In this paper we propose and study a general definition of such formalisms by considering calculi based on basic relations of an arbitrary arity. We also describe the QAT (the Qualitative Algebra Toolkit), a JAVA constraint programming library allowing to handle constraint networks based on those qualitative calculi.