Logic program synthesis as problem reduction using combining forms

DOI10.1023/A:1008741507024MaRDI QIDQ1857307zbMATH OpenFDO

Authors Andreas Hamfelt, Nikolaj Oldager, Jorgen Fischer Nilsson

Publication date 17 February 2003

Published in Automated Software Engineering (Search for Journal in Brave)

zbMATH Keywords

recursion operatorsprogram schematainductive synthesispredicate combinatorssynthesis by composition and specialization

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Computing methodologies and applications (68U99) Logic programming (68N17)

Recommendations

• Schema induction for logic program synthesis
• scientific article; zbMATH DE number 792049
• scientific article; zbMATH DE number 67805
• Inductive synthesis of recursive logic programs: achievements and prospects
• scientific article; zbMATH DE number 1396180

Cited in

(4)

• scientific article; zbMATH DE number 1396180 (Why is no real title available?)
• scientific article; zbMATH DE number 67805 (Why is no real title available?)
• A symbolic and algebraic computation based lambda-Boolean reduction machine via PROLOG
• Efficient program synthesis using constraint satisfaction in inductive logic programming

This page was built for publication: Logic program synthesis as problem reduction using combining forms

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