Generalizing the syntax of terms in mini-\textsc{gringo}

DOI10.1007/978-3-032-04587-4_23MaRDI QIDQ6884733zbMATH OpenFDO

Authors Vladimir Lifschitz

Publication date 15 December 2025

Full work available at URL https://doi.org/10.1007/978-3-032-04587-4_23

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Cites work

• ASP-Core-2 input language format
• Connecting first-order ASP and the logic FO(ID) through reducts
• External behavior of a logic program and verification of refactoring
• Infinitary equilibrium logic and strongly equivalent logic programs
• Logic Programming and Nonmonotonic Reasoning
• On Heuer's procedure for verifying strong equivalence
• Strong Equivalence of Logic Programs with Counting
• Strongly equivalent logic programs
• Verifying strong equivalence of programs in the input language of \textsc{gringo}
• Verifying Tight Logic Programs with anthem and vampire

This page was built for publication: Generalizing the syntax of terms in mini-\textsc{gringo}

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6884733)