Search
Now showing items 151-160 of 4210
Planner Implementation Proposal to ARPA 1972-1973
(1971-12-01)
The task objective is the generalization and implementation of the full power of the problem solving formalism PLANNER in the next two years. We will show how problem solving knowledge can be effectively incorporated into ...
A Two Counter Machine Cannot Calculate 2N
(1972-05-01)
This note proves that a two counter machine cannot calculate 2N.
Proposal to NSF: An Evaluative Study of Modern Technology in Education
(1976-06-01)
This proposal to the NSF describes a new phase of research planned in LOGO. Previous phases have concentrated on developing a conceptual superstructure (theories and teaching methods) and a material infra-structure ...
Spatial Disposition of Axes in a Generalized Cylinder Representation of Objects
(1975-12-01)
It is proposed that the 3-D representation of an object is based primarily on a stick-figure configuration, where each stick represents one or more axes in the object's generalized cylinder representation. The loosely ...
Very Large Planner-Type Data Bases
(1975-09-01)
This paper describes the implementation of a typical data-base manaer for an A.I. language like Planner, Conniver, or QA4, and some proposed extensions for applications involving greater quantities of data than usual. ...
Early Processing of Visual Information
(1975-12-01)
The article describes a symbolic approach to visual information processing, and sets out four principles that appear to govern the design of complex symbolic information processing systems. A computational theory of ...
Synthesizing Constraint Expressions
(1976-07-01)
An algorithm is presented for determining the values which simultaneously satisfy a set of relations, or constraints, involving different subsets of n variables. The relations are represented in a series of constraint ...
How Near is Near?
(1976-02-01)
This paper presents a system for understanding the concept of near and far, weighing such factors as purpose of the judgement, dimensions of the objects, absolute size of the distance, and size of the distance relative ...
The Text-Justifier TJ6
(1976-05-01)
This memo, intended as both a reference and user's manual describes the text-justifying program TJ6, which compiles a neat output document from a sloppy input manuscript. TJ6 can justify and fill text; automatically ...
Leading a Child to a Computer Culture
(1975-12-01)
"LOGO" is sometimes used as the name of a programming language. It is also used as the name of...what shall I call it?... an environment, a culture, a way of thinking about computers and about learning and about putting ...