- Title:
- A Proof-checker for Predicate Calculus. AIM-027
- Author:
- McCarthy, John, 1927-2011
- Author (no Collectors):
- McCarthy, John, 1927-2011
- Collector:
- McCarthy, John, 1927-2011
- Description:
-
A program that checks proofs in J. A. Robinson's formulation of
predicate calculus has been programmed in LISP 1.5. The program is
available in CTSS at Project MAC and is also available as a card
deck. The program is used for class exercises at Stanford.
- Topic:
- Artificial intelligence
- Subject:
- Stanford Artificial Intelligence Laboratory and Memo (Stanford Artificial Intelligence Laboratory)
- Language:
- English
- Physical Description:
- 1 text file
- Publication Info:
- Stanford (Calif.) and cau
- Date:
- March 1965
- Place created:
- Stanford (Calif.)
- Imprint:
- Stanford (Calif.), March 1965
- Genre:
- memorandums
- Identifier:
- AIM-027
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Stanford Artificial Intelligence Laboratory records, 1963-2009
- Manuscript number:
- SC1041
« Previous |
1 - 48 of 75
|
Next »
Number of results to display per page
Search Results
- Title:
- A Television Camera Interface for the PDP-1. AIM-034
- Author:
- Carah, Peter
- Author (no Collectors):
- Carah, Peter
- Collector:
- Carah, Peter
- Description:
-
This paper is a discussion of several methods for the connection of
a television camera to the PDP-1 computer. Three of these methds
are discussed in detail and have in common that only a 36 bit
portion of any horizontal scanning line may be read and this
information is read directly into the working registers of the
computer. The fourth involves a data channel to read information
directly into the core memory of the computer, and is mentioned only
in passing. The major concepts and some of the details of these
methods are due to Marvin Minsky.
- Topic:
- Artificial intelligence
- Subject:
- Stanford Artificial Intelligence Laboratory and Memo (Stanford Artificial Intelligence Laboratory)
- Language:
- English
- Physical Description:
- 1 text file
- Publication Info:
- Stanford (Calif.) and cau
- Date:
- June 1965
- Place created:
- Stanford (Calif.)
- Imprint:
- Stanford (Calif.), June 1965
- Genre:
- memorandums
- Identifier:
- AIM-034
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Stanford Artificial Intelligence Laboratory records, 1963-2009
- Manuscript number:
- SC1041
- Title:
- Alan Kay. Part 1
- Author:
- Kay, Alan Curtis, 1940-
- Author (no Collectors):
- Kay, Alan Curtis, 1940-
- Topic:
- Computer science, Artificial intelligence, and Expert systems (Computer science)
- Language:
- English
- Physical Description:
- 1 audio cassette
- Date:
- [ca. 1950-2007]
- Imprint:
- [ca. 1950 - 2007]
- Genre:
- speeches
- Series:
- 2005-071
- Box:
- 72
- Identifier:
- SC0340_2005-101_b72_20
- Location:
- SC0340, Accession 2005-071, Box 72
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Edward A. Feigenbaum papers, 1950-2007 (inclusive)
- Title:
- Alan Kay. Part 2
- Author:
- Kay, Alan Curtis, 1940-
- Author (no Collectors):
- Kay, Alan Curtis, 1940-
- Topic:
- Computer science, Artificial intelligence, and Expert systems (Computer science)
- Language:
- English
- Physical Description:
- 1 audio cassette
- Date:
- [ca. 1950-2007]
- Imprint:
- [ca. 1950 - 2007]
- Genre:
- speeches
- Series:
- 2005-071
- Box:
- 72
- Identifier:
- SC0340_2005-101_b72_21
- Location:
- SC0340, Accession 2005-071, Box 72
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Edward A. Feigenbaum papers, 1950-2007 (inclusive)
- Title:
- Alan Kay. Part 3
- Author:
- Kay, Alan Curtis, 1940-
- Author (no Collectors):
- Kay, Alan Curtis, 1940-
- Topic:
- Computer science, Artificial intelligence, and Expert systems (Computer science)
- Language:
- English
- Physical Description:
- 1 audio cassette
- Date:
- [ca. 1950-2007]
- Imprint:
- [ca. 1950 - 2007]
- Genre:
- speeches
- Series:
- 2005-071
- Box:
- 72
- Identifier:
- SC0340_2005-101_b72_22
- Location:
- SC0340, Accession 2005-071, Box 72
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Edward A. Feigenbaum papers, 1950-2007 (inclusive)
- Title:
- Albert Yu
- Author:
- Feigenbaum, Edward A.
- Author (no Collectors):
- Feigenbaum, Edward A.
- Topic:
- Computer science, Expert systems (Computer science), and Artificial intelligence
- Language:
- English
- Physical Description:
- 1 audio cassette
- Date:
- [ca. 1950-2007]
- Imprint:
- [ca. 1950 - 2007]
- Identifier:
- SC340_albert_yu
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Edward A. Feigenbaum papers, 1950-2007 (inclusive)
- Title:
- An on Line Algebraic Simplification Program. AIM-037
- Author:
- Korsvold, Knut
- Author (no Collectors):
- Korsvold, Knut
- Collector:
- Korsvold, Knut
- Description:
-
We describe an on-line program for algebraic simplification. The
program is written in LISP 1.5 for the Q-32 computer at System
Development Corporation in Santa Monica, California. The program
has in its entirety been written and debugged from a teletype
station at Stanford University.
- Topic:
- Artificial intelligence
- Subject:
- Stanford Artificial Intelligence Laboratory and Memo (Stanford Artificial Intelligence Laboratory)
- Language:
- English
- Physical Description:
- 1 text file
- Publication Info:
- Stanford (Calif.) and cau
- Date:
- November 1, 1965
- Place created:
- Stanford (Calif.)
- Imprint:
- Stanford (Calif.), November 1, 1965
- Genre:
- memorandums
- Identifier:
- AIM-037
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Stanford Artificial Intelligence Laboratory records, 1963-2009
- Manuscript number:
- SC1041
- Title:
- Bob Flast
- Author:
- Flast, Bob
- Author (no Collectors):
- Flast, Bob
- Topic:
- Computer science and Artificial intelligence
- Language:
- English
- Physical Description:
- 1 audio cassette
- Date:
- [ca. 1950-2007]
- Imprint:
- [ca. 1950 - 2007]
- Genre:
- speeches
- Series:
- 1991-030
- Box:
- 3
- Identifier:
- SC0340_1991-030_b03_11
- Location:
- SC0340, Accession 1991-030, Box 3
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Edward A. Feigenbaum papers, 1950-2007 (inclusive)
- Title:
- Bob Flast. Parts 1-2
- Author:
- Flast, Bob
- Author (no Collectors):
- Flast, Bob
- Topic:
- Computer science and Artificial intelligence
- Language:
- English
- Physical Description:
- 1 audio cassette
- Date:
- [ca. 1950-2007]
- Imprint:
- [ca. 1950 - 2007]
- Genre:
- speeches
- Series:
- 1991-030
- Box:
- 3
- Identifier:
- SC0340_1991-030_b03_09
- Location:
- SC0340, Accession 1991-030, Box 3
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Edward A. Feigenbaum papers, 1950-2007 (inclusive)
- Title:
- Bob Flast. Parts 3-4
- Author:
- Flast, Bob
- Author (no Collectors):
- Flast, Bob
- Topic:
- Computer science and Artificial intelligence
- Language:
- English
- Physical Description:
- 1 audio cassette
- Date:
- [ca. 1950-2007]
- Imprint:
- [ca. 1950 - 2007]
- Genre:
- speeches
- Series:
- 1991-030
- Box:
- 3
- Identifier:
- SC0340_1991-030_b03_10
- Location:
- SC0340, Accession 1991-030, Box 3
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Edward A. Feigenbaum papers, 1950-2007 (inclusive)
- Title:
- Bruce Johnson
- Author:
- Johnson, Bruce (Bruce M.)
- Author (no Collectors):
- Johnson, Bruce (Bruce M.)
- Topic:
- Computer science and Artificial intelligence
- Language:
- English
- Physical Description:
- 1 audio cassette
- Date:
- [ca. 1950-2007]
- Imprint:
- [ca. 1950 - 2007]
- Genre:
- speeches
- Series:
- 1991-030
- Box:
- 3
- Identifier:
- SC0340_1991-030_b03_07
- Location:
- SC0340, Accession 1991-030, Box 3
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Edward A. Feigenbaum papers, 1950-2007 (inclusive)
- Title:
- Bruce Johnson. Parts 2-4
- Author:
- Johnson, Bruce (Bruce M.)
- Author (no Collectors):
- Johnson, Bruce (Bruce M.)
- Topic:
- Computer science and Artificial intelligence
- Language:
- English
- Physical Description:
- 1 audio cassette
- Date:
- [ca. 1950-2007]
- Imprint:
- [ca. 1950 - 2007]
- Genre:
- speeches
- Series:
- 1991-030
- Box:
- 3
- Identifier:
- SC0340_1991-030_b03_08
- Location:
- SC0340, Accession 1991-030, Box 3
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Edward A. Feigenbaum papers, 1950-2007 (inclusive)
- Title:
- Chuck Williams, Inference Corppration, HPN interview
- Author:
- Williams, Chuck, 1959-
- Author (no Collectors):
- Williams, Chuck, 1959-
- Topic:
- Computer science and Artificial intelligence
- Language:
- English
- Physical Description:
- 1 audio cassette
- Date:
- [ca. 1950-2007]
- Imprint:
- [ca. 1950 - 2007]
- Genre:
- interviews
- Series:
- 1991-030
- Box:
- 3
- Identifier:
- SC0340_1991-030_b03_24
- Location:
- SC0340, Accession 1991-030, Box 3
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Edward A. Feigenbaum papers, 1950-2007 (inclusive)
- Title:
- CS226 Expert Systems Applications--Avron Barr. Part 1
- Author:
- Barr, Avron, 1949-
- Author (no Collectors):
- Barr, Avron, 1949-
- Corporate Author:
- Stanford University. Computer Science Department
- Description:
- Expert Systems are the most important of the applications of Artificial Intelligence in the commercial and defense sectors. Topics: the rapid transition of the Expert System technology from laboratories to societal use; what is in an Expert System; what is Knowledge Engineering. Case studies of commercial application in: diagnosis and repair; interpretation of data; manufacturing planning and control; financial services; engineering design, etc. The sources of benefit from Expert Systems. The magnitude of these benefits. What an organization needs to do to realize the benefits. A "what" rather than a "how to build systems" orientation aimed for a broad interdisciplinary audience
- Topic:
- Computer science, Artificial intelligence, and Expert systems (Computer science)
- Language:
- English
- Physical Description:
- 1 audio cassette
- Publication Info:
- Stanford (Calif.)
- Date:
- [ca. 1950-2007]
- Place created:
- Stanford (Calif.)
- Imprint:
- Stanford (Calif.), [ca. 1950 - 2007]
- Genre:
- lectures
- Series:
- 2005-071
- Box:
- 72
- Identifier:
- SC0340_2005-101_b72_44
- Location:
- SC0340, Accession 2005-071, Box 72
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Edward A. Feigenbaum papers, 1950-2007 (inclusive)
- Title:
- CS226 Expert Systems Applications--Avron Barr. Part 2
- Author:
- Barr, Avron, 1949-
- Author (no Collectors):
- Barr, Avron, 1949-
- Corporate Author:
- Stanford University. Computer Science Department
- Description:
- Expert Systems are the most important of the applications of Artificial Intelligence in the commercial and defense sectors. Topics: the rapid transition of the Expert System technology from laboratories to societal use; what is in an Expert System; what is Knowledge Engineering. Case studies of commercial application in: diagnosis and repair; interpretation of data; manufacturing planning and control; financial services; engineering design, etc. The sources of benefit from Expert Systems. The magnitude of these benefits. What an organization needs to do to realize the benefits. A "what" rather than a "how to build systems" orientation aimed for a broad interdisciplinary audience
- Topic:
- Computer science, Artificial intelligence, and Expert systems (Computer science)
- Language:
- English
- Physical Description:
- 1 audio cassette
- Publication Info:
- Stanford (Calif.)
- Date:
- [ca. 1950-2007]
- Place created:
- Stanford (Calif.)
- Imprint:
- Stanford (Calif.), [ca. 1950 - 2007]
- Genre:
- lectures
- Series:
- 2005-071
- Box:
- 72
- Identifier:
- SC0340_2005-101_b72_45
- Location:
- SC0340, Accession 2005-071, Box 72
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Edward A. Feigenbaum papers, 1950-2007 (inclusive)
- Title:
- CS226 Expert Systems Applications--Ed Mahler
- Author:
- Mahler, Ed
- Author (no Collectors):
- Mahler, Ed
- Corporate Author:
- Stanford University. Computer Science Department
- Description:
- Expert Systems are the most important of the applications of Artificial Intelligence in the commercial and defense sectors. Topics: the rapid transition of the Expert System technology from laboratories to societal use; what is in an Expert System; what is Knowledge Engineering. Case studies of commercial application in: diagnosis and repair; interpretation of data; manufacturing planning and control; financial services; engineering design, etc. The sources of benefit from Expert Systems. The magnitude of these benefits. What an organization needs to do to realize the benefits. A "what" rather than a "how to build systems" orientation aimed for a broad interdisciplinary audience
- Topic:
- Computer science, Artificial intelligence, and Expert systems (Computer science)
- Language:
- English
- Physical Description:
- 1 audio cassette
- Publication Info:
- Stanford (Calif.)
- Date:
- [ca. 1950-2007]
- Place created:
- Stanford (Calif.)
- Imprint:
- Stanford (Calif.), [ca. 1950 - 2007]
- Genre:
- lectures
- Series:
- 2005-071
- Box:
- 72
- Identifier:
- SC0340_2005-101_b72_36
- Location:
- SC0340, Accession 2005-071, Box 72
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Edward A. Feigenbaum papers, 1950-2007 (inclusive)
- Title:
- CS226 Expert Systems Applications--Ed Mahler
- Author:
- Mahler, Ed
- Author (no Collectors):
- Mahler, Ed
- Corporate Author:
- Stanford University. Computer Science Department
- Description:
- Expert Systems are the most important of the applications of Artificial Intelligence in the commercial and defense sectors. Topics: the rapid transition of the Expert System technology from laboratories to societal use; what is in an Expert System; what is Knowledge Engineering. Case studies of commercial application in: diagnosis and repair; interpretation of data; manufacturing planning and control; financial services; engineering design, etc. The sources of benefit from Expert Systems. The magnitude of these benefits. What an organization needs to do to realize the benefits. A "what" rather than a "how to build systems" orientation aimed for a broad interdisciplinary audience
- Topic:
- Computer science, Artificial intelligence, and Expert systems (Computer science)
- Language:
- English
- Physical Description:
- 1 audio cassette
- Publication Info:
- Stanford (Calif.)
- Date:
- [ca. 1950-2007]
- Place created:
- Stanford (Calif.)
- Imprint:
- Stanford (Calif.), [ca. 1950 - 2007]
- Genre:
- lectures
- Series:
- 2005-071
- Box:
- 72
- Identifier:
- SC0340_2005-101_b72_38
- Location:
- SC0340, Accession 2005-071, Box 72
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Edward A. Feigenbaum papers, 1950-2007 (inclusive)
- Title:
- CS226 Expert Systems Applications--John Shock
- Author:
- Shock, John
- Author (no Collectors):
- Shock, John
- Corporate Author:
- Stanford University. Computer Science Department
- Description:
- Expert Systems are the most important of the applications of Artificial Intelligence in the commercial and defense sectors. Topics: the rapid transition of the Expert System technology from laboratories to societal use; what is in an Expert System; what is Knowledge Engineering. Case studies of commercial application in: diagnosis and repair; interpretation of data; manufacturing planning and control; financial services; engineering design, etc. The sources of benefit from Expert Systems. The magnitude of these benefits. What an organization needs to do to realize the benefits. A "what" rather than a "how to build systems" orientation aimed for a broad interdisciplinary audience
- Topic:
- Computer science, Artificial intelligence, and Expert systems (Computer science)
- Language:
- English
- Physical Description:
- 1 audio cassette
- Publication Info:
- Stanford (Calif.)
- Date:
- [ca. 1950-2007]
- Place created:
- Stanford (Calif.)
- Imprint:
- Stanford (Calif.), [ca. 1950 - 2007]
- Genre:
- lectures
- Series:
- 2005-071
- Box:
- 72
- Identifier:
- SC0340_2005-101_b72_31
- Location:
- SC0340, Accession 2005-071, Box 72
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Edward A. Feigenbaum papers, 1950-2007 (inclusive)
- Title:
- CS226 Expert Systems Applications--Karl Wiig. Part 1
- Author:
- Wiig, Karl M.
- Author (no Collectors):
- Wiig, Karl M.
- Corporate Author:
- Stanford University. Computer Science Department
- Description:
- Expert Systems are the most important of the applications of Artificial Intelligence in the commercial and defense sectors. Topics: the rapid transition of the Expert System technology from laboratories to societal use; what is in an Expert System; what is Knowledge Engineering. Case studies of commercial application in: diagnosis and repair; interpretation of data; manufacturing planning and control; financial services; engineering design, etc. The sources of benefit from Expert Systems. The magnitude of these benefits. What an organization needs to do to realize the benefits. A "what" rather than a "how to build systems" orientation aimed for a broad interdisciplinary audience
- Topic:
- Computer science, Artificial intelligence, and Expert systems (Computer science)
- Language:
- English
- Physical Description:
- 1 audio cassette
- Publication Info:
- Stanford (Calif.)
- Date:
- [ca. 1950-2007]
- Place created:
- Stanford (Calif.)
- Imprint:
- Stanford (Calif.), [ca. 1950 - 2007]
- Genre:
- lectures
- Series:
- 2005-071
- Box:
- 72
- Identifier:
- SC0340_2005-101_b72_46
- Location:
- SC0340, Accession 2005-071, Box 72
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Edward A. Feigenbaum papers, 1950-2007 (inclusive)
- Title:
- CS226 Expert Systems Applications--Paul Harmon. Part 1
- Author:
- Harmon, Paul, 1942-
- Author (no Collectors):
- Harmon, Paul, 1942-
- Corporate Author:
- Stanford University. Computer Science Department
- Description:
- Expert Systems are the most important of the applications of Artificial Intelligence in the commercial and defense sectors. Topics: the rapid transition of the Expert System technology from laboratories to societal use; what is in an Expert System; what is Knowledge Engineering. Case studies of commercial application in: diagnosis and repair; interpretation of data; manufacturing planning and control; financial services; engineering design, etc. The sources of benefit from Expert Systems. The magnitude of these benefits. What an organization needs to do to realize the benefits. A "what" rather than a "how to build systems" orientation aimed for a broad interdisciplinary audience
- Topic:
- Computer science, Artificial intelligence, and Expert systems (Computer science)
- Language:
- English
- Physical Description:
- 1 audio cassette
- Publication Info:
- Stanford (Calif.)
- Date:
- [ca. 1950-2007]
- Place created:
- Stanford (Calif.)
- Imprint:
- Stanford (Calif.), [ca. 1950 - 2007]
- Genre:
- lectures
- Series:
- 2005-071
- Box:
- 72
- Identifier:
- SC0340_2005-101_b72_39
- Location:
- SC0340, Accession 2005-071, Box 72
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Edward A. Feigenbaum papers, 1950-2007 (inclusive)
- Title:
- CS226 Expert Systems Applications--Paul Harmon. Part 2
- Author:
- Harmon, Paul, 1942-
- Author (no Collectors):
- Harmon, Paul, 1942-
- Corporate Author:
- Stanford University. Computer Science Department
- Description:
- Expert Systems are the most important of the applications of Artificial Intelligence in the commercial and defense sectors. Topics: the rapid transition of the Expert System technology from laboratories to societal use; what is in an Expert System; what is Knowledge Engineering. Case studies of commercial application in: diagnosis and repair; interpretation of data; manufacturing planning and control; financial services; engineering design, etc. The sources of benefit from Expert Systems. The magnitude of these benefits. What an organization needs to do to realize the benefits. A "what" rather than a "how to build systems" orientation aimed for a broad interdisciplinary audience
- Topic:
- Computer science, Artificial intelligence, and Expert systems (Computer science)
- Language:
- English
- Physical Description:
- 1 audio cassette
- Publication Info:
- Stanford (Calif.)
- Date:
- [ca. 1950-2007]
- Place created:
- Stanford (Calif.)
- Imprint:
- Stanford (Calif.), [ca. 1950 - 2007]
- Genre:
- lectures
- Series:
- 2005-071
- Box:
- 72
- Identifier:
- SC0340_2005-101_b72_40
- Location:
- SC0340, Accession 2005-071, Box 72
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Edward A. Feigenbaum papers, 1950-2007 (inclusive)
- Title:
- CS226 Expert Systems Applications--Peter Hart
- Author:
- Hart, Peter E. (Peter Elliot), 1941-
- Author (no Collectors):
- Hart, Peter E. (Peter Elliot), 1941-
- Corporate Author:
- Stanford University. Computer Science Department
- Description:
- Expert Systems are the most important of the applications of Artificial Intelligence in the commercial and defense sectors. Topics: the rapid transition of the Expert System technology from laboratories to societal use; what is in an Expert System; what is Knowledge Engineering. Case studies of commercial application in: diagnosis and repair; interpretation of data; manufacturing planning and control; financial services; engineering design, etc. The sources of benefit from Expert Systems. The magnitude of these benefits. What an organization needs to do to realize the benefits. A "what" rather than a "how to build systems" orientation aimed for a broad interdisciplinary audience
- Topic:
- Computer science, Artificial intelligence, and Expert systems (Computer science)
- Language:
- English
- Physical Description:
- 1 audio cassette
- Publication Info:
- Stanford (Calif.)
- Date:
- [ca. 1950-2007]
- Place created:
- Stanford (Calif.)
- Imprint:
- Stanford (Calif.), [ca. 1950 - 2007]
- Genre:
- lectures
- Series:
- 2005-071
- Box:
- 72
- Identifier:
- SC0340_2005-101_b72_35
- Location:
- SC0340, Accession 2005-071, Box 72
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Edward A. Feigenbaum papers, 1950-2007 (inclusive)
- Title:
- CS226 Expert Systems Applications--Peter Hart (Short)
- Author:
- Hart, Peter E. (Peter Elliot), 1941-
- Author (no Collectors):
- Hart, Peter E. (Peter Elliot), 1941-
- Corporate Author:
- Stanford University. Computer Science Department
- Description:
- Expert Systems are the most important of the applications of Artificial Intelligence in the commercial and defense sectors. Topics: the rapid transition of the Expert System technology from laboratories to societal use; what is in an Expert System; what is Knowledge Engineering. Case studies of commercial application in: diagnosis and repair; interpretation of data; manufacturing planning and control; financial services; engineering design, etc. The sources of benefit from Expert Systems. The magnitude of these benefits. What an organization needs to do to realize the benefits. A "what" rather than a "how to build systems" orientation aimed for a broad interdisciplinary audience
- Topic:
- Computer science, Artificial intelligence, and Expert systems (Computer science)
- Language:
- English
- Physical Description:
- 1 audio cassette
- Publication Info:
- Stanford (Calif.)
- Date:
- [ca. 1950-2007]
- Place created:
- Stanford (Calif.)
- Imprint:
- Stanford (Calif.), [ca. 1950 - 2007]
- Genre:
- lectures
- Series:
- 2005-071
- Box:
- 72
- Identifier:
- SC0340_2005-101_b72_34
- Location:
- SC0340, Accession 2005-071, Box 72
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Edward A. Feigenbaum papers, 1950-2007 (inclusive)
- Title:
- CS226 Expert Systems Applications--Rick Hayes Roth. Part 1
- Author:
- Hayes-Roth, Frederick
- Author (no Collectors):
- Hayes-Roth, Frederick
- Corporate Author:
- Stanford University. Computer Science Department
- Description:
- Expert Systems are the most important of the applications of Artificial Intelligence in the commercial and defense sectors. Topics: the rapid transition of the Expert System technology from laboratories to societal use; what is in an Expert System; what is Knowledge Engineering. Case studies of commercial application in: diagnosis and repair; interpretation of data; manufacturing planning and control; financial services; engineering design, etc. The sources of benefit from Expert Systems. The magnitude of these benefits. What an organization needs to do to realize the benefits. A "what" rather than a "how to build systems" orientation aimed for a broad interdisciplinary audience
- Topic:
- Computer science, Artificial intelligence, and Expert systems (Computer science)
- Language:
- English
- Physical Description:
- 1 audio cassette
- Publication Info:
- Stanford (Calif.)
- Date:
- [ca. 1950-2007]
- Place created:
- Stanford (Calif.)
- Imprint:
- Stanford (Calif.), [ca. 1950 - 2007]
- Genre:
- lectures
- Series:
- 2005-071
- Box:
- 72
- Identifier:
- SC0340_2005-101_b72_32
- Location:
- SC0340, Accession 2005-071, Box 72
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Edward A. Feigenbaum papers, 1950-2007 (inclusive)
- Title:
- CS226 Expert Systems Applications--Rick Hayes Roth. Part 2
- Author:
- Hayes-Roth, Frederick
- Author (no Collectors):
- Hayes-Roth, Frederick
- Corporate Author:
- Stanford University. Computer Science Department
- Description:
- Expert Systems are the most important of the applications of Artificial Intelligence in the commercial and defense sectors. Topics: the rapid transition of the Expert System technology from laboratories to societal use; what is in an Expert System; what is Knowledge Engineering. Case studies of commercial application in: diagnosis and repair; interpretation of data; manufacturing planning and control; financial services; engineering design, etc. The sources of benefit from Expert Systems. The magnitude of these benefits. What an organization needs to do to realize the benefits. A "what" rather than a "how to build systems" orientation aimed for a broad interdisciplinary audience
- Topic:
- Computer science, Artificial intelligence, and Expert systems (Computer science)
- Language:
- English
- Physical Description:
- 1 audio cassette
- Publication Info:
- Stanford (Calif.)
- Date:
- [ca. 1950-2007]
- Place created:
- Stanford (Calif.)
- Imprint:
- Stanford (Calif.), [ca. 1950 - 2007]
- Genre:
- lectures
- Series:
- 2005-071
- Box:
- 72
- Identifier:
- SC0340_2005-101_b72_33
- Location:
- SC0340, Accession 2005-071, Box 72
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Edward A. Feigenbaum papers, 1950-2007 (inclusive)
- Title:
- FMC. Part 1
- Author:
- Feigenbaum, Edward A.
- Author (no Collectors):
- Feigenbaum, Edward A.
- Topic:
- Computer science and Artificial intelligence
- Language:
- English
- Physical Description:
- 1 audio cassette
- Date:
- [ca. 1950-2007]
- Imprint:
- [ca. 1950 - 2007]
- Genre:
- speeches
- Series:
- 1991-030
- Box:
- 3
- Identifier:
- SC0340_1991-030_b03_15
- Location:
- SC0340, Accession 1991-030, Box 3
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Edward A. Feigenbaum papers, 1950-2007 (inclusive)
- Title:
- FMC. Part 2
- Author:
- Feigenbaum, Edward A.
- Author (no Collectors):
- Feigenbaum, Edward A.
- Topic:
- Computer science and Artificial intelligence
- Language:
- English
- Physical Description:
- 1 audio cassette
- Date:
- [ca. 1950-2007]
- Imprint:
- [ca. 1950 - 2007]
- Genre:
- speeches
- Series:
- 1991-030
- Box:
- 3
- Identifier:
- SC0340_1991-030_b03_16
- Location:
- SC0340, Accession 1991-030, Box 3
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Edward A. Feigenbaum papers, 1950-2007 (inclusive)
- Title:
- FMC. Part 3
- Author:
- Feigenbaum, Edward A.
- Author (no Collectors):
- Feigenbaum, Edward A.
- Topic:
- Computer science and Artificial intelligence
- Language:
- English
- Physical Description:
- 1 audio cassette
- Date:
- [ca. 1950-2007]
- Imprint:
- [ca. 1950 - 2007]
- Genre:
- speeches
- Series:
- 1991-030
- Box:
- 3
- Identifier:
- SC0340_1991-030_b03_17
- Location:
- SC0340, Accession 1991-030, Box 3
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Edward A. Feigenbaum papers, 1950-2007 (inclusive)
- Title:
- Fujitsu and ICOT I
- Author:
- Feigenbaum, Edward A.
- Author (no Collectors):
- Feigenbaum, Edward A.
- Topic:
- Computer science and Artificial intelligence
- Language:
- English
- Physical Description:
- 1 audio cassette
- Date:
- [ca. 1950-2007]
- Imprint:
- [ca. 1950 - 2007]
- Genre:
- speeches
- Series:
- 1991-030
- Box:
- 3
- Identifier:
- SC0340_1991-030_b03_18
- Location:
- SC0340, Accession 1991-030, Box 3
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Edward A. Feigenbaum papers, 1950-2007 (inclusive)
- Title:
- Heuristic Programming Project
- Author:
- Feigenbaum, Edward A.
- Author (no Collectors):
- Feigenbaum, Edward A.
- Topic:
- Computer science and Artificial intelligence
- Language:
- English
- Physical Description:
- 1 Betamax tape
- Date:
- [ca. 1950-2007]
- Imprint:
- [ca. 1950 - 2007]
- Genre:
- Video recordings
- Series:
- 1991-030
- Box:
- 2
- Identifier:
- SC0340_1991-030_b02_04
- Location:
- SC0340, Accession 1991-030, Box 2
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Edward A. Feigenbaum papers, 1950-2007 (inclusive)
- Title:
- Introduction to Teknowledge
- Author:
- Feigenbaum, Edward A.
- Author (no Collectors):
- Feigenbaum, Edward A.
- Topic:
- Computer science, Artificial intelligence, and Expert systems (Computer science)
- Language:
- English
- Physical Description:
- 1 VHS tape
- Date:
- [ca. 1950-2007]
- Imprint:
- [ca. 1950 - 2007]
- Genre:
- Video recordings
- Series:
- 2005-071
- Box:
- 73
- Identifier:
- SC0340_2005-101_b73_26
- Location:
- SC0340, Accession 2005-071, Box 73
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Edward A. Feigenbaum papers, 1950-2007 (inclusive)
- Title:
- IQ-09 Exploiting Task Structure to Automate Knowledge Acquisition
- Author:
- Feigenbaum, Edward A.
- Author (no Collectors):
- Feigenbaum, Edward A.
- Topic:
- Computer science, Artificial intelligence, and Expert systems (Computer science)
- Language:
- English
- Physical Description:
- 1 audio cassette
- Date:
- [ca. 1950-2007]
- Imprint:
- [ca. 1950 - 2007]
- Genre:
- interviews
- Series:
- 2005-071
- Box:
- 72
- Identifier:
- SC0340_2005-101_b72_30
- Location:
- SC0340, Accession 2005-071, Box 72
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Edward A. Feigenbaum papers, 1950-2007 (inclusive)
- Title:
- IQ-22 Where are We Now and Where are We Going?. Part 1
- Author:
- Feigenbaum, Edward A.
- Author (no Collectors):
- Feigenbaum, Edward A.
- Topic:
- Computer science, Artificial intelligence, and Expert systems (Computer science)
- Language:
- English
- Physical Description:
- 1 audio cassette
- Date:
- [ca. 1950-2007]
- Imprint:
- [ca. 1950 - 2007]
- Genre:
- interviews
- Series:
- 2005-071
- Box:
- 72
- Identifier:
- SC0340_2005-101_b72_28
- Location:
- SC0340, Accession 2005-071, Box 72
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Edward A. Feigenbaum papers, 1950-2007 (inclusive)
- Title:
- IQ-22 Where are We Now and Where are We Going?. Part 2
- Author:
- Feigenbaum, Edward A.
- Author (no Collectors):
- Feigenbaum, Edward A.
- Topic:
- Computer science, Artificial intelligence, and Expert systems (Computer science)
- Language:
- English
- Physical Description:
- 1 audio cassette
- Date:
- [ca. 1950-2007]
- Imprint:
- [ca. 1950 - 2007]
- Genre:
- interviews
- Series:
- 2005-071
- Box:
- 72
- Identifier:
- SC0340_2005-101_b72_29
- Location:
- SC0340, Accession 2005-071, Box 72
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Edward A. Feigenbaum papers, 1950-2007 (inclusive)
- Title:
- Isolation of Important Features of a Multitoned Picture. AIM-029
- Author:
- Williams, Charles M.
- Author (no Collectors):
- Williams, Charles M.
- Collector:
- Williams, Charles M.
- Description:
-
A roughly successful attempt is made to reduce a multi-toned picture
to a two-toned (line drawing) representation capable of being
recognized by a human being.
- Topic:
- Artificial intelligence
- Subject:
- Stanford Artificial Intelligence Laboratory and Memo (Stanford Artificial Intelligence Laboratory)
- Language:
- English
- Physical Description:
- 1 text file
- Publication Info:
- Stanford (Calif.) and cau
- Date:
- January 1965
- Place created:
- Stanford (Calif.)
- Imprint:
- Stanford (Calif.), January 1965
- Genre:
- memorandums
- Identifier:
- AIM-029
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Stanford Artificial Intelligence Laboratory records, 1963-2009
- Manuscript number:
- SC1041
- Title:
- John McCarthy papers, 1951-2008
- Author:
- McCarthy, John, 1927-2011
- Description:
- Correspondence, memos, reports, course materials, newsletters, articles, reprints, computer manuals, and other materials pertaining to McCarthy's research and his teaching at Stanford and MIT. Correspondents include Forest Baskett, Donald Knuth, Serge Lang, Joshua Lederberg, Douglas Lenat, Donald Michie, Hans Moravec, Zohar Manna, Aaron Sloman, and Masahiko Sato. Also included are correspondence, reprints, programs, notes, and articles from his work with Russian computer scientists, 1958-78.
- Topic:
- Faculty, Artificial intelligence, Computer programming, and LISP (Computer program language)
- Subject:
- Baskett, Forest, Knuth, Donald Ervin, 1938-, Lang, Serge, 1927-2005, Lederberg, Joshua, Lenat, Douglas B, Michie, Donald, Moravec, Hans P, Manna, Zohar, Sloman, Aaron, Sato, Masahiko, 1947-, and Stanford University., Computer Science Department
- Language:
- English
- Physical Description:
- 45 linear feet and 5 gigabtyes
- Publication Info:
- cau
- Date:
- 1951-2008
- Imprint:
- California, 1951 - 2008
- Title:
- KAJIMA CRIEPI, MKI, TOYOTA III
- Author:
- Feigenbaum, Edward A.
- Author (no Collectors):
- Feigenbaum, Edward A.
- Topic:
- Computer science and Artificial intelligence
- Language:
- English
- Physical Description:
- 1 audio cassette
- Date:
- [ca. 1950-2007]
- Imprint:
- [ca. 1950 - 2007]
- Genre:
- speeches
- Series:
- 1991-030
- Box:
- 3
- Identifier:
- SC0340_1991-030_b03_20
- Location:
- SC0340, Accession 1991-030, Box 3
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Edward A. Feigenbaum papers, 1950-2007 (inclusive)
- Title:
- Laurel Miller
- Author:
- Miller, Laurel
- Author (no Collectors):
- Miller, Laurel
- Topic:
- Computer science and Artificial intelligence
- Language:
- English
- Physical Description:
- 1 audio cassette
- Date:
- [ca. 1950-2007]
- Imprint:
- [ca. 1950 - 2007]
- Genre:
- speeches
- Series:
- 1991-030
- Box:
- 3
- Identifier:
- SC0340_1991-030_b03_03
- Location:
- SC0340, Accession 1991-030, Box 3
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Edward A. Feigenbaum papers, 1950-2007 (inclusive)
- Title:
- Molecular Memories and Determinants of the Utility of Large Memories
- Author:
- McCarthy, John, 1927-2011
- Author (no Collectors):
- McCarthy, John, 1927-2011
- Topic:
- Artificial intelligence, Expert systems (Computer science), and Computer science
- Language:
- English
- Physical Description:
- 1 document ; 3 pages
- Date:
- [ca. 1950-2007]
- Imprint:
- [ca. 1950 - 2007]
- Genre:
- Excerpt
- Series:
- 1986-052
- Box:
- 3
- Folder:
- 46
- Folder Name:
- Basic Research on Advanced Memory Systems for Computers - AMT
- Identifier:
- SC0340_1986-052_fc442dh2504
- Location:
- Call Number: SC0340, Accession: 1986-052, Box: 3, Folder: 46
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Notes:
- Excerpts; p. 3
- Collection:
- Edward A. Feigenbaum papers, 1950-2007 (inclusive)
- Title:
- NAVISTAR. Part 5
- Author:
- Feigenbaum, Edward A.
- Author (no Collectors):
- Feigenbaum, Edward A.
- Corporate Author:
- Navistar International Corporation
- Topic:
- Computer science and Artificial intelligence
- Language:
- English
- Physical Description:
- 1 audio cassette
- Date:
- [ca. 1950-2007]
- Imprint:
- [ca. 1950 - 2007]
- Genre:
- speeches
- Series:
- 1991-030
- Box:
- 3
- Identifier:
- SC0340_1991-030_b03_14
- Location:
- SC0340, Accession 1991-030, Box 3
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Edward A. Feigenbaum papers, 1950-2007 (inclusive)
- Title:
- NAVISTAR. Parts 1-2
- Author:
- Feigenbaum, Edward A.
- Author (no Collectors):
- Feigenbaum, Edward A.
- Corporate Author:
- Navistar International Corporation
- Topic:
- Computer science and Artificial intelligence
- Language:
- English
- Physical Description:
- 1 audio cassette
- Date:
- [ca. 1950-2007]
- Imprint:
- [ca. 1950 - 2007]
- Genre:
- speeches
- Series:
- 1991-030
- Box:
- 3
- Identifier:
- SC0340_1991-030_b03_12
- Location:
- SC0340, Accession 1991-030, Box 3
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Edward A. Feigenbaum papers, 1950-2007 (inclusive)
- Title:
- NAVISTAR. Parts 3-4
- Author:
- Feigenbaum, Edward A.
- Author (no Collectors):
- Feigenbaum, Edward A.
- Corporate Author:
- Navistar International Corporation
- Topic:
- Computer science and Artificial intelligence
- Language:
- English
- Physical Description:
- 1 audio cassette
- Date:
- [ca. 1950-2007]
- Imprint:
- [ca. 1950 - 2007]
- Genre:
- speeches
- Series:
- 1991-030
- Box:
- 3
- Identifier:
- SC0340_1991-030_b03_13
- Location:
- SC0340, Accession 1991-030, Box 3
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Edward A. Feigenbaum papers, 1950-2007 (inclusive)
- Title:
- NEC, ETL, SONY, CANON II
- Author:
- Feigenbaum, Edward A.
- Author (no Collectors):
- Feigenbaum, Edward A.
- Topic:
- Computer science and Artificial intelligence
- Language:
- English
- Physical Description:
- 1 audio cassette
- Date:
- [ca. 1950-2007]
- Imprint:
- [ca. 1950 - 2007]
- Genre:
- speeches
- Series:
- 1991-030
- Box:
- 3
- Identifier:
- SC0340_1991-030_b03_19
- Location:
- SC0340, Accession 1991-030, Box 3
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Edward A. Feigenbaum papers, 1950-2007 (inclusive)
- Title:
- Photographs
- Corporate Author:
- Stanford Artificial Intelligence Laboratory.
- Description:
- Photographs of the Stanford Artificial Intelligence Laboratory.
- Topic:
- Stanford Artificial Intelligence Laboratory, Artificial intelligence, and Photographs
- Date:
- 1961-1979
- Imprint:
- 1961 - 1979
- Genre:
- Image
- Collection:
- Stanford Artificial Intelligence Laboratory Records
- Title:
- Plans for the Stanford Artificial Intelligence Project. AIM-031
- Author:
- McCarthy, John, 1927-2011
- Author (no Collectors):
- McCarthy, John, 1927-2011
- Collector:
- McCarthy, John, 1927-2011
- Description:
-
The following is an excerpt from a proposal to ARPA and gives some
of the project plans for the near future.
- Topic:
- Artificial intelligence
- Subject:
- Stanford Artificial Intelligence Laboratory and Memo (Stanford Artificial Intelligence Laboratory)
- Language:
- English
- Physical Description:
- 1 text file
- Publication Info:
- Stanford (Calif.) and cau
- Date:
- April 1965
- Place created:
- Stanford (Calif.)
- Imprint:
- Stanford (Calif.), April 1965
- Genre:
- memorandums
- Identifier:
- AIM-031
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Stanford Artificial Intelligence Laboratory records, 1963-2009
- Manuscript number:
- SC1041
- Title:
- Presentation of Honorary Degree by President Michael I. Sovern - Herbert A. Simon "Cohabiting the Planet with Computers"
- Author:
- Sovern, Michael I. and Simon, Herbert A. (Herbert Alexander), 1916-2001
- Author (no Collectors):
- Sovern, Michael I. and Simon, Herbert A. (Herbert Alexander), 1916-2001
- Topic:
- Computer science, Artificial intelligence, and Expert systems (Computer science)
- Language:
- English
- Physical Description:
- 1 audio cassette
- Date:
- [ca. 1950-2007]
- Imprint:
- [ca. 1950 - 2007]
- Genre:
- speeches
- Series:
- 2005-071
- Box:
- 72
- Identifier:
- SC0340_2005-101_b72_19
- Location:
- SC0340, Accession 2005-071, Box 72
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Edward A. Feigenbaum papers, 1950-2007 (inclusive)
- Title:
- Problems in the Theory of Computation. AIM-028
- Author:
- McCarthy, John, 1927-2011
- Author (no Collectors):
- McCarthy, John, 1927-2011
- Collector:
- McCarthy, John, 1927-2011
- Description:
-
The purpose of this paper is to identify and discuss a number of
theoretical problems whose solutions seem feasible and likely to
advance the practical art of computation. The problems that will be
discussed include the following:
1. Semantics of programming languages. What do the strings of
symbols representing computer programs, statements, declarations,
labels, etc., denote? How can the semantics of programming
languages be described formally?
2. Data spaces. What are the spaces of data on which computer
programs act and how are they built up up from simpler spaces?
3. How can time dependent and simultaneous processes be described?
4. Speed of computation. What can be said about how much
computation is required to carry out certain processes?
5. Storage of information. How can information be stored so that
items identical or similar to a given item can be retrieved?
6. Syntax directed computation. What is the appropriate domain for
computations described by productions or other data format
recognizers?
7. What are the appropriate formalisms for writing
proofs that computer programs are equivalent?
8. In the view of Godel's theorem that tells us that any formal
theory of computation must be incomplete, what is a reasonable
formal system that will enable us to prove that programs terminate
in practical cases?
- Topic:
- Artificial intelligence
- Subject:
- Stanford Artificial Intelligence Laboratory and Memo (Stanford Artificial Intelligence Laboratory)
- Language:
- English
- Physical Description:
- 1 text file
- Publication Info:
- Stanford (Calif.) and cau
- Date:
- March 1965
- Place created:
- Stanford (Calif.)
- Imprint:
- Stanford (Calif.), March 1965
- Genre:
- memorandums
- Identifier:
- AIM-028
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Stanford Artificial Intelligence Laboratory records, 1963-2009
- Manuscript number:
- SC1041
- Title:
- PROPOSAL FOR EXPANSION OF THE STANFORD ARTIFICIAL INTELLIGENCE PROJECT
- Author:
- McCarthy, John, 1927-2011 and Feigenbaum, Edward A.
- Author (no Collectors):
- McCarthy, John, 1927-2011 and Feigenbaum, Edward A.
- Topic:
- Artificial intelligence, Expert systems (Computer science), and Computer science
- Language:
- English
- Physical Description:
- 1 document
- Date:
- March 1965
- Imprint:
- March 1965
- Genre:
- Proposal
- Series:
- 1986-052
- Box:
- 3
- Folder:
- 26
- Folder Name:
- ARPA Proposal 1965
- Identifier:
- SC0340_1986-052_pr239fw3222
- Location:
- Call Number: SC0340, Accession: 1986-052, Box: 3, Folder: 26
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Donor tags:
- EPAM-maybe
- Notes:
- Proposal (1965/03/01)
- Collection:
- Edward A. Feigenbaum papers, 1950-2007 (inclusive)