Keyphrases
- temporal reasoning
- truth maintenance systems
- temporal information
- temporal constraints
- nonmonotonic logics
- nonmonotonic reasoning
- qualitative and quantitative
- event calculus
- constraint networks
- spatial reasoning
- simple temporal
- modal logic
- reasoning tasks
- uncertainty management
- default logic
- temporal knowledge
- temporal constraint networks
- logic programming
- autoepistemic logic
- path consistency
- series parallel
- low level
- interval algebra
- constraint reasoning
- contextual information
- point algebra