A Problem Reduction Approach to Program Synthesis.

Douglas R. Smith

Published in: IJCAI (1983)

Keyphrases

program synthesis
inductive logic programming
recursive programs
reduction method
databases
relational learning
database
pairwise
model selection
structured data