« Previous |
1 - 24 of 70
|
Next »
Number of results to display per page
Search Results
- Title:
- Algebraic Simplication. AIM-005
- Author:
- Enea, Horace
- Author (no Collectors):
- Enea, Horace
- Collector:
- Enea, Horace
- Description:
- Herein described are proposed and effected changes and additions to Steve Russell's Mark IV Simplify.
- 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:
- August 1963
- Place created:
- Stanford (Calif.)
- Imprint:
- Stanford (Calif.), August 1963
- Genre:
- memorandums
- Identifier:
- AIM-005
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Stanford Artificial Intelligence Laboratory records, 1963-2009
- Manuscript number:
- SC1041
- Title:
- Clock function for LISP 1.5. AIM-004
- Author:
- Enea, Horace
- Author (no Collectors):
- Enea, Horace
- Collector:
- Enea, Horace
- Description:
- This paper describes a clock function for LISP 1.5
- 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:
- August 2, 1963
- Place created:
- Stanford (Calif.)
- Imprint:
- Stanford (Calif.), August 2, 1963
- Genre:
- memorandums
- Identifier:
- AIM-004
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Stanford Artificial Intelligence Laboratory records, 1963-2009
- Manuscript number:
- SC1041
- Title:
- A Proposed Definition of a Job and its Constituents Stanford Time-Sharing Project Memo. Memo 11
- Topic:
- Time-sharing computer systems
- Subject:
- Stanford University. Computer Science Department
- Language:
- English
- Physical Description:
- 1 text file
- Publication Info:
- cau and Stanford (Calif.)
- Date:
- December 03, 1963
- Place created:
- Stanford (Calif.)
- Imprint:
- Stanford (Calif.), December 3, 1963
- Genre:
- memorandums
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Stanford Artificial Intelligence Laboratory records, 1963-2009
- Manuscript number:
- SC0524
- 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:
- 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:
- Predicate calculus with "undefined" as a truth-value. AIM-001
- Author:
- McCarthy, John, 1927-2011
- Author (no Collectors):
- McCarthy, John, 1927-2011
- Collector:
- McCarthy, John, 1927-2011
- Description:
- The use of predicate calculus in the mathematical theory of computation and the problems involved in interpreting their values.
- 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 22, 1963
- Place created:
- Stanford (Calif.)
- Imprint:
- Stanford (Calif.), March 22, 1963
- Genre:
- memorandums
- Identifier:
- AIM-001
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Stanford Artificial Intelligence Laboratory records, 1963-2009
- Manuscript number:
- SC1041
- Title:
- Programs With Common Sense. AIM-007
- Author:
- McCarthy, John, 1927-2011
- Author (no Collectors):
- McCarthy, John, 1927-2011
- Collector:
- McCarthy, John, 1927-2011
- Description:
-
Interesting work is being done in programming computers to solve
problems which require a high degree of intelligence in humans.
However, certain elementary verbal reaesoning processes so simple
they can be carried out by any non-feeble-minded human have yet to be
simulated by machine programs.
This paper will discuss programs to manipulate in a suitable formal
language (most likely a part of the predicate calculus) common
instrumental statements. The basic program will draw immediate
conclusions from a list of premises. These conclusions will be
either declarative or imperative sentences. When an imperative
sentence is deduced the program takes a corresponding action. These
actions may include printing sentences, moving sentences on lists,
and reinitiating the basic deduction process on these lists.
Facilities will be provided for communication with humans in the
system via manual intervention and display devices connected to the
computer.
- 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:
- September 1963
- Place created:
- Stanford (Calif.)
- Imprint:
- Stanford (Calif.), September 1963
- Genre:
- memorandums
- Identifier:
- AIM-007
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Stanford Artificial Intelligence Laboratory records, 1963-2009
- Manuscript number:
- SC1041
- Title:
- Situations, actions, and causal laws. AIM-002
- Author:
- McCarthy, John, 1927-2011
- Author (no Collectors):
- McCarthy, John, 1927-2011
- Collector:
- McCarthy, John, 1927-2011
- Description:
-
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.
- 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:
- July 3, 1963
- Place created:
- Stanford (Calif.)
- Imprint:
- Stanford (Calif.), July 3, 1963
- Genre:
- memorandums
- Identifier:
- AIM-002
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Stanford Artificial Intelligence Laboratory records, 1963-2009
- Manuscript number:
- SC1041
- Title:
- Some Philosophical Problems from the Standpoint of Artificial Intelligence
- Author:
- McCarthy, John, 1927-2011 and P. J. Hayes
- Author (no Collectors):
- McCarthy, John, 1927-2011 and P. J. Hayes
- Topic:
- Artificial intelligence, Expert systems (Computer science), and Computer science
- Language:
- English
- Physical Description:
- 1 document ; 22 pages
- Date:
- [ca. 1950-2007]
- Imprint:
- [ca. 1950 - 2007]
- Genre:
- Book Chapter
- Series:
- 2005-101
- Box:
- 53
- Folder:
- 9
- Folder Name:
- John McCarthy
- Identifier:
- SC0340_2005-101_ck098qv3494
- Location:
- Call Number: SC0340, Accession 2005-101, Box: 53, Folder: 9
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Notes:
- Book Chapter; p. 22
- Collection:
- Edward A. Feigenbaum papers, 1950-2007 (inclusive)
- Title:
- Stanford Time-Sharing Project Memo : Specifications for a General Input Routine for the PDF-1. Memo 01
- Author:
- McCarthy, John, 1927-2011
- Author (no Collectors):
- McCarthy, John, 1927-2011
- Topic:
- Time-sharing computer systems
- Subject:
- Stanford University. Computer Science Department
- Language:
- English
- Physical Description:
- 1 text file
- Publication Info:
- cau and Stanford (Calif.)
- Date:
- June 12, 1963
- Place created:
- Stanford (Calif.)
- Imprint:
- Stanford (Calif.), June 12, 1963
- Genre:
- memorandums
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Stanford Artificial Intelligence Laboratory records, 1963-2009
- Manuscript number:
- SC0524
- Title:
- Storage Conventions in LISP 2. AIM-008
- Author:
- McCarthy, John, 1927-2011
- Author (no Collectors):
- McCarthy, John, 1927-2011
- Collector:
- McCarthy, John, 1927-2011
- Description:
-
Storage conventions and a basic set of functions for LISP 2 are
proposed. Since the memo was written, a way of supplementing the
features of this system with the unique storage of list structure
using a hash rule for computing the address in a separate free
storage area for lists has been found.
- 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:
- September 1963
- Place created:
- Stanford (Calif.)
- Imprint:
- Stanford (Calif.), September 1963
- Genre:
- memorandums
- Identifier:
- AIM-008
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Stanford Artificial Intelligence Laboratory records, 1963-2009
- Manuscript number:
- SC1041
- Title:
- Time-Sharing Computer Systems
- Author:
- McCarthy, John, 1927-2011, John W. Mauchly, Gene M. Amdahl, and Piore, Emanuel R.
- Author (no Collectors):
- McCarthy, John, 1927-2011, John W. Mauchly, Gene M. Amdahl, and Piore, Emanuel R.
- Topic:
- Artificial intelligence, Expert systems (Computer science), and Computer science
- Language:
- English
- Physical Description:
- 1 document ; 17 pages
- Date:
- 1962
- Imprint:
- 1962
- Genre:
- Article
- Series:
- 1986-052
- Box:
- 53
- Folder:
- 25
- Folder Name:
- McCarthy 1-
- Identifier:
- SC0340_1986-052_fd583kb3313
- Location:
- Call Number: SC0340, Accession: 1986-052, Box: 53, Folder: 25
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Notes:
- Article (1962); p. 17
- 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:
- Revised Report on the Algorithmic Language ALGOL 60
- Author:
- Peter Naur, J. W. Backus, F. L. Bauer, Green, J., Katz, C., McCarthy, John, 1927-2011, Perlis, A. J., Rutishauser, Heinz, 1918-1970, Samelson, K. (Klaus), 1918-, Vauquois, B., Wegstein, J. H., Wijngaarden, A. van, 1916-1987, and Woodger, M.
- Author (no Collectors):
- Peter Naur, J. W. Backus, F. L. Bauer, Green, J., Katz, C., McCarthy, John, 1927-2011, Perlis, A. J., Rutishauser, Heinz, 1918-1970, Samelson, K. (Klaus), 1918-, Vauquois, B., Wegstein, J. H., Wijngaarden, A. van, 1916-1987, and Woodger, M.
- Topic:
- Artificial intelligence, Expert systems (Computer science), and Computer science
- Language:
- English
- Physical Description:
- 1 document ; 18 pages
- Date:
- 1962
- Imprint:
- 1962
- Genre:
- Report
- Series:
- 1986-052
- Box:
- 51
- Folder:
- 5
- Folder Name:
- Simon, Herbert A.1964-68
- Identifier:
- SC0340_1986-052_nv005jd3285
- Location:
- Call Number: SC0340, Accession: 1986-052, Box: 51, Folder: 5
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Notes:
- Report (1962); p. 18
- Collection:
- Edward A. Feigenbaum papers, 1950-2007 (inclusive)
- Title:
- Improvements in LISP Debugging. AIM-010
- Author:
- Russell, Stephan R.
- Author (no Collectors):
- Russell, Stephan R.
- Collector:
- Russell, Stephan R.
- Description:
-
Experience with writing large LISP progrrams and helping students
learning LISP suggests that spectacular improvements can be made in
this area. These improvements are partly an elimination of sloppy
coding in LISP 1.5, but mostly an elaboration of DEFINE, the push
down list backtrace, and the current tracing facility. Experience
suggests that these improvements would reduce the number of computer
runs to debug a program a third to a half.
- 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:
- December 1963
- Place created:
- Stanford (Calif.)
- Imprint:
- Stanford (Calif.), December 1963
- Genre:
- memorandums
- Identifier:
- AIM-010
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Stanford Artificial Intelligence Laboratory records, 1963-2009
- Manuscript number:
- SC1041
- Title:
- "The Mikado" as an advice taker problem. AIM-003
- Author:
- Safier, Fred
- Author (no Collectors):
- Safier, Fred
- Collector:
- Safier, Fred
- Description:
-
The situation of the Second Act of "The Mikado" is analyzed from the point of view of Advice Taker
formalism. This indicates defects still present in the language.
- 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:
- July 1963
- Place created:
- Stanford (Calif.)
- Imprint:
- Stanford (Calif.), July 1963
- Genre:
- memorandums
- Identifier:
- AIM-003
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Stanford Artificial Intelligence Laboratory records, 1963-2009
- Manuscript number:
- SC1041
- Title:
- Cart, Stanford Artificial Intelligence Laboratory
- Corporate Author:
- Stanford Artificial Intelligence Laboratory
- Topic:
- Artificial intelligence
- Subject:
- Stanford Artificial Intelligence Laboratory
- Language:
- English
- Physical Description:
- 1 photograph
- Publication Info:
- cau and Stanford (Calif.)
- Date:
- 1963
- Place created:
- Stanford (Calif.)
- Imprint:
- Stanford (Calif.), 1963
- Genre:
- photographs
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Stanford Artificial Intelligence Laboratory records, 1963-2009
- Manuscript number:
- SC1041
- Title:
- Stanford Artificial Intelligence Laboratory records, 1963-2009
- Corporate Author:
- Stanford Artificial Intelligence Laboratory
- Description:
- The materials consist of SAIL Dump And Restore Technique (DART) backup files, 1972-1990; digital copies of 16 mm films created from 1963-1980; handbooks; log books; manuals; and photographs and videos from the 35th SAIL reunion held in 2009.
- Topic:
- Artificial intelligence
- Language:
- English
- Physical Description:
- 44.1 gigabytes; 40.75 linear feet
- Publication Info:
- cau
- Date:
- 1963-2009
- Imprint:
- California, 1963 - 2009
- 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)
- « Previous
- Next »
- 1
- 2
- 3