%0 Conference Paper %1 conf/ki/BeierleBP15 %A Beierle, Christoph %A Brons, Florian %A Potyka, Nico %B KI %D 2015 %E Hölldobler, Steffen %E Krötzsch, Markus %E Peñaloza, Rafael %E Rudolph, Sebastian %I Springer %K %P 241-248 %T A Software System Using a SAT Solver for Reasoning Under Complete, Stable, Preferred, and Grounded Argumentation Semantics. %U http://dblp.uni-trier.de/db/conf/ki/ki2015.html#BeierleBP15 %V 9324 %@ 978-3-319-24488-4

@inproceedings{conf/ki/BeierleBP15, added-at = {2023-12-13T06:54:38.000+0100}, author = {Beierle, Christoph and Brons, Florian and Potyka, Nico}, biburl = {https://www.bibsonomy.org/bibtex/2a3a1f7a540ce67b5f37c5a7ad682b61c/admin}, booktitle = {KI}, crossref = {conf/ki/2015}, editor = {Hölldobler, Steffen and Krötzsch, Markus and Peñaloza, Rafael and Rudolph, Sebastian}, ee = {https://doi.org/10.1007/978-3-319-24489-1_19}, interhash = {b3233b3ee55f1bee04c1a9efe34c3f8a}, intrahash = {a3a1f7a540ce67b5f37c5a7ad682b61c}, isbn = {978-3-319-24488-4}, keywords = {}, pages = {241-248}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T06:54:38.000+0100}, title = {A Software System Using a SAT Solver for Reasoning Under Complete, Stable, Preferred, and Grounded Argumentation Semantics.}, url = {http://dblp.uni-trier.de/db/conf/ki/ki2015.html#BeierleBP15}, volume = 9324, year = 2015 }