Parametric Quantitative Temporal Reasoning.
E. Allen EmersonRichard J. TreflerPublished in: LICS (1999)
Keyphrases
- temporal reasoning
- qualitative and quantitative
- temporal constraints
- temporal information
- reasoning tasks
- temporal knowledge
- uncertainty management
- spatial reasoning
- constraint networks
- event calculus
- temporal constraint networks
- consistency checking
- simple temporal
- path consistency
- temporal relations
- constraint reasoning
- series parallel
- temporal patterns
- disjunctive temporal
- reinforcement learning
- qualitative models
- constraint propagation