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

(40)

• Infinitary equilibrium logic and strongly equivalent logic programs
• Stable models for infinitary formulas with extensional atoms
• Relating two dialects of answer set programming
• Towards Verifying Logic Programs in the Input Language of clingo
• Intelligent Instantiation and Supersafe Rules
• Stable-unstable semantics: Beyond NP with normal logic programs
• Proving infinitary formulas
• Verifying Tight Logic Programs with anthem and vampire
• Achievements in answer set programming
• Towards an answer set programming methodology for constructing programs following a semi-automatic approach -- extended and revised version
• On the foundations of grounding in answer set programming
• External behavior of a logic program and verification of refactoring
• On program completion, with an application to the sum and product puzzle
• Aggregate semantics for propositional answer set programs
• How to build your own ASP-based system?!
• Answer set programming made easy
• Synthesizing strongly equivalent logic programs: Beth definability for answer set programs via Craig interpolation in first-order logic
• Here and There with Arithmetic
• Gringo
• Analyzing Semantics of Aggregate Answer Set Programming Using Approximation Fixpoint Theory
• Abstract Radices
• Vicious circle principle, aggregates, and formation of sets in ASP based languages
• Multi-shot ASP solving with clingo
• ASP-Core-2 input language format
• Transforming gringo rules into formulas in a natural way
• Answer set programming for pattern generation in logical analysis of data
• Problem Decomposition and Multi-shot ASP Solving for Job-shop Scheduling
• A trajectory calculus for qualitative spatial reasoning using answer set programming
• Train scheduling with hybrid answer set programming
• Strong Equivalence of Logic Programs with Counting
• Arguing correctness of ASP programs with aggregates
• Program completion in the input language of GRINGO
• Gelfond-Zhang aggregates as propositional formulas
• From felicitous models to answer set programming
• Argumentative reasoning in ASPIC^+ under incomplete information
• What is answer set programming to propositional satisfiability
• Automated reasoning with restricted intensional sets
• Decomposition strategies and multi-shot ASP solving for job-shop scheduling
• Shared aggregate sets in answer set programming
• Strong Equivalence and Program Structure in Arguing Essential Equivalence between Logic Programs

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)