Logic program synthesis as problem reduction using combining forms
From MaRDI portal
Publication:1857307
DOI10.1023/A:1008741507024zbMath1034.68613MaRDI QIDQ1857307
Nikolaj Oldager, Andreas Hamfelt, Jorgen Fischer Nilsson
Publication date: 17 February 2003
Published in: Automated Software Engineering (Search for Journal in Brave)
recursion operators; program schemata; inductive synthesis; predicate combinators; synthesis by composition and specialization
68T05: Learning and adaptive systems in artificial intelligence
68U99: Computing methodologies and applications
68N17: Logic programming