•  95
    Reasoning in abstract dialectical frameworks using quantified Boolean formulas
    with Johannes Peter Wallner and Stefan Woltran
    Argument and Computation 6 (2): 149-177. 2015.
    dialectical frameworks constitute a recent and powerful generalisation of Dung's argumentation frameworks, where the relationship between the arguments can be specified via Boolean formulas. Recent results have shown that this enhancement comes with the price of higher complexity compared to AFs. In fact, acceptance problems in the world of ADFs can be hard even for the third level of the polynomial hierarchy. In order to implement reasoning problems on ADFs, systems for quantified Boolean formu…Read more
  •  15
    Investigating subclasses of abstract dialectical frameworks
    with Atefeh Keshavarzi Zafarghandi, Thomas Linsbichler, and Stefan Woltran
    Argument and Computation 11 (1-2): 191-219. 2020.