Inductive synthesis of recursive logic programs: achievements and prospects

DOI10.1016/S0743-1066(99)00028-XzbMath0949.68044OpenAlexW2022879002WikidataQ57574288 ScholiaQ57574288MaRDI QIDQ4939536

Serap Yılmaz, Pierre Flener

Publication date: 27 March 2000

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)00028-x

zbMATH Keywords

inductive logic programmingrecursive logic programs

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (5)

Learning higher-order logic programs ⋮ Analytical Inductive Functional Programming ⋮ Top program construction and reduction for polynomial time meta-interpretive learning ⋮ An abstract formalization of correct schemas for program synthesis ⋮ Inducing Constructor Systems from Example-Terms by Detecting Syntactical Regularities

Uses Software

• Mercury

This page was built for publication: Inductive synthesis of recursive logic programs: achievements and prospects