Employing Theory Formation to Guide Proof Planning.

Andreas Meier Volker Sorge Simon Colton

Published in: AISC (2002)

Keyphrases

proof planning
theorem proving
concept formation
image processing
cooperative
language model
metaheuristic