SAT-Based Procedures for Temporal Reasoning.
Alessandro ArmandoClaudio CastelliniEnrico GiunchigliaPublished in: ECP (1999)
Keyphrases
- temporal reasoning
- constraint networks
- temporal constraints
- qualitative and quantitative
- temporal information
- constraint logic programming
- spatial reasoning
- temporal knowledge
- sat solvers
- uncertainty management
- event calculus
- series parallel
- temporal constraint networks
- reasoning tasks
- simple temporal
- path consistency
- answer set programming
- interval algebra
- constraint reasoning