Knowledge representation for mathematical discovery: Three experiments in graph theory Susan L. EpsteinN. S. Sridharan OriginalPaper Pages: 7 - 33
Reasoning about reasoning in a meta-level architecture Luigia Carlucci AielloDaniele NardiMarco Schaerf OriginalPaper Pages: 55 - 67
Employing sensor repositioning to refine spatial reasoning in an industrial robotic environment Michael MageeWilliam HoffWilliam Wolfe OriginalPaper Pages: 69 - 85