AGM Meets Abstract Argumentation: Contraction for Dung Frameworks.
Ringo BaumannFelix LinkerPublished in: JELIA (2019)
Keyphrases
- decision problems
- abstract argumentation
- argumentation frameworks
- belief change
- belief revision
- horn logic
- abstract argumentation frameworks
- horn contraction
- propositional logic
- preference relations
- argumentation semantics
- computational problems
- argumentation systems
- default reasoning
- nonmonotonic reasoning
- minimal change
- belief update
- practical reasoning
- belief set
- argumentation theory
- iterated belief revision
- preferred semantics
- artificial intelligence
- epistemic states
- possibilistic logic
- knowledge base
- belief base
- theorem proving
- first order logic
- knn
- optimal solution
- data mining