1.
|
A Frame for Frames: Representing Knowledge for Recognition Kuipers, Benjamin J.
|
2.
|
The Computer as Coach: An Athletic Paradigm for Intellectual Education Goldstein, Ira
|
3.
|
The Structure of Mathematical Knowledge Michener, Edwina Rissland
|
4.
|
Procedures as a Representation for Data in a Computer Program for Understanding Natural Language Winograd, Terry
|
5.
|
Understanding Understanding Mathematics Michener, Edwina Rissland
|
6.
|
Automated Reasoning About Classical Mechanics Wong, Leon
|
7.
|
The Genetic Epistemology of Rule Systems Goldstein, Ira P.
|
8.
|
A Proposal for a Computational Model of Anatomical and Physiological Reasoning Smith, Brian Cantwell
|
9.
|
Transferring, Translating and Transforming: An Integrative Framework Carlile, Paul
|
10.
|
Intelligence by Design: Principles of Modularity and Coordination for Engineerin Bryson, Joanna J.
|