The search result changed since you submitted your search request. Documents might be displayed in a different sort order.
  • search hit 7 of 570
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

Search Google Scholar Statistics
Metadaten
Author details: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
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):License LogoKeine öffentliche Lizenz: Unter Urheberrechtsschutz
Accept ✔
This website uses technically necessary session cookies. By continuing to use the website, you agree to this. You can find our privacy policy here.