Reasoning in Abstract Dialectical Frameworks Using Quantified Boolean Formulas

Diller, Martin; Wallner, Johannes Peter; Woltran, Stefan

doi:10.3233/978-1-61499-436-7-241

by Martin Diller, Johannes Peter Wallner, Stefan Woltran

Reference:

Reasoning in Abstract Dialectical Frameworks Using Quantified Boolean FormulasMartin Diller, Johannes Peter Wallner, Stefan WoltranComputational Models of Argument - Proceedings of COMMA 2014, Atholl Palace Hotel, Scottish Highlands, UK, September 9-12, 2014 (Simon Parsons, Nir Oren, Chris Reed, Federico Cerutti, eds.), volume 266 of Frontiers in Artificial Intelligence and Applications, pages 241–252, 2014, IOS Press.

Bibtex Entry:

@inproceedings{DBLP:conf/comma/DillerWW14,
  author    = {Martin Diller and
               Johannes Peter Wallner and
               Stefan Woltran},
  editor    = {Simon Parsons and
               Nir Oren and
               Chris Reed and
               Federico Cerutti},
  title     = {Reasoning in Abstract Dialectical Frameworks Using Quantified Boolean
               Formulas},
  booktitle = {Computational Models of Argument - Proceedings of {COMMA} 2014, Atholl
               Palace Hotel, Scottish Highlands, UK, September 9-12, 2014},
  series    = {Frontiers in Artificial Intelligence and Applications},
  volume    = {266},
  pages     = {241--252},
  publisher = {{IOS} Press},
  year      = {2014},
  url       = {http://comma2014.arg.dundee.ac.uk/res/pdfs/24-diller.pdf},
  doi       = {10.3233/978-1-61499-436-7-241},
}