Static Learning for an Adaptive Theorem Prover.

Catherine Belleannée Jacques Nicolas

Published in: EWSL (1991)

Keyphrases

theorem prover
learning process
active learning
adaptive learning
learning systems
learning tasks
neural network
reinforcement learning
search algorithm
prior knowledge
data points
logic programs
online learning
inference rules
automated reasoning