Transforming gringo rules into formulas in a natural way

DOI10.1007/978-3-030-75775-5_28OpenAlexW3111484523MaRDI QIDQ2055818

Vladimir Lifschitz

Publication date: 1 December 2021

Full work available at URL: https://doi.org/10.1007/978-3-030-75775-5_28

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Related Items (1)

Here and There with Arithmetic

Cites Work

• Unnamed Item
• Verifying strong equivalence of programs in the input language of \textsc{gringo}
• Abstract gringo
• Verifying Tight Logic Programs with anthem and vampire
• A Characterization of Strong Equivalence for Logic Programs with Variables

This page was built for publication: Transforming gringo rules into formulas in a natural way