Valid Deductions for Falsity-Default Logics.
Richard L. EpsteinPublished in: Reports Math. Log. (1992)
Keyphrases
- default logic
- default theories
- autoepistemic logic
- nonmonotonic reasoning
- logic programming
- default reasoning
- nonmonotonic logics
- default rules
- fixed point
- modal logic
- extended logic programs
- knowledge representation formalisms
- classical logic
- truth maintenance systems
- minimal models
- pairwise
- defeasible logic
- partial order
- truth values
- commonsense reasoning
- semantic web
- description logics