The Fourth Answer Set Programming Competition: Preliminary Report. Alviano, M., Calimeri, F., Charwat, G., Dao-Tran, M., Dodaro, C., Ianni, G., Krennwallner, T., Kronegger, M., Oetsch, J., Pfandler, A., Pührer, J., Redl, C., Ricca, F., Schneider, P., Schwengerer, M., Katharina Spendier, L., Peter Wallner, J., & Xiao, G. In Proceedings of Logic Programming and Non-Monotonic Reasoning (LPNMR), pages 42-53, 2013. ![The Fourth Answer Set Programming Competition: Preliminary Report [link]](https://bibbase.org/img/filetypes/link.svg "link")
Paper bibtex @inproceedings{ dblp1470207,
title = {The Fourth Answer Set Programming Competition: Preliminary Report},
author = {Mario Alviano and Francesco Calimeri and Günther Charwat and Minh Dao-Tran and Carmine Dodaro and Giovambattista Ianni and Thomas Krennwallner and Martin Kronegger and Johannes Oetsch and Andreas Pfandler and Jörg Pührer and Christoph Redl and Francesco Ricca and Patrik Schneider and Martin Schwengerer and Lara Katharina Spendier and Johannes Peter Wallner and Guohui Xiao},
author_short = {Alviano, M. and Calimeri, F. and Charwat, G. and Dao-Tran, M. and Dodaro, C. and Ianni, G. and Krennwallner, T. and Kronegger, M. and Oetsch, J. and Pfandler, A. and Pührer, J. and Redl, C. and Ricca, F. and Schneider, P. and Schwengerer, M. and Katharina Spendier, L. and Peter Wallner, J. and Xiao, G.},
bibtype = {inproceedings},
type = {inproceedings},
year = {2013},
key = {dblp1470207},
id = {dblp1470207},
biburl = {http://www.dblp.org/rec/bibtex/conf/lpnmr/AlvianoCCDDIKKOPPRRSSSWX13},
url = {http://dx.doi.org/10.1007/978-3-642-40564-8_5},
conference = {LPNMR},
pages = {42-53},
text = {LPNMR 2013:42-53},
booktitle = {Proceedings of Logic Programming and Non-Monotonic Reasoning (LPNMR)}
}
Downloads: 0
{"_id":{"_str":"52b361ab9eb585cc26004401"},"__v":0,"authorIDs":[],"author_short":["Alviano, M.","Calimeri, F.","Charwat, G.","Dao-Tran, M.","Dodaro, C.","Ianni, G.","Krennwallner, T.","Kronegger, M.","Oetsch, J.","Pfandler, A.","Pührer, J.","Redl, C.","Ricca, F.","Schneider, P.","Schwengerer, M.","Katharina Spendier, L.","Peter Wallner, J.","Xiao, G."],"bibbaseid":"alviano-calimeri-charwat-daotran-dodaro-ianni-krennwallner-kronegger-oetsch-pfandler-phrer-redl-ricca-schneider-schwengerer-katharinaspendier-peterwallner-xiao-thefourthanswersetprogrammingcompetitionpreliminaryreport-2013","bibdata":{"html":"<div class=\"bibbase_paper\"> \n\n\n<span class=\"bibbase_paper_titleauthoryear\">\n\t<span class=\"bibbase_paper_title\"><a name=\"dblp1470207\"> </a>The Fourth Answer Set Programming Competition: Preliminary Report.</span>\n\t<span class=\"bibbase_paper_author\">\nAlviano, M.; Calimeri, F.; Charwat, G.; Dao-Tran, M.; Dodaro, C.; Ianni, G.; Krennwallner, T.; Kronegger, M.; Oetsch, J.; Pfandler, A.; Pührer, J.; Redl, C.; Ricca, F.; Schneider, P.; Schwengerer, M.; Katharina Spendier, L.; Peter Wallner, J.; and Xiao, G.</span>\n\t<!-- <span class=\"bibbase_paper_year\">2013</span>. -->\n</span>\n\n\n\nIn\n<i>Proceedings of Logic Programming and Non-Monotonic Reasoning (LPNMR)</i>, page 42-53, 2013.\n\n\n\n\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content\">\n \n \n <!-- <i -->\n <!-- onclick=\"javascript:log_download('alviano-calimeri-charwat-daotran-dodaro-ianni-krennwallner-kronegger-oetsch-pfandler-phrer-redl-ricca-schneider-schwengerer-katharinaspendier-peterwallner-xiao-thefourthanswersetprogrammingcompetitionpreliminaryreport-2013', 'http://dx.doi.org/10.1007/978-3-642-40564-8_5')\">DEBUG -->\n <!-- </i> -->\n\n <a href=\"http://dx.doi.org/10.1007/978-3-642-40564-8_5\"\n onclick=\"javascript:log_download('alviano-calimeri-charwat-daotran-dodaro-ianni-krennwallner-kronegger-oetsch-pfandler-phrer-redl-ricca-schneider-schwengerer-katharinaspendier-peterwallner-xiao-thefourthanswersetprogrammingcompetitionpreliminaryreport-2013', 'http://dx.doi.org/10.1007/978-3-642-40564-8_5')\">\n <img src=\"http://bibbase.org/img/filetypes/blank.png\"\n\t alt=\"The Fourth Answer Set Programming Competition: Preliminary Report [.1007/978-3-642-40564-8_5]\" \n\t class=\"bibbase_icon\"\n\t style=\"width: 24px; height: 24px; border: 0px; vertical-align: text-top\" ><span class=\"bibbase_icon_text\">Paper</span></a> \n \n \n \n <a href=\"javascript:showBib('dblp1470207')\"\n class=\"bibbase link\">\n <!-- <img src=\"http://bibbase.org/img/filetypes/bib.png\" -->\n\t<!-- alt=\"The Fourth Answer Set Programming Competition: Preliminary Report [bib]\" -->\n\t<!-- class=\"bibbase_icon\" -->\n\t<!-- style=\"width: 24px; height: 24px; border: 0px; vertical-align: text-top\"><span class=\"bibbase_icon_text\">Bibtex</span> -->\n BibTeX\n <i class=\"fa fa-caret-down\"></i></a>\n \n \n \n \n\n \n \n \n</span>\n\n<div class=\"well well-small bibbase\" id=\"bib_dblp1470207\"\n style=\"display:none\">\n <pre>@inproceedings{ dblp1470207,\n title = {The Fourth Answer Set Programming Competition: Preliminary Report},\n author = {Mario Alviano and Francesco Calimeri and Günther Charwat and Minh Dao-Tran and Carmine Dodaro and Giovambattista Ianni and Thomas Krennwallner and Martin Kronegger and Johannes Oetsch and Andreas Pfandler and Jörg Pührer and Christoph Redl and Francesco Ricca and Patrik Schneider and Martin Schwengerer and Lara Katharina Spendier and Johannes Peter Wallner and Guohui Xiao},\n author_short = {Alviano, M. and Calimeri, F. and Charwat, G. and Dao-Tran, M. and Dodaro, C. and Ianni, G. and Krennwallner, T. and Kronegger, M. and Oetsch, J. and Pfandler, A. and Pührer, J. and Redl, C. and Ricca, F. and Schneider, P. and Schwengerer, M. and Katharina Spendier, L. and Peter Wallner, J. and Xiao, G.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2013},\n key = {dblp1470207},\n id = {dblp1470207},\n biburl = {http://www.dblp.org/rec/bibtex/conf/lpnmr/AlvianoCCDDIKKOPPRRSSSWX13},\n url = {http://dx.doi.org/10.1007/978-3-642-40564-8_5},\n conference = {LPNMR},\n pages = {42-53},\n text = {LPNMR 2013:42-53},\n booktitle = {Proceedings of Logic Programming and Non-Monotonic Reasoning (LPNMR)}\n}</pre>\n</div>\n\n\n\n</div>\n","downloads":0,"bibbaseid":"alviano-calimeri-charwat-daotran-dodaro-ianni-krennwallner-kronegger-oetsch-pfandler-phrer-redl-ricca-schneider-schwengerer-katharinaspendier-peterwallner-xiao-thefourthanswersetprogrammingcompetitionpreliminaryreport-2013","urls":{"Paper":"http://dx.doi.org/10.1007/978-3-642-40564-8_5"},"role":"author","bibtex":"@inproceedings{ dblp1470207,\n title = {The Fourth Answer Set Programming Competition: Preliminary Report},\n author = {Mario Alviano and Francesco Calimeri and Günther Charwat and Minh Dao-Tran and Carmine Dodaro and Giovambattista Ianni and Thomas Krennwallner and Martin Kronegger and Johannes Oetsch and Andreas Pfandler and Jörg Pührer and Christoph Redl and Francesco Ricca and Patrik Schneider and Martin Schwengerer and Lara Katharina Spendier and Johannes Peter Wallner and Guohui Xiao},\n author_short = {Alviano, M. and Calimeri, F. and Charwat, G. and Dao-Tran, M. and Dodaro, C. and Ianni, G. and Krennwallner, T. and Kronegger, M. and Oetsch, J. and Pfandler, A. and Pührer, J. and Redl, C. and Ricca, F. and Schneider, P. and Schwengerer, M. and Katharina Spendier, L. and Peter Wallner, J. and Xiao, G.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2013},\n key = {dblp1470207},\n id = {dblp1470207},\n biburl = {http://www.dblp.org/rec/bibtex/conf/lpnmr/AlvianoCCDDIKKOPPRRSSSWX13},\n url = {http://dx.doi.org/10.1007/978-3-642-40564-8_5},\n conference = {LPNMR},\n pages = {42-53},\n text = {LPNMR 2013:42-53},\n booktitle = {Proceedings of Logic Programming and Non-Monotonic Reasoning (LPNMR)}\n}","booktitle":"Proceedings of Logic Programming and Non-Monotonic Reasoning (LPNMR)","text":"LPNMR 2013:42-53","pages":"42-53","conference":"LPNMR","url":"http://dx.doi.org/10.1007/978-3-642-40564-8_5","biburl":"http://www.dblp.org/rec/bibtex/conf/lpnmr/AlvianoCCDDIKKOPPRRSSSWX13","id":"dblp1470207","key":"dblp1470207","year":"2013","type":"inproceedings","bibtype":"inproceedings","author_short":["Alviano, M.","Calimeri, F.","Charwat, G.","Dao-Tran, M.","Dodaro, C.","Ianni, G.","Krennwallner, T.","Kronegger, M.","Oetsch, J.","Pfandler, A.","Pührer, J.","Redl, C.","Ricca, F.","Schneider, P.","Schwengerer, M.","Katharina Spendier, L.","Peter Wallner, J.","Xiao, G."],"author":["Mario Alviano","Francesco Calimeri","Günther Charwat","Minh Dao-Tran","Carmine Dodaro","Giovambattista Ianni","Thomas Krennwallner","Martin Kronegger","Johannes Oetsch","Andreas Pfandler","Jörg Pührer","Christoph Redl","Francesco Ricca","Patrik Schneider","Martin Schwengerer","Lara Katharina Spendier","Johannes Peter Wallner","Guohui Xiao"],"title":"The Fourth Answer Set Programming Competition: Preliminary Report"},"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/lpnmr/AlvianoCCDDIKKOPPRRSSSWX13","downloads":0,"search_terms":["fourth","answer","set","programming","competition","preliminary","report","alviano","calimeri","charwat","dao-tran","dodaro","ianni","krennwallner","kronegger","oetsch","pfandler","pührer","redl","ricca","schneider","schwengerer","katharina spendier","peter wallner","xiao"],"title":"The Fourth Answer Set Programming Competition: Preliminary Report","year":2013,"dataSources":["FcWKr6r6znyNprxwQ"]}