1.
|
ONTIC: A Knowledge Representation System for Mathematics McAllester, David Allen
|
2.
|
The Programmer's Apprentice Project: A Research Overview Rich, Charles - Waters, Richard C.
|
3.
|
Expressing Mathematical Subroutines Constructively Roylance, Gerald
|
4.
|
D-SCRIPT: A Computational Theory of Descriptions Moore, Robert C.
|
5.
|
Introduction to the Calculus of Knowledge Raphael, Bertram
|
6.
|
Proposal to ARPA for Continued Research on A.I. for 1973 Minsky, Marvin - Papert, Seymour
|
7.
|
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
|
8.
|
Predicting and managing system interactions at early phase of the product development process Dong, Qi, 1973-
|
9.
|
Leveraging Learning and Language Via Communication Bootstrapping Beal, Jacob
|
10.
|
Proposal to ARPA for Continued Research on A.I. Minsky, Marvin
|