Login / Signup
Typed meta-interpretive learning for proof strategies.
Colin Farquhar
Gudmund Grov
Andrew Cropper
Stephen Muggleton
Alan Bundy
Published in:
ILP (Late Breaking Papers) (2015)
Keyphrases
</>
learning process
learning algorithm
online learning
learning systems
reinforcement learning
active learning
supervised learning
learning scheme
learning mechanism
clustering algorithm
artificial neural networks
knowledge acquisition
learning tasks
learning scenarios
inductive learning