WorldCat Identities

Stanford Artificial Intelligence Project

Overview
Works: 22 works in 24 publications in 1 language and 50 library holdings
Classifications: Q335, 651.8
Publication Timeline
Key
Publications about Stanford Artificial Intelligence Project Publications about Stanford Artificial Intelligence Project
Publications by Stanford Artificial Intelligence Project Publications by Stanford Artificial Intelligence Project
Most widely held works about Stanford Artificial Intelligence Project
 
Most widely held works by Stanford Artificial Intelligence Project
Memo ( )
in English and held by 14 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
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
Project technical report by Stanford Artificial Intelligence Project ( Book )
2 editions published between 1969 and 1970 in English and held by 3 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)
Memos ( )
in Undetermined and held by 1 WorldCat member library worldwide
Situations, actions, and causal laws by John McCarthy ( Book )
1 edition published in 1963 in English and held by 1 WorldCat member library worldwide
A formal theory is given concerning situations, causality and the possibility and effects of actions is given. The theory is intended to be used by the Advice Taker, a computer program that is to decide what to do by reasoning. Some simple examples are given of descriptions of situations and deductions that certain goals can be achieved. (Author)
Predicate calculus with "undefined" as a truth-value by John McCarthy ( Book )
1 edition published in 1963 in English and held by 1 WorldCat member library worldwide
Modelling, trajectory calculation and servoing of a computer controlled arm by Richard P Paul ( Book )
1 edition published in 1974 in English and held by 1 WorldCat member library worldwide
The application of theorem proving to question-answering systems by Claude Cordell Green ( Book )
1 edition published in 1969 in English and held by 1 WorldCat member library worldwide
The paper shows how a question-answering system can use first-order logic as its language and an automatic theorem prover, based upon the resolution inference principle, as its deductive mechanism. The resolution proof procedure is extended to a constructive proof procedure. An answer construction algorithm is given whereby the system is able not only to produce yes or no answers but also to find or construct an object satisfying a specified condition. A working computer program, QA3, based on these ideas, is described. Methods are presented for solving state transformation problems. In addition to question-answering, the program can do automatic programming, control and problem solving for a simple robot, pattern recognition, and puzzles. (Author)
An information-processing model of intermediate-level cognition by Joseph D Becker ( Book )
1 edition published in 1970 in English and held by 1 WorldCat member library worldwide
Memo by Stanford Artificial Intelligence Project ( )
in English and held by 1 WorldCat member library worldwide
MEMO AIM by Stanford Artificial Intelligence Project ( )
in Undetermined and held by 1 WorldCat member library worldwide
Second-order mathematical theory of computation by Zohar Manna ( Book )
1 edition published in 1970 in English and held by 0 WorldCat member libraries worldwide
Algebraic simplification by Horace J Enea ( Book )
1 edition published in 1964 in English and held by 0 WorldCat member libraries worldwide
Edge detection in pictures by computer using planning by Michael D Kelly ( Book )
1 edition published in 1970 in English and held by 0 WorldCat member libraries worldwide
The paper describes a program for extracting an accurate outline of a man's head from a digital picture. The program accepts as input digital, grey scale pictures containing people standing in front of various backgrounds. The output of the program is an ordered list of the points which form the outline of the head. The edges of background objects and the interior details of the head have been suppressed. The program is successful because of an improved method for edge detection which uses heuristic planning, a technique drawn from artificial intelligence research in problem solving. A brief, edge detection using planning consists of three steps. A new digital picture is prepared from the original; the new picture is smaller and has less detail. Edges of objects are located in the reduced picture. The edges found in the reduced picture are used as a plan for finding edges in the original picture. (Author)
Notes on theory of computation and pattern recognition by T Itō ( Book )
1 edition published in 1968 in English and held by 0 WorldCat member libraries worldwide
Contextual analysis of phonemes of English by D. Raj Reddy ( Book )
1 edition published in 1969 in English and held by 0 WorldCat member libraries worldwide
It is now well known that the acoustic characteristics of a phoneme depend on both the preceding and following phonemes. This paper provides some needed contextual and probabilistic data about trigram phonemic sequences of spoken English. Since there are approximately 40 to the 3rd power such sequences, one must discover and study only the more commonly occurring sequences. To this purpose, three types of tables are presented, viz., (a) Commonly occurring trigram sequences of the form /abc/ for every phoneme /b/. (b) Commonly occurring sequences /abc/ for every pair of phonemes /a/ and /c/. (c) Commonly occurring word boundary sequences of the form /-ab/ and /ab-/ where /-/ represents the silence phoneme. Entries of the above tables contain examples of usage and probabilities of occurrence for each such sequence. (Author)
On the synthesis of finite-state acceptors by Alan W Biermann ( Book )
1 edition published in 1970 in English and held by 0 WorldCat member libraries worldwide
Some implications of planarity for machine perception by Gilbert Falk ( Book )
1 edition published in 1969 in English and held by 0 WorldCat member libraries worldwide
The problem of determining the shape and orientation of an object based on one or more two-dimensional images is considered. For a restricted class of projections it is shown that monocular information is often nearly sufficient for complete specification of the object viewed. (Author)
Dendral--a computer program for generating and filtering chemical structures by Georgia L Sutherland ( Book )
1 edition published in 1967 in English and held by 0 WorldCat member libraries worldwide
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.87 (from 0.00 for MEMO AIM / ... to 0.97 for Memo ...)
Alternative Names

controlled identity Stanford Artificial Intelligence Laboratory

Artificial Intelligence Project
Stanford Artificial Intelligence Project
Stanford University Artificial Intelligence Project
Stanford University Department of Computer Science Artificial Intelligence Project
Stanford University Department of Computer Science Stanford Artificial Intelligence Project
Languages
English (21)