Domain Theory Meets Default Logic.
William C. RoundsGuo-Qiang ZhangPublished in: J. Log. Comput. (1995)
Keyphrases
- domain theory
- default logic
- default theories
- explanation based learning
- default reasoning
- domain knowledge
- inductive learning
- logic programming
- nonmonotonic reasoning
- autoepistemic logic
- nonmonotonic logics
- background knowledge
- domain specific knowledge
- classical logic
- default rules
- fixed point
- modal logic
- case base
- training examples
- database
- truth maintenance systems
- defeasible logic
- markov random field
- learning algorithm
- pairwise