{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,12]],"date-time":"2026-08-12T13:39:30Z","timestamp":1786541970635,"version":"3.56.0"},"reference-count":9,"publisher":"Cambridge University Press (CUP)","issue":"4-5","license":[{"start":{"date-parts":[[2015,9,3]],"date-time":"2015-09-03T00:00:00Z","timestamp":1441238400000},"content-version":"unspecified","delay-in-days":64,"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":[[2015,7]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>This paper defines the syntax and semantics of the input language of the ASP grounder<jats:sc>gringo<\/jats:sc>. The definition covers several constructs that were not discussed in earlier work on the semantics of that language, including intervals, pools, division of integers, aggregates with non-numeric values, and lparse-style aggregate expressions. The definition is abstract in the sense that it disregards some details related to representing programs by strings of ASCII characters. It serves as a specification for<jats:sc>gringo<\/jats:sc>from Version 4.5 on.<\/jats:p>","DOI":"10.1017\/s1471068415000150","type":"journal-article","created":{"date-parts":[[2015,9,3]],"date-time":"2015-09-03T04:21:21Z","timestamp":1441254081000},"page":"449-463","source":"Crossref","is-referenced-by-count":67,"title":["Abstract gringo"],"prefix":"10.1017","volume":"15","author":[{"given":"MARTIN","family":"GEBSER","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"AMELIA","family":"HARRISON","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"ROLAND","family":"KAMINSKI","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"VLADIMIR","family":"LIFSCHITZ","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"TORSTEN","family":"SCHAUB","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"56","published-online":{"date-parts":[[2015,9,3]]},"reference":[{"key":"S1471068415000150_ref2","doi-asserted-by":"crossref","unstructured":"Ferraris P. 2005. Answer sets for propositional theories. In Proceedings of International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR). 119\u2013131.","DOI":"10.1007\/11546207_10"},{"key":"S1471068415000150_ref6","unstructured":"Harrison A. , Lifschitz V. and Yang F. 2014. The semantics of Gringo and infinitary propositional formulas. In Proceedings of International Conference on Principles of Knowledge Representation and Reasoning (KR)."},{"key":"S1471068415000150_ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-20832-4_6"},{"key":"S1471068415000150_ref3","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068403001923"},{"key":"S1471068415000150_ref7","doi-asserted-by":"publisher","DOI":"10.1145\/383779.383783"},{"key":"S1471068415000150_ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-30743-0_37"},{"key":"S1471068415000150_ref8","doi-asserted-by":"publisher","DOI":"10.1023\/A:1018978005636"},{"key":"S1471068415000150_ref5","doi-asserted-by":"crossref","unstructured":"Harrison A. , Lifschitz V. , Pearce D. and Valverde A. 2015. Infinitary equilibrium logic and strong equivalence. In Proceedings of International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR). http:\/\/www.cs.utexas.edu\/users\/vl\/papers\/iel_lpnmr.pdf; to appear.","DOI":"10.1007\/978-3-319-23264-5_33"},{"key":"S1471068415000150_ref1","unstructured":"Calimeri F. , Faber W. , Gebser M. , Ianni G. , Kaminski R. , Krennwallner T. , Leone N. , Ricca F. and Schaub T. 2012. ASP-Core-2: Input language format. Available at https:\/\/www.mat.unical.it\/aspcomp2013\/files\/ASP-CORE-2.0.pdf."}],"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\/S1471068415000150","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,30]],"date-time":"2019-08-30T00:19:56Z","timestamp":1567124396000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1471068415000150\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,7]]},"references-count":9,"journal-issue":{"issue":"4-5","published-print":{"date-parts":[[2015,7]]}},"alternative-id":["S1471068415000150"],"URL":"https:\/\/doi.org\/10.1017\/s1471068415000150","relation":{},"ISSN":["1471-0684","1475-3081"],"issn-type":[{"value":"1471-0684","type":"print"},{"value":"1475-3081","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,7]]}}}