11.
|
Representing Knowledge of Large-Scale Space Kuipers, Benjamin J.
|
12.
|
Test Generation Guided Design for Testability Wu, Peng
|
13.
|
A Study of Qualitative and Geometric Knowledge in Reasoning about Motion Forbus, Kenneth D.
|
14.
|
Toward a Theory of Representation Design Baalen, Jeffrey Van
|
15.
|
Generating Circuit Tests by Exploiting Designed Behavior Shirley, Mark Harper
|
16.
|
Toward A Model Of Children's Story Comprehension Charniak, Eugene
|
17.
|
A Computational Model of Skill Acquisition Sussman, Gerald J.
|
18.
|
BUILD: A Tool for Maintaining Consistency in Modular Systems Robbins, Richard Elliot
|
19.
|
ONTIC: A Knowledge Representation System for Mathematics McAllester, David Allen
|
20.
|
Computational Structure of Human Language Ristad, Eric Sven
|