Incremental Tractable Reasoning about Qualitative Temporal Constraints.
Alfonso GereviniPublished in: IJCAI (2003)
Keyphrases
- temporal constraints
- interval algebra
- temporal reasoning
- incremental algorithms
- spatial reasoning
- qualitative reasoning
- simple temporal
- point algebra
- constraint propagation
- maximal tractable
- qualitative and quantitative
- temporal information
- constraint satisfaction problems
- resource constraints
- qualitative simulation
- workflow systems
- path consistency
- consistency checking
- global consistency
- temporal aspects
- temporal constraint networks
- temporal relations
- constraint networks
- databases
- reasoning tasks
- np complete