1. PROGRESS REPORT ON PROGRAM-UNDERSTANDING SYSTEMS Title: PROGRESS REPORT ON PROGRAM-UNDERSTANDING SYSTEMS Authors: C. Cordell Green, R. J. Waldinger, David R. Barstow, Elschlager, Robert, Lenat, Douglas B., McCune, Brian P., Shaw, David E., and Steinberg, Louis I. Physical Description: 1 document ; 53 pages Document Type: Report Location: Call Number: SC0340, Accession: 1986-052, Box: 17, Folder: 5
2. Review of Projects Headed by M. Genesereth Title: Review of Projects Headed by M. Genesereth Authors: Genesereth, Michael R., 1948-, Feigenbaum, Edward A., Nii, Penny, and Lenat, Douglas B. Physical Description: 1 document ; 34 pages Document Type: Draft Location: Call Number: SC0340, Accession: 1986-052, Box: 31, Folder: 4
3. Review of the HPP Blackboard Project Title: Review of the HPP Blackboard Project Authors: Hayes-Roth, Barbara, Genesereth, Michael R., 1948-, Lenat, Douglas B., and Buchanan, Bruce G. Physical Description: 1 document ; 2 pages Document Type: Report Location: Call Number: SC0340, Accession: 1986-052, Box: 42, Folder: 35
4. AI Qual Syllabus Title: AI Qual Syllabus Authors: Lenat, Douglas B. Physical Description: 1 document Document Type: Memorandum Donor tags: AI and Stanford Computer Science Department Location: Call Number: SC0340, Accession: 1986-052, Box: 20, Folder: 24
5. AM coding in Interlisp Title: AM coding in Interlisp Authors: Lenat, Douglas B. Physical Description: 1 document Document Type: Computer Printout Donor tags: AM Location: Call Number: SC0340, Accession: 1986-052, Box: 44, Folder: 34
6. AM Thesis Draft Title: AM Thesis Draft Authors: Lenat, Douglas B. Physical Description: 1 document ; 1 page Document Type: Excerpt Location: Call Number: SC0340, Accession: 1986-052, Box: 11, Folder: 49
7. BEINGS: SYNTHESIS OF LARGE PROGRAMS FROM SPECIFIC DIALOGUES Title: BEINGS: SYNTHESIS OF LARGE PROGRAMS FROM SPECIFIC DIALOGUES Authors: Lenat, Douglas B. Physical Description: 1 document Document Type: Conference Paper Donor tags: Artificial Intelligence Location: Call Number: SC0340, Accession: 1986-052, Box: 44, Folder: 34
8. BEINGS: SYNTHESIS OF LARGE PROGRAMS FROM SPECIFIC DIALOGUES Title: BEINGS: SYNTHESIS OF LARGE PROGRAMS FROM SPECIFIC DIALOGUES Authors: Lenat, Douglas B. Physical Description: 1 document Document Type: Conference Paper Location: Call Number: SC0340, Accession: 1986-052, Box: 44, Folder: 34
9. Computer Forum - Thirteenth Meetin of the Stanford Computer Forum Title: Computer Forum - Thirteenth Meetin of the Stanford Computer Forum Authors: Lenat, Douglas B. Physical Description: 1 document ; 1 page Document Type: Memorandum Location: Call Number: SC0340, Accession: 1986-052, Box: 24, Folder: 1
10. Concerning mentoring by Feigenbaum; and his Computers and Thought Award Title: Concerning mentoring by Feigenbaum; and his Computers and Thought Award Authors: Lenat, Douglas B. Physical Description: 1 document Document Type: Letter Location: Call Number: SC0340, Accession: 1986-052, Box: 12, Folder: 24
11. CS224, Introduction to AI, Winter 1980. Outlines, problem sets, final and other Title: CS224, Introduction to AI, Winter 1980. Outlines, problem sets, final and other Authors: Lenat, Douglas B. Physical Description: 1 document Donor tags: AI and Computer Science Department Location: Call Number: SC0340, Accession: 1986-052, Box: 14, Folder: 10
12. CS224, Introduction to AI, Winter 1980. Outlines, problem sets, final and other Title: CS224, Introduction to AI, Winter 1980. Outlines, problem sets, final and other Authors: Lenat, Douglas B. Physical Description: 1 document Donor tags: AI and Computer Science Department Location: Call Number: SC0340, Accession: 1986-052, Box: 14, Folder: 10
13. CS224, Introduction to AI, Winter 1980. Outlines, problem sets, final and other Title: CS224, Introduction to AI, Winter 1980. Outlines, problem sets, final and other Authors: Lenat, Douglas B. Physical Description: 1 document Donor tags: AI and Computer Science Department Location: Call Number: SC0340, Accession: 1986-052, Box: 14, Folder: 10
14. CS224, Introduction to AI, Winter 1980. Outlines, problem sets, final and other Title: CS224, Introduction to AI, Winter 1980. Outlines, problem sets, final and other Authors: Lenat, Douglas B. Physical Description: 1 document Donor tags: AI and Computer Science Department Location: Call Number: SC0340, Accession: 1986-052, Box: 14, Folder: 10
15. CS224, Introduction to AI, Winter 1980. Outlines, problem sets, final and other Title: CS224, Introduction to AI, Winter 1980. Outlines, problem sets, final and other Authors: Lenat, Douglas B. Physical Description: 1 document Donor tags: AI and Computer Science Department Location: Call Number: SC0340, Accession: 1986-052, Box: 14, Folder: 10
16. CS224, Introduction to AI, Winter 1980. Outlines, problem sets, final and other Title: CS224, Introduction to AI, Winter 1980. Outlines, problem sets, final and other Authors: Lenat, Douglas B. Physical Description: 1 document Donor tags: AI and Computer Science Department Location: Call Number: SC0340, Accession: 1986-052, Box: 14, Folder: 10
17. Designing a Rule System That Searches for Scientific Discoveries Title: Designing a Rule System That Searches for Scientific Discoveries Authors: Lenat, Douglas B. and Gregory Harris Physical Description: 1 document Document Type: Report Donor tags: Heuristic search and Scientific Discovery Location: Call Number: SC0340, Accession: 1986-052, Box: 44, Folder: 34
18. Designing a Rule System That Searches for Scientific Discoveries Title: Designing a Rule System That Searches for Scientific Discoveries Authors: Lenat, Douglas B. and Gregory Harris Physical Description: 1 document ; 28 pages Document Type: Paper Location: Call Number: SC0340, Accession: 1986-052, Box: 44, Folder: 34
19. Eurisko Proposal Folder with draft proposal Title: Eurisko Proposal Folder with draft proposal Authors: Lenat, Douglas B. Physical Description: 1 document Document Type: Email Printout Donor tags: Eurisko and Lenat Location: Call Number: SC0340, Accession: 1986-052, Box: 32, Folder: 16
20. Lenat's thesis work on AM (slides) Title: Lenat's thesis work on AM (slides) Authors: Lenat, Douglas B. Physical Description: 1 document Donor tags: AM and Eurisko Location: Call Number: SC0340, Accession: 1986-052, Box: 4, Folder: 13
21. Meta-Cognition: Reasoning about Knowledge Title: Meta-Cognition: Reasoning about Knowledge Authors: Lenat, Douglas B. and Randall Davis Physical Description: 1 document Document Type: Report Donor tags: Expert Systems and Knowledge based systems Location: Call Number: SC0340, Accession: 1986-052, Box: 32, Folder: 8
22. On Automated Scientific Theory Formation: A Case Study Using the AM Program Title: On Automated Scientific Theory Formation: A Case Study Using the AM Program Authors: Lenat, Douglas B. Physical Description: 1 document Location: Call Number: SC0340, Accession: 1986-052, Box: 44, Folder: 34
23. On Automated Scientific Theory Formation: A Case Study Using the AM Program Title: On Automated Scientific Theory Formation: A Case Study Using the AM Program Authors: Lenat, Douglas B. Physical Description: 1 document Document Type: Conference Paper Donor tags: AM Location: Call Number: SC0340, Accession: 1986-052, Box: 44, Folder: 34
24. Summary of Research Progress Title: Summary of Research Progress Authors: Lenat, Douglas B. Physical Description: 1 document Donor tags: AI, Eurisko, Expert Systems, Heuristics, and Knowledge based systems Location: Call Number: SC0340, Accession: 1986-052, Box: 32, Folder: 8
25. The Nature of Heuristics Title: The Nature of Heuristics Authors: Lenat, Douglas B. Physical Description: 1 document Donor tags: Heuristics Location: Call Number: SC0340, Accession: 1986-052, Box: 32, Folder: 8
26. The Plausible Mutation of DNA Title: The Plausible Mutation of DNA Authors: Lenat, Douglas B. Physical Description: 1 document Donor tags: Eurisko, Evolution, and Heuristics Location: Call Number: SC0340, Accession: 1986-052, Box: 33, Folder: 8
27. THE UBIQUITY OF DISCOVERY Title: THE UBIQUITY OF DISCOVERY Authors: Lenat, Douglas B. Physical Description: 1 document Document Type: Journal Article Location: Call Number: SC0340, Accession: 1986-052, Box: 44, Folder: 34
28. The Ubiquity of Discovery Title: The Ubiquity of Discovery Authors: Lenat, Douglas B. Physical Description: 1 document Document Type: Journal Article Location: Call Number: SC0340, Accession: 1986-052, Box: 44, Folder: 34
29. The Ubiquity of Discovery Title: The Ubiquity of Discovery Authors: Lenat, Douglas B. Physical Description: 1 document ; 27 pages Document Type: Paper Donor tags: AI, AM, and Eurisko Location: Call Number: SC0340, Accession: 1986-052, Box: 44, Folder: 34
30. untitled Title: untitled Authors: Lenat, Douglas B. Physical Description: 1 document Location: Call Number: SC0340, Accession: 1986-052, Box: 44, Folder: 34
