An Interval Logic for Higher-Level Temporal Reasoning.
Richard L. SchwartzP. M. Melliar-SmithFriedrich H. VogtPublished in: PODC (1983)
Keyphrases
- temporal reasoning
- higher level
- temporal intervals
- temporal constraints
- temporal information
- qualitative and quantitative
- lower level
- low level
- reasoning tasks
- temporal knowledge
- temporal constraint networks
- constraint networks
- spatial reasoning
- event calculus
- simple temporal
- uncertainty management
- temporal relations
- series parallel
- logic programming
- high level
- search space
- classical logic
- constraint reasoning
- truth maintenance systems
- hidden markov models
- disjunctive temporal