Keyphrases
- modal logic
- temporal reasoning
- temporal constraints
- temporal logic
- temporal information
- decision procedures
- nonmonotonic logics
- reasoning tasks
- qualitative and quantitative
- inference rules
- constraint networks
- situation calculus
- epistemic logic
- temporal knowledge
- temporal constraint networks
- series parallel
- spatial reasoning
- path consistency
- dynamic logic
- classical logic
- temporal relations
- constraint reasoning
- simple temporal
- model checking
- autoepistemic logic
- interval algebra
- constraint satisfaction
- conditional logic
- computer vision
- visual features