Automating Induction over Mutually Recursive Functions.

Deepak Kapur Mahadevan Subramaniam

Published in: AMAST (1996)

Keyphrases

recursive functions
inductive inference
pattern languages
hypothesis spaces
vc dimension
machine learning
inductive logic programming
explanation based learning
real valued functions
neural network
e learning
training data
small number
image classification
inductive learning
program synthesis