A Generalization of the Folding Rule for the Clark-Kunen Semantics

DOI10.1007/978-3-540-78969-7_14MaRDI QIDQ5458436zbMATH OpenOpenAlexFDO

Authors Javier Álvez, P. Lucio

Publication date 11 April 2008

Published in Functional and Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-78969-7_14

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• A multiple-clause folding rule using instantiation and generalization
• BEYOND TAMAKI-SATO STYLE UNFOLD/FOLD TRANSFORMATIONS FOR NORMAL LOGIC PROGRAMS
• Unfold⧸fold transformation of general logic programs for the well-founded semantics
• On the correctness of unfold/fold transformation of normal and extended logic programs
• On inductive proofs by extended unfold/fold transformation rules

Cited in

(4)

• BEYOND TAMAKI-SATO STYLE UNFOLD/FOLD TRANSFORMATIONS FOR NORMAL LOGIC PROGRAMS
• A multiple-clause folding rule using instantiation and generalization
• scientific article; zbMATH DE number 4115928 (Why is no real title available?)
• A folding rule for eliminating existential variables from constraint logic programs

This page was built for publication: A Generalization of the Folding Rule for the Clark-Kunen Semantics

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