Learning Proof Heuristics by Adaptive Parameters.

Published in: ICML (1995)

Keyphrases

learning process
learning systems
learning algorithm
sensitivity analysis
control knowledge
prior knowledge
learning scheme
inductive learning
mobile learning
induction algorithms
bayesian methods
learning problems
learning tasks
data sets
knowledge acquisition
online learning
machine learning