Artificial intelligence publications

This paper shows how a simple label propagation technique, in conjunction with some novel ideas about how labels can be applied to an image to express semantic knowledge, lead to…

We present a formalism for the computer representation of three-dimensional shapes, that has as its goal to facilitate man-machine communication using verbal, graphic, and visual means. With this method, pieces…

Geometric correspondence between a sensed image and a symbolic reference map is established in an initial stage of processing by adjusting parameters of a sensor model so that image features…

This approach regards program synthesis as a theorem-proving task and relies on a theorem-proving method that combines the features of transformation rules, unification, and mathematical induction within a single framework.

This paper builds a case for needed additional levels of representation and outlines the design of a general-purpose computer-vision system capable of high performance in a wide variety of industrial…

In this paper, we address the problem, 'What makes an answer appropriate?’ We do so by investigating indirect answers to questions in task-oriented dialogues.

The process of problem solving has been studied in artificial intelligence research for the past few decades. This paper describes the engineering design process from several viewpoints, and then relates…

This paper discusses network notations for encoding a number of different kinds of knowledge, including taxonomic information; general statements involving quantification; information about processes and procedures; the delineation of local…

Deductive techniques are presented for deriving programs systematically from given specifications. The specifications express the purpose of the desired program without giving any hint of the algorithm to be employed.

This paper reviews the principles and status of PROSPECTOR, a computer-based consultation program for mineral exploration. The mechanisms for representing ore deposit models by networks of inference rules are described,…

Techniques derived from mathematical logic promise to provide an alternative to the conventional methodology for constructing, debugging, and optimizing computer programs. This paper provides a unified tutorial exposition of the…