What Does it Take to Enforce an Argument? Minimal Change in abstract Argumentation.
Ringo BaumannPublished in: ECAI (2012)
Keyphrases
- abstract argumentation
- minimal change
- belief revision
- belief change
- argumentation frameworks
- update operations
- model theoretic
- reasoning about actions
- argumentation theory
- theorem proving
- ctl model update
- propositional logic
- action theories
- abstract argumentation frameworks
- preference relations
- preferred semantics
- default reasoning
- nonmonotonic reasoning
- belief base
- machine learning
- sufficient conditions
- decision makers
- search space
- optimal solution
- knowledge base