Relating Defeasible and Default Logic.
Grigoris AntoniouDavid BillingtonPublished in: Australian Joint Conference on Artificial Intelligence (2001)
Keyphrases
- default logic
- nonmonotonic reasoning
- default reasoning
- default theories
- logic programming
- autoepistemic logic
- defeasible logic
- default rules
- fixed point
- nonmonotonic logics
- modal logic
- extended logic programs
- general purpose
- logic programs
- higher order
- truth maintenance systems
- pairwise
- natural language
- artificial intelligence