A Structural Property on Modal Frames Characterizing Default Logic.
Gianni AmatiLuigia Carlucci AielloDov M. GabbayFiora PirriPublished in: Log. J. IGPL (1996)
Keyphrases
- default logic
- nonmonotonic logics
- modal logic
- default theories
- default reasoning
- nonmonotonic reasoning
- autoepistemic logic
- logic programming
- default rules
- temporal logic
- propositional logic
- fixed point
- extended logic programs
- defeasible logic
- classical logic
- decision procedures
- situation calculus
- artificial intelligence
- inference rules
- machine learning