Abstract Gringo

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.

Cited by in corpus (11)

• ASP-Core-2 Input Language Format
• Verifying Tight Logic Programs with anthem and Vampire
• Train Scheduling with Hybrid Answer Set Programming
• Here and There with Arithmetic
• SM-based Semantics for Answer Set Programs Containing Conditional Literals and Arithmetic
• Automated Hybrid Grounding Using Structural and Data-Driven Heuristics
• Anthem 2.0: Automated Reasoning for Answer Set Programming
• Quantitative and Stream Extensions of Answer Set Programming
• Synthesizing Strongly Equivalent Logic Programs: Beth Definability for Answer Set Programs via Craig Interpolation in First-Order Logic
• Relating Answer Set Programming and Many-sorted Logics for Formal Verification
• Deductive Systems for Logic Programs with Counting