On Equivalent Transformations of Infinitary Formulas under the Stable Model Semantics

DOI10.1007/978-3-642-40564-8_38zbMath1405.68354OpenAlexW227481680MaRDI QIDQ2851269

Vladimir Lifschitz, Miroslaw Truszczynski, 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

Mathematics Subject Classification ID

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

Related Items (2)

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