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.
Volltext Dateien herunterladen
SHA-1: afe30eb56f01f7eee58d82c5d5433a6356810077
Weitere Dienste
| Verfasserangaben: | Martin GebserORCiD, Amelia Harrison, Roland KaminskiORCiD, Vladimir Lifschitz, Torsten H. SchaubORCiDGND |
|---|---|
| URN: | urn:nbn:de:kobv:517-opus4-414751 |
| DOI: | https://doi.org/10.25932/publishup-41475 |
| ISSN: | 1866-8372 |
| Titel des übergeordneten Werks (Englisch): | Postprints der Universität Potsdam : Mathematisch-Naturwissenschaftliche Reihe |
| Schriftenreihe (Bandnummer): | Zweitveröffentlichungen der Universität Potsdam : Mathematisch-Naturwissenschaftliche Reihe (592) |
| Publikationstyp: | Postprint |
| Sprache: | Englisch |
| Datum der Erstveröffentlichung: | 12.02.2019 |
| Erscheinungsjahr: | 2015 |
| Veröffentlichende Institution: | Universität Potsdam |
| Datum der Freischaltung: | 12.02.2019 |
| Freies Schlagwort / Tag: | nested expressions |
| Ausgabe: | 592 |
| Seitenanzahl: | 15 |
| Quelle: | Theory and Practice of Logic Programming 15 (2015) 4–5, pp. 449–463 DOI 10.1017/S1471068415000150 |
| Organisationseinheiten: | Mathematisch-Naturwissenschaftliche Fakultät |
| DDC-Klassifikation: | 0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik |
| Peer Review: | Referiert |
| Publikationsweg: | Open Access |
| Fördermittelquelle: | Cambridge University Press (CUP) |
| Lizenz (Deutsch): |  Keine öffentliche Lizenz: Unter Urheberrechtsschutz |
