%0 Conference Paper %1 DBLP:conf/ki/BeierleBP15 %A Beierle, Christoph %A Brons, Florian %A Potyka, Nico %B German Conference on Artificial Intelligence (KI) %D 2015 %E Hölldobler, Steffen %E Krötzsch, Markus %E Peñaloza, Rafael %E Rudolph, Sebastian %I Springer %K imported %P 241-248 %R 10.1007/978-3-319-24489-1\_19 %T A Software System Using a SAT Solver for Reasoning Under Complete, Stable, Preferred, and Grounded Argumentation Semantics %U https://doi.org/10.1007/978-3-319-24489-1\_19 %V 9324

@inproceedings{DBLP:conf/ki/BeierleBP15, added-at = {2020-06-02T18:29:38.000+0200}, author = {Beierle, Christoph and Brons, Florian and Potyka, Nico}, bibsource = {dblp computer science bibliography, https://dblp.org}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/220db63848a640ff39e26688389dff977/dr.nicopotyka}, booktitle = { German Conference on Artificial Intelligence (KI)}, doi = {10.1007/978-3-319-24489-1\_19}, editor = {H{\"{o}}lldobler, Steffen and Kr{\"{o}}tzsch, Markus and Pe{\~{n}}aloza, Rafael and Rudolph, Sebastian}, interhash = {b3233b3ee55f1bee04c1a9efe34c3f8a}, intrahash = {20db63848a640ff39e26688389dff977}, keywords = {imported}, pages = {241-248}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-06-04T17:47:16.000+0200}, title = {A Software System Using a {SAT} Solver for Reasoning Under Complete, Stable, Preferred, and Grounded Argumentation Semantics}, url = {https://doi.org/10.1007/978-3-319-24489-1\_19}, volume = 9324, year = 2015 }