On Equivalent Transformations of Infinitary Formulas under the Stable Model Semantics

DOI10.1007/978-3-642-40564-8_38MaRDI QIDQ2851269zbMATH OpenOpenAlexFDO

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₃^-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 for infinitary formulas with extensional atoms
• 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
• Stable models of formulas with generalized quantifiers (preliminary report)

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)