WorldCat Identities

Stanford Artificial Intelligence Laboratory

Overview
Works: 312 works in 350 publications in 1 language and 1,101 library holdings
Genres: Bibliography‡vCatalogs 
Classifications: Q334.5, 016.0063
Publication Timeline
Key
Publications about Stanford Artificial Intelligence Laboratory Publications about Stanford Artificial Intelligence Laboratory
Publications by Stanford Artificial Intelligence Laboratory Publications by Stanford Artificial Intelligence Laboratory
Most widely held works about Stanford Artificial Intelligence Laboratory
 
moreShow More Titles
fewerShow Fewer Titles
Most widely held works by Stanford Artificial Intelligence Laboratory
Artificial intelligence memoranda. catalogue ( Book )
6 editions published in 1983 in English and held by 20 WorldCat member libraries worldwide
Memo ( )
in English and held by 14 WorldCat member libraries worldwide
Artificial intelligence memoranda of the AI Laboratory, Computer Science Department, Stanford University, 1963-1982 ( Book )
1 edition published in 1983 in English and held by 12 WorldCat member libraries worldwide
Catalogue, Artificial intelligence memoranda of the AI Laboraory, Computer Science Department, Stanford University, 1963-1982 ( Book )
1 edition published in 1983 in English and held by 12 WorldCat member libraries worldwide
SAIL user manual ( Book )
2 editions published in 1973 in English and held by 11 WorldCat member libraries worldwide
Computer generation of natural language from a deep conceptual base by Neil Murray Goldman ( Book )
2 editions published in 1974 in English and held by 11 WorldCat member libraries worldwide
For many tasks involving communication between humans and computers it is necessary for the machine to produce as well as understand natural language. We describe an implemented system which generates English sentences from Conceptual Dependency networks, which are unambiguous, language-free representations of meaning. The system is designed to be task independent, and thus capable of providing the language generation mechanism for such diverse problem areas as question answering, machine translation, and interviewing
Parallel programming : an axiomatic approach by C. A. R Hoare ( Book )
2 editions published in 1973 in English and held by 9 WorldCat member libraries worldwide
The paper develops some ideas expounded in a previous paper. It distinguishes a number of ways of using parallelism, including disjoint processes, competition, cooperation, communication and colluding. In each case an axiomatic proof rule is given. Some light is thrown on traps or ON conditions. The program structuring methods described in the report are not suitable for the construction of operating systems
Circumscription : a form of non-monotonic reasoning by John McCarthy ( Book )
2 editions published in 1980 in English and held by 8 WorldCat member libraries worldwide
Winged edge polyhedron representation by Bruce G Baumgart ( Book )
3 editions published in 1972 in English and held by 7 WorldCat member libraries worldwide
A winged edge polyhedron representation is stated and a set of primitives that preserve Euler's F-E+V = 2 equation are explained. Present use of this representation in Artificial Intelligence for computer graphics and world modeling is illustrated and its intended future application to computer vision is described
The goals of linguistic theory revisited by Roger C Schank ( Book )
1 edition published in 1973 in English and held by 7 WorldCat member libraries worldwide
An examination is made of the original goals of generative linguistic theory. It is suggested that these goals were well defined but misguided with respect to their avoidance of the problem of modeling performance. With developments such as generative semantics, it is no longer clear that the goals are clearly defined. The authors argue that it is vital for linguistics to concern itself with the procedures that humans use in language. They then introduce a number of basic human competencies in the field of language understanding, understanding in context and the use of inferential information, and argue that the modeling of these aspects of language understanding requires procedures of a sort that cannot be easily accomodated within the dominant paradigm. In particular, the report holds that the procedures that will be required in these cases ought to be linguistic, and that a simple importation of techniques from logic may create a linguistics in which there cannot be procedures of the required sort. (Modified author abstract)
Essential E by Arthur Michael Samuel ( Book )
2 editions published in 1980 in English and held by 7 WorldCat member libraries worldwide
Adverbs and belief by Roger C Schank ( Book )
1 edition published in 1972 in English and held by 7 WorldCat member libraries worldwide
Project technical report by Stanford Artificial Intelligence Project ( Book )
2 editions published between 1969 and 1970 in English and held by 7 WorldCat member libraries worldwide
Production rules as a representation for a knowledge-based consultation program by Randall Davis ( Book )
1 edition published in 1975 in English and held by 6 WorldCat member libraries worldwide
The MYCIN system has begun to exhibit a high level of performance as a consultant on the difficult task of selecting antibiotic therapy for bacteremia. This report discusses issues of representation and design for the system. We describe the basic task and document the constraints involved in the use of a program as a consultant. The control structure and knowledge representation of the system are examined in this light, and special attention is given to the impact of production rules as a representation. The extent of the domain independence of the methodology is also examined
Aesthetics systems by James Gips ( Book )
2 editions published in 1973 in English and held by 6 WorldCat member libraries worldwide
Inference and the computer understanding of natural language by Roger C Schank ( Book )
1 edition published in 1973 in English and held by 6 WorldCat member libraries worldwide
The notion of computer understanding of natural language is examined relative to inference mechanisms designed to function in a language-free deep conceptual base (conceptual dependency). The conceptual analysis of a natural language sentence into this conceptual base, and the nature of the memory which stores and operates upon these conceptual structures are described from both theoretical and practical standpoints. The various types of inferences which can be made during and after the conceptual analysis of a sencence are defined, and a functioning program which performs these inference tasks is described. Actual computer output is included. (Author)
An overview of production systems by Randall Davis ( Book )
1 edition published in 1975 in English and held by 6 WorldCat member libraries worldwide
Since production systems were first proposed in 1943 as a general computational mechanism, the methodology has seen a great deal of development and has been applied to a diverse collection of problems. Despite the wide scope of goals and perspectives demonstrated by the various systems, there appear to be many recurrent themes. This paper is an attempt to provide an analysis and overview of those themes, as well as a conceptual framework by which many of the seemingly disparate efforts can be viewed, both in relation to each other, and to other methodologies. Accordingly, the authors use the term 'production system' in a broad sense, and attempt to show how most systems which have used the term can be fit into the framework. The comparison to other methodologies is intended to provide a view of PS characteristics in a broader context, with primary reference to procedurally-based techniques, but with reference also to some of the current developments in programming and the organization of data and knowledge bases
A conceptually based sentence paraphraser by Neil M Goldman ( Book )
1 edition published in 1973 in English and held by 6 WorldCat member libraries worldwide
The report describes a system of programs which performs natural language processing based on an underlying language free (conceptual) representation of meaning. This system is used to produce sentence paraphrases which demonstrate a form of understanding with respect to a given context. Particular emphasis was placed on the major subtasks of language analysis (mapping natural language into conceptual structures) and language generation (mapping conceptual structures into natural language), and on the interaction between these processes and a conceptual memory model. (Author)
On the use of environmental, syntactic, and probabilistic constraints in vision and speech by D. Raj Reddy ( Book )
1 edition published in 1969 in English and held by 6 WorldCat member libraries worldwide
In this paper the author considers both vision and speech in the hope that a unified treatment, illustrating the similarities, would lead to a better appreciation of the problems, and possibly programs which use the same superstructure. The author postulates a general perceptual system and illustrate how various existing systems either avoid or ignore some of the difficult problems that must be considered by a general perceptual system. The purpose of this paper is to point out some of the unsolved problems, and to suggest some heuristics that reflect environmental, syntactic, and probabilistic constraints useful in visual and speech perception by machine. (Modified author abstract)
The modal logic of programs by Zohar Manna ( Book )
2 editions published in 1979 in English and held by 6 WorldCat member libraries worldwide
This document explores the general framework of Modal Logic and its applicability to program reasoning. The authors relate the basic concepts of Modal Logic to the programming environment: the concept of world corresponds to a program state, and the concept of accessibility relation corresponds to the relation of derivability between states during execution. The Temporal interpretation of Modal Logic is adopted. The variety of program properties expressible within the modal formalism is demonstrated. The first axiomatic system studied, the sometime system, is adequate for proving total correctness and 'eventuality' properties. However, it is inadequate for proving invariance properties. The stronger nexttime system obtained by adding the next operator is shown to be adequate for invariances as well. Additional keywords: computer logic. (Author)
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.86 (from 0.00 for Academic c ... to 1.00 for Oral histo ...)
Associated Subjects
Alternative Names

controlled identity Stanford Artificial Intelligence Project

Artificial Intelligence Laboratory
School of Humanities and Sciences Department of Computer Science Artificial Intelligence Laboratory
School of Humanities and Sciences Department of Computer Science Stanford Artificial Intelligence Laboratory
Stanford University Artificial Intelligence Laboratory
Stanford University. Computer Science Department. AI Laboratory
Stanford University. Computer Science Department. Artificial Intelligence Laboratory
Stanford University Stanford Artificial Intelligence Laboratory
Languages
English (44)