Automatic Learning in Proof Planning.

Mateja Jamnik Manfred Kerber Martin Pollet

Published in: ECAI (2002)

Keyphrases

background knowledge
proof planning
machine learning
genetic algorithm
artificial intelligence
image processing
reinforcement learning
graphical models
intelligent systems