Publications

This report summaries the results of a three-year project aimed at the design and implementation of computer languages to aid in expressing problem solving procedures in several areas of artificial…

This technical note describes a region-based data structure that is easily obtained, lends itself to description of the data in a rich manner by a process of pointer reduction, and…

We shall be able to describe the principles underlying such Artificial Intelligence projects as: The General Problem-Solver, the Logic Theory Machine, Symbolic Integration, Geometry Theorem Proving, Theorem Proving in the…

The present automaton research project began in March 1966 and is presently funded until 5 October 1968.

Develop a general plan to conduct sets of experiments which utilize results of the study to date.

Engineering Change to Contract AF 30(602)-4147

The AI research program described here has as its long term, unifying goal the task of building intelligent machines to perform useful tasks.

This report describes progress toward an "intelligent question-answering system"-a system that can accept facts, retrieve items from memory, and perform logical deductions necessary to answer questions.

The end product of the proposed continuation would be a report or reports in which the major techniques and subject matter of Artificial Intelligence are presented and explained in a…