scientific article; zbMATH DE number 1396180

DOI10.1002/(SICI)1098-111X(199910)14:10%3C995::AID-INT4%3E3.0.CO;2-WzbMATH Open0937.68025MaRDI QIDQ4935596FDOQ4935596

Authors: Esra Erdem, Pierre Flener 

Publication date: 13 June 2000

Title of this publication is not available (Why is that?)

Recommendations

• Inductive synthesis of recursive logic programs: achievements and prospects
• scientific article; zbMATH DE number 792049
• Inductive synthesis of functional programs: an explanation based generalization approach
• Schema induction for logic program synthesis
• Logic program synthesis as problem reduction using combining forms

zbMATH Keywords

recursive logic programs

Mathematics Subject Classification ID

Logic programming (68N17)

Cites Work

• Inductive Logic Programming: Theory and methods
• A Methodology for LISP Program Construction from Examples
• Logic program synthesis from incomplete specifications

Cited In (4)

• Logic program synthesis as problem reduction using combining forms
• Inductive synthesis of recursive logic programs: achievements and prospects
• Title not available (Why is that?)
• Tight, consistent, and computable completions for unrestricted logic programs

This page was built for publication:

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