A Dynamic Logic Framework for Abstract Argumentation
A Dynamic Logic Framework for Abstract Argumentation
S. Doutre,A. Herzig,Laurent Perrussel
2014 · DBLP: conf/kr/DoutreHP14
International Conference on Principles of Knowledge Representation and Reasoning · 66 Citations
TLDR
The dynamics of argumentation frameworks in terms of basic operations on propositional variables, viz. change of their truth values, are studied in a uniform way within a well-known variant of Propositional Dynamic Logic PDL: the Dynamic Logic of Proposalitional Assignments, DL-PA.