2. AI Qual Syllabus

Physical Description:

1 document

Donor tags:

AI and Stanford Computer Science Department

3. AM coding in Interlisp

Physical Description:

1 document

Donor tags:

AM

4. AM Thesis Draft

Physical Description:

1 document ; 1 page

5. BEINGS: SYNTHESIS OF LARGE PROGRAMS FROM SPECIFIC DIALOGUES

Physical Description:

1 document

Donor tags:

Artificial Intelligence

6. BEINGS: SYNTHESIS OF LARGE PROGRAMS FROM SPECIFIC DIALOGUES

Physical Description:

1 document

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

Physical Description:

1 document ; 1 page

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

Physical Description:

1 document

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

Physical Description:

1 document

Donor tags:

AI and Computer Science Department

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

Physical Description:

1 document

Donor tags:

AI and Computer Science Department

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

Physical Description:

1 document

Donor tags:

AI and Computer Science Department

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. Designing a Rule System That Searches for Scientific Discoveries

Physical Description:

1 document

Donor tags:

Heuristic search and Scientific Discovery

16. Designing a Rule System That Searches for Scientific Discoveries

Physical Description:

1 document ; 28 pages

17. Eurisko Proposal Folder with draft proposal

Physical Description:

1 document

Donor tags:

Eurisko and Lenat

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

Physical Description:

1 document

Donor tags:

AM and Eurisko

19. Meta-Cognition: Reasoning about Knowledge

Physical Description:

1 document

Donor tags:

Expert Systems and Knowledge based systems

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

Physical Description:

1 document

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

Physical Description:

1 document

Donor tags:

AM

22. PROGRESS REPORT ON PROGRAM-UNDERSTANDING SYSTEMS

Physical Description:

1 document ; 53 pages

23. Review of Projects Headed by M. Genesereth

Physical Description:

1 document ; 34 pages

24. Review of the HPP Blackboard Project

Physical Description:

1 document ; 2 pages

25. Summary of Research Progress

Physical Description:

1 document

Donor tags:

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