1.
|
Generating Circuit Tests by Exploiting Designed Behavior Shirley, Mark Harper
|
2.
|
TYPICAL: A Knowledge Representation System for Automated Discovery and Inference Haase, Kenneth W., Jr.
|
3.
|
Automatic Analysis and Synthesis of Controllers for Dynamical Systems Based On P Zhao, Feng
|
4.
|
Foundations of Actor Semantics Clinger, William Douglas
|
5.
|
Computer System for Visual Recognition Using Active Knowledge Freuder, Eugene C.
|
6.
|
The Structure of Mathematical Knowledge Michener, Edwina Rissland
|
7.
|
The Role of Knowledge in Visual Shape Representation Saund, Eric
|
8.
|
Qualitative Knowledge, Casual Reasoning and the Localization of Failures Brown, Allen
|
9.
|
Using Analogy to Acquire Commonsense Knowledge from Human Contributors Chklovski, Timothy
|
10.
|
Qualitative and Quantitative Knowledge in Classical Mechanics Kleer, Johan De
|