Priorities on Defaults with Prerequisites, and Their Application in Treating Specificity in Terminological Default Logic.
Franz BaaderBernhard HollunderPublished in: J. Autom. Reason. (1995)
Keyphrases
- default logic
- default theories
- default reasoning
- logic programming
- nonmonotonic reasoning
- nonmonotonic logics
- default rules
- modal logic
- autoepistemic logic
- fixed point
- database
- extended logic programs
- graphical models
- knowledge base
- belief revision
- classical logic
- programming language
- defeasible logic
- decision procedures
- reinforcement learning
- training data
- machine learning