A Generalization of the Folding Rule for the Clark-Kunen Semantics
From MaRDI portal
Publication:5458436
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)