Inductive synthesis of recursive logic programs: achievements and prospects

DOI10.1016/S0743-1066(99)00028-XMaRDI QIDQ4939536zbMATH OpenOpenAlexWikidataFDO

Authors Pierre Flener, Serap Yılmaz

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)

Recommendations

• scientific article; zbMATH DE number 792049
• Logic program synthesis from incomplete specifications
• scientific article; zbMATH DE number 1396180
• Inductive synthesis of functional programs: an explanation based generalization approach
• Inductive synthesis of functional programs. Universal planning, folding of finite programs, and schema abstraction by analogical reasoning.

Cited in

(19)

• Inductive synthesis of functional programs. Universal planning, folding of finite programs, and schema abstraction by analogical reasoning.
• An abstract formalization of correct schemas for program synthesis
• Inductive synthesis of recursive processes from logical properties
• Logic program synthesis as problem reduction using combining forms
• Top program construction and reduction for polynomial time meta-interpretive learning
• Learning higher-order logic programs
• Inducing constructor systems from example-terms by detecting syntactical regularities
• Inductive synthesis of functional programs: an explanation based generalization approach
• scientific article; zbMATH DE number 3868611 (Why is no real title available?)
• Analytical Inductive Functional Programming
• scientific article; zbMATH DE number 3934386 (Why is no real title available?)
• scientific article; zbMATH DE number 67805 (Why is no real title available?)
• scientific article; zbMATH DE number 139988 (Why is no real title available?)
• Induction of logic programs by example-guided unfolding
• scientific article; zbMATH DE number 1759247 (Why is no real title available?)
• scientific article; zbMATH DE number 792049 (Why is no real title available?)
• scientific article; zbMATH DE number 1396180 (Why is no real title available?)
• On the semantics of deliberation in IndiGolog -- from theory to implementation
• Inductive expansion: A calculus for verifying and synthesizing functional and logic programs

Describes a project that uses

Uses Software

• Mercury

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

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