arrow
Return

Complexity classification in qualitative temporal constraint reasoning

delete2004-12-01
delete10
delete
OA
AI
P
Peter Jönsson
A
Andrei Krokhin
DOI:10.1016/j.artint.2004.05.010delete
deleteOriginal
deleteShare
deleteSave
View PDF
Abstract

Abstract

En 中文
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. (C) 2004 Elsevier B.V. All rights reserved.
Keywords:
temporal reasoning
constraint satisfaction
computational complexity
AI Summary

AI Summary

Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.

Journal

Artificial Intelligence Review cover
Artificial Intelligence Review
IF:
13.9
Papers:
6.1K
Citations:
1.9W

Organization

No organization information available