Networks of Qualitative Interval Relations: Combining Circuit Consistency and Path Consistency in the Search for a Solution.
Amar IsliHachemi BennaceurPublished in: TIME (1996)
Keyphrases
- path consistency
- point algebra
- interval algebra
- constraint solver
- temporal reasoning
- constraint networks
- global consistency
- qualitative temporal reasoning
- backtracking algorithm
- maximal tractable
- qualitative spatial reasoning
- constraint propagation
- topological relations
- ord horn
- constraint reasoning
- search algorithm
- consistency checking
- arc consistency
- backtracking search
- temporal constraints
- constraint satisfaction problems
- search space
- reasoning tasks
- temporal information
- constraint satisfaction
- reasoning problems
- constraint programming
- tractable classes