Keyphrases
- interval algebra
- temporal reasoning
- temporal constraints
- path consistency
- constraint propagation
- constraint networks
- reasoning problems
- point algebra
- reasoning tasks
- qualitative spatial and temporal reasoning
- temporal relations
- temporal information
- maximal tractable
- spatial reasoning
- modeling language
- situation calculus
- qualitative and quantitative
- logic programs