TY  - GEN
A1  - Gebser, Martin
A1  - Harrison, Amelia
A1  - Kaminski, Roland
A1  - Lifschitz, Vladimir
A1  - Schaub, Torsten H.
T1  - Abstract gringo
T2  - Postprints der Universität Potsdam : Mathematisch-Naturwissenschaftliche Reihe
N2  - 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.
T3  - Zweitveröffentlichungen der Universität Potsdam : Mathematisch-Naturwissenschaftliche Reihe - 592 
KW  - nested expressions
Y1  - 2019
UR  - https://publishup.uni-potsdam.de/frontdoor/index/index/docId/41475
UR  - https://nbn-resolving.org/urn:nbn:de:kobv:517-opus4-414751
SN  - 1866-8372
IS  - 592
ER  -