1.
|
Reasoning from Incomplete Knowledge in a Procedural Deduction System Moore, Robert Carter
|
2.
|
ARLO: Another Representation Language Offer Haase, Kenneth W., Jr.
|
3.
|
Dependency Directed Reasoning for Complex Program Understanding Shrobe, Howard Elliot
|
4.
|
Probabilistic Solution of Inverse Problems Marroquin, Jose Luis
|
5.
|
Computer System for Visual Recognition Using Active Knowledge Freuder, Eugene C.
|
6.
|
Qualitative and Quantitative Knowledge in Classical Mechanics Kleer, Johan De
|
7.
|
BUILD: A Tool for Maintaining Consistency in Modular Systems Robbins, Richard Elliot
|
8.
|
RABBIT: A Compiler for SCHEME Steele, Guy Lewis, Jr.
|
9.
|
Flexibility and Efficiency in a Computer Program for Designing Circuits Mcdermott, Drew Vincent
|
10.
|
Using Structural and Functional Information in Diagnostic Design Hamscher, Walter
|