Induction of logic programs by example-guided unfolding

DOI10.1016/S0743-1066(99)00017-5zbMATH Open0941.68017OpenAlexW1994272628MaRDI QIDQ4262826FDOQ4262826

Henrik Boström, Peter Idestam-Almquist

Publication date: 22 September 1999

Published in: The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0743-1066(99)00017-5

Recommendations

• Inductive synthesis of recursive logic programs: achievements and prospects
• Top-down induction of first-order logical decision trees
• Logic program synthesis as problem reduction using combining forms
• Inductive Logic Programming: Theory and methods
• Induction of Constraint Logic Programs

zbMATH Keywords

top-down induction of logic programs

Mathematics Subject Classification ID

Logic programming (68N17)

Cited In (2)

• An integrated framework for the diagnosis and correction of rule-based programs
• A debugging scheme for functional logic programs

This page was built for publication: Induction of logic programs by example-guided unfolding

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