Arieli, OferCaminada, Martin W.A.2014-03-062014-03-062013-06Arieli, O & Caminada, M W A 2013, 'A QBF-based Formalization of Abstract Argumentation Semantics', Journal of Applied Logic, vol. 11, no. 2, pp. 229-252. https://doi.org/10.1016/j.jal.2013.03.009http://hdl.handle.net/2164/3153Supported by the National Research Fund, Luxembourg (LAAMI project) and by the Engineering and Physical Sciences Research Council (EPSRC, UK), grant ref. EP/J012084/1 (SAsSY project).24242611engsemantics for abstract argumentationframeworksquantified Boolean formulassigned theoriesQA MathematicsGeneral Computer ScienceEngineering and Physical Sciences Research Council (EPSRC)EP/J012084/1QAJournal article10.1016/j.jal.2013.03.009112