Login / Signup
Failure Reasoning in Multiple-Strategy Proof Planning.
Andreas Meier
Erica Melis
Published in:
Electron. Notes Theor. Comput. Sci. (2005)
Keyphrases
</>
knowledge representation
reinforcement learning
probability distribution
heuristic search
mechanism design