SUMEX

SUMEX Site Visit Sept. 14, 1982

SUMEX Executive Committee Meetings

SUMEX

SUMEX Proposal Budget 1980

SUN Write-ups and View Graphs

Survey of US C. S. Depts. Aug. 1978

Symbolic Computers/LISP Machine

Symbolics

SUMEX--Equipment Acquisition Review

Applications for SUMEX use

SUMEX Annual Report May 1978

Sumex Renewal

S

Switzerland Conference 1980

Tape Talks--Ed Feigenbaum

Tarjan

NSF--Tarjan Award--12/31/76 Deadline

Tektronix Visit 1982

IJCAI Travel

Teknowledge

Telecon Minutes

Terminal Inventory

Terminals

Allan Terry Thesis Proposal

Thank You Letters

Three Rivers Computer Corporation

Tong, C. Thesis

Feigenbaum Travel 1979

Using TYMNET

UNIVAC Nice, France Trip

Typing Services

Wiederhold, Gio. Response to peer review of project 1981

Lowell Wood

Xerox Terminal

Unit Editor System

Hot File Visitors Mr. Bungers--Jan. 20, 1:30 P.M.

Visitors Control Situation

Visitors Letters

Visitor Letters 1981

Visiting Scholar Fumihiro Maruyama

Visiting Professor Donald Michie Fall 1978

Budgets 1973-76

Building 1975-78

Space--M. Jacks Hall, architectural drawings 1976

Building Committee 1974-79

Computer Science at Stanford, report by Jonathan King 1977

Administrative Memos received 1975-77

Advisory Committee on Computer Science 1972-75

Visitor Letters 1980

Appointments and Promotions Committee [letters of inquiry for positions and lists of recent Ph.D's from other universities] 1979-80

Appointments and Promotions Committee [letters of inquiry for positions and lists of recent Ph.D's from other universities] 1979

Appointments and Promotions Committee [letters of inquiry for positions and lists of recent Ph.D's from other universities] 1976

ARPA Proposal 1974-75

HPP Proposal to ARPA March 1975

ARPA Proposal Jan. 1975

ARPA Proposal 1975

ARPA Contract--DAHC 15 73 C 0435

ARPA Contract 1977

ARPA Knowledge Base

Contracting Reports 1976

ARPA Proposal 1977

ARPA Proposal Background Material

ARPA Proposal 1976

ARPA 1974-76

Appointments and Promotions Committee--Chronological File [letters of inquiry for positions and lists of recent Ph.D's from other universities] 1977

Appointments and Promotion Committee [letters of inquiry for positions and lists of recent Ph.D's from other universities] 1978

Appointments and Promotion Committee [letters of inquiry for positions and lists of recent Ph.D's from other universities] 1979

Rand Calendar for 1978

Gray, Neil 1977-79

Green, Cordell 1972-78

Grinberg, Milt 1980

Guggenheim Fellowships

"H"--miscell. notes and correspondence 1977-78

Hardware brochures

Harel, David: papers 1977

Hayashi Visit: correspondence and telex for visit of Hiromu Hayashi Feb 1980

Hearsay III: presentation notes 1979

HPP Brochure: correspondence re: reprint permission for HPP brochure 1980

HPP General: notes, acknowledgement of continuation proposal, HPP publication summary 1973-77

Heuristic Programming Project Letterhead: also note and diagrams for PLANNER

Photos of EAF by Marek Majewski

Copies of cover (unknown) for Computer Science

HPP Historical: miscellaneous notes and documents 1976-81

HISTORY--Heuristic Programming Project: brochure on "Research in the Stanford Computer Science Department" and The Stanford Heuristic Programming Project: Goals and Activities 1980

HPP Project: includes Introduction to HPP; note from Randall to EAF and Bruce Buchanan about problems with supervision in HPP; copy of award contract for HPP 1977; list of HPP personnel 1976.

HPP Reviews

HPP Overviews l976

HPP Summary

Humor

Hydroid: Studies in Distributed Processing and Problem Solving. Binder containing notes, e-mail, copies of articles 1976-77

"I" general correspondence 1978-82

IBM: various correspondence, nominations for fellowships, symoposiums, etc. 1978-81

I E E E: reprint of "Digital Communications and the Conduct of Science: The New Literacy" by J. Lederberg, 1978. Request to EAF to write paper for I E E E. 1978

Inada visit. Correspondence from Hiroshi Inada Feb. 1980

Interdepartmental requests

Institute for Thought Research, Inc.: Copy of "Medical Research Proposal DSM III Project." 1980

IJCAI-77 Aug 22-26, MIT: conference materials, paper "Knowledge Based Ship Classification," and correspondence 1977-81

Intel--corresp. re: symposium 1982

ISI : Information Science Institute. Corresp. re: 10th anniversary presentation, proposal draft for Interlisp- like environment for LISP machine, etc. 1982

ISI -1975: Travel receipts, e-mail

ISI -1976: notes, bill for consulting

"J"--: Photocopy list of papers: AI Journal status as of Jan. 1, 1979, list of pending, sent back for revision, accepted, rejected

Japanese Technology Transfer Institute: Correspondence re: study missions and possible tour of CS lab. 1981-2

The Japan Society of Northern Calif. :letter re: steering committee of South Bay area chapter. 1981

Japan Society for the Promotion of Science, Tokyo: Report to the Society by EAF on sponsored trip of Aug--Oct. 1979 1980

"K": miscellaneous correspondence and resumes 1976-78

Lou Katz: resume and correspondence 1980

Knowledge Engineering for Medical Decision Making: draft and final version of paper 1979

Knutsen, Kjell 1976

"L": Misc. 1976-79

Keith Lantz, proposal on distributed computing at Stanford 1980

Lecture Bureau: promotional material from Leigh lecture bureau 1983

Irvine Lecture: Letter from Marty Belknap to EAF thanking him for being opening speaker  1981

Stanford Alumni Association--draft of article for Spring/Summer 1978 issue of The Stanford Magazine for Feigenbaum to correct, supplementary information 1978

Ohio State Distinguished Lecture Series Nov. 18, Correspondence regarding EAF's lecture 1976

San Francisco State May 6.: Info regarding EAF talk on Information Science Curricula, 1976-1981 at SF State May 6, 1976

Carnegie-Mellon Lectures, Fall `76 (Traub, Kung): Infomation about EAF presenting Computer Science Lectures 1976

Immigration Course in Computer Science, Carnegie-Mellon U. Description of Immigration Course by Mary Shaw and H.T. Kung 1976

Lecture Notes: "Information Technology for Public Service"

Lectures, misc: notes for talk at IBM Research, 4/12/78; seminar notice for Xerox PARC Sept. 9, 1976

Elliot Levinthal, CV and articles 1976-78

Licensing: various licensing agreements and correspondence 1981-83

Licensing Agreement/OTL: info on Teknowledge licensing agreement (possible) for AGE-1 and EMYCIN 1981

Lindsay--proposal to SUMEX. reply to SUMEX-AIM Questionnaire and proposal. 1976

LOTS (Time Sharing): Correspondence between EAF, Ralph Gorin, and Miller on the establishment and augmentation of LOTS facility. 1976-77

"M": Miscellaneous correspondence 1976-81

MCC Alpha Omega: copy of proposal (Alpha Omega) submitted to MCC [Microelectronics and Computer Consortium] by Gordon Bell 1982

MCE--article from Electronics on proposed consortium Microelectronics and Computer Technologies Enterprises March 10,1982

Magazines: letters from Steve Lukasik, requesting EAF to be member of the Editorial board Information and Society 1979

Maheshwari, Arun

Media. Requests for interviews with EAF, press clippings

Medical Information Sciences: memos dealing with MIS committee 1981

Real-time Symbolic Computing Workshop. Cambridge, MA Nov. 28-29, 1978

5th Illinois Conference on Medical Info. Systems May 3-4, 1979

Yugoslavia Trip. Mailgram confirmation to MIT 1979

IFIP Conference (Munich) Oct. 30--Nov. 1, 1978

National Advisory Council--Health. Oct. 21, 1978.

AIM Workshop (4th Annual) June 25-28, 1978

UCLA Short-course Program, (wk of May 22, 1978.) Information and travel arrangements for teaching "Decision making methods"

Workshop on Application of Networking (D.C.) sponsored by NSF, May 8-9,1978

Snowbird, Utah. Info. re: meeting organized by the Computer Science Board of the Chairmen of Ph.D. Granting Depts. of CS on July 10-11, 1978.

Microcomputer Systems Proposal: Undergraduate Instructional Improvement Program, project for microcomputer Instructional facility 1978

Meta-EXEC Mitre Corp.: copy of ARC User Interface and corrections. 1976-77

Misc. Magazine and Newspaper Clippings 1976-83

P

Permissions--Books

PERQ

Percept-Image Physics Group

Proposal--EAF Current Support 1982

Pople

Van Dooren, Paul M. (Post-Doc) Autumn 1979

Chen, Hui-Chuan

Prospective Article: What is Computer Science?

PUFF (NIH)

PUFF/VM: IMS Subcontract

Gerry Purdy

Feigenbaum Receipts

McGraw-Hill Royalties

Fund Raising (Departmental Support Proposals Pending)

Proposal Solicitations

Protein Data Bank

Publication Requests

Purchase Requisitions

Publications--EAF

PUFF/VM

Q [Folder Empty]

AI--Qual

AI--Qual Reading

J. R. Quinlan Visiting Scholar (1978)

Quote Requests

R

Rabin Mini Course

Rand Computer Use Contract

Rand

Rand Consulting

Rees, Mina (Honoring)

Release--Authors

Requests with a No Response

Requests for Meeting--No Response

Requests for Reviews--No Response

Requests for Visits--No Response

ROGET

Paul Rosenbloom

S

SAIL Cost Center

SPO

Support of Research on Expert Systems: A Proposal

Schlumberger

Schlumberger Proposal 1981

Schlumberger Contract 1980

Schlumberger--Permissions

Schlumberger

Vitae for Schwartz--Meeting of June 10: Degree Candidates

Scientific American Article 1974

SIGBIO

SIMTEC

Sloan Foundation

Smart Systems Technology

Snowbird 1980

SPL International

SRI Papers of W. F. Miller

SRI Seminar Series 1982

SRI Geology Program

SRI RA Support

Stanford Text Network--1980

Stanford University Board of Trustees Meeting--March 7, 1983

Stanford University Memos--P I's

Stanford University Memos--General

Stauffer Foundation

Steding, Tom

Stefik/Expert Systems

Stetson University Talk

SUMEX

Computer Forum

Computer Forum 1982

Computer Netwovtrking At Stanford

Computing Reviews 1982

Consulting Policy (Stanford's)

Context Progress Reports

CROMEMCO

CSNET

D

Data Products Printer Gift 1979

Dedication of Forsythe Hall 1/14/80

Defense Science Board Summer Study

DENDRAL Book

Development Office

King Plans

Departmental Computer Acquisitions

Digital Equipment Corporation--Relations

DoD Equipment Proposal

Dolphin Interlisp Systems

E

ESL

Earthquake Preparedness

EMYCIN AGE License

Engineering Advisory Council

Equipment--Automatic Dialers

Expert System Workshop

Faculty Report

Faculty Meetings 1982-83

Faculty Meetings 1980

Faculty Seminars: Computers 1980

Faculty Meeting Minutes, Etc.

Faculty Meeting 1981 Jan 6

Faculty Meeting 1980 Sep

Faculty Meetings

CS Staff Meeting Minutes

Feigenbaum--Personal Memos

Feigenbaum: Talks

Fellowships

Forum [Folder 1 of 2]

Forum [Folder 2 of 2]

Forsythe Award

Forsywythe Lectures C. S. dept.

France Contacts

Fujitsu

Fujitsu--Training

Task Force on the Future of Computing 1980

Task Force on the Future of Computing At Stanford

Task Force on the Future of Computing at Stanford II

Fund Raising

G

Gardner Thesis

Genet

Ginzton Lab Committee

Gifts

Xerox Gift

Gifts of Machines 1979

Graphics Devices

Center for Integrated Systems

Center for Law and Information Science

Charles Babbage Institute Proposal

CIT (Formerly SCIP)

CITATION Index Studies

COGNET

Cognitive Science Computer Facility

Cognitive Science Society

Cognitive Sciences Society

Cognitive Sciences

Cognitive Science Society 1980

Cognitive Sciences

Coinvestment Program

Advisory Committee

AIM Executive Committee Meeting File

CSL Meetings

HPP Executive Committee

Missouri, University of--Health Care Advisory Committee

President's Advisory Committee 1982 Dec 1

President's Advisory Committee 1981

Computer Forum--Meeting 1983

Miscellaneous Magazine/Newspaper Articles

Music/Chowning: Negotiations

MOLGEN

Mural

MYCIN

N

NIH

NIH Instructions 1982

Nixdorf

National Library of Medicine Program Project Support for Research

National Library of Medicine Proposal

UNC--Computer Science Evaluation March 28-30, 1979

Northrop

Notes on Knowledge Engineering and the HPP

Nikkei Computer Article

NSF Instructions 1982

NSF--General

NSF Program

NSF Protein Cystallography

NSF Science in Developing Countries Program

NSF Special Committee on Computer Resources

NSF Testimony Feldman Report

A. I. Lab/NSF

Stefik Paper to NSF

NSF Proposal Review

NSF Notices

NSF Site Visit--Feb. 24/25

NSF CS Advisory Committee Notices

O

Oncocin Site Visits--Shortliffe

Math Social Science Board 1977

Addenda to Computer Thought 1977

ARPANET

SUMEX Renewal 1975-80

SUMEX Annual Report 1976

SUMEX Annual Report 1977-78

Stanford Artificial Intelligence Laboratory (SAIL)

SUMEX-AIM 1977

CIS 1981

Postdoc Letters 1980

Grants 1977

Requests to Visit Stanford 1977

Satellite Business Systems: High Bandwidth Communication Link 1977

NSF proposal for equipment 1977

AI Laboratory Affairs 1975

"Session II--Computer Applications II: Introductory Remarks," article in Federation Proceedings, Vol. 33, No. 12, pp. 2331-2335. 1974

General Professional (includes photograph of Feigenbaum in an unnamed group portrait) 1976-81

Computing Center: CIT

Expert Systems 1981

National Science Policy/Administration 1978-79

Computer Science Advisory Committee Photographs 1967

Computer Science Department

Articles by others

Feigenbaum Reprints

"Models in a Behavioral Theory of the Firm," Behavioral Science, Vol. 4, No. 2, pp. 81-95. 1959

Computer Science: Students and Graduate Students (mostly publications by)

Courses--Notes, Lecture Notes, Outlines 1975

Lecture Notes

Medical Information Systems--Medical School 1981

SU-Net 1981

DOLPHIN INTERLISP Technical Characteristics

Miscellaneous Files--C. S.--University/Industry Relations 1979-82

Computer Science Department, administrative matters 1976-80

"Mechanization of Inductive Inference in Organic Chemistry," in Formal Representation of Human Judgement, . 1968

"A Review of Decision-Making Processes in Pattern Recognition," for Computing Reviews (Mimeo).

EPAM--Trial-by-trial Behavior in Paired Associates Learning Task 1963

WMSI--EPAM Report 1962

Other Reprints

AIM Workshop 1977

The Study of Education at Stanford: Report to the University, Vols. I-X.

Study Group Reports 1981

Academic Council I [1 of 2]

Academic Council I [2 of 2]

General Memos [1 of 2] 1969-1970

General Memos [2 of 2] 1969-1970

CS 211

CS 156

MIX

CS 246

International Journal of Man-Machine Studies

ICAI

BIP Articles

Master File--Progress Reports NSF GJ-443X2-3 (Suppes) 2 KBZ-458-94

NSF Audio

Office of Naval Research Proposals and Reports

Papers and articles on computer science eduation and computers in education, 1970-75

Institute for Mathematical Studies in the Social Sciences, Technical Reports Nos. 292 and 228

Bitzer, Donald, et al, "The Plato System and Science Education," CERL Report X-17

Grimes, George, "Cost of Initial Development of Plato Instruction in Veterinary Medicine," CERL Report X-43

The Tutor Language

Meller, David, "Using Plato IV," CERL

Lyman, Elizabeth, "Plato Curricular Materials," CERL Report X-41

NPRDC TR 76-33 and NPRDC SR 77-2

Henke, Friedrich and David Luckham, "Automatic Program Verification III: A Methodology for Verifying Programs," SAIL Memo AIM-256

Igarashi, Shigeru, et al, "Automatic Program Verification I: A Logical Basis and Its Implementation," SAIL Memo AIM-200

Milner, Robin, "An Algebraic Definition of Simulation Between Programs," SAIL Memo AIM-142

Suzuki, Norihisa, "Automatic Program Verification II: Verifying Programs by Algebraic and Logical Reduction," SAIL Memo AIM-255

Kurki-Suonio, R. "Towards Better Structured Definitions of Programming Languages," STAN-CS-75-500

Goldman, Neil M. and Christopher Riesbeck, "A Conceptually Based Sentence Paraphraser," SAIL Memo AIM-196

SIGCSE Bulletin, Volume 6, Number 1 1974 Feb

Miscellaneous Articles

CS 224 Spring 1975

A

AAAI-Tutorial 1980

Aikins Agreement 1980

AIMN Exec 1980

AIM Tutorials 1980

AIM Workshop 1980

AAAI--M

AAAS

ACM Association for Computing

ACME (Advanced Computer for Medical Research) Research Grant Papers --1972

AI Journal

AFIPS (American Federation of Information Processing Societies, Inc.)

AISB (European Society for Study of AI)

Alumni Association Talks 1980

Annual Report Material

Applied Math

Amarel, Saul (Visiting Professor)

Danny Dolev

Special A and P 1981

Postdoc Letters 1981

Policies 1979

Abdel-Kader, Issam

Kumar, B

Miller, Lawrence

Walter, K. G.

Whitby-Strevens, C.

Nilsson

Paul Armer 1980

AWG

B

The Charles Babbage Institute 1979

Bechtel International Center

Binford VAX Access 1980

Biotechnology Resources Program BLUM

Blackboard Project

Boeing Aerospace Company

Bonnet, Alain

Books [Empty]

Book Request

Boulder, CO 1982 Apr

Buchanan Foreign Travel

Building Space Problems (MJH)

Building Space Problems (MJH)

Guidelines 1979

Building Dedication

C

CSK Computer Services Corporation

Canon

Campus Report Articles on Ed Feigenbaum

Materials from Ray Carhart

1982 Center for Integrated Systems Annual Review

Ed's CIS Talks

CIS

CIS

CIS

Computer/Social Science Proposal 1970-71

Computer Thought Discussion Group 1965

Computer Use, Application for, UC Berkeley 1963

Computers and Chemistry Progress Report 1971 Oct 15

Computers and Thought (correspondence and reviews) 1963-67

Computers and Thought Lecture 2 Patrick Winston (text), Aug. 21 1973

Computers and Thought Lecture 2 Patrick Winston (audio reel), Aug. 21 1973

Computers and Thought II; Shaw. Biblio. Search 1973

Computers and Thought II Working Papers [letter soliciting articles, draft of table of contents] 1972

Computers and Thought Reviews (Extra Copies)

Computing at Stanford Quarterly Reports (quarter ending Dec. 31, 1971)

Counter Conference 1971

Course, Seminar Outlines 1967

Conference Programs 1971-75

Dataless Programming 1968

Datamation 1967-70

Gene Golub--Dean's Award 1978

Terry A. Winograd--Dean's Award 1977-78

DENDRAL/ARPA Proposal undated

1972 Annual DENDRAL Report

DENDRAL Correspondence 1967-73

DENDRAL Film [letter EAF to Daneil del Solar] 1971

DENDRAL History 1963

DENDRAL Projects and Summary 1973

DENDRAL Project 1968-71

DENDRAL Space Problem--Correspondence 1971-72

Esteban DiTada (Steve) 1974

Duck Cove Members 1970

Degree Requirements, CSD

DENDRAL/ACME Problems, correspondence 1970

T--general correspondence 1978-79

U--general correspondence 1976-77

VAX (Dec) 1979

Visitors 1976-79

V--general correspondence 1977-78

Feigenbaum Vita 1961-77

Roger Weissinger

Gio Weiderhold 1976-1977

Wilkinson, J. H. 1977-78

W. Todd Wipke 1978

Work Orders

Workshops

W--general correspondence

Y--general correspondence

Z--general correspondence

IBM Computing Report 1968 May

McDonald, D.

Fortran IV for IBM System/360, Ch. 1-4 and Problem Book

Marks

FORTRAN IV for IBM System/360 Illustrations

Massy, William Papers

Jensen 1-

Joyner 1-

Kaplan

Karel 1-

Kassler 1-

Kay 1-

Keppel, G.

Kister 1-

Kitov

Klaw

Klein--A Computational Approach to Grammatical Coding of English Words

Kolodny, Et Al

Kleinmuntz, B.

Kling, Rob--Fuzzy-Planner: Reasoning with Inexact Concepts in a Procedural Problem-Solving Language

Kling, R.

Kling

Knuth, Donald E.

Kochen 1-

Krulee 1-

Kulikowski

Kovalevsky, V. A.

Kuck 1-

Lachenbruch 1-

Landis 1-

Lauer

Laughery, K.

Leavitt 1-

Lederberg

Lee, Hans

Leibouic, K. N.

Lenat

Lenat

Lesser

Levien

Lighthill Debate

LISP

Sweden

Washington Representative Services

Weigenbaum Book Reviews

VLDB Program

Waterman, D.

WDPC

White, William C.

Todd Wipke

Yershov Trip

Teleconferencing

TENEX System 1.32

Tenure Policy

Terminal Purchase Info

Teletype/Telephone Costs

Themis

Time-Sharing Project Working Papers

TIPL

Luis Trabb Pardo

Travel information--Flight Schedules, etc.

Travel--E. A. Feigenbaum

Travel Receipts

Uher Tape Recorder

UHU

U. C. San Francisco Medical School

Undergraduate Distribution Requirement Committee

Engelmore, Robert S.

Ershov

Executive Seminar Center--Civil Service

Farrell, Carl

Faculty Meeting

Faculty Meeting

Jerry Feldman

Fletcher Jones Foundation

FLPL

Forsythe (On Math Support)

Publication Procedure (Rand Corporation)

Franklin, Professor H. Bruce

Athens, Georgia Conference Summary

Gersh/Thorp Proposal

Green (Cordell) Appointment

C. Cordell Green

Hewlett Packard

HASP

HEW Proposal 1977 Jun

Hierarchy Workshop

Hjelmeland, Leonard (Larry)

Holland Russian Papers

Induction Paper with Buchanan and King

Information Sciences Institute (ISI)

Inquiring Systems Notes

IPL-V (Baker's Notes for use)

IPL-V

Japanese Computer Science

JOHNIAC

Journal Club

JPL Consultation

Kansas State Visit

Kehl, Theodore H. Information Only

King/Anderson Manuscript

Kiss, George R.

Klinger--American-Asian Computer Services

KLS

TI Prize--Professor Knuth 1976 Nov 24

Knutsen, Kjell (Vita)

Irvine, University of California

U. C. Irvine Evaluation Committee, Dec. 8-10, 1976

Isaak--Interdepartmental Major

Ames Talk 1974

Figures for Kiel and Marseilles (transparancies)

Slide show [Basic Instruction Program]

ARI--other papers 1974-75

ARI Paper 1975-77

"A Survey of Artificial Intelligence in Computer-Assisted Instruction" by Avron Barr [several copies annotated by different readers] 1976

ARI material (1 of 2)

ARI material (2 of 2)

Battelle : author languages 1974-76

ACM : CSC February 1976

IFIP Conference 1975

Psych 208, Pribram 1977

Psych 282, Tversky/Smith, Winter 1978

Computer Science Conference 1975

San Diego : ONR 1974

CS 266--Winograd, Winter 1977

CS 225--Nilsson 1976

Psych 151--Horowitz, Winter 1977

Psych 209--Ganz, Fall 1976

Notebook of Statistics 219 1973

Readings in Neeurobiology 212 (1 of 2), Spring 1973

Readings in Neeurobiology 212 (2 of 2), Spring 1973

CS 240 1975

CS 265 course notes, Terry Winograd 1974

CS 265, Terry Winograd 1976

CS 265, Terry Winograd 1973

CS comprehensive exams 1975-78

CS comprehensive exam 1976

CS 155 1974

LISP compiler; CS 206 materials 1974

ARPA/A.I. Lab 1977-79

ARPA Supplement 1980

Schlumberger-Doll (2 FCZ 902) 1981

IBM Joint Study (2 FCZ 902) 1980

IBM Joint Study

Production Rules as a Representation for a Knowledge-Based Consultation Program (Stanford Artificial Intelligence Laboratory Memo AIM-266 [(66) HPP-75-6 ]) 1975

Ventilator Manager : A Program to Provide On-Line Consultative Advice in the Intensive Care Unit (Stanford Heuristic Programming Project Memo HPP-78-16) 1978

Clinical Decisions based on Physician-Computer Interactions : A Symbolic Reasoning Approach (117) HPP-77-30 1977

Heuristic Programming Project : Final Technical Report for the Contract Period August 1, 1973 through July 31, 1977

RITA : A Guide to the Rule-Directed Interactive Transaction Agent Language 1976

Dendral Vol. III

Dendral Vol. I

Biomedical Knowledge Engineering in Clinical Medicine, NIH February 1977

SUMEX Annual Report May 1979

SUMEX : Annual Report 1975

SUMEX : Annual Report 1977

SUMEX : Book I--Research Proposal June 1, 1977

SUMEX : Book II--Collaborative Projects and Appendices June 1 1977

Rediscovering some Problems of Artificial Intelligence in the Context of Organic Chemistry [from Machine Intellilgence V. 5, Edinburgh University Press] 1970

Applications of Artificial Intelligence for Chemical Inference (37) HPP-72-1 [reprinted from the Jounral of the American Chemical Society] 1972

Toward an Understanding of Information Processes of Scientific Inference in the Context of Organic Chemistry (18) HPP-69-2 AIM-99

Heuristic DENDRAL : A Family of LISP Programs (17) HPP-69-1 AIM-80

Topology of Molecules (21) HPP-69-5

Applications of Artificial Intelligence for Chemical Inference I (22) HPP-69-6

Some Sequence Extrapolating Programs : A Study of Representation and Modeling in Inquiring Systems, Technical Report No. CS50, September 22, 1966

Production Rules as a Representation for a Knowledge-Based Consultation Program (66) HPP-75-6 AIM-266 CS-517 ADAO19641

An Overview of Production Systems (67) HPP-75-7

Some Considerations for the Implementation of Knowledge-Based Expert Systems (76) HPP-75-16

Computer-Assisted Consultations Regading the Antimicrobial Treatment of Bacteremia (72) HPP-75-12

Explanation Capabilities of Production-Based Consultation Systems (88) HPP-77-1

Model-Directed Learning of Production Rules (93) HPP-77-6

A Production System for Automatic Deduction (Stanford Heuristic Programming Project Memo HPP-77-28)

Applications of Artificial Intelligence for Chemical Inference XXII (80) HPP-76-4

DENDRAL Vol II [list of contents]

The Heuristic DENDRAL Program for Explaining Empirical Data (33) HPP-71-2 AIM-141 CS-203

A Heuristic Programming Study of Theory Formation in Science (35) HPP-71-4 AIM-145 CS-221

Molecular Structure Elucidation III (HPP-74-7)

Heuristic DENDRAL : Analysis of Molecular Structure (HPP-74-6)

Applications of Artificial Intelligence to Chemical Inference XII . Exhaustive Generation of Cyclic and Acyclic Isomers (HPP-73-11) [reprint from the Journal of the American Chemical Society] 1974

Analysis of Behavior of Chemical Molecules : Rule Formation on Non-Homogeneous Classes of Objects (HPP-73-7)

Current Status of the Heuristic Dendral Program for Applying Artificial Intelligence to the Interpretation of Mass Spectra (HPP-73-8)

Search Strategies for the Task of Organic Chemical Synthesis (HPP-73-9) [version: SAIL Memo AIM-217 or STAN-CS-73-391] 1973

An Artificial Intelligence Program to Advise Physicians Regarding Antimicrobial Therapeutics (HPP-73-10) [as published in Computers and Bimedical Research 6] 1973

A Heuristic Program to Discover Synthesis for Complex Organic Molecules (HPP-73-4) [version: STAN-CS-73-370]

An Algorithm for the Construction of the Graphs of Organic Molecules (HPP-73-13) [version: STAN-CS-73-361]

"Mathematics and Computation" Seminar on Artificial Intelligence (HPP-72-7) [printed abstract of papers presented at seminar, including what became HPP-72-7]

American Nuclear Society Paper, "Computer Programs Which Generate Hypotheses in Organic Chemistry" (typescript of what would become HPP-72-7) 1972

Constructive Graph Labelling Using Double Closets (HPP-72-6) [copied from DISCRETE MATHEMATICS 7 (1974)

Use of a Computer to Identify Unknown Compounds : The Automation of Scientific Inference (41) HPP-72-5 Genetics 194 [offprint from Biochemical Applications of Mass Spectrometry] 1972

Rapid Calculations of Molecular Formulas from Mass Values (HPP-72-4) [reprint from Journal of Chemical Education, Vol. 49, page 613, Sept. 1972]

An Application of Artificial Intelligence to the Interpretation of Mass Spectra (HPP-71-5) [Offprint from Mass Spectrometry: Techniques and Appliances] 1971

The Heuristic Dendral Program for Explaining Empirical Data (HPP-71-2) 118¯

On Generality and Problem Solving : A Case Study Using the DENDRAL Program (HPP-70-5) [AS PUBLISHED IN MACHINE INTELLIGENCE VOL. 6] 1971

Applications of Artificial Intelligence for Chemical Inference VI (HPP-70-4) [as published in HELVETICA CHIMICA ACTA--Vol. 53, 1970]

Applications of Artificial Intelligence for Chemical Inference V (HPP-70-3) [reprint from Organic Mass Spectrometry, 1970, vol. 4]

Some Speculation about Artificial Intelligence and Legal Reasoning (HPP-70-2) [version: SAIL Memo AIM-123]

Flood, Merrill M.,. 2 articles 1964-66

Floyd, Robert W. articles (1 of 2) 1971

Floyd, Robert W. articles (2 of 2) 1966-70

Flynn, Mike, article

Forsythe, George E. , articles 1966=68

Foulkes, J.D., articles

Friedberg, J. D. , articles 1959

Friedland, Peter, "Choosing Knowledge Representations for Expert Scientific Systems," undated

Frijda, Nico H., articles 1967-72

Gagne, Robert M., article

Garfinkel, Sylvia, "Heuristic solution of First-Year Algebra Problems," undated

Galernter, H., articles 1960-77

Gibson, Eleanor, article 1965

Gilinsky, Alberta A., "The Span of Visual Attention..." undated

Glushkov, V., articles 1963-66

Goldberger, Lewis R., article

Goncharenko, M. N., article 1963

Good, I. J., articles 1965-68

Gordon, Barry A., "The Heuristic Model of Thought Processes: An Analysis and Attempted Extension," 1964

Gorn, Saul, article 1959

Green, Cordell, articles 1968-77

Greenberger, Martin, article 1966

Greeno, J. G., article 1968

Greenwald, I. D., article 1967

Gregg, L. W., articles 1966-67

Gregory, R. L., article 1968

Grossman, Gregory, article 1962

Gruenberger, Fred, article 1962

Grunbaum, article 1964

Guard, J. R., article 1969

Guilford, J. P., article 1968

Gullahorn, John T. and Jeanne E., articles 1964-65

Hamming, R. W., "Intellectual Implications of the Computer Revolution," undated

Haney, Frederick Marion, dissertation, Carnegie-Mellon 1968

Hanna, Joseph Ford, articles 1964-65

Hansen, Gilbert J., article 1965

Hansen, Per Brinch, articles with cover letter 1975-76

Hansen, Per Brinch, articles published by Information Science California Institute of Technology 1975-76

Hardy, Steven, "Automatic Induction of LISP Functions," with comments by others 1973-74

Harmon, Leon D., article 1969

Harrison, Annette, articles 1966-67

Haverty, J. P., article 1963

Hayes, Pat "Nine Deadly Sins" [in AI work] undated

Hayes-Roth, Barbara and Frederick, papers 1973-78

Hays, David G, article 1966

Hellman, Martin E., article 1977

Hesse, Mary B., article 1959

Hewitt, Carl, articles undated

Hiller, Lejaren, articles 1965 and undated

Hintzman, Douglas, papers undated

Hoggatt, A. C., articles 1965

Holland, Wade B., articles 1963-66

Holt, Anatol W., paper 1963

Hormann, Aiko M., article 1962

Horowitz, N. H., article 1967

Hovland, Carl I., paper

Hunt, Earl, articles (Western Management Science Insitute, UCLA) 1962-66

Hunt, Earl, articles (Dept. of Psychology, U. of Washington) 1968

Hunt, Earl, articles, miscellaneous 1964-73

Hyman, Ray, articles 1961-63

Newell, Allen 1961-77

Miscellaneous Articles

Nielsen, Norman R. 1967-71

Nilsson, Nils J. 1967-75

Simon, Herbert A. 1964-68

S: miscellaneous articles

Stanford University Annual report [includes article by John McCarthy] 1967

Stansfield, Jim

Stephan, Pat [CDRP Translations] 1966

Sussman, Gerald J. 1972

Sutherland, N. S. 1971

Pople, Harry E.

Pylyshyn, Zenon W.

Rosenfeld, stephen S. 1964-66

Translations August 1966

Sutherland, Georgia [student paper from Feigenbaum class] 1966

Sweitzer, Dorothy I. 1961

Swets, John A. 1965

Miscellaneous Articles 2

Interorgtekhnika-66: text and photos 1966

Miscellaneous Articles 3

Leon, Alberto 1964

Lederberg, Joshua 1964-71

Lettvin, J. V. 1959

Levien, Roger 1964-65

Licklider, J. C. R.

Lin, Shen

Lindsay, Robert K. 1961

Lindsay, Robert K. 1960

Loehlin, John C.

London, Ralph L. 1964-68

Lowerre, Bruce T.: The Harpy Speech Recognition System 1976

Lucas, John 1963

Luria, A. R. 1964

Lynn, Richard Shelly

MacKay, Donald 1963-64

MACSYMA 1977

Manna, Zohar 1970

March, James G. 1954-60

Marchand, Maurice 1969

Maron, M. E. 1961-64

Abelson, Robert P. 1965-71

Adams, Ernest W. 1966

Adelson-Velskiy, G. M.

Aganbegyan, A. 1961

Allen, T. J. 1965

Allen-Babcock Computing, RUSH Terminal User's Manual 1966

Amarel, Saul 1970-76

Amarel, Saul 1968-71

Amarel, Saul 1966

Amarel, Saul 1970

Amarel, Saul 1966-68

Anderson, John R. 1977-78

Anderson, Robert H. 1973

Anderson, R. A. 1971

Andreae, J. H. 1968

Anokhin, P. K. 1962

Armer, Paul 1962-75

Ashby, W. Ross 1962-63

Atkinson, Richard C. 1963-72

Baker, C. L. 1967

Balderston, F. E. 1960

Balderston, F. E. 1961

Bales, Robert F. 1951

Balzer, R. M. 1967

Balzer

Banerji, Ranan B.

Baran, Paul 1971-73

Barnett, J. A. 1977

Barstow, David "A Knowledge-Based System for Automatic Program Construction." 1977

Bastin, E. W. 1961

Batov, Ivan 1964

Bell, Gordon 1966

Battig, William F. 1961-63

Benkard, J. Philip 1963

Bennett, Edward L. 1964

Berliner, Hans 1978

Bernstein, aLEX

Binford, Thomas O.

Bledsoe, W. 1971

Bobrow, Daniel G. 1963

Boehm, B. W. 1972

Boden, Margaret A. 1973

Bolles, Robert 1973

Botvinnik, Mikhail 1961

Bower, Gordon 1963

Bower, Gordon 1966

Bower, Gordon H. 1969-70

Brown, Roger 1966

Brazier, Mary A. B. 1964

Broadbent, D. E. 1965

Bronfenbrenner, Urie 1962

Brown, John Seely 1958, 1977

AAUP (American Association of University Professors)

ACM (Association for Computing Machinery)

ACME Notes

ACME Utilization Budgets

AI Handbook

AI Journal

AFIPS

AI Internal Briefing Document

AIM/SUMEX (User Community)

Stanford SUMEX/AIM

AIM Advisory Committee

AMAREL's Comments on IFIP Paper

Amarel, Feigenbaum, Newell Book

Applied Math (Dept. of)

American Nuclear Society Conference

American Scientist

Anderson, R. H.

Applied Spectroscopy Review

Aquino, Jean-Anne

ARPA

ARPA Project Quarterly Reports

ARPA Proposal 1971

ARPA Correspondence File

ARPA Project Univ. of Calif., Berkeley

ARPA Time-Sharing Proposal 1967

ARPA Proposal 1965

ARPANET

ARPA--Office Automation

ARPA Report 1974

ARPA Space

ARPA-SRI Proposal

ARPA-West

Artificial Intelligence 1973

Artificial Intelligence--1973 Minsky # 2

Artificial Intelligence NASA Report 1973

Artificial Intelligence Lectures (Feigenbaum)

Artificial Intelligence: Themes in The Second Decade

Artificial Intelligence Project Quarterly Reports

Assistantship Inquiries

AUI Project

Automated Bio-Lab: A Proposal Leiderberg/McCarthy

Automatic Programming Conference Jan. 1973

Automation Project

Avionics Panel

Barth--Grants

Basic Research on Advanced Memory Systems for Computers - AMT

Beel, C. Gordon

Bibliographies

Blaisdell Paper 1972

Bowman, Joseph

Bowman Alumni

Allen Brown

Dennis Brown's Thesis

Bruce Buchanan--Vita

Roberts/Dorman/Carhart

Calendar, EAF 1975

Carbonnel, Dr. Jaime R.

Correspondence--John Allen

Correspondence

EAF Correspondence 1972 and 1973 (A-L)

EAF Correspondence 1972 and 1973 (M-Z)

EAF Correspondence 1975/1976 (A-L)

EAF Correspondence 1975/1976 (M-Z)

EAF Correspondence

Correspondence A (1 of 2) 1963-71

Correspondence A (2 of 2) 1961-67

Correspondence B (1 of 2) 1961-71

Correspondence B (2 of 2) 1959-67

Correspondence B 1975-76

Correspondence C 1964-71

Correspondence D 1968-71

Correspondence E 1967-70

Correspondence F 1967-71

Correspondence G 1968-71

Correspondence H 1967-70

Correspondence I-J 1968-71

Correspondence K 1964-70

Correspondence L 1968-71

Correspondence Mc 1968-70

Correspondence M 1968-71

Correspondence N 1964-71

Correspondence O 1962-69

Correspondence P 1959-71

Correspondence Q 1971

Correspondence R (1 of 2) 1966-70

Correspondence R (2 of 2) 1963-67

Correspondence S (1 of 3) 1968-71

Correspondence S (2 of 3) 1960-70

Correspondence S (3 of 3) 1960-67

Correspondence T 1965-71

Correspondence U-V 1962-71

Correspondence W 1963-71

Correspondence Y-Z 1961-71

Computer Printout [text]: Feb. 1 and Feb. 3, 1977

Computer Printout [text]: Oct. 28, 1977

Message.Txt. Printout: Dec. 14, 1977

Message.Txt. Printout: July 28, 1977

Message.Txt. Printout: Feb. 28--March 1, 1978

Message.Txt. Printout: Oct. 11, 1977

Message.Txt. Printout: April 18, 1979

Old Messages to Review/ Contains Milestones ala Russell

Message.Txt March 13, 1978

Message.Txt. March 21, 1978

Message.Txt. August 3, 1978

Message.Txt. July 27, 1978

Message.Txt. Sept. 18 and Sept. 14, 1978

Message.Txt. Sept. 5, 1978

Message.Txt. March 27, 1978

Message.Txt. Dec. 13, 1978

Message.Txt. Dec. 20, 1978

Message.Txt. Dec. 9, 1978

Message.Txt. Nov. 6 and Nov. 10, 1978

Message.Txt. Nov. 20, 1978

Message.Txt. Oct. 24 and Oct. 19, 1978

Message.Txt. Oct. 9, 1978

Message.Txt. Sept. 26, 1978

Message.Txt. March 14, 1979

Message.Txt. March 1, 1979

Message.Txt. Jan. 31 and Feb. 20, 1979

Message.Txt. Feb. 27, 1979

Message.Txt. Feb. 16, 1979

Message.Txt. Feb. 15, 1979

Message.Txt. Feb. 12, 1979

Message.Txt. Feb. 9, 1979

Message.Txt. Feb. 7 and Feb. 1-2, 1979

Message.Txt. Jan. 24, 1979

Message.Txt. Jan. 19, 1979

Message.Txt. Jan. 12, 1979

Message.Txt. Jan. 4, 1979

Message.Txt. Jan. 4, 1979

Message.Txt. May 11, 1979

Message.Txt. June 10, 1979

Message.Txt. May 25, 1979

Message.Txt. May 14, 1979

Message.Txt. May 7, 1979

April 29, 1979 mail

March 25, 1979 mail

March 22, 1979 mail

March 22, 1979 mail

March 14, 1979 mail

January 12, 1979 mail

July 1, 1979 mail

June 19, 1979 mail

June 15, 1979 mail

April 1, 1979 mail

April 20, 1979 mail

July 3, 1980 mail

June 30, 1980 mail

June 21, 1980 mail

April 23, 1980 mail

May 16, 1980 mail

February 13, 1978 mail

February 15, 1978 mail

February 12, 1978 mail

Two printouts: Criteria for Distributed Computation by Gio Wiederhold, 1977; list of Feigenbaum files

Bryan, G. E.

Feldman, J. A. 75-

Burstall, R. M.

Fike 1-

Burstyn 1 [EMPTY]

Findler 1-

CABAL

Format Sample

Carbonnel, Jaime G

Flock 1-

Carroll, J. B. 1-

Carroll, J. D. 1-

Chenzoff 1-

Churchman 1-6

Churchman 21-

Churchman

Citrenbaum

Clarke 25-

Clarkson 5-

Codd, E. F.

Cohen, H.

Colby 1-

Colby, Kenneth Mark

Coles, S.

Corey, Elias J.

Cooper 1-

Crossman 1-

Crosson 50

Cyert 8-

Daley 1-

Davis, Randall, "Production Rules As A Representation For A Knowledge-Based Consultation Program"

Deffenbacher, K.

Delfino

Denton 1-

Dingman 1-

Doig 2

Domolky 1-

Doran J.

Dreyfus, H.

Dupchak

Eastman 1-

Eavarone, D. S.

Edwards 1-5

Edwards 6-10

Engelbart

Ernst, Barbara

Ernst, H 1-

Ershov

Evans 5-

Feigenbaum

Feldman, J. 1-3

Feldman, J. 4-

Marr, D.

Mexico City 8/67

Marschak 1-8 [Empty]

MI-5 Machine Intelligence Workshop 5

Marschak 9-

MI-6 Machine Intelligence Workshop 6

Marschak, T. A. 50-

MI-7 Machine Intelligence Workshop 7

March, James G. and Johan P. Olsen in A Garbage Can Model of Organizational Choice

Michie, Donald

March, James G. and Johan P. Olsen in The Uncertainty of the Past: Organizational Learning Under Ambiguity

Microfilm Output

Masterman 1-

John Miller

Mathews 1-

University of Missouri-Columbia National Advisory Council on Health Services Research Center

John McCarthy

National Advisory Council Meeting Columbia, Missouri June 12-13, 1977

McGaugh 1-14

National Advisory Council Meeting Palo Alto, California February 23-24, 1978

McGaugh 15-

Mitchell Model

Mehler, J.

Molecular Genetics

Melton 1-

Meltzer, B.

Meyer, A.

Michael 1-

Michie, D.

Michie, Donald Book Review of "Computer Power and Human Reason: From Judgement to Calculation" by J. Weizenbaum

Miller 1-

Millstein 50-

Minsky 1-

Minsky 10-

Mitroff 1- [Empty]

Mooers 1-

McCarthy 1-

McCulloch 1-

Neisser 1-

Newell, Allen "Fairytales"

Newell 1-3

Newell 4-8

Newell 9-10

Newell 11-12

Newell 13-17

Newell 18-20 [Empty]

Newell 21-õó24

Newell 25-27

Newell 28-

Newell 33-

Mathematical Social Sciences Board

MAC (Project MAC)

Management Information System

Management Science Laboratory University of California, Berkeley

Masinter, Larry

McGraw-Hill PL-1 Manuscript

McGraw-Hill Series

Memory Models Book

Feigenbaum and Feldman, Computers and Thought, Vol. 2, source material

Computers and Thought, Vol. 2, Working Paper Nos. 1-3

"Rational Decisionmaking in Business Organizations" by H. A. Simon and "On Cybernetics, Information Processing and Thinking" by M. E. Maron

IBM lawsuit

CDC deposition

IBM-CDC lawsuit materials: "A Comparison of the Simplex and Semi-duplex Configurations for the IBM 360/67" by K. R. Graham; "Evaluating Time-Shared Computer Usage," Michael M. Gold, May 1966; and correspondence, 1966-67

Computing at FERMILAB 1982

GEO (French project, lecture notes) 1980-81

Vuegraphs for TEKNOWLEDGE 1982-83

Minsky's Appendix A to Computers and Thought

Early Lederberg (Joshua) papers (NASA) 1964-65

SUMEX background material 1977

Lenat's thesis work on AM (slides)

Art of artificial intelligence

Slides, miscellaneous

Slides, miscellaneous group 2

All-day seminar on expert systems developed for TEKNOWLEDGE

HPP material

Transparancies, Board of Trustees, March 7, 1983

Larry Fogan, VM thesis work (notes)

Clancy's thesis work

'Puff' slide [medical automated instrument]

Ventilator Manager (VM) by Larry Fagan 1978

DENDRAL/CONGEN material 1976 and undated

CLOT 1980

"Applications for Artificial Intelligence for Chemical Inference - XXI" by Cheer, C., Djerassi, C., et al 1976

MOLGEN (Friedland's work)

GUIDON slides

MOLGEN slides (1 of 2)

MOLGEN slides (2 of 2)

"Planning with Constraints" by Mark Stefik 1980

MOLGEN slides, Stefik's work

EMYCIN (1 transparency)

Note leading to Computers and Thought, Vol. 2 (Original outline of topics)

EAF's AI notes 1975-76

Miscellaneous materials--DARPA, AI, etc., 1973-74

Miscellaneous materials--AI, etc.

EPAM Notes, EPAM III 1963-64

Computer printouts--more EPAM runs, annotated "trouble with Gordon Bower's data" 1963

EPAM III. Printout for Zvegintzov June 1963

Computer printouts--Rand Assembly EPAM II Dec. 1962

Computer printout--EPAM, Dan Bobrow Aug. 24, 1962

Computer printout--EPAM II Assembly June 21, 1962

The CAT run, EPAM July 24, 1962

POSTMEPAMB-II-2 printouts to Zvegintzov March 3-April 17, 1963

EPAM2, Assembly listing and successful reading test 11-17-60. Copy of nearly successful runs of reading test, 11-11-60 1960

EPAM II Successful SA run March 11, 1961

EPAM Paired Association Runs Sept.-Oct. 1960

EPAM II new listing, made Aug. 18 1964

SUMEX usage data 1978

W. Wickelgren "The Planning Method in Concept Attainment" Berkeley Thesis, 1962

Lectures on AI, 1963-65 and Jan. 1976

ISI-EAF's report SAFE 1976

Computers and Thought [book], correspondence, 1967-78

ARPA--AI climatology proposal 1971

Installation of Joshua Lederberg as President of the Rockefeller University (invitation) 1978

DARPA report on AI (outlines, draft, email) 1973

Reports on AI for DARPA and COSER

"Roadmap"--printout of file

"Roadmap"--printout of file #2 Fall 1975

Duda, Nilsson, and Raphael, "State of Technology in Artifical Intelligence," March 1977

Smith, Reid G., "An Introduction to Artificial Intelligence, DREA Technical Note SP/75/2, June 1975

Rosen, Charles A., "An Experimental Mobile Automaton," SRI Project 8259, July 1970

Winston, Patrick, Computers and Thought lecture (transcript), Augs. 21, 1973

Remembering, Learning and Forgetting: transcript of Feigenbaum's talk

Remembering, Learning and Forgetting: transcript pages 1-112

Remembering, Learning and Forgetting: transcript pages 113-292

Remembering, Learning and Forgetting: transcript pages 293-396

Remembering, Learning and Forgetting: transcript pages 397-437

Feigenbaum speech, general users meeting (tape 1 of 4) 1966 Oct 8

view online item

Feigenbaum speech, general users meeting (tape 2 of 4) 1966 Oct 8

view online item

Feigenbaum speech, general users meeting (tape 3 of 4) 1966 Oct 8

view online item

Feigenbaum speech, general users meeting (tape 4 of 4) 1966 Oct 8

view online item

Handbook of Artificial Intelligence--Preliminary edition (Signed by members of the CS dept) 1979

Computers and Thought--Polish Ed.

Computers and Thought--Japanese Ed. 1969

Computers and Thought--Russian Ed.

Computers and Thought--English 1963

Margaret Jacks Hall Dedication booklets 1980

EAF's Stanford stationary

Tek. Exec Briefing Summer 1981: copy of "AIAA 1981 Annual Meeting and Technical Display. 50th Anniversary Celebration." Material by F. Hayes-Roth

"Brief1.SLI--speaker's outline": outlines for talk on expert systems. Three drafts (July 1, 6, 20, 1981)

Handwritten note re: cartoons for slide presentation on medical knowledge systems

Slides(?) for presentation (RULEGEN Exploration)

Notes on Slides, hand-written list for transparency order

Photocopies of notes and slides: "Knowledge Engineering: Applied AI"

Exec Briefing Slides (not used)

PUB--The Document Compiler by Larry Tesler, 1973

PUB update, ed. by Les Earnest, 2 Dec 1975

Info and sample sheets for Xerox Graphics Printer (XGP); notes on how to use with PUB

1-page sheet on SUMEX version of PUBSTD.DFS (5 Feb 1978)

LABMAC.PUB [PUB, AB]. AI Handbook pub master file (2 Dec 1980)

SEARCH pub master file. (3 July 1980)

BACK.PUB--Standard BACK macro. (1 July 1980)

PUBMAC.DFS (7 Aug 1978)

1-page: Stanford Character set. Appendix 13.

printout: RGSMITH PUBMAC.RANDY;1 (24 Jan 1978)

Information on Datamedia Elite 2500A display terminal printout of file DM.ME

FOOTN.PUB: program to give footnotes to PUB document (28 Nov 1977)

BARR PUB master file

1-page: APPL.C[PUB, AB] (2 Dec 1978)

Info on "DO" > interfaces from editor to LISP.

"Prototype Overlay Xerographics--Writeup" 1979

"MARS: A Message Archiving and Retrievel Service" 1/30/78

ESS.PUB[XTX,KRD] (7 Aug 78)

Preliminary document--FTP: info on file-transfer program to/from Stanford AI lab to other ARPAnet sites

TELNET.MRC : document on TELNET. 4/23/78

Document on DIRED (DIRectory EDitor) 1974

DDHACK: document on DDHACK

Printout; TENEX batch: input is AIHPUB ROBOT.CTL;1; AI HANDBOOK. (5 Apr 78)

Same as above (26 Apr 78)

Document on DART: Dump and Restore Technique

Handwritten notes on xerox of Chap. II Search.

MASTER.PUB: AI Handbook pub master file (23 May 79)

Electronic mail from Clancey to Bennett, cc: Barr, Aikins re: PUB notes (28 Apr 79)

BACK.PUB (23 May 79)

AVMAC.PUB : AI Handbook pub master file (2 Mar 79)

SEARCH.PUB: (6 Apr 78)

1-page PUB STD.DFS (5 Feb 78)

LMAC.PUB : PUB Macro Package (15 Jul 80)

Copy of The Joy of TEX: 1980. Draft of revised guide.

TEX Errata as of Feb 4 1981.

Tau Epsilon Chi: A System for Technical Text by Donald Knuth. Nov. 1978

Facil TEX by Max Diaz. Draft, March 1981

EMACS--various documents on EMACS

GINN--Math, Feb. 1981. Notes on Repair Theory for Mike Genesereth's class, March 10, 1981. Copy of Planning Nets: A Representation for Formalizing Analogies and Semantic Models of Procedural Skills by Kurt VanLehn and J. S. Brown, Dec. 1970; Memo about math games for Ginn. Formalizing Analogies and Semantic Models of Procedural Skills by Kurt VanLehn and J.S. Brown, Dec 1978; Memo about math games for Ginn

LISP Feb. 1981. Documentation for using LISP and InterLisp-D

Articles. Contains copies of: Comprehension Monitoring by Ellen M. Markham, 1978; Cognitive Monitoring, John H. Flavell, 1978; Metacognitive Development, John H. Flavell, 1977; and metamemory, John H. Flavell.

PALLADIO. Oct 82. A Framework for Design, Christopher Tong, April 1982. Research done as part of Knowledge-Based VLSI Design Project.

Natural Language 1978

Old AI Handbook--Notes

AI Qual--1978

Search by Anne Gardner, HPP-79-12 STAN-CS-79-742, June 1979

Natural Language Understanding by Anne Gardner, James Davidson, and Terry Winograd, HPP-79-21 STAN-CS-79-754

AI Programming Languages [contains AI Handbook Automatic Programming, draft July 25, 1979, "Paul's Comments"]

Applications-oriented AI Research: Medicine, HPP-79-23 STAN-CS-79-757, August 1979

Applications-oriented AI Research: Education, HPP79-17 STAN-CS-79-749, July 1979

Automatic Programming by Robert Elschlager and Jorge Phillips, HPP-79-24 STAN-CS-79-758, August 1979

Applications-oriented AI Research: Science and Mathematics [technical report]

Index [possibly to Handbook of Artificial Intelligence]--Feb. 1981

Front Matter [to Handbook of Artificial Intelligence]

XGPDVI [computer program] 1981

PUB/DVI 1980

Speech Understanding Systems, 1979

Dover--LMAC publication [drafts of AI Handbook] 1980

IBM Journal of Research and Development [articles on Natural Language], July 1976

Structural Knowledge in a Document Information Consulting System by ronald J. Brachman, TR 6-75 Aiken Computation Laboratory, Harvard

HAI NET [learning] 1 of 2

HAI NET [learning] 2 of 2

GLOSS 1976

CS 225 1976

Raiffa, H. [contains outlines and other papers re AI Handbook] 1977

AI Handbook, miscellaneous memos and other items

AI Handbook, Miscellaneous

Annual Reports Biotechnology Resources Program of the National Institutes of Health 1976-1978

DENDRAL Site Visit Jan. 1977

Analysis--Steriod Spectra (Helsinki)

BALGOL Program: Number of Structures

Bargraph--Accounting

Boiling Points

Statistical Analysis--Blaisdell, 1972

Chemical GPS by Ken Siler (C.S. 224-225), 1967

The Heuristic Chemist: Son of Chemical GPS by J. M. Schlesinger (C.S. 224-225), 1967

COIN: Report by Jim George (C.S. 224) 1967

Data Adjustment

ELEMAP--ACME

Deuterium Labelling

Display Package by Bill Pitts (1968)

DSGET 1972

Files, Disk and Tape Inventory, 1972-74

Filtered Dictionary [annotated copy of Report by Jim George 1967]

Format Fns--LISP 1971

Appendix A of DENDRAL Predicter Program, 1971

Acychic Generator (SUMEX Machine), circa 1975

Important Files 1970

International Joint Council on Artificial Intelligence (IJCAI) Paper and correspondence, 1970-71.

International Management Association of Japan--1970-72; correspondence

Indirect Cost Recovery--1970

Information Exchange Group--including membership list 1966; printing guides; articles about IEC

Institute for the Future--1966

Interdisciplinary Conference--June 1965

Invitations--to EAF and Bruce Buchanan, c. 1970-73

IIASA (?)--telex, Nov. 22, 1973

IJCAI III, 1973--papers

IJCAI II, 1971--papers

IBSYS/ Job Monitor 7090 Systems--November 17, 1965

International Cell Research Organization (ICRO)/ UNESCO Framing Course--Sept. 1968

Institute of Electrical and Electronic Engineers (IEEE) Meeting 1971

IFIP (International Federation for Information Processing) 1965 Report on the Panel on the Mechanization of Creative Processes

IFIP 1968--correspondence and travel plans

IFIP 1970--World Conference on Computer Education

IFIP 1971--materials relating to travel grant for Bruce Buchanan

IFIP Paper 1971--"The Heuristic DENDRAL Program for Explaining Empirical Data."

IT Meeting--ARPA Intelligent Terminal Meeting, Jan. 28, 1975, Rand Corp., Santa Monica

ITEMS--Social Science Research Council Literature (c. 1957-65)

Japanese Contacts--letter from Makoto Arisawa, Aug 3, 1977

Learning, Remembering and Forgetting (2nd conference): Sep. 1964

Learning, Remembering and Forgetting (3rd conference): corrections for "Elements of an Information Processing Theory of Memory"

Doug Lenat--correspondence and paper "Automated Theory Formation in Mathematics" 1975

Levinthal Robot Project--Jan 13, 1978

New Reports and Publications List--from SU Computer Science Library c. 1977-78

Library and Information Science Today--1974, description of Heuristic Programming Project/ DENDRAL

Learning, Remembering and Forgetting Diagrams--1965 Conference

Licklider--11/14/74, handwritten note

Lindberg, Donald--Curriculum Vitae and publications list, 1971

Linear IPL--program description ?

LISP 360/ System Overview--proposals for changes, c. 1969-70

Computer Science Dept. Qualifying Examinations--1964-74

CS Dept. Student Info--1972-75

Course Enrollments 1975

Computer Science Departments Evaluations--1977

Computer Science Future at Stanford--"The Future of Computer Science at Stanford" By Forsythe, Herriot, Miller 1967; and "An Undergraduate Program in Computer Science--Preliminary Recommendations" (ACM Report, Sep 1965).

McCorduck, Pamela--correspondence, articles, 1975-78

Mathematical Social Science Board (MSSB)--1966-78

MSSB--proposals, correspondence 1977

MSSB--1976

MSSB--1975-76

Carnegie Corporation. Various notes, reports on "Simulation of Cognitive Processes Project"

Chairmen's Mtg. 1976. (*SEE: Snowbird*) Correspondence from A.K. Joshi, Chairman of Dept. of Computer and Information Science, Univ. of Penn. Proposal for GRE exam in CS, copies of proposed ETS exam.

Carnegie Technical. Brochures and Reprints.

Chem. Articles: "Wiswesser Line Notation: Simplified Techniques for Converting Chemical Structures to WLN"

Chemistry Project: Notes from 1965, 1966 on Chemistry Subproject (DENDRAL)

Chinese Visit. Info. In brochure on visit 1972

China Trip : 1977 arrangements for trip to PRC for Dantzig, Knuth and T.C. Hu (UCSD)

Chinese Computer Science. Correspondence and press clippings re: 1972 visit from PRC dignitaries.

Chowning's Music Project: copy of proposal for research in Computer Generated Music and Acoustical Analysis, Leland Smith and John Chowning, Feb. 11, 1966

Cleveland Trip. Copies of papers from 4th Systems Symposium and correspondence. 1969.

Harold Cohen. Papers

Harold Cohen/ Gordon Bell: handwritten notes.

Command-Control/ ISI: e-mail and diagrams of command-control applications for Navy. 1975

Computation Center. Minutes of Committee on Computation Facilities (Jan. 12, 1973); copy of report from Pres.'s Committee on Comp. Sys. Planning (Sept. 7, 1965); memo from C.R.Dickens on organizational modifications (10 Mar 72).

Computer Forum (#1): various memos and reports, 1970-78.

Computer Forum (#2): various memos and reports, 1970-78.

Computer Forum (#3): 1978: various memos and reports

Computer Professionals Against ABMs: Newsletters and press clippings. 1970-71

Calendars 1971-73

Computer Science Dept. Admissions Com.: Minutes 1-24-74; memo on GRE scores, demographics 1977-78 CS Ph.D. applicants

Computer Science Colloquia 1964-65

Computer Science Dept. Annual Report. Memos, etc. 1969-72

Computer Science Advisory Committee: memos and correspondence 1967-1978

CSD Building File. Memos on space requirements for CSD groups 1972-76.

Computer Science Dept. Chairmen: list of attendees at Snowbird conference, July 1974. (*See Snowbird and Chairmen's Meeting*)

Computer Science Dept. Committees: list of committee membership 1974-75

C.S.D. Forum Committee: memos on meetings, 1975

Computer Science Dept. Comprehensive Exams: 1973-75

CSD Computer Resources Committee. Minutes of meeting, Dec. 14, 1973

Computer Science Dept. Courses. Memos and course description 1965-1973.

CS 126: Course material for CS 126--Intro to Computing for Behavioral and Social Scientists. Taught by EAF, fall 1968

unlabeled: contains final for CS 127, and syllabus

CS 127: memo on course description for CS 127, 1977.

CS 127: material for CS 127, and list of changes to CS230.

TEX: Photocopies and notes, 2/81

Volume 1-Final. Outline for AI Handbook

Printing. Photocopies, brochures and letters re: printing AI Handbook.

XGPDVI, Feb 1981. Photocopies of changes to XGPDVI wp program, copies AI Handbook pub master file, and copy subject index AI Handbook

Volume I, AI Handbook, front matter, back matter. 2/81

HPP logo

AERA-BIP 1981. Correspondence re: proposed symposium

Phil. of Science, Darden. 1980. Copy of outline for seminar on Analogical Reasoning and Theory Construction in Science (CS 320, Fall 1980, Buchanan and Darden), and bibliography

NBI, March 1981: Correspondence from A. Barr to Dr. L. Rothstein, re: BIP.

CS224, Introduction to AI, Winter 1980. Douglas Lenat. Outlines, probleSQms sets, final.

Cognitive Processes in Planning. Barbara Hayes-Roth, Fall 1979, some materials for seminar.

Psycho's 1980. Copies of: Meta Knowledge and Memory, A. Barr, Nov. 1977; The Representation Hypothesis, A. Barr, Nov. 1979; Meta-knowledge and Cognition, A. Barr, Feb. 1979

June 1980. Materials from Second Annual Meeting of the Cognitive Science Conference, also ONR meeting of contractors, agenda and correspondence.

Tymnet. Documentation on using SUMEX-AITRM via TYMNET network, and intro to SUMEX-AIM TENEX. (1975, rev. '78)

HEATH 1980. Documentation and schematics for Heath-19 keyboard package.

Orientation 1977. Orientation materials for new CS students, and printing requests for packets. List of advisers.

TINLAP-2, 1978. Schedule and materials for TINLAP (Theoretical Issues in Natural Language Processing-2) Workshop. U. of Illinois.

HPP -1979. Includes: Quarterly Management Report, Dec. 31, 1979 for HPP to DARPA. Proposal to The Advanced Research Projects Agency for the Continuation of the Heuristic Programming Project April '79. Quarterly Management Report, March 31, 1978. Description of HPP projects, April 1979. "A Physiological Rule-Based System for Interpreting Pulmonary Function Test Results" J.C. Kunz, et al. HPP-77-17 "The DENDRAL Project: A Short Summary" B. Buchanan, Mar. 1977. HPP-79-5 "Knowledge Engineering for Dynamic Clinical Settings" L. Fagan et al. HPP-78-16 "Ventilator Manager" L. Fagan.

AGE. HPP-79-4 "AGE (Attempt to Generalize): A Knowledge-Based Program for BuildingW^"Issues in Distributed Sensor Net Design" R. G. Smith. Jan 1978.

IJCAI 1979: Information and travel arrangements for Sixth International Joint Conference on AI, Aug. 1979, Tokyo. Correspondence and suggested revisions for A. Barr's "Meta-Knowledge and Cognition."

SIGLUNCH| ICAI/BIP: Reprint of "The computer as a tutorial laboratory: the Stanford BIP project" A. Barr, M. Beard, and R. Atkinson, 1976. E-mail between M. Beard and A. Barr, draft of letter to Dr. Hollan. Information on marketing BIP (Basic Instructional Programming) within Navy. Notes and Transparencies on BIP.

CS 701-VLSI Summer '80: Outline for lecture and homework for CS/EE 701: Introduction to VLSI Systems. Lyons. Questionnaire and bug-list.

CS 365--Spring 1979. Syllabus for Seminar in Computational Linguistics. Terry Winograd.

Nancy Feldman/ W. Marslen-Wilson--1977: Correspondence from Nancy Feldman to A. Barr, April 24, 1977. Copies of : "Memory and Levels of Processing in a Psycholinguistic Context" William Marslen-Wilson and L.K. Tyler from Journal of Experimental Psychology 1976.; "Linguistic Structure and Speech Shadowing at Very Short Latencies" Marslen-Wilson. Nature, Aug 24, 1973.; Untitled copy of paper by Marslen-Wilson and Tyler on extracting meaning from sentences.

Flavell, 1979. Includes: "From Social Interaction to Higher Psychological Processes" by J.V. Wertsch. 1978. "Metacognition and Cognitiv][e Monitoring" by J.H. Flavell ¯Materials for Psych 246. "Fragments of a Theory of Human Plausible Reasoning" A. Collins. Notes from Barr and Flavell on artificial meta-cognition. HPP-79-11 "Transfer of Expertise: A theme for AI research" A. Barr, J. Bennett, and W. Clancey. HPP-79-6 "Meta-knowledge and Cognition" A. Barr. Monograph, Kreutzer et al., "IV. Conclusions." "Realizing That You Don't Understand: A Preliminary Investigation" Ellen Markman. "Skills, Plans and Self-Regulation" A. Brown and J. DeLoache. Notes on Markman, April 20, 1979. "Teiresias: introduction to knowledge-based programs" from The AI Handbook.

Way Cognitive Science. "A Very Personal History" by G. A. Miller from Talk to Cognitive Science Workshop, MIT, 1 June 1979.and "Historical Addendum"

Distributed Problem Solving: "Multiprocessor Organization--A Survey." P.H. Enslow Jr. from Computing Surveys, March 1977. HPP-78-2 "Issues in Distributed Sensor Net Design" R. G. Smith. Jan. 1978

Winograd, CS/Ling 365, Winter 1978: Course material for "Seminar in Computational Linguistics" and copies of readings.

Humberto Maturana: Notes on Maturana as guest speaker. "Knowledge and Social Sciences: a preliminary analysis" D.T. Campbell, T.F. Pettigrew, S.E. Taylor, T.I. Mimica,May '77. "The Cybernetics of Cognitive Processes" K.L. Wilson May '74. "Biology of Cognition" Humberto Maturana. Nov. 1970. "Autopoiesis" XV H. Maturana. "Problems of Knowledge and Cognizing Organisms" F. Varela and E. von Glasersfeld. April 1977. "Biology of Language: the epistemology of reality". "Representations of Autonomy" (Working Draft) J. Goguen and F. Varela, Aug. 1977.

CS 209--Flores: Notes and readings for CS 209

Pribram 1977: Various notes and reading material

Representational Semantics CS 365, Winograd, Spring 1977: Notes and outlines for course.

Notes from IJCAI-5

Copies of "Meta-knowledge and Memory" A. Barr, with requests for corrections/ suggestions. Returned copies and comments from various sources.

Copies of: "The Computer and the Brain" John von Neumann "Production Systems: Models of Control Structures" A. Newell "The Role of Raw Power in Intelligence" H. Moravec, 1976 "KRS--Chap. 1 (draft)" Brian Smith, 1977 Course Description, CS 365--Seminar in Computational Linguistics, Spr 1977. Winograd "Sentence Perception as an Interactive Parallel Process" William Marslen-Wilson, July 1975 "Lambda: The Ultimate Declarative" G.L. Steele Jr. 1976 "Lambda: The Ultimate Imperative" G.L. Steele Jr. and G.J. Sussman 1976 "In Defence of Logic (draft)" P.J. Hayes "Reasoning about knowledge and action" R. Moore. "The Semantic Conception of Truth" A. Tarski "The Representation of Semantic Knowledge" G. Hendrix "A Formalism for Modelling" H. Levesque et al. "A Theory of English Grammar" B. Martin, 19 76 "Some Philosophical Problems from the Standpoint of Artificial Intelligence" J. McCarthy and P.J. Hayes

ARPA Contract 1977

ARPA Management Report 1979

2FLZ 754 ARPA MDA903-80-C-0107: cover letter for revised cost estimate of HPP, 1980.

New ARPA Proposal: for "Knowledge Base Management System" July 1979.

Copy of HPP proposal, 1975

HPP ARPA Projects- Consolidation Efforts. Encloses 3 folders: EAF- ARPA Meeting, July 23-24, 1974; EAF--ARPA Correspondence, re:contract costs, retro-active approval of expenses; ARPA Consolidation: various notes and correspondence

2 FCZ 723 ONR N00014-81-K-0303 Intelligent Agents request and approval for increased funding

Intelligent Agents Proposal -- 1980: Includes copy of proposal, "ISI Research into Cooperative Interactive Systems" by W. Mark, L.Lingard, D. Wilczynski (1980). Copy of notes for presentation of same, budget proposal for Intelligent Agents Project, and draft of proposal

Intelligent Agents: notes and correspondence regarding project, copy of "ISI Research in the Area of Cooperative Interactive Systems" (1979),and "An anatomy of Graceful Interaction in Spoken and Written Man-Machine Communication" P. Hayes and R. Reddy (1979)

MSC 79-05998 The Mechanization of Formal Reasoning. Correspondence re: extension of proposal, grant renewal; and copy of NSF proposal (1982).

2 FCZ 713 ONR N00014-81-K-0004: Letter from Arthur M. Diness (Assoc. Dir. of Research, Engineering Sciences, DB6ept. of the Navy) to E. A. Feigenbaum re: possible underequipped for project. April 16, 1982

Semi-annual Technical Report for Contract Period Aug. 1, 1977 to Jan. 31, 1978 and 2 copies of "Final Technical Report... Aug. 1, 1973 through July 31, 1977."

Proposal to the National Science Foundation: The Automation of Scientific Inference: Heuristic Computing Applied to Protein Crystallography. 3/1977--2/1979

Proposal: MOLGEN--A Computer Science Application to MolecularGenetics (NSF Grant MCS 76-11649)

ONR Distribution--quarterly progress reports list

(N00014-81-K-0004): request for funding modification, 1/1982

ONR: quarterly management reports from Office of Naval Research, 12/80 -4/82, request from Buchanan to revise budget

(2 P41 RR000785-09 NIH): SUMEX award notices for 1981

(3 P41 RR000785-0852 NIH [SUMEX]): notice of grant award 1981

Xerox EOS. Information from Xerox on new Xerox 1100, 6/81

Xerox Contract. Contract for Feigenbaum to work as consultant for Xerox, 7/80.

VM Project: Ventilator Manager notes, reprint "Computer-based Medical Decision Making: From MYCIN to VM", L. Fagan, E. Shortliffe, and B. Buchanan, 1980.

VLSI. Proposal to DARPA for a Network-Based Graphical Design System, 7/79, notes on discussion for choosing graphics interface, presentation notes for HPP-VLSI project 12/79

Robotics: Copy of Businessweek (6/9/80) article "Robots join the labor force"

ONR Proposal 1980: The Development of Representation Methods to Facilitate Knowledge Acquisition and Exposition in Expert Systems

(2 FCZ 703 MDA903-80-C-0107 VLSI/CAD): Modification of contract for VLSI/CAD project, quarterly management report for HPP, March 31, 1980

ONR Panel: List of Names for ONR/NRC Panel on Applied Mathematics

NLM Proposal: Blum. Proposal to Dept. of Health and Human Services, Oct. 1982 Computer Acquisition/Representation of Medical Knowledge

NSF Advisory Committee: Correspondence, minutes and press release re: NSF Advisory Subcommitte on Computing, 1980-81.

NSF Computer Engineering Division: Copy of report "Grants Supported by the Computer Engineering Program in Fiscal Year 1981 and 1982" and map with general distribution of awards.

NSF Student Science Programs: guide for preparation of proposals, 1980.

HPP Miscellaneous, three folders and loose notes: Principal Investigators--Information: copy of article on accounting problems on grants between universities and fed, and office memo reviewing federal export regulations. Intelligent Terminal Proposal: notes on intelligent couplers and bulletin board, 1974. Terminal Theft: correspondence, invoices and purchase requisitions re: theft of two terminals 6/75. Loose Papers: memo on space for HPP personnel (7/16/76) and memo re: deficit on NIH grant. (7/19/76).

IBM Proposal: Attempts to determine the User's conceptualizations of task domains within Intelligent Tutoring Systemsÿ . 1/25/83, Buchanan - Principal investigator

(2FCZ 439 MCS81-17330 NSF CRYSALIS): Copy of final project report for CRYSALIS (12/7/82); correspondence on project, and outline of system design

NIH Guide for Grants and Contracts 1980

(5PO1 LM03395 NAT. LIB. MED.): Office memo and notice of grant award for "Research Program: Biomedical Knowledge Representation" for 1981 and 1982.

(2 FCZ 426 5PO1LM03395-03 NLM NIH): empty

NLM Continuation Proposal 1980: continuation application for Computer Acquisition/ Representation of Medical Knowledge and request for rebudgeting.

(1 FCZ 610 Schlumberger-Doll): Memo on transfer of funds ($1500) to Prof. Feigenbaum's unrestricted fund, Nov. 22, 1980.

(1 FCZ 618 HPP GIFT FUND [EMYCIN]): memo on gift of $2000 from EAF to HPP gift fund.

(MDA-903-80-C-0680 DARPA): office memos on administration of HPP, quarterly management reports on VLSI/ CAD Network Based Graphics Development (April and July 1982)

Biomedical Knowledge Engineering and Infectious Diseases, submitted to NIH May, 1977.

Proposal: ARPA Heuristic Programming Project (ARPA Contract MDA 903-77-C-0322) Feb 1977, E. Feigenbaum principal investigator

Proposal to the National Institute of Health: A Computer-Based Consultant for Medical Decision Making 2/24/77. (Labeled inactive)

Proposal to the NIH: Computer-Based Consultations in Clinical Therapeutics 1977. (Labeled inactive)

CRYSALIS: Progress report May 1977; budget projection Feb 1, 1975 - Jan 31, 1977; invitation to EAF to speak at chemical crystallography seminar of National Academy of Sciences-Nat'l Research Council, Sep 1975; revised budget for CRYSALIS, March 1976.

MOLGEN (#1): copies of continuation proposal for MOLGEN, March 1979

MOLGEN (#2): Letter to Prof. Lederberg from John R. Pasta of NSF, thanking him for site visit (Mar 1977); Revised notice of grant award, Feb 1981; request for information on using DENDRAL and Meta-DENDRAL for identification of drugs from E.F. Domino, M.D. (Mar 1981); printout of draft of MOLGEN project report for NIH

MOLGEN (#3): Draft proposal by Mark Stefik for MOLGEN (May 76); printout of MOLGEN archive by Stefik (Jan 78), Printout on MOLGEN, Oct 75, addressed to EAF from Stefik; MOLGEN notes, printout Sep 77; memo re: MOLGEN grant (May 76)

MYCIN: copy of note on MYCIN's question-answering ability

ARPA P.I. Meeting, L.A., Feb 6-8, 1974

ARPA P.I. Meeting, March 1975

ARPA: contains folder on ARPA Contractor's Meeting, San Diego, Feb. 1971

Proposal for Continuation of the Stanford Artificial Intelligence Project and Heuristic DENDRAL Project ARPA SD-183, June 1969

VM "Ventilator Manager": copy of article "Managing the Data for Respiratory Measurements" by John J. Osborn, M.D.

ARPA PI Meeting: notes from meeting, probably early 70's

ARPA Contractors Meeting: San Diego, Feb. 1971

ARPA Contractors Meeting: San Diego, March 12-14, 1975.

ARPA Contractors Meeting: Washington D.C., Dec 1971

ARPA EAF: Revised Proposal to Defense Advanced Research Projects Agency for the continuation of the Heuristic Programming Project and the VLSI Theory Project. May 1982

EPAM Vocabulary List/ EPAM Inverse List (8-22-61)

"EPAMELTON" runs (EPAM Hypothesis for Melton, Shepherd and Teghtsoonian running recognition experiments) Prop. of N. Zvegintzov and E. A. Feigenbaum

EPAM III run, June 1963 (?) for Zvegintzov

Max Allen--Theses work. Handwritten copy of program, printout of program, printout of EPAM run

EPAM III--2 notes on changes to program, log book, summaries

AI Lab Memos and Computer Science Reports June 1977

AI Lab Memos and Computer Science Reports December 1974

AI Lab Memos and Computer Science Reports September 1974

AI Lab Memos and Computer Science Reports January 1975

AI Lab Memos and Computer Science Reports August 1974

AI Lab Memos and Computer Science Reports July 1973

AI Lab Memos and Computer Science Reports September 1974

"Semantics in Conceptual Analysis"

AI Lab Memos and Computer Science Reports April 1970

AI Lab Memos and Computer Science Reports May 1970

AI Lab Memos and Computer Science Reports April 1970

AI Lab Memos and Computer Science Reports March 25, 1970