Managing Disjunction for Practical Temporal Reasoning.
Robert SchragMark BodayJim CarciofiniPublished in: KR (1992)
Keyphrases
- temporal reasoning
- temporal constraints
- qualitative and quantitative
- temporal information
- temporal knowledge
- event calculus
- spatial reasoning
- reasoning tasks
- temporal constraint networks
- path consistency
- uncertainty management
- constraint reasoning
- constraint networks
- temporal relations
- series parallel
- search engine
- simple temporal
- reasoning about physical systems
- truth maintenance systems
- interval algebra
- consistency checking
- hidden markov models