3 papers
cs.LO2025
Anthem 2.0: Automated Reasoning for Answer Set Programming
Jorge Fandinno, Christoph Glinzer, Zachary Hansen +5
Anthem 2.0 is a tool to aid in the verification of logic programs written in an expressive fragment of Clingo's input language named mini-gringo, which includes arithmetic operatio…
cs.LO2025
Ordered Completion for Non-Locally Tight mini-gringo Programs
Jan Heuer
Completion is a well-known transformation that captures the stable model semantics of logic programs by turning a program into a set of first-order definitions. Stable models are m…
cs.LO2025
Automated Verification of Equivalence Properties in Advanced Logic Programs -- Bachelor Thesis
Jan Heuer
With the increase in industrial applications using Answer Set Programming, the need for formal verification tools, particularly for critical applications, has also increased. Durin…