A QBF-based formalization of abstract argumentation semantics

  title={A QBF-based formalization of abstract argumentation semantics},
  author={Ofer Arieli and Martin Caminada},
  journal={J. Applied Logic},
We introduce a unified logical theory, based on signed theories and Quantified Boolean Formulas (QBFs) that can serve as the basis for representing and computing various argumentationbased decision problems. It is shown that within our framework we are able to model, in a simple and modular way, a wide range of semantics for abstract argumentation theory. This includes complete, grounded, preferred, stable, semi-stable, stage, ideal and eager semantics. Furthermore, our approach is purely… CONTINUE READING
18 Citations
73 References
Similar Papers


Publications citing this paper.
Showing 1-10 of 18 extracted citations


Publications referenced by this paper.
Showing 1-10 of 73 references

A general QBF-based framework for formalizing argumentation

  • O. Arieli, M.W.A. Caminada
  • B. Verheij, S. Szeider, and S. Woltran, editors…
  • 2012
Highly Influential
3 Excerpts

Similar Papers

Loading similar papers…