Constrained Resolution and Abductive Temporal Reasoning.
Nicolas ChleqPublished in: Comput. Intell. (1996)
Keyphrases
- temporal reasoning
- constraint logic programming
- temporal constraints
- constraint networks
- temporal information
- qualitative and quantitative
- event calculus
- uncertainty management
- spatial reasoning
- simple temporal
- reasoning tasks
- temporal constraint networks
- temporal knowledge
- temporal relations
- path consistency
- interval algebra
- disjunctive temporal
- plan recognition
- background knowledge
- logic programming
- series parallel
- constraint reasoning
- video sequences
- contextual information
- image features