scientific article

zbMath0708.68011MaRDI QIDQ3490929

Luc De Raedt, Danny De Schreye, Maurice Bruynooghe

Publication date: 1989

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

explanation-based learninglogic program transformation

Mathematics Subject Classification ID

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

Related Items (2)

A typed \(\lambda\)-calculus for proving-by-example and bottom-up generalization procedure ⋮ Compiling bottom-up and mixed derivations into top-down executable logic programs

This page was built for publication: