On Equivalent Transformations of Infinitary Formulas under the Stable Model Semantics

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

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

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

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

Mathematics Subject Classification ID

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

Cited In (3)

• Safe Formulas in the General Theory of Stable Models (Preliminary Report)
• On equivalence of infinitary formulas under the stable model semantics
• Logic programming as classical inference

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)