Global Consistency in Interval Algebra Networks: Tractable Subclasses.
Christian BessièreAmar IsliGerard LigozatPublished in: ECAI (1996)
Keyphrases
- tractable subclasses
- global consistency
- interval algebra
- point algebra
- path consistency
- temporal reasoning
- constraint satisfaction problems
- temporal constraints
- constraint propagation
- reasoning problems
- constraint networks
- reasoning tasks
- temporal relations
- temporal information
- constraint satisfaction
- video sequences
- arc consistency
- np complete
- logic programming
- linear programming
- search space