On Equivalent Transformations of Infinitary Formulas under the Stable Model Semantics

DOI10.1007/978-3-642-40564-8_38zbMATH Open1405.68354OpenAlexW227481680MaRDI QIDQ2851269FDOQ2851269

Authors Amelia Harrison, Vladimir Lifschitz, Mirosław Truszczyński 

Publication date 10 October 2013

Published in Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-40564-8_38

Mathematics Subject Classification ID

Logic programming (68N17) Logic in artificial intelligence (68T27)

Recommendations

• On equivalence of infinitary formulas under the stable model semantics
• Stable models of formulas with generalized quantifiers (preliminary report)
• Stable models for infinitary formulas with extensional atoms
• Equivalence for the \(G_3^\prime\)-stable models semantics
• Remarks on Stable Formulas in Intuitionistic Logic
• scientific article; zbMATH DE number 1302492
• Stable formulas in intuitionistic logic
• scientific article; zbMATH DE number 906954
• Implicit definability and infinitary logic in finite model theory (extended abstract)
• On the stable model semantics for intensional functions

Cited in

(5)

• Stable models of formulas with generalized quantifiers (preliminary report)
• Safe Formulas in the General Theory of Stable Models (Preliminary Report)
• Logic programming as classical inference
• On equivalence of infinitary formulas under the stable model semantics
• Stable models for infinitary formulas with extensional atoms

This page was built for publication: On Equivalent Transformations of Infinitary Formulas under the Stable Model Semantics

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