A Three-Valued Approach to Default Logic.
Anna RadzikowskaPublished in: J. Appl. Non Class. Logics (1996)
Keyphrases
- default logic
- nonmonotonic logics
- valued semantics
- default theories
- default reasoning
- nonmonotonic reasoning
- autoepistemic logic
- logic programming
- modal logic
- fixed point
- default rules
- extended logic programs
- truth maintenance systems
- propositional logic
- defeasible logic
- databases
- inference rules
- expert systems
- general purpose
- incomplete information
- logic programs
- higher order