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

Start over Topic Artificial intelligence

1. The Semantics of PASCAL in LCF. AIM-221

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

3. AAAS Symposium, "Machine Intelligence and Perception: The Past, Present, and Future". Part 1

4. AAAS Symposium, "Machine Intelligence and Perception: The Past, Present, and Future". Part 2

5. AAAS Symposium, "Machine Intelligence and Perception: The Past, Present, and Future". Part 3

6. AAAS Symposium, "Machine Intelligence and Perception: The Past, Present, and Future". Part 4

7. The Translation of 'GO-TO' Programs to 'WHILE' Programs. AIM-138

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

9. D724 Keynote Address: Artificial Intelligence (AI) as an Experimental Science by Herbert Simon - AAAI National Conference

10. IQ-17 Presidential Address: Toward an Theory of Knowledge, Reddy AAAI. Part 1

11. IQ-17 Presidential Address: Toward an Theory of Knowledge, Reddy AAAI. Part 2

12. Oliver Selfrideg, AAAI

13. Oliver Selfridge, AAAI

14. GEOMED - A Geometric Editor. AIM-232

15. Image Contouring and Comparing. AIM-199

16. Winged Edge Polyhedron Representation. AIM-179

17. An Overview of KRL. AIM-293

18. Ray Kurtzweil Panel at Boston Computer Society, "Powersharing: People, Computers and You"

19. Analysis of Behavior of Chemical Molecules : Rule Formation on Non-homogeneous Classes of Objects. AIM-215

20. Review of Hubert Dreyfus' 'What Computers Can't Do': a Critique of Artificial Reason. AIM-181

21. The Heuristic DENDRAL Program for Explaining Empirical Data. AIM-141

22. Toward an Understanding of Information Processes of Scientific Inference in the Context of Organic Chemistry. AIM-099

23. On Automating the Construction of Programs. AIM-236

24. An Adaptive Command and Control System Utilizing Heuristic Learning Processes. AIM-058

25. A Television Camera Interface for the PDP-1. AIM-034

26. Carnegie Mellon University speech

27. Efficient Compilation of Linear Recursive Programs. AIM-167

28. On the Power of Programming Features. AIM-185

29. Program Schemas With Equality. AIM-158

30. Can Expert Judges, using Transcripts of Teletyped Psychiatric Interviews, Distinguish Human Paranoid Patients from a Computer Simulation of Paranoid Processes?. AIM-182

31. Pattern-Matching Rules for the Recognition of Natural Language Dialogue Expressions. AIM-234

32. The Rationale for Computer Based Treatment of Language Difficulties in Nonspeaking Autistic Children. AIM-193

33. The Computing Time of the Euclidean Algorithm. AIM-187

34. An Overview of Production Systems. AIM-271

35. Production Rules as a Representation for a Knowledge-Based Consultation Program. AIM-266

36. 25th Anniversary of the DENDRAL Project--Buchanan, Barr, Friedland, Clancy, Bennett, Dietterich, Kunz, Englemore--Session #3

37. 25th Anniversary of the DENDRAL Project--Buchanan, Barr, Friedland, Clancy, Bennett, Dietterich, Kunz, Englemore--Session #3

38. 25th Anniversary of the DENDRAL Project--Feigenbaum, Smith, Carhart, Sutherland--Session #1

39. 25th Anniversary of the DENDRAL Project--Feigenbaum, Smith, Carhart, Sutherland--Session #1

40. 25th Anniversary of the DENDRAL Project--Lederberg, Stefik, Masinter, Sridharan, Altman, Johnson--Session #2

41. 25th Anniversary of the DENDRAL Project--Lederberg, Stefik, Masinter, Sridharan, Altman, Johnson--Session #2

42. 25th Anniversary of the DENDRAL Project--Lenat, Davis, Wiederhold, Hart, Amarel, Flatt, Levinthal, Bobrow, Rindfleisch--Session #4

43. 25th Anniversary of the DENDRAL Project--Lenat, Davis, Wiederhold, Hart, Amarel, Flatt, Levinthal, Bobrow, Rindfleisch--Session #4

44. PDP-6 Price List

45. Programmed Data Processor-10 Manual

46. Programmed Data Processor-6

47. Programmed Data Processor-6 Handbook

48. Programmed Data Processor-6 Handbook

49. Programmed Data Processor-6 Handbook

50. Final Report : The First Ten Years of Artificial Intelligence Research at Stanford. AIM-228

51. Find a Font. ON-74

52. Algebraic Simplication. AIM-005

53. Clock function for LISP 1.5. AIM-004

54. On Generality and Problem Solving : a Case Study Using the Dendral Program. AIM-131

55. Documentation of the MacMahon Squares Problem. AIM-012

56. Automatic Programming. AIM-160

57. Total Complexity and Inference of Best Programs. AIM-159

58. HAL, A Programming System for Automation. AIM-243

59. Axiomatization and Implementation. AIM-015

60. UUO Manual. ON-55.3

61. A Framework for Control in Production Systems. AIM-322

62. Aesthetics Systems. AIM-189

63. A Conceptually Based Sentence Paraphraser. AIM-196

64. Operational Reasoning and Denotational Semantics. AIM-264

65. Towards a Semantic Theory of Dynamic Binding. AIM-265

66. On Program Synthesis Knowledge. AIM-306

67. On Program Synthesis Knowledge. AIM-306

68. Interactive Generation of Object Models with a Manipulator. AIM-274

69. Monitor Command Manual. ON-54.3

70. The Generation of French from a Semantic Representation. AIM-212

71. An Expression Input Routine for LISP. AIM-018

72. Programming Languages and Translation. AIM-019

73. Hints on Programming Language Design. AIM-224

74. Parallel Programming: an Axiomatic Approach. AIM-219

75. The Advice Taker and GPS. AIM-033

76. Automatic Program Verification I: Logical Basis and its Implementation. AIM-200

77. Correspondence about Yershov Trip around USA including Stanford, organized by Prof. J. Schwartz, NYU and Prof. John McCarthy, Stanford

78. Correctness of a Compiler for Algol-like Programs. AIM-048

79. Some Completeness Results in the Mathematical Theory of Computation. AIM-045

80. A Heuristic Approach to Program Verification. AIM-191

81. Dr. Edward Feigenbaum, KCBS - Jan Hutchins

82. KGO News Talk Radio

83. An on Line Algebraic Simplification Program. AIM-037

84. Rembering Joshua Lederberg

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

86. Axiomatic Approach to Total Correctness of Programs. AIM-210

87. Mathematical Theory of Partial Correctness. AIM-139

88. Towards Automatic Program Synthesis. AIM-127

89. A Formal System of Computation. AIM-025

90. Applications of Artificial Intelligence for Chemical Inference : XII. Exhaustive Generation of Cyclic and Acyclic Isomers. AIM-216

91. A Basis for a Mathematical Theory of Computation

92. A Formal Description of a Subset of ALGOL. AIM-024

93. A Proof-checker for Predicate Calculus. AIM-027

94. A Tough nut for Proof Procedures. AIM-016

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

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

« Previous
Next »
1
2
3
4
5
…
125
126