Keyphrases
- conditional logic
- belief revision
- nonmonotonic reasoning
- abductive reasoning
- default reasoning
- nonmonotonic inference
- logic programming
- higher order logic
- belief change
- defeasible reasoning
- modal logic
- knowledge base
- temporal logic
- logic programs
- background knowledge
- logical framework
- sound and complete axiomatization
- expert systems
- sufficient conditions