2. PROGRESS REPORT ON PROGRAM-UNDERSTANDING SYSTEMS

Physical Description:

1 document ; 53 pages

3. Review of Projects Headed by M. Genesereth

Physical Description:

1 document ; 34 pages

4. Review of the HPP Blackboard Project

Physical Description:

1 document ; 2 pages

5. AI Qual Syllabus

Physical Description:

1 document

Donor tags:

AI and Stanford Computer Science Department

6. AM coding in Interlisp

Physical Description:

1 document

Donor tags:

AM

7. AM Thesis Draft

Physical Description:

1 document ; 1 page

8. BEINGS: SYNTHESIS OF LARGE PROGRAMS FROM SPECIFIC DIALOGUES

Physical Description:

1 document

Donor tags:

Artificial Intelligence

9. BEINGS: SYNTHESIS OF LARGE PROGRAMS FROM SPECIFIC DIALOGUES

Physical Description:

1 document

10. Computer Forum - Thirteenth Meetin of the Stanford Computer Forum

Physical Description:

1 document ; 1 page

11. Concerning mentoring by Feigenbaum; and his Computers and Thought Award

Physical Description:

1 document

12. CS224, Introduction to AI, Winter 1980. Outlines, problem sets, final and other

Physical Description:

1 document

Donor tags:

AI and Computer Science Department

13. CS224, Introduction to AI, Winter 1980. Outlines, problem sets, final and other

Physical Description:

1 document

Donor tags:

AI and Computer Science Department

14. CS224, Introduction to AI, Winter 1980. Outlines, problem sets, final and other

Physical Description:

1 document

Donor tags:

AI and Computer Science Department

15. CS224, Introduction to AI, Winter 1980. Outlines, problem sets, final and other

Physical Description:

1 document

Donor tags:

AI and Computer Science Department

16. CS224, Introduction to AI, Winter 1980. Outlines, problem sets, final and other

Physical Description:

1 document

Donor tags:

AI and Computer Science Department

17. CS224, Introduction to AI, Winter 1980. Outlines, problem sets, final and other

Physical Description:

1 document

Donor tags:

AI and Computer Science Department

18. Designing a Rule System That Searches for Scientific Discoveries

Physical Description:

1 document

Donor tags:

Heuristic search and Scientific Discovery

19. Designing a Rule System That Searches for Scientific Discoveries

Physical Description:

1 document ; 28 pages

20. Eurisko Proposal Folder with draft proposal

Physical Description:

1 document

Donor tags:

Eurisko and Lenat

21. Lenat's thesis work on AM (slides)

Physical Description:

1 document

Donor tags:

AM and Eurisko

22. Meta-Cognition: Reasoning about Knowledge

Physical Description:

1 document

Donor tags:

Expert Systems and Knowledge based systems

23. On Automated Scientific Theory Formation: A Case Study Using the AM Program

Physical Description:

1 document

24. On Automated Scientific Theory Formation: A Case Study Using the AM Program

Physical Description:

1 document

Donor tags:

AM

25. Summary of Research Progress

Physical Description:

1 document

Donor tags:

AI, Eurisko, Expert Systems, Heuristics, and Knowledge based systems