1.
|
BUILD: A Tool for Maintaining Consistency in Modular Systems Robbins, Richard Elliot
|
2.
|
KBEmacs: A Step Toward the Programmer's Apprentice Waters, Richard C.
|
3.
|
Probabilistic Solution of Inverse Problems Marroquin, Jose Luis
|
4.
|
Computer System for Visual Recognition Using Active Knowledge Freuder, Eugene C.
|
5.
|
The Structure of Mathematical Knowledge Michener, Edwina Rissland
|
6.
|
The Role of Knowledge in Visual Shape Representation Saund, Eric
|
7.
|
Qualitative Knowledge, Casual Reasoning and the Localization of Failures Brown, Allen
|
8.
|
Using Analogy to Acquire Commonsense Knowledge from Human Contributors Chklovski, Timothy
|
9.
|
Qualitative and Quantitative Knowledge in Classical Mechanics Kleer, Johan De
|
10.
|
Reasoning from Incomplete Knowledge in a Procedural Deduction System Moore, Robert Carter
|