More on modal aspects of default logic.
V. Wiktor MarekMiroslaw TruszczynskiPublished in: Fundam. Informaticae (1992)
Keyphrases
- default logic
- nonmonotonic logics
- modal logic
- default theories
- nonmonotonic reasoning
- default reasoning
- autoepistemic logic
- logic programming
- fixed point
- temporal logic
- default rules
- defeasible logic
- propositional logic
- decision procedures
- extended logic programs
- classical logic
- inference rules
- higher order
- object oriented