A Unifying Four-State Labelling Semantics for Bridging Abstract Argumentation Frameworks and Belief Revision.
Stefano BistarelliCarlo TaticchiPublished in: ICTCS (2021)
Keyphrases
- belief revision
- abstract argumentation frameworks
- logical properties
- default reasoning
- conditional logic
- nonmonotonic reasoning
- argumentation semantics
- propositional logic
- belief change
- logical framework
- desirable properties
- update operators
- belief state
- belief update
- possibilistic logic
- belief merging
- sound and complete axiomatization
- epistemic states
- logic programming
- dynamic aspects
- minimal change
- argumentation frameworks
- abstract argumentation
- temporal logic
- artificial intelligence
- knowledge base