A Theory for the Complete Mechanization of a GPS-Type Problem Solver.

Ranan B. Banerji, George W. Ernst

Browse the full IJCAI paper archive.