Quantitative Temporal Reasoning.
E. Allen EmersonAloysius K. MokA. Prasad SistlaJai SrinivasanPublished in: CAV (1990)
Keyphrases
- temporal reasoning
- qualitative and quantitative
- temporal constraints
- reasoning tasks
- spatial reasoning
- temporal constraint networks
- uncertainty management
- event calculus
- temporal information
- constraint networks
- temporal relations
- interval algebra
- path consistency
- simple temporal
- temporal knowledge
- constraint reasoning
- series parallel
- three dimensional
- disjunctive temporal
- consistency checking
- truth maintenance systems
- constraint propagation