Topic: Computer science - The History of Artificial Intelligence - Spotlight at Stanford Search Results

Start over Topic Computer science

2. 56 Talk at DEC

3. 56 Talk at DEC

4. A Basis for a Mathematical Theory of Computation

5. A deductive approach to program synthesis

6. A heuristic approach to program verification

7. A hypothetical dialogue exhibiting a knowledge base for a program-understanding system

8. A new approach to recursive programs

9. A Symposium to Honor Mina Rees, AAAS 1982 Annual Convention

10. Advanced Architecture Meeting - Delagi

11. Advanced Architecture Meeting. Part 1

12. Advanced Architecture Meeting. Part 2

13. Advanced Architecture Project - Penny. Part 1

14. Advanced Architecture Project - Penny. Part 2

15. Adverbs and belief

16. Aesthetics systems

17. AL users' manual

18. Alan Kay. Part 1

19. Alan Kay. Part 2

20. Alan Kay. Part 3

21. Albert Yu

22. An artificial intelligence approach to machine translation

23. An overview of KRL, a Knowledge Representation Language

24. ARPA Contractors Meeting - February, 1974 - 1973 ARPA Project Summary - Department Computer Science, Stanford University

25. ARPA Contractors Meeting: San Diego, March 12-14, 1975. - STANFORD ARTIFICIAL INTELLIGENCE LABORATORY 1974 ARPA Project Summary

26. Artificial Intelligence 1973 - The Present Scientific Situation in Artificial Intelligence, Handwritten notes and "AI"

27. Artificial Intelligence and the Stanford A.I. Lab

28. Association for Computing Machinery (ACM) Turing Award (Master)

29. Automatic program verification V: verification-oriented proof rules for arrays, records and pointers

30. Automatic programming

31. Axiomatic approach to total correctness of programs

32. BAIL: a debugger for SAIL

33. BAOBAB, a parser for a rule-based system using a semantic grammar

34. Bob Flast

35. Bob Flast. Parts 1-2

36. Bob Flast. Parts 3-4

37. Bruce Johnson

38. Bruce Johnson. Parts 2-4

39. Carnegie Mellon University speech

40. Checking proofs in the metamathematics of first order logic

41. Chuck Williams, Inference Corppration, HPN interview

42. Computer Chronicles - AI, MacNeil-Lehrer/5th Generation

43. Computer Revolution: From Numbers to Symbols

44. Computer Science symposium. Part 1

45. Computer Science symposium. Part 2

46. Computer Science symposium. Part 3

47. 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

48. 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

49. 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