Title of article :
Complexity classification in qualitative temporal constraint reasoning
Author/Authors :
Jonsson، Peter نويسنده , , Krokhin، Andrei نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2004
Pages :
-34
From page :
35
To page :
0
Abstract :
We study the computational complexity of the qualitative algebra which is a temporal constraint formalism that combines the point algebra, the point -interval algebra and Allenʹs interval algebra. We identify all tractable fragments and show that every other fragment is NP-complete.
Keywords :
Temporal reasoning , Constraint satisfaction , computational complexity
Journal title :
ARTIFICIAL INTELLIGENCE (NON MEMBERS) (AI)
Serial Year :
2004
Journal title :
ARTIFICIAL INTELLIGENCE (NON MEMBERS) (AI)
Record number :
48038
Link To Document :
بازگشت