AGM Meets Abstract Argumentation: Expansion and Revision for Dung Frameworks.
Ringo BaumannGerhard BrewkaPublished in: IJCAI (2015)
Keyphrases
- abstract argumentation
- belief revision
- argumentation frameworks
- belief change
- abstract argumentation frameworks
- propositional logic
- default reasoning
- minimal change
- nonmonotonic reasoning
- horn contraction
- theorem proving
- epistemic states
- belief update
- horn logic
- argumentation theory
- belief set
- knowledge base
- argumentation semantics
- iterated belief revision
- argumentation systems
- computational problems
- decision problems
- practical reasoning
- possibilistic logic
- temporal logic
- special case