Artificial intelligence publications

Certain similarities between program verification and program synthesis are pointed out. The analogy is illustrated using a "bubble-sort" program.

In this note we shall sketch the outline of a simple information-processing model of operant behavior.

An elementary outline of the theorem-proving approach to automatic program synthesis is given, without dwelling on technical details.

This paper groups these problem-solving methods under three major headings: the State-Space Approach, the Problem-Reduction Approach, and the Formal-Logic Approach.

We mean to devise a natural way to define program-writing problems and describe programming languages, and then improve the known methods of program synthesis and investigate new ones.

Issues in the description of places are discussed in the context of a logical geospatial theory.

In this paper, we present a knowledge-based question-answering system that we developed as part of a broader effort by Vulcan Inc. to assess KR&R technologies, and the result of its…

This theory lies at the core of the system GeoLogica, which deduces answers to geographical questions based on knowledge provided by multiple agents.

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…