Advanced search

Browse by subject

Browse by provider

Browse by language

Content Details
Normal View
CIP View

Abstract Gringo

Gebser, Martin...

Free

Share this content

Abstract Gringo by Gebser, Martin ( Author )

Content Provider	Lemonjar Open Access
Publisher	N.A
Publication Date	23-07-2015
Summary	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.
ISBN	-
Item Type	Article
File Type	pdf
File Size	36.88 KB
Language	English
Subjects	-
Unlimited	MYR 0.00
Total read	-
URL	https://arxiv.org/abs/1507.06576

Citation

Review the full bibliography data and make any necessary corrections before using. Always consult your library resources for the exact formatting and punctuation guidelines.

AMA 11th EditionReferences

Gebser, Martin. Abstract Gringo. N.A. July 23, 2015. Accessed August 19, 2025. https://online.provdatabase.com/cite/18819

APA 7th EditionReferences

Gebser, Martin. (2015). Abstract Gringo. N.A. https://online.provdatabase.com/cite/18819

Chicago 17th EditionReferences

Gebser, Martin. Abstract Gringo. N.A. 2015. https://online.provdatabase.com/cite/18819

HarvardReferences

Gebser, Martin. (2015). Abstract Gringo. [Online]. N.A. Available from: https://online.provdatabase.com/cite/18819. (Accessed 19 August 2025).

Harvard AustraliaReferences

Gebser, Martin, 2015, Abstract Gringo, N.A, viewed 19 August 2025, <https://online.provdatabase.com/cite/18819>

MLA 9th EditionWorks Cited

Gebser, Martin. Abstract Gringo. N.A, 2015. PROV Database, https://online.provdatabase.com/cite/18819.

Share this eBook