Constructive Induction for Recursive Programs.

Chowdhury Rahman Mofizur Masayuki Numao

Published in: AII/ALT (1994)

Keyphrases

constructive induction
recursive programs
program synthesis
logic programs
transformation rules
concept learning
decision trees
domain theory
inductive learning
inductive logic programming
version space
logic programming
domain knowledge
feature construction
background knowledge
data mining
artificial intelligence