Practical First-Order Temporal Reasoning.
Clare DixonMichael FisherBoris KonevAlexei LisitsaPublished in: TIME (2008)
Keyphrases
- temporal reasoning
- temporal constraints
- temporal information
- qualitative and quantitative
- reasoning tasks
- spatial reasoning
- uncertainty management
- constraint networks
- temporal knowledge
- path consistency
- temporal constraint networks
- constraint reasoning
- simple temporal
- consistency checking
- series parallel
- first order logic
- event calculus
- temporal relations
- constraint propagation
- disjunctive temporal