Keyphrases
- modal logic
- spatial reasoning
- temporal logic
- spatial relations
- inference rules
- temporal reasoning
- epistemic logic
- conditional logic
- classical logic
- nonmonotonic logics
- spatial knowledge
- topological relations
- default logic
- situation calculus
- qualitative spatial reasoning
- dynamic logic
- prime implicates
- explanation based generalization
- directional relations
- formal theory