On Negative Unfolding in the Answer Set Semantics

DOI10.1007/978-3-642-00515-2_12zbMath1185.68183OpenAlexW2120647728MaRDI QIDQ3617437

Hirohisa Seki

Publication date: 24 March 2009

Published in: Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-00515-2_12

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (1)

On Inductive Proofs by Extended Unfold/Fold Transformation Rules

Cites Work

• Nested expressions in logic programs
• Transformation of logic programs: Foundations and techniques
• Strong equivalence made easy: nested expressions and weight constraints
• Program Development in Computational Logic
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On Negative Unfolding in the Answer Set Semantics