Sign in
Automatic Acquisition of Search Control Knowledge from Multiple Proof Attempts.
Jörg Denzinger
Stephan Schulz
Published in:
Inf. Comput. (2000)
Keyphrases
</>
search control knowledge
fully automatic
knowledge base
real time
data mining
machine learning
artificial intelligence
reinforcement learning
domain knowledge
small number
data driven