{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,15]],"date-time":"2026-10-15T13:22:37Z","timestamp":1792070557427,"version":"4.4.0"},"reference-count":57,"publisher":"Cambridge University Press (CUP)","issue":"2","license":[{"start":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T00:00:00Z","timestamp":1559260800000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theory and Practice of Logic Programming"],"published-print":{"date-parts":[[2020,3]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Answer Set Programming (ASP) is a prominent knowledge representation language with roots in logic programming and non-monotonic reasoning. Biennial ASP competitions are organized in order to furnish challenging benchmark collections and assess the advancement of the state of the art in ASP solving. In this paper, we report on the design and results of the Seventh ASP Competition, jointly organized by the University of Calabria (Italy), the University of Genova (Italy), and the University of Potsdam (Germany), in affiliation with the 14th International Conference on Logic Programming and Non-Monotonic Reasoning (LPNMR 2017).<\/jats:p>","DOI":"10.1017\/s1471068419000061","type":"journal-article","created":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T09:40:35Z","timestamp":1559295635000},"page":"176-204","source":"Crossref","is-referenced-by-count":33,"title":["The Seventh Answer Set Programming Competition: Design and Results"],"prefix":"10.1017","volume":"20","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8010-4752","authenticated-orcid":false,"given":"MARTIN","family":"GEBSER","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"MARCO","family":"MARATEA","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8218-3178","authenticated-orcid":false,"given":"FRANCESCO","family":"RICCA","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"56","published-online":{"date-parts":[[2019,5,31]]},"reference":[{"key":"S1471068419000061_ref55","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068414000118"},{"key":"S1471068419000061_ref53","first-page":"1","article-title":"Look-back techniques and heuristics in DLV: Implementation, evaluation and comparison to QBF solvers","volume":"63","author":"Maratea","year":"2008","journal-title":"Journal of Algorithms in Cognition, Informatics and Logics"},{"key":"S1471068419000061_ref52","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-23264-5_36"},{"key":"S1471068419000061_ref54","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-60085-2_17"},{"key":"S1471068419000061_ref50","first-page":"73","volume-title":"Advances in Artificial Intelligence - Proceedings of the 13th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2013)","volume":"8249","author":"Maratea","year":"2013"},{"key":"S1471068419000061_ref49","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33353-8_39"},{"key":"S1471068419000061_ref47","first-page":"37","volume-title":"Proceedings of the Twenty-Fourth International Conference on Logic Programming (ICLP\u201908)","volume":"5366","author":"Lifschitz","year":"2008"},{"key":"S1471068419000061_ref46","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(02)00186-8"},{"key":"S1471068419000061_ref26","first-page":"51","article-title":"Consistency of Clark\u2019s completion and existence of stable models","volume":"1","author":"Fages","year":"1994","journal-title":"Journal of Methods of Logic in Computer Science"},{"key":"S1471068419000061_ref10","doi-asserted-by":"publisher","DOI":"10.1007\/BF01530761"},{"key":"S1471068419000061_ref32","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2018\/769"},{"key":"S1471068419000061_ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-23264-5_5"},{"key":"S1471068419000061_ref6","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2017\/75"},{"key":"S1471068419000061_ref51","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068413000094"},{"key":"S1471068419000061_ref13","first-page":"5:1","volume-title":"Technical Communications of the Thirty-Second International Conference on Logic Programming (ICLP\u201916)","volume":"52","author":"Bomanson","year":"2016"},{"key":"S1471068419000061_ref29","first-page":"190","volume-title":"Proceedings of the Twenty-Fourth International Conference on Logic Programming (ICLP\u201908)","volume":"5366","author":"Gebser","year":"2008"},{"key":"S1471068419000061_ref56","doi-asserted-by":"publisher","DOI":"10.1007\/s10472-009-9116-y"},{"key":"S1471068419000061_ref30","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-23264-5_31"},{"key":"S1471068419000061_ref17","article-title":"Efficiently coupling the I-DLV grounder with ASP solvers","author":"Calimeri","year":"2019","journal-title":"Theory and Practice of Logic Programming. To appear"},{"key":"S1471068419000061_ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-61660-5_19"},{"key":"S1471068419000061_ref31","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-20895-9_40"},{"key":"S1471068419000061_ref57","doi-asserted-by":"publisher","DOI":"10.1023\/A:1018930122475"},{"key":"S1471068419000061_ref45","doi-asserted-by":"publisher","DOI":"10.1609\/aimag.v37i3.2675"},{"key":"S1471068419000061_ref7","doi-asserted-by":"crossref","DOI":"10.1515\/9781400841103","volume-title":"The Traveling Salesman Problem: A Computational Study","author":"Applegate","year":"2007"},{"key":"S1471068419000061_ref19","doi-asserted-by":"publisher","DOI":"10.3233\/IA-170104"},{"key":"S1471068419000061_ref34","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-61660-5_1"},{"key":"S1471068419000061_ref22","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068412000105"},{"key":"S1471068419000061_ref43","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068416000569"},{"key":"S1471068419000061_ref25","first-page":"40","volume-title":"Reasoning Web. Semantic Technologies for Information Systems, 5th International Summer School - Tutorial Lectures","author":"Eiter","year":"2009"},{"key":"S1471068419000061_ref36","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(02)00206-0"},{"key":"S1471068419000061_ref28","first-page":"351","volume-title":"Proceedings of the Twenty-First European Conference on Artificial Intelligence (ECAI\u201914)","author":"Gebser","year":"2014"},{"key":"S1471068419000061_ref11","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068416000387"},{"key":"S1471068419000061_ref35","doi-asserted-by":"publisher","DOI":"10.1613\/jair.5373"},{"key":"S1471068419000061_ref42","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068415000265"},{"key":"S1471068419000061_ref24","doi-asserted-by":"publisher","DOI":"10.1007\/BF01536399"},{"key":"S1471068419000061_ref39","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(95)00119-0"},{"key":"S1471068419000061_ref14","doi-asserted-by":"publisher","DOI":"10.3233\/FI-2016-1398"},{"key":"S1471068419000061_ref3","first-page":"1034","volume-title":"Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence (AAAI\u201917)","author":"Amendola","year":"2017"},{"key":"S1471068419000061_ref4","first-page":"1720","volume-title":"Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence (AAAI\u201918)","author":"Amendola","year":"2018"},{"key":"S1471068419000061_ref15","doi-asserted-by":"publisher","DOI":"10.1145\/2043174.2043195"},{"key":"S1471068419000061_ref8","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068417000187"},{"key":"S1471068419000061_ref9","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511543357"},{"key":"S1471068419000061_ref23","first-page":"153","volume-title":"Proceedings of the Twenty-Seventh International Conference on Uncertainty in Artificial Intelligence (UAI\u201911)","author":"Cussens","year":"2011"},{"key":"S1471068419000061_ref12","doi-asserted-by":"crossref","first-page":"166","DOI":"10.1007\/978-3-319-11558-0_12","volume-title":"Proceedings of the Fourteenth European Conference on Logics in Artificial Intelligence (JELIA\u201914)","volume":"8761","author":"Bomanson","year":"2014"},{"key":"S1471068419000061_ref27","first-page":"26","volume-title":"Proceedings of the Twenty-Fourth RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA\u201917)","volume":"2011","author":"Fusc\u00e0","year":"2017"},{"key":"S1471068419000061_ref48","first-page":"32","volume-title":"Proceedings of the Thirteenth International Conference on Principles of Knowledge Representation and Reasoning (KR\u201912)","author":"Liu","year":"2012"},{"key":"S1471068419000061_ref5","first-page":"219","volume-title":"Artificial Intelligence","volume":"234","author":"Amendola","year":"2016"},{"key":"S1471068419000061_ref16","doi-asserted-by":"publisher","DOI":"10.1017\/S147106841400009X"},{"key":"S1471068419000061_ref18","first-page":"192","volume-title":"Proceedings of AI*IA 2016: Advances in Artificial Intelligence - Fifteenth International Conference of the Italian Association for Artificial Intelligence","volume":"10037","author":"Calimeri","year":"2016"},{"key":"S1471068419000061_ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-73305-0_9"},{"key":"S1471068419000061_ref21","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2015.09.008"},{"key":"S1471068419000061_ref33","first-page":"4327","volume-title":"Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence (AAAI 2016)","author":"Gebser","year":"2016"},{"key":"S1471068419000061_ref37","first-page":"481","volume-title":"Proceedings of the First International Conference on Principles and Practice of Constraint Programming (CP\u201995)","volume":"976","author":"Guerinik","year":"1995"},{"key":"S1471068419000061_ref38","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-45468-9_1"},{"key":"S1471068419000061_ref40","doi-asserted-by":"publisher","DOI":"10.1007\/s11222-015-9611-4"},{"key":"S1471068419000061_ref41","first-page":"111","volume-title":"Proceedings of the Symposium on Constructive Mathematics and Computer Science in Honour of Michael Gelfonds 65th Anniversary","volume":"6565","author":"Janhunen","year":"2011"},{"key":"S1471068419000061_ref44","doi-asserted-by":"publisher","DOI":"10.1145\/1149114.1149117"}],"container-title":["Theory and Practice of Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1471068419000061","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,17]],"date-time":"2023-09-17T02:57:59Z","timestamp":1694919479000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1471068419000061\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,5,31]]},"references-count":57,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2020,3]]}},"alternative-id":["S1471068419000061"],"URL":"https:\/\/doi.org\/10.1017\/s1471068419000061","relation":{},"ISSN":["1471-0684","1475-3081"],"issn-type":[{"value":"1471-0684","type":"print"},{"value":"1475-3081","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,5,31]]}}}