Keyphrases
- temporal reasoning
- temporal constraints
- reasoning tasks
- temporal information
- qualitative and quantitative
- constraint networks
- temporal knowledge
- uncertainty management
- background knowledge
- temporal constraint networks
- series parallel
- event calculus
- logic programming
- path consistency
- simple temporal
- constraint reasoning
- spatial reasoning
- temporal relations
- interval algebra
- consistency checking
- logic programs
- belief revision
- disjunctive temporal