On Negative Unfolding in the Answer Set Semantics

DOI10.1007/978-3-642-00515-2_12MaRDI QIDQ3617437zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Unfold/fold transformation of stratified programs
• scientific article; zbMATH DE number 176531
• On inductive proofs by extended unfold/fold transformation rules
• On the correctness of unfold/fold transformation of normal and extended logic programs
• BEYOND TAMAKI-SATO STYLE UNFOLD/FOLD TRANSFORMATIONS FOR NORMAL LOGIC PROGRAMS

Cites work

• scientific article; zbMATH DE number 1696824 (Why is no real title available?)
• scientific article; zbMATH DE number 43398 (Why is no real title available?)
• scientific article; zbMATH DE number 1142320 (Why is no real title available?)
• Nested expressions in logic programs
• Program Development in Computational Logic
• Strong equivalence made easy: nested expressions and weight constraints
• Transformation of logic programs: Foundations and techniques

Cited in

(3)

• Evaluating epistemic negation in answer set programming
• On inductive proofs by extended unfold/fold transformation rules
• scientific article; zbMATH DE number 2059537 (Why is no real title available?)

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

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