Program completion in the input language of GRINGO

DOI10.1017/S1471068417000394zbMath1422.68023arXiv1707.05848OpenAlexW2962967970MaRDI QIDQ4592711

Amelia Harrison, Vladimir Lifschitz, Dhananjay Raju

Publication date: 8 November 2017

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

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

zbMATH Keywords

formal methodsanswer set programmingprogram completion

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items

Towards Verifying Logic Programs in the Input Language of clingo, Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates, Verifying Tight Logic Programs with anthem and vampire

Uses Software

• Gringo

Cites Work

• Correct reasoning. Essays on logic-based AI in honour of Vladimir Lifschitz
• Stable models and circumscription
• Fixed-point extensions of first-order logic
• On Reductive Semantics of Aggregates in Answer Set Programming
• Abstract gringo
• Tight logic programs
• Logic Programming and Nonmonotonic Reasoning