Keyphrases
- conditional logic
- default reasoning
- belief revision
- modal logic
- nonmonotonic reasoning
- higher order logic
- situation calculus
- nonmonotonic inference
- knowledge representation and reasoning
- complete axiomatization
- probabilistic reasoning
- general theory
- default logic
- sound and complete axiomatization
- query language
- temporal logic
- graph cuts