Thirteenth International Symposium on Temporal Representation and Reasoning (TIME'06)
A Generic Toolkit for n-ary Qualitative Temporal and Spatial Calculi
Budapest, Hungary
June 15-June 17
ISBN: 0-7695-2617-9
Mahmoud Saade, CRIL-CNRS, Universite d?Artois, 62307 Lens Cedex, France
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.
Citation:
Jean-Francois Condotta, Mahmoud Saade, Gerard Ligozat, "A Generic Toolkit for n-ary Qualitative Temporal and Spatial Calculi," time, pp.78-86, Thirteenth International Symposium on Temporal Representation and Reasoning (TIME'06), 2006