scientific article; zbMATH DE number 4164123

MaRDI QIDQ3490929zbMATH OpenFDO

Authors Maurice Bruynooghe, Luc De Raedt, Danny De Schreye

Publication date 1989

zbMATH Keywords

explanation-based learninglogic program transformation

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Logic programming (68N17) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• A multiple-clause folding rule using instantiation and generalization
• scientific article; zbMATH DE number 440117
• The transformational approach to program development
• Unfold/fold transformations of logic programs
• Unfolding--definition--folding, in this order, for avoiding unnecessary variables in logic programs

Cited in

(6)

• Explaining relaxed memory models with program transformations
• A multiple-clause folding rule using instantiation and generalization
• Learning of constraint logic programs by combining unfolding and slicing techniques
• A typed \(\lambda\)-calculus for proving-by-example and bottom-up generalization procedure
• Some Transformations of Relevance to Report Generation
• Compiling bottom-up and mixed derivations into top-down executable logic programs

This page was built for publication:

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