Abstract Gringo
Martin Gebser, Amelia Harrison, Roland Kaminski, Vladimir Lifschitz,, and Torsten Schaub
TL;DR
This paper formalizes the syntax and semantics of the input language for the ASP grounder GRINGO, covering new constructs and serving as a specification for Version 4.5 and onwards.
Contribution
It introduces a comprehensive formal semantics for GRINGO's input language, including constructs not previously addressed.
Findings
Defines formal syntax and semantics for GRINGO language
Includes new constructs like intervals, pools, and aggregates
Serves as an official specification for GRINGO Version 4.5
Abstract
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.