Login / Signup

Proof planning with multiple strategies.

Erica MelisAndreas MeierJörg H. Siekmann
Published in: Artif. Intell. (2008)
Keyphrases
  • proof planning
  • concept formation
  • cooperative
  • simulated annealing