A multiple-clause folding rule using instantiation and generalization

MaRDI QIDQ5472915zbMATH OpenFDO

Authors David A. Rosenblueth

Publication date 19 June 2006

zbMATH Keywords

inductive logic programming

Mathematics Subject Classification ID

Logic programming (68N17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• A Generalization of the Folding Rule for the Clark-Kunen Semantics
• BEYOND TAMAKI-SATO STYLE UNFOLD/FOLD TRANSFORMATIONS FOR NORMAL LOGIC PROGRAMS
• scientific article; zbMATH DE number 440117
• Unfolding-based improvements on fuzzy logic programs
• Publication:3490929

Cited in

(3)

• scientific article; zbMATH DE number 4164123 (Why is no real title available?)
• Learning of constraint logic programs by combining unfolding and slicing techniques
• A Generalization of the Folding Rule for the Clark-Kunen Semantics

This page was built for publication: A multiple-clause folding rule using instantiation and generalization

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