{"_id":"ivRmH6kCmrYGzpzm4","bibbaseid":"alviano-calimeri-charwat-daotran-dodaro-ianni-krennwallner-kronegger-etal-thefourthanswersetprogrammingcompetitionpreliminaryreport-2013","author_short":["Alviano, M.","Calimeri, F.","Charwat, G.","Dao-Tran, M.","Dodaro, C.","Ianni, G.","Krennwallner, T.","Kronegger, M.","Oetsch, J.","Pfandler, A.","P"uhrer, J.","Redl, C.","Ricca, F.","Schneider, P.","Schwengerer, M.","Spendier, L. K.","Wallner, J. P.","Xiao, G."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Mario"],"propositions":[],"lastnames":["Alviano"],"suffixes":[]},{"firstnames":["Francesco"],"propositions":[],"lastnames":["Calimeri"],"suffixes":[]},{"firstnames":["G"unther"],"propositions":[],"lastnames":["Charwat"],"suffixes":[]},{"firstnames":["Minh"],"propositions":[],"lastnames":["Dao-Tran"],"suffixes":[]},{"firstnames":["Carmine"],"propositions":[],"lastnames":["Dodaro"],"suffixes":[]},{"firstnames":["Giovambattista"],"propositions":[],"lastnames":["Ianni"],"suffixes":[]},{"firstnames":["Thomas"],"propositions":[],"lastnames":["Krennwallner"],"suffixes":[]},{"firstnames":["Martin"],"propositions":[],"lastnames":["Kronegger"],"suffixes":[]},{"firstnames":["Johannes"],"propositions":[],"lastnames":["Oetsch"],"suffixes":[]},{"firstnames":["Andreas"],"propositions":[],"lastnames":["Pfandler"],"suffixes":[]},{"firstnames":["J"org"],"propositions":[],"lastnames":["P"uhrer"],"suffixes":[]},{"firstnames":["Christoph"],"propositions":[],"lastnames":["Redl"],"suffixes":[]},{"firstnames":["Francesco"],"propositions":[],"lastnames":["Ricca"],"suffixes":[]},{"firstnames":["Patrik"],"propositions":[],"lastnames":["Schneider"],"suffixes":[]},{"firstnames":["Martin"],"propositions":[],"lastnames":["Schwengerer"],"suffixes":[]},{"firstnames":["Lara","Katharina"],"propositions":[],"lastnames":["Spendier"],"suffixes":[]},{"firstnames":["Johannes","Peter"],"propositions":[],"lastnames":["Wallner"],"suffixes":[]},{"firstnames":["Guohui"],"propositions":[],"lastnames":["Xiao"],"suffixes":[]}],"editor":[{"firstnames":["Pedro"],"propositions":[],"lastnames":["Cabalar"],"suffixes":[]},{"firstnames":["Tran","Cao"],"propositions":[],"lastnames":["Son"],"suffixes":[]}],"title":"The Fourth Answer Set Programming Competition: Preliminary Report","booktitle":"Logic Programming and Nonmonotonic Reasoning, 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings","series":"Lecture Notes in Computer Science","volume":"8148","pages":"42–53","publisher":"Springer","year":"2013","url":"https://doi.org/10.1007/978-3-642-40564-8_5","doi":"10.1007/978-3-642-40564-8_5","timestamp":"Sun, 25 Jul 2021 01:00:00 +0200","biburl":"https://dblp.org/rec/conf/lpnmr/AlvianoCCDDIKKOPPRRSSSWX13.bib","bibsource":"dblp computer science bibliography, https://dblp.org","author_short":["Alviano, M.","Calimeri, F.","Charwat, G.","Dao-Tran, M.","Dodaro, C.","Ianni, G.","Krennwallner, T.","Kronegger, M.","Oetsch, J.","Pfandler, A.","P"uhrer, J.","Redl, C.","Ricca, F.","Schneider, P.","Schwengerer, M.","Spendier, L. K.","Wallner, J. P.","Xiao, G."],"editor_short":["Cabalar, P.","Son, T. C."],"key":"DBLP:conf/lpnmr/AlvianoCCDDIKKOPPRRSSSWX13","id":"DBLP:conf/lpnmr/AlvianoCCDDIKKOPPRRSSSWX13","bibbaseid":"alviano-calimeri-charwat-daotran-dodaro-ianni-krennwallner-kronegger-etal-thefourthanswersetprogrammingcompetitionpreliminaryreport-2013","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-642-40564-8_5"},"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/17/4975.html?view=bibtex","dataSources":["Abx4S3KE5cjtwTGfS"],"keywords":[],"search_terms":["fourth","answer","set","programming","competition","preliminary","report","alviano","calimeri","charwat","dao-tran","dodaro","ianni","krennwallner","kronegger","oetsch","pfandler","p"uhrer","redl","ricca","schneider","schwengerer","spendier","wallner","xiao"],"title":"The Fourth Answer Set Programming Competition: Preliminary Report","year":2013}