Higher-order Logic Learning and lambda-Progol.

Published in: ICLP (Technical Communications) (2010)

Keyphrases

learning algorithm
active learning
learning process
learning scheme
background knowledge
decision trees
supervised learning
learning problems
machine learning
genetic programming