1.
|
Open Systems Hewitt, Carl - Jong, Peter de
|
2.
|
Procedures as a Representation for Data in a Computer Program for Understanding Natural Language Winograd, Terry
|
3.
|
Automated Reasoning About Classical Mechanics Wong, Leon
|
4.
|
Intelligence by Design: Principles of Modularity and Coordination for Engineerin Bryson, Joanna J.
|
5.
|
Computer System for Visual Recognition Using Active Knowledge Freuder, Eugene C.
|
6.
|
Consensus Knowledge Acquisition Trice, Andrew - Davis, Randall
|
7.
|
Knowledge Base Integration: What Can We Learn from Database Integration Research? Lee, Jintae
|
8.
|
D-SCRIPT: A Computational Theory of Descriptions Moore, Robert C.
|
9.
|
The Structure of Mathematical Knowledge Michener, Edwina Rissland
|
10.
|
Explicit Control of Reasoning Kleer, Johan de - Doyle, Jon - Steele, Guy L., Jr. - Sussman, Gerald Jay
|