Induction of logic programs by example-guided unfolding

DOI10.1016/S0743-1066(99)00017-5zbMath0941.68017OpenAlexW1994272628MaRDI QIDQ4262826

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

zbMATH Keywords

top-down induction of logic programs

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (2)

A Debugging Scheme for Functional Logic Programs1 1This work has been partially supported by CICYT under grant TIC2001-2705-C03-01, by Acción Integrada Hispano-Italiana HI2000-0161, Acción Integrada Hispano-Alemana HA2001-0059 and by Generalitat Valenciana under grant GV01-424. ⋮ An integrated framework for the diagnosis and correction of rule-based programs

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