From Path-Consistency to Global Consistency in Temporal Qualitative Constraint Networks.
Nouhad AmaneddineJean-François CondottaPublished in: AIMSA (2012)
Keyphrases
- upper bound
- global consistency
- path consistency
- temporal reasoning
- constraint reasoning
- interval algebra
- temporal constraints
- lower bound
- globally consistent
- constraint networks
- temporal information
- constraint propagation
- consistency checking
- qualitative and quantitative
- temporal relations
- convex constraints
- constraint satisfaction
- constraint satisfaction problems
- reasoning tasks
- arc consistency
- tractable subclasses
- qualitative spatial reasoning
- image sequences
- image classification
- maximal tractable
- set intersection