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.
|
A Study of Qualitative and Geometric Knowledge in Reasoning about Motion Forbus, Kenneth D.
|
6.
|
Creation of Computer Animation from Story Descriptions Kahn, Kenneth Michael
|
7.
|
Extracting and Representing Qualitative Behaviors of Complex Systems in Phase Spaces Zhao, Feng
|
8.
|
Coherent Behavior from Incoherent Knowledge Sources in the Automatic Synthesis of Numerical Computer Programs Brown, Richard
|
9.
|
Using Structural and Functional Information in Diagnostic Design Hamscher, Walter
|
10.
|
Reasoning Modeled as a Society of Communicating Experts Steels, Luc
|