Reasoning in Abstract Dialectical Frameworks Using Quantified Boolean Formulas

Martin DillerMartin Diller, Johannes Peter WallnerJohannes Peter Wallner, Stefan WoltranStefan Woltran

Martin Diller, Johannes Peter Wallner, Stefan Woltran
Reasoning in Abstract Dialectical Frameworks Using Quantified Boolean Formulas
Argument & Computation, 6(2):149–177, 2015

Details
Bibtex

Weitere Informationen unter:Further Information: Link
Forschungsgruppe:Research Group: Computational LogicComputational Logic, Logische Programmierung und ArgumentationLogic Programming and Argumentation

@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}
}