1.
|
ONTIC: A Knowledge Representation System for Mathematics McAllester, David Allen
|
2.
|
KAM: Automatic Planning and Interpretation of Numerical Experiments Using Geometrical Methods Yip, Kenneth Man-Kam
|
3.
|
Model-Based Troubleshooting of Digital Systems Hamscher, Walter Charles
|
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
|