Keyphrases
- modal logic
- qualitative spatial reasoning
- spatial reasoning
- qualitative spatial
- temporal logic
- decision procedures
- inference rules
- path consistency
- spatial relations
- qualitative information
- epistemic logic
- situation calculus
- cardinal directions
- spatial information
- nonmonotonic logics
- formal theory
- default logic
- temporal reasoning
- maximal tractable
- constraint satisfaction
- knowledge representation
- kripke models