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

Start over Topic Artificial intelligence

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

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

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

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

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

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

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

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

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

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

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

13. Oliver Selfrideg, AAAI

14. Oliver Selfridge, AAAI

15. GEOMED - A Geometric Editor. AIM-232

16. Image Contouring and Comparing. AIM-199

17. Winged Edge Polyhedron Representation. AIM-179

18. An Overview of KRL. AIM-293

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

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

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

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

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

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

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

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

27. Carnegie Mellon University speech

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

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

30. Program Schemas With Equality. AIM-158

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

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

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

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

35. An Overview of Production Systems. AIM-271

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

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

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

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

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

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

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

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

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

45. PDP-6 Price List

46. Programmed Data Processor-10 Manual

47. Programmed Data Processor-6

48. Programmed Data Processor-6 Handbook

49. Programmed Data Processor-6 Handbook

50. Programmed Data Processor-6 Handbook

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

52. Find a Font. ON-74

53. Algebraic Simplication. AIM-005

54. Clock function for LISP 1.5. AIM-004

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

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

57. Automatic Programming. AIM-160

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

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

60. Axiomatization and Implementation. AIM-015

61. UUO Manual. ON-55.3

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

63. Aesthetics Systems. AIM-189

64. A Conceptually Based Sentence Paraphraser. AIM-196

65. Operational Reasoning and Denotational Semantics. AIM-264

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

67. On Program Synthesis Knowledge. AIM-306

68. On Program Synthesis Knowledge. AIM-306

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

70. Monitor Command Manual. ON-54.3

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

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

73. Programming Languages and Translation. AIM-019

74. Hints on Programming Language Design. AIM-224

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

76. The Advice Taker and GPS. AIM-033

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

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

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

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

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

82. Dr. Edward Feigenbaum, KCBS - Jan Hutchins

83. KGO News Talk Radio

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

85. Rembering Joshua Lederberg

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

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

88. Mathematical Theory of Partial Correctness. AIM-139

89. Towards Automatic Program Synthesis. AIM-127

90. A Formal System of Computation. AIM-025

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

92. A Basis for a Mathematical Theory of Computation

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

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

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

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

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