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

DOI10.1007/978-3-540-78969-7_14zbMATH Open1137.68335OpenAlexW4239924470MaRDI QIDQ5458436FDOQ5458436

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

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

Mathematics Subject Classification ID

Logic programming (68N17)

Cited In (4)

• A folding rule for eliminating existential variables from constraint logic programs
• A multiple-clause folding rule using instantiation and generalization
• BEYOND TAMAKI-SATO STYLE UNFOLD/FOLD TRANSFORMATIONS FOR NORMAL LOGIC PROGRAMS
• Title not available (Why is that?)

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)