1.
|
Automated Reasoning About Classical Mechanics Wong, Leon
|
2.
|
Procedures as a Representation for Data in a Computer Program for Understanding Natural Language Winograd, Terry
|
3.
|
Intelligence by Design: Principles of Modularity and Coordination for Engineerin Bryson, Joanna J.
|
4.
|
Representing Knowledge of Large-Scale Space Kuipers, Benjamin J.
|
5.
|
Qualitative Knowledge, Casual Reasoning and the Localization of Failures Brown, Allen
|
6.
|
Organizing a Global Coordinate System from Local Information on an Amorphous Computer Nagpal, Radhika
|
7.
|
Hypothesis Formation and Evaluation in Medical Diagnosis Rubin, Ann D.
|
8.
|
Artificial Intelligence, Language and the Study of Knowledge Goldstein, Ira - Papert, Seymour
|
9.
|
Test Generation Guided Design for Testability Wu, Peng
|
10.
|
Flexibility and Efficiency in a Computer Program for Designing Circuits Mcdermott, Drew Vincent
|