Faster temporal reasoning for infinite-state programs.
Byron CookHeidy KhlaafNir PitermanPublished in: FMCAD (2014)
Keyphrases
- temporal reasoning
- temporal constraints
- qualitative and quantitative
- temporal information
- spatial reasoning
- temporal knowledge
- temporal constraint networks
- series parallel
- reasoning tasks
- constraint networks
- constraint reasoning
- temporal relations
- path consistency
- uncertainty management
- event calculus
- simple temporal
- constraint satisfaction