%0 Conference Paper %1 conf/ijcai/GebserLMPRS18 %A Gebser, Martin %A Leone, Nicola %A Maratea, Marco %A Perri, Simona %A Ricca, Francesco %A Schaub, Torsten %B IJCAI %D 2018 %E Lang, Jérôme %I ijcai.org %K %P 5450-5456 %T Evaluation Techniques and Systems for Answer Set Programming: a Survey. %U http://dblp.uni-trier.de/db/conf/ijcai/ijcai2018.html#GebserLMPRS18 %@ 978-0-9992411-2-7

@inproceedings{conf/ijcai/GebserLMPRS18, added-at = {2023-12-12T23:38:33.000+0100}, author = {Gebser, Martin and Leone, Nicola and Maratea, Marco and Perri, Simona and Ricca, Francesco and Schaub, Torsten}, biburl = {https://www.bibsonomy.org/bibtex/22466d18a5234bc345bdf86b682680464/admin}, booktitle = {IJCAI}, crossref = {conf/ijcai/2018}, editor = {Lang, Jérôme}, ee = {https://doi.org/10.24963/ijcai.2018/769}, interhash = {584b52059619d9de93a7c0a44167abce}, intrahash = {2466d18a5234bc345bdf86b682680464}, isbn = {978-0-9992411-2-7}, keywords = {}, pages = {5450-5456}, publisher = {ijcai.org}, timestamp = {2023-12-12T23:38:33.000+0100}, title = {Evaluation Techniques and Systems for Answer Set Programming: a Survey.}, url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai2018.html#GebserLMPRS18}, year = 2018 }