Verifying strong equivalence of programs in the input language of \textsc{gringo}
From MaRDI portal
Publication:2326735
DOI10.1007/978-3-030-20528-7_20OpenAlexW2945261847MaRDI QIDQ2326735
Patrick Lühne, Torsten Schaub, Vladimir Lifschitz
Publication date: 10 October 2019
Full work available at URL: https://doi.org/10.1007/978-3-030-20528-7_20
Related Items
Strong Equivalence of Logic Programs with Counting, 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, Here and There with Arithmetic, Answer set programming made easy, Unnamed Item, Verifying Tight Logic Programs with anthem and vampire, Transforming gringo rules into formulas in a natural way
Uses Software