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.
|
Toward the 24-Hour Knowledge Factory Gupta, Amar - Seshasai, Satwik
|
5.
|
LIGHTS: Laboratory for Information Globalization and Harmonization Technologies and Studies Choucri, Nazli - Madnick, Stuart - Siegel, Michael - Wang, Richard
|
6.
|
Measuring the Impact of Information Technology on Value and Productivity using a Process-Based Approach: The case for RFID Technology Subirana, Brian - Eckes, Chad - Herman, George - Sarma, Sanjay - Barrett, Michael
|
7.
|
Organizing a Global Coordinate System from Local Information on an Amorphous Computer Nagpal, Radhika
|
8.
|
A Study of Qualitative and Geometric Knowledge in Reasoning about Motion Forbus, Kenneth D.
|
9.
|
A Computational Model for the Acquisition and Use of Phonological Knowledge Yip, Kenneth - Sussman, Gerald Jay
|
10.
|
Meta-Rules: Reasoning About Control Davis - Randall
|