Representing and Using Procedural Knowledge to Build Geometry Proofs.

Thomas F. McDougal, Kristian J. Hammond

Browse the full AAAI paper archive.