Abstract gringo

DOI10.1017/S1471068415000150zbMath1379.68031arXiv1507.06576MaRDI QIDQ4592989

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

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)

Related Items (29)

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

Cites Work

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

This page was built for publication: Abstract gringo