scientific article; zbMATH DE number 67805

MaRDI QIDQ4013746zbMATH OpenFDO

Authors Marc Kirschenbaum, Leon S. Sterling

Publication date 27 September 1992

zbMATH Keywords

inductive learninginductive learning of Prolog programslogic programlogic program learning systemMISSTsynthesis algorithms

Mathematics Subject Classification ID

Logic programming (68N17) Learning and adaptive systems in artificial intelligence (68T05) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Recommendations

• Inductive synthesis of recursive logic programs: achievements and prospects
• Schema induction for logic program synthesis
• scientific article; zbMATH DE number 1015105
• Learning concepts and their unions from positive data with refinement operators
• Logic program synthesis as problem reduction using combining forms

Cited in

(6)

• Relating logic programs via program maps
• Logic program synthesis as problem reduction using combining forms
• Introducing new predicates to model scientific revolution
• scientific article; zbMATH DE number 4160106 (Why is no real title available?)
• scientific article; zbMATH DE number 4098740 (Why is no real title available?)
• scientific article; zbMATH DE number 2079536 (Why is no real title available?)

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 Q4013746)