Artificial intelligence publications

This bibliography and topical index lists more than 200 references, almost all published since 1965, in Computer Semantics: a growing research area that lies at the boundaries of Linguistics, Psychology,…

This paper introduces the first implemented version of the problem solving language QA4 and illustrates the application of this language to some simple robot planning problems.

This paper describes a language for constructing problem-solving programs that can manipulate several data structures, including ordered and unordered sets.

In the paper, the correspondence between a new unsolved problem and a previously solved analogous problem is computed and invoked to tailor large data bases to manageable sizes.

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…