Sciweavers

ICTAI
2007
IEEE

Qualitative Constraints Representation for the Time and Space in SAT

14 years 4 months ago
Qualitative Constraints Representation for the Time and Space in SAT
In this paper we consider the consistency problem of temporal or spatial qualitive constraint networks. A new encoding making it possible to represent and solve this problem in the framework of the propositional logic is proposed. The definition of this encoding presupposes the existence of a particular order on the basic relations of the qualitative calculus such as that of the conceptual lattice of the interval algebra of Allen.
Jean-François Condotta, Dominique D'Almeida
Added 03 Jun 2010
Updated 03 Jun 2010
Type Conference
Year 2007
Where ICTAI
Authors Jean-François Condotta, Dominique D'Almeida
Comments (0)