Learning Recursive Functions Refutably.

Sanjay Jain Efim B. Kinber Rolf Wiehagen Thomas Zeugmann

Published in: ALT (2001)

Keyphrases

inductive inference
recursive functions
pattern languages
learning process
active learning
machine learning
learning systems
hypothesis spaces
prior knowledge
knowledge acquisition
vc dimension
learning machines