Proof Planning with Multiple Strategies.

Erica Melis Andreas Meier

Published in: Computational Logic (2000)

Keyphrases

proof planning
background knowledge
building intelligent
data mining
machine learning
genetic algorithm
reinforcement learning
language model