Keyphrases
- temporal reasoning
- constraint reasoning
- temporal constraints
- np hard
- temporal information
- tractable classes
- qualitative and quantitative
- temporal knowledge
- temporal constraint networks
- reasoning tasks
- constraint networks
- spatial reasoning
- path consistency
- temporal relations
- uncertainty management
- event calculus
- interval algebra
- simple temporal
- propositional logic
- constraint propagation
- three dimensional
- maximal tractable
- series parallel
- integrity constraints
- spatial data
- high level