Keyphrases
- conditional logic
- logic programming
- nonmonotonic reasoning
- default reasoning
- belief revision
- modal logic
- knowledge representation and reasoning
- inference rules
- higher order logic
- nonmonotonic inference
- logic programs
- defeasible reasoning
- truth values
- knowledge base
- default logic
- programming language
- knowledge representation
- inconsistent knowledge
- belief change
- artificial intelligence