Embedding default logic in propositional argumentation systems.
Dritan BerzatiBernhard AnrigJürg KohlasPublished in: NMR (2002)
Keyphrases
- default logic
- argumentation systems
- nonmonotonic reasoning
- default reasoning
- default theories
- logic programming
- autoepistemic logic
- nonmonotonic logics
- modal logic
- default rules
- fixed point
- possibility theory
- truth maintenance systems
- classical logic
- defeasible logic
- general theory
- deductive databases
- probabilistic logic
- temporal logic
- np complete
- artificial intelligence