Login / Signup

Failure Reasoning in Multiple-Strategy Proof Planning.

Andreas MeierErica Melis
Published in: Electron. Notes Theor. Comput. Sci. (2005)
Keyphrases
  • knowledge representation
  • reinforcement learning
  • probability distribution
  • heuristic search
  • mechanism design