Login / Signup

Automatic Acquisition of Search Control Knowledge from Multiple Proof Attempts.

Jörg DenzingerStephan 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