Generalized Quantitative Temporal Reasoning: An Automata Theoretic Approach.
E. Allen EmersonRichard J. TreflerPublished in: TAPSOFT (1997)
Keyphrases
- temporal reasoning
- qualitative and quantitative
- temporal constraints
- temporal information
- constraint networks
- event calculus
- temporal constraint networks
- series parallel
- uncertainty management
- temporal knowledge
- path consistency
- constraint reasoning
- temporal relations
- spatial reasoning
- reasoning tasks
- interval algebra
- disjunctive temporal
- constraint propagation
- temporal logic
- contextual information
- search space