Towards Verifying Logic Programs in the Input Language of clingo

DOI10.1007/978-3-030-48006-6_14OpenAlexW3028375543MaRDI QIDQ5049051

Vladimir Lifschitz, Patrick Lühne, Torsten Schaub

Publication date: 9 November 2022

Published in: Fields of Logic and Computation III (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-48006-6_14

Mathematics Subject Classification ID

Logic in computer science (03B70) Theory of computing (68Qxx)

Related Items (2)

Here and There with Arithmetic ⋮ Verifying Tight Logic Programs with anthem and vampire

Uses Software

• VAMPIRE
• TPTP
• Gringo

Cites Work

• Unnamed Item
• The TPTP problem library and associated infrastructure. From CNF to TH0, TPTP v6.4.0
• Verifying strong equivalence of programs in the input language of \textsc{gringo}
• Making prolog more expressive
• Program completion in the input language of GRINGO
• Achievements in answer set programming
• Abstract gringo
• Tight logic programs
• Strongly equivalent logic programs

This page was built for publication: Towards Verifying Logic Programs in the Input Language of clingo