Using Constrained Resolution for Abductive Temporal Reasoning.
Nicolas ChleqPublished in: TIME (1994)
Keyphrases
- temporal reasoning
- constraint logic programming
- temporal constraints
- qualitative and quantitative
- temporal information
- constraint networks
- uncertainty management
- temporal knowledge
- simple temporal
- spatial reasoning
- event calculus
- temporal constraint networks
- consistency checking
- reasoning tasks
- temporal relations
- constraint reasoning
- path consistency
- logic programming
- series parallel
- video sequences
- background knowledge