Title of article :
Complexity classification in qualitative temporal constraint reasoning
Author/Authors :
Jonsson، Peter نويسنده , , Krokhin، Andrei نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2004
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)
Journal title :
ARTIFICIAL INTELLIGENCE (NON MEMBERS) (AI)