• search hit 10 of 10
Back to Result List

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.

Download full text files

  • SHA-1: afe30eb56f01f7eee58d82c5d5433a6356810077

Export metadata

Additional Services

Share in Twitter Search Google Scholar Statistics
Author:Martin GebserORCiD, Amelia Harrison, Roland Kaminski, Vladimir Lifschitz, Torsten SchaubORCiDGND
Parent Title (English):Postprints der Universität Potsdam : Mathematisch-Naturwissenschaftliche Reihe
Series (Serial Number):Postprints der Universität Potsdam : Mathematisch-Naturwissenschaftliche Reihe (592)
Document Type:Postprint
Date of first Publication:2019/02/12
Year of Completion:2015
Publishing Institution:Universität Potsdam
Release Date:2019/02/12
Tag:nested expressions
Source:Theory and Practice of Logic Programming 15 (2015) 4–5, pp. 449–463 DOI 10.1017/S1471068415000150
Organizational units:Mathematisch-Naturwissenschaftliche Fakultät
Dewey Decimal Classification:0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik
Peer Review:Referiert
Publication Way:Open Access
Grantor:Cambridge University Press (CUP)
Licence (German):License LogoKeine Nutzungslizenz vergeben - es gilt das deutsche Urheberrecht