Reasoning in Abstract Dialectical Frameworks Using Quantified Boolean Formulas

PublikationenPublications

• Nach AutorBy Author
  • Martin DillerMartin Diller
• Nach ForschungsgruppeBy Research Group
  • Computational LogicComputational Logic
  • Logische Programmierung und ArgumentationLogic Programming and Argumentation

Toggle side column

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
Proceedings of the 5th International Conference on Computational Models of Argument, 241-252, 2014. IOS Press

• Details
• Bibtex

• Weitere Informationen unter:Other info: Link
• Forschungsgruppe:Research Group: Computational Logic, Logische Programmierung und Argumentation

@inproceedings{DWW2014,
  author    = {Martin Diller and Johannes Peter Wallner and Stefan Woltran},
  title     = {Reasoning in Abstract Dialectical Frameworks Using Quantified
               Boolean Formulas},
  booktitle = {Proceedings of the 5th International Conference on Computational
               Models of Argument},
  publisher = {IOS Press},
  year      = {2014},
  pages     = {241-252}
}