Default Logics: A Unified View.
Christine FroidevauxJérôme MenginPublished in: Comput. Intell. (1994)
Keyphrases
- default logic
- default theories
- default reasoning
- nonmonotonic reasoning
- autoepistemic logic
- logic programming
- modal logic
- nonmonotonic logics
- knowledge representation formalisms
- default rules
- extended logic programs
- classical logic
- fixed point
- truth maintenance systems
- expert systems
- knowledge base
- defeasible logic
- description logics
- state space