Keyphrases
- default rules
- default reasoning
- conditional logic
- default logic
- belief revision
- knowledge base
- default theories
- inheritance reasoning
- nonmonotonic reasoning
- commonsense reasoning
- expressive power
- possibility theory
- modal logic
- partial order
- epistemic states
- proof theoretic
- special case
- nonmonotonic logics
- domain knowledge
- cooperative
- three dimensional
- metadata