WorldCat Identities

Stanford Artificial Intelligence Laboratory

Overview
Works: 335 works in 385 publications in 1 language and 1,104 library holdings
Genres: Bibliography‡vCatalogs 
Classifications: P98, 501.522
Publication Timeline
.
Most widely held works about Stanford Artificial Intelligence Laboratory
 
moreShow More Titles
fewerShow Fewer Titles
Most widely held works by Stanford Artificial Intelligence Laboratory
Catalogue, Artificial intelligence memoranda of the AI Laboraory, Computer Science Department, Stanford University, 1963-1982( Book )

7 editions published in 1983 in English and held by 25 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

Memo( )

in English and held by 12 WorldCat member libraries worldwide

Computer generation of natural language from a deep conceptual base by Neil Murray Goldman( )

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 10 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
Artificial intelligence memoranda. catalogue( Book )

1 edition published in 1983 in English and held by 9 WorldCat member libraries worldwide

SAIL user manual by K Vanlehn( Book )

2 editions published in 1973 in English and held by 9 WorldCat member libraries worldwide

SAIL is a high-level programming language for the PDP-10 computer. It includes an extended ALGOL 60 compiler and a companion set of execution-time routines. In addition to ALGOL, the language features: (1) flexible linking to hand-coded machine language algorithms, (2) complete access to the PDP-10 1/0 facilities, (3) a complete system of compile-time arithmetic and logic as well as a flexible macro system, (4) user modifiable error handling, (5) backtracking, and (6) interrupt facilities. Furthermore, a subset of the SAIL language, called LEAP, provides facilities for (1) sets and lists, (2) an associative data structure, (3) independent processes, and (4) procedure variables. The LEAP subset of SAIL is an extension of the LEAP language, which was designed by J. Feldman and P. Rovner, and implemented on Lincoln Laboratory's TX-2. This manual describes the SAIL language and the execution-time routines for the typical SAIL user: a non-novice programmer with some knowledge of ALGOL. It lies somewhere between being a tutorial and a reference manual. (Modified author abstract)
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

Humans and intelligent computer programs must often jump to the conclusion that the objects they can determine to have certain properties or relations are the only objects that do. Circumscription formalizes such conjectural reasoning. (Author)
Essential E by Arthur L Samuel( Book )

2 editions published in 1980 in English and held by 7 WorldCat member libraries worldwide

Project technical report by John McCarthy( Book )

2 editions published between 1969 and 1970 in English and held by 7 WorldCat member libraries worldwide

Recent work of the Stanford Artificial Intelligence Project is summarized in several areas: Scientific hypothesis formation; Symbolic computation; Hand-eye systems; Computer recognition of speech; Board games; and Other projects. (Author)
Winged edge polyhedron representation by Bruce Guenther Baumqart( 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
Adverbs and belief by Roger C Schank( Book )

1 edition published in 1972 in English and held by 7 WorldCat member libraries worldwide

The treatment of a certain class of adverbs in conceptual representation is given. Certain adverbs are shown to be representative of complex belief structures. These adverbs serve as pointers that explain where the sentence that they modify belongs in a belief structure. (Author)
Preference semantics by Yorick Wilks( Book )

1 edition published in 1973 in English and held by 7 WorldCat member libraries worldwide

Preference semantics (PS) is a set of formal procedures for representing the meaning structure of natural language, with a view to embodying that structure within a system that can be said to understand, rather than within the 'derivational paradigm', of transformational grammar (TG) and generative semantics (GS), which seeks to determine the well-formedness, or otherwise, of sentences. A system of preference semantics is outlined in which for each phase or clause of a complex sentence, the system builds up a network of lexical trees with the aid of structured items called templates and, at the next level, it structures those networks with higher level items called paraplates and common-sense inference rules. At each stage the system directs itself towards the correct network by always opting for the most 'semantically dense' one it can construct. It is suggested that this opting for the 'greatest semantic density' can be seen as an interpretation of Joos' 'Semantic Axiom Number 1'. It is argued that the analysis of quite simple examples requires the use of inductive rules of inference which cannot, theoretically cannot, be accommodated within the derivational paradigm. (Modified author abstract)
An overview of production systems by Randall Davis( Book )

1 edition published in 1975 in English and held by 7 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
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)
A heuristic approach to program verification by Shmuel M Katz( Book )

1 edition published in 1973 in English and held by 6 WorldCat member libraries worldwide

The authors present various heuristic techniques for use in proving the correctness of computer programs. The techniques are designed to obtain automatically the inductive assertions attached to the loops of the program which previously required human understanding of the program performance. The authors distinguish between two general approaches: one in which the inductive assertion is obtained by analyzing predicates which are known to be true at the entrances and exits of the loop (top-down approach), and another in which we generate the inductive assertion directly from the statements of the loop (bottom-up approach). (Author)
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
Model based (intermediate-level) computer vision by Gunnar Rutger Grape( Book )

1 edition published in 1973 in English and held by 6 WorldCat member libraries worldwide

A system for computer vision is presented, which is based on two-dimensional prototypes, and which uses a hierarchy of features for mapping purposes. More specifically, one is dealing with scenes composed of planar faced, convex objects. Extensions to the general planar faced case are discussed. The visual input is provided by a TV-camera, and the problem is to interpret that input by computer, as a projection of a three-dimensional scene. The system proposed and demonstrated in this paper uses perspectively consistent two-dimensional models (prototypes) of views of three-dimensional objects, and interpretations of scene-representations are based on the establishment of mapping relationships from conglomerates of scene-elements (line-constellations) to prototypes templates. The prototypes are learned by the program through analysis of - and generalization on - ideal instances. (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)
Formalization of properties of parallel programs by Zohar Manna( Book )

2 editions published between 1968 and 1970 in English and held by 6 WorldCat member libraries worldwide

The paper describes a class of parallel programs and gives a formalization of certain properties of such programs in predicate calculus. Although the programs are syntactically simple, they do exhibit interaction between asynchronous parallel processes, which is the essential feature to be considered. The formalization can easily be extended to more complicated programs. Also presented is a method of simplifying parallel programs, i.e., constructing simpler equivalent programs, based on the 'independence' of statements in them. With these simplifications the formalization gives a practical method for proving properties of such programs. (Author)
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.74 (from 0.63 for Memo ... to 1.00 for Academic c ...)

Associated Subjects
Alternative Names

controlled identityStanford Artificial Intelligence Project

AI Laboratory

Artificial Intelligence Laboratory

Stanford AI Laboratory

Stanford Artificial Intelligence Laboratory

Stanford University AI Laboratory

Stanford University Artificial Intelligence Laboratory

Stanford University Computer Science Department AI Laboratory

Stanford University Computer Science Department Artificial Intelligence Laboratory

Stanford University Computer Science Department Stanford AI Laboratory

Stanford University Computer Science Department Stanford Artificial Intelligence Laboratory

Stanford University Department of Computer Science Artificial Intelligence Laboratory

Stanford University Department of Computer Science Stanford Artificial Intelligence Laboratory

Stanford University Stanford AI Laboratory

Languages
English (45)