Proof Planning
Can Theorem Proving Keep the Planes Flying?
Catalogue of Artificial Intelligence Tools
Artificial Intelligence Techniques
Catalogue of Artificial Intelligence Techniques
Middle-out Reasoning for Synthesis and Induction
Rippling: Meta-Level Guidance for Mathematical Reasoning
Automated Deduction, CADE ...
A Note on Omitting the Replacement Schema
Proceedings of the Eighth International Joint Conference on Artificial Intelligence, Karlsruhe, 1983
'Leftovers and Scraps'
Artificial intelligence
All Natural Language Notes
Evaluation and Resolution
The Role of Inference in the Solving of Mechanics Problems
Cognitive psychology
Poof analysis
The Impress Proof Plan Revisited
A Generalized Interval Package and Its Use for Semantic Checking