Reasoning in Abstract Dialectical Frameworks Using Quantified Boolean Formulas.

Martin Diller, Johannes Peter Wallner, Stefan Woltran

Browse the full COMMA paper archive.