1.
|
The Structure of Mathematical Knowledge Michener, Edwina Rissland
|
2.
|
The Genetic Epistemology of Rule Systems Goldstein, Ira P.
|
3.
|
Understanding Understanding Mathematics Michener, Edwina Rissland
|
4.
|
A Proposal for a Computational Model of Anatomical and Physiological Reasoning Smith, Brian Cantwell
|
5.
|
RABBIT: A Compiler for SCHEME Steele, Guy Lewis, Jr.
|
6.
|
Computer System for Visual Recognition Using Active Knowledge Freuder, Eugene C.
|
7.
|
Knowledge Base Integration: What Can We Learn from Database Integration Research? Lee, Jintae
|
8.
|
Consensus Knowledge Acquisition Trice, Andrew - Davis, Randall
|
9.
|
D-SCRIPT: A Computational Theory of Descriptions Moore, Robert C.
|
10.
|
Explicit Control of Reasoning Kleer, Johan de - Doyle, Jon - Steele, Guy L., Jr. - Sussman, Gerald Jay
|