Abstract gringo

DOI10.1017/S1471068415000150MaRDI QIDQ4592989zbMATH OpenFDO

Authors Martin Gebser, Amelia Harrison, Roland Kaminski, Vladimir Lifschitz, Torsten Schaub

Publication date 9 November 2017

Published in Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1507.06576

Mathematics Subject Classification ID

Theory of programming languages (68N15) Logic programming (68N17)

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.

Recommendations

• Program completion in the input language of GRINGO
• Relating two dialects of answer set programming
• ASP-Core-2 input language format
• Verifying strong equivalence of programs in the input language of \textsc{gringo}
• Clingo goes linear constraints over reals and integers

Cites work

• Correct reasoning. Essays on logic-based AI in honour of Vladimir Lifschitz
• Logic Programming and Nonmonotonic Reasoning
• Nested expressions in logic programs
• Strongly equivalent logic programs
• Weight constraints as nested expressions

Cited in

(30)

• Here and There with Arithmetic
• Achievements in answer set programming
• Shared aggregate sets in answer set programming
• Relating two dialects of answer set programming
• Transforming gringo rules into formulas in a natural way
• Strong Equivalence of Logic Programs with Counting
• Analyzing Semantics of Aggregate Answer Set Programming Using Approximation Fixpoint Theory
• Towards an answer set programming methodology for constructing programs following a semi-automatic approach -- extended and revised version
• Answer set programming made easy
• ASP-Core-2 input language format
• Towards Verifying Logic Programs in the Input Language of clingo
• Gringo
• Automated reasoning with restricted intensional sets
• Problem Decomposition and Multi-shot ASP Solving for Job-shop Scheduling
• Multi-shot ASP solving with clingo
• Verifying Tight Logic Programs with anthem and vampire
• Strong Equivalence and Program Structure in Arguing Essential Equivalence between Logic Programs
• Intelligent Instantiation and Supersafe Rules
• A trajectory calculus for qualitative spatial reasoning using answer set programming
• What is answer set programming to propositional satisfiability
• Abstract Radices
• Gelfond-Zhang aggregates as propositional formulas
• Proving infinitary formulas
• Arguing correctness of ASP programs with aggregates
• Stable models for infinitary formulas with extensional atoms
• Vicious circle principle, aggregates, and formation of sets in ASP based languages
• Stable-unstable semantics: Beyond NP with normal logic programs
• Infinitary equilibrium logic and strongly equivalent logic programs
• Program completion in the input language of GRINGO
• Train scheduling with hybrid answer set programming

This page was built for publication: Abstract gringo

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4592989)