Login / Signup

Proof planning for strategy development.

Andrew IrelandJamie Stark
Published in: Ann. Math. Artif. Intell. (2000)
Keyphrases
  • proof planning
  • concept formation
  • knowledge based systems
  • theorem proving
  • building intelligent