1.
|
Computer System for Visual Recognition Using Active Knowledge Freuder, Eugene C.
|
2.
|
Qualitative and Quantitative Knowledge in Classical Mechanics Kleer, Johan De
|
3.
|
Explicit Control of Reasoning Kleer, Johan de - Doyle, Jon - Steele, Guy L., Jr. - Sussman, Gerald Jay
|
4.
|
BUILD: A Tool for Maintaining Consistency in Modular Systems Robbins, Richard Elliot
|
5.
|
Spatial Knowledge Kuipers, Benjamin
|
6.
|
The Progressive Construction of Mind Lawler, Robert W.
|
7.
|
Taxonomic Syntax for First-Order Inference McAllester, David - Givan, Robert
|
8.
|
Automated Acquisition of Evolving Informal Descriptions Reubenstein, Howard B.
|
9.
|
Proposal to ARPA for Continued Research on A.I. for 1973 Minsky, Marvin - Papert, Seymour
|
10.
|
RABBIT: A Compiler for SCHEME Steele, Guy Lewis, Jr.
|