Reasoning in Abstract Dialectical Frameworks Using Quantified Boolean Formulas

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Toggle side column

Reasoning in Abstract Dialectical Frameworks Using Quantified Boolean Formulas

Martin DillerMartin Diller,  Johannes Peter WallnerJohannes Peter Wallner,  Stefan WoltranStefan Woltran
Reasoning in Abstract Dialectical Frameworks Using Quantified Boolean Formulas


Martin Diller, Johannes Peter Wallner, Stefan Woltran
Reasoning in Abstract Dialectical Frameworks Using Quantified Boolean Formulas
Argument & Computation, 6(2):149–177, 2015
@article{DWW2015,
  author  = {Martin Diller and Johannes Peter Wallner and Stefan Woltran},
  title   = {Reasoning in Abstract Dialectical Frameworks Using Quantified
             Boolean Formulas},
  journal = {Argument \& Computation},
  volume  = {6},
  number  = {2},
  year    = {2015},
  pages   = {149{\textendash}177}
}