A QBF-based formalization of abstract argumentation semantics.

Ofer Arieli Martin W. A. Caminada

Published in: J. Appl. Log. (2013)

Keyphrases

argumentation semantics
nonmonotonic reasoning
argumentation frameworks
formal model
quantified boolean formulas
decision problems
strongly connected components
high level
cooperative
argumentation theory
quantified boolean formulae