{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,31]],"date-time":"2026-07-31T20:08:22Z","timestamp":1785528502414,"version":"3.56.0"},"reference-count":37,"publisher":"Cambridge University Press (CUP)","issue":"2","license":[{"start":{"date-parts":[[2019,12,20]],"date-time":"2019-12-20T00:00:00Z","timestamp":1576800000000},"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>Standardization of solver input languages has been a main driver for the growth of several areas within knowledge representation and reasoning, fostering the exploitation in actual applications. In this document, we present the <jats:monospace>ASP-CORE-2<\/jats:monospace> standard input language for Answer Set Programming, which has been adopted in ASP Competition events since 2013.<\/jats:p>","DOI":"10.1017\/s1471068419000450","type":"journal-article","created":{"date-parts":[[2019,12,20]],"date-time":"2019-12-20T05:07:30Z","timestamp":1576818450000},"page":"294-309","source":"Crossref","is-referenced-by-count":139,"title":["ASP-Core-2 Input Language Format"],"prefix":"10.1017","volume":"20","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0866-0834","authenticated-orcid":false,"given":"FRANCESCO","family":"CALIMERI","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"WOLFGANG","family":"FABER","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8010-4752","authenticated-orcid":false,"given":"MARTIN","family":"GEBSER","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"GIOVAMBATTISTA","family":"IANNI","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1361-6045","authenticated-orcid":false,"given":"ROLAND","family":"KAMINSKI","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"THOMAS","family":"KRENNWALLNER","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"NICOLA","family":"LEONE","sequence":"additional","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"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7456-041X","authenticated-orcid":false,"given":"TORSTEN","family":"SCHAUB","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"56","published-online":{"date-parts":[[2019,12,20]]},"reference":[{"key":"S1471068419000450_ref37","unstructured":"Van Gelder, A. 1992. The well-founded semantics of aggregation. In Proceedings of the Eleventh Symposium on Principles of Database Systems (PODS\u201992). ACM Press, 127\u2013138."},{"key":"S1471068419000450_ref36","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(02)00187-X"},{"key":"S1471068419000450_ref35","doi-asserted-by":"publisher","DOI":"10.1006\/jcss.1997.1453"},{"key":"S1471068419000450_ref33","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068406002973"},{"key":"S1471068419000450_ref30","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037222"},{"key":"S1471068419000450_ref27","unstructured":"Krennwallner, T. 2013. ASP Competition, output format. URL: https:\/\/www.mat.unical.it\/aspcomp2013\/files\/aspoutput.txt."},{"key":"S1471068419000450_ref26","unstructured":"Kemp, D. B. and Stuckey, P. J. 1991. Semantics of logic programs with aggregates. In Proceedings of the International Symposium on Logic Programming (ISLP\u201991), V. A. Saraswat and K. Ueda , Eds. MIT Press, 387\u2013401."},{"key":"S1471068419000450_ref25","unstructured":"Harrison, A. and Lifschitz, V. 2018. Relating two dialects of answer set programming. In Proceedings of the 17th International Workshop on Non-monotonic Reasoning (NMR 2018), E. Ferm\u00e9 and S. Villata , Eds, 99\u2013108."},{"key":"S1471068419000450_ref22","unstructured":"Gelfond, M. 2002. Representing knowledge in A-Prolog. In Computational Logic. Logic Programming and Beyond, A. C. Kakas and F. Sadri , Eds. LNCS, vol. 2408. Springer, 413\u2013451."},{"key":"S1471068419000450_ref19","unstructured":"Gebser, M. , Maratea, M. and Ricca, F. 2017a. The design of the seventh answer set programming competition. In Proceedings of the 14th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2017), M. Balduccini and T. Janhunen , Eds. Lecture Notes in Computer Science, vol. 10377. Springer, 3\u20139."},{"key":"S1471068419000450_ref18","unstructured":"Gebser, M. , Leone, N. , Maratea, M. , Perri, S. , Ricca, F. and Schaub, T. 2018a. Evaluation techniques and systems for answer set programming: A survey. In Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence (IJCAI 2018), J. Lang , Ed. ijcai.org, 5450\u20135456."},{"key":"S1471068419000450_ref16","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068415000150"},{"key":"S1471068419000450_ref15","first-page":"119","volume-title":"Logic Programming and Nonmonotonic Reasoning \u2014 8th International Conference, LPNMR\u201905, Diamante, Italy, September 2005, Proceedings","volume":"3662","author":"Ferraris","year":"2005"},{"key":"S1471068419000450_ref13","first-page":"200","volume-title":"Proceedings of the 9th European Conference on Artificial Intelligence (JELIA 2004)","volume":"3229","author":"Faber","year":"2004"},{"key":"S1471068419000450_ref11","first-page":"212","volume-title":"Proceedings of the 17th International Conference on Logic Programming","author":"Denecker","year":"2001"},{"key":"S1471068419000450_ref8","first-page":"117","article-title":"The third open answer set programming competition","volume":"1","author":"Calimeri","year":"2014","journal-title":"TPLP 14"},{"key":"S1471068419000450_ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2015.09.008"},{"key":"S1471068419000450_ref6","doi-asserted-by":"publisher","DOI":"10.3233\/AIC-2011-0509"},{"key":"S1471068419000450_ref5","doi-asserted-by":"publisher","DOI":"10.1145\/2043174.2043195"},{"key":"S1471068419000450_ref4","unstructured":"Brain, M. , Faber, W. , Maratea, M. , Polleres, A. , Schaub, T. and Schindlauer, R. 2007. What should an asp solver output? A multiple position paper. In Proceedings of the First International SEA\u201907 Workshop. CEUR Workshop Proceedings, vol. 281."},{"key":"S1471068419000450_ref3","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068415000228"},{"key":"S1471068419000450_ref2","first-page":"487","article-title":"Unfounded sets and well-founded semantics of answer set programs with aggregates","volume":"42","author":"Alviano","year":"2011","journal-title":"Journal of Artificial Intelligence Research"},{"key":"S1471068419000450_ref1","volume-title":"Foundations of Databases","author":"Abiteboul","year":"1995"},{"key":"S1471068419000450_ref29","doi-asserted-by":"publisher","DOI":"10.1609\/aimag.v37i3.2675"},{"key":"S1471068419000450_ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2010.04.002"},{"key":"S1471068419000450_ref23","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037169"},{"key":"S1471068419000450_ref24","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068414000222"},{"key":"S1471068419000450_ref34","unstructured":"Pelov, N. and Truszczy\u0144ski, M. 2004. Semantics of disjunctive programs with monotone aggregates - An operator-based approach. In Proceedings of the 10th International Workshop on Non-monotonic Reasoning (NMR 2004), Whistler, BC, Canada, 327\u2013334."},{"key":"S1471068419000450_ref21","first-page":"520","article-title":"Routing driverless transport vehicles in car assembly with answer set programming","volume":"3\u20134","author":"Gebser","year":"2018","journal-title":"TPLP 18"},{"key":"S1471068419000450_ref12","doi-asserted-by":"publisher","DOI":"10.1609\/aimag.v37i3.2678"},{"key":"S1471068419000450_ref9","unstructured":"Calimeri, F. , Ianni, G. , Ricca, F. and della Calabria Organizing Committee, T. U. 2011b. Third ASP Competition, File and language formats. URL: http:\/\/www.mat.unical.it\/aspcomp2011\/files\/LanguageSpecifications.pdf."},{"key":"S1471068419000450_ref28","unstructured":"Leone, N. and Ricca, F. 2015. Answer set programming: A tour from the basics to advanced development tools and industrial applications. In Web Logic Rules - 11th International Summer School on Reasoning Web, Tutorial Lectures, W. Faber and A. Paschke , Eds. Lecture Notes in Computer Science, vol. 9203. Springer, 308\u2013326."},{"key":"S1471068419000450_ref31","unstructured":"Pelov, N. 2004. Semantics of Logic Programs with Aggregates. Ph.D. thesis, Katholieke Universiteit Leuven, Leuven, Belgium."},{"key":"S1471068419000450_ref17","volume-title":"Technical Communications of the 32nd International Conference on Logic Programming (ICLP 2016 TCs)","author":"Gebser","year":"2016"},{"key":"S1471068419000450_ref32","unstructured":"Pelov, N. , Denecker, M. and Bruynooghe, M. 2004. Partial stable models for logic programs with aggregates. In Proceedings of the 7th International Conference on Logic Programming and Non-Monotonic Reasoning (LPNMR-7). Lecture Notes in AI (LNAI), vol. 2923. Springer, 207\u2013219."},{"key":"S1471068419000450_ref20","doi-asserted-by":"publisher","DOI":"10.1613\/jair.5373"},{"key":"S1471068419000450_ref10","unstructured":"Dell\u2019Armi, T. , Faber, W. , Ielpa, G. , Leone, N. and Pfeifer, G. 2003. Aggregate functions in DLV. In Proceedings ASP03 - Answer Set Programming: Advances in Theory and Implementation, Messina, Italy , M. de Vos and A. Provetti , Eds, 274\u2013288. URL: http:\/\/CEUR-WS.org\/Vol-78\/."}],"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\/S1471068419000450","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,2,12]],"date-time":"2020-02-12T06:45:22Z","timestamp":1581489922000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1471068419000450\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,12,20]]},"references-count":37,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2020,3]]}},"alternative-id":["S1471068419000450"],"URL":"https:\/\/doi.org\/10.1017\/s1471068419000450","relation":{},"ISSN":["1471-0684","1475-3081"],"issn-type":[{"value":"1471-0684","type":"print"},{"value":"1475-3081","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,12,20]]}}}