Abstract gringo
- This paper defines the syntax and semantics of the input language of the ASP grounder gringo. 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 gringo from Version 4.5 on.
Author details: | Martin GebserORCiD, Amelia Harrison, Roland KaminskiORCiD, Vladimir Lifschitz, Torsten SchaubORCiDGND |
---|---|
URN: | urn:nbn:de:kobv:517-opus4-414751 |
DOI: | https://doi.org/10.25932/publishup-41475 |
ISSN: | 1866-8372 |
Title of parent work (English): | Postprints der Universität Potsdam : Mathematisch-Naturwissenschaftliche Reihe |
Publication series (Volume number): | Zweitveröffentlichungen der Universität Potsdam : Mathematisch-Naturwissenschaftliche Reihe (592) |
Publication type: | Postprint |
Language: | English |
Date of first publication: | 2019/02/12 |
Publication year: | 2015 |
Publishing institution: | Universität Potsdam |
Release date: | 2019/02/12 |
Tag: | nested expressions |
Issue: | 592 |
Number of pages: | 15 |
Source: | Theory and Practice of Logic Programming 15 (2015) 4–5, pp. 449–463 DOI 10.1017/S1471068415000150 |
Organizational units: | Mathematisch-Naturwissenschaftliche Fakultät |
DDC classification: | 0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik |
Peer review: | Referiert |
Publishing method: | Open Access |
Grantor: | Cambridge University Press (CUP) |
License (German): | Keine öffentliche Lizenz: Unter Urheberrechtsschutz |