Embedding Default Logic in Propositional Argumentation Systems
Dritan BerzatiBernhard AnrigJürg KohlasPublished in: CoRR (2002)
Keyphrases
- default logic
- argumentation systems
- nonmonotonic reasoning
- default reasoning
- default theories
- logic programming
- autoepistemic logic
- nonmonotonic logics
- default rules
- truth maintenance systems
- fixed point
- modal logic
- defeasible logic
- possibility theory
- classical logic
- logic programs
- general theory
- high level
- argumentation frameworks