Search

Start over

2. Stanford Time-Sharing Project Memo : The Post System. Memo 34

3. The semantics of PASCAL in LCF

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

5. Checking proofs in the metamathematics of first order logic

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

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

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

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

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

11. The translation of 'go to' programs to 'while' programs

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

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

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

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

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

17. Oliver Selfrideg, AAAI

18. Oliver Selfridge, AAAI

19. Stanford Time-Sharing Project Memo : Use of the 1301 Disk and the 7320 Drum in the Stanford Time-Sharing System. Memo 07

20. GEOMED - A Geometric Editor. AIM-232

21. Image contouring and comparing

22. Image Contouring and Comparing. AIM-199

23. Winged Edge Polyhedron Representation. AIM-179

24. An overview of KRL, a Knowledge Representation Language

25. An Overview of KRL. AIM-293

26. The use of sensory feedback in a programmable assembly system

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

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

29. Stanford Time-Sharing Project Memo : Commands for Bifrost Under Odin. Memo 29

30. Stanford Time-Sharing Project Memo : Preliminary Specifications New Time-Sharing System. Memo 28

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

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

33. The Heuristic DENDRAL program for explaining empirical data

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

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

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

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

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

39. Carnegie Mellon University speech

40. Efficient compilation of linear recursive programs

41. On the power of programming features

42. Program schemas with equality

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

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

45. Program Schemas With Equality. AIM-158

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

47. Multidimensional analysis in evaluating a simulation of paranoid thought

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

49. Pattern-matching rules for the recognition of natural language dialogue expressions

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

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

52. An Overview of Production Systems. AIM-271

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

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

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

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

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

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

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

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

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

62. Inference rules for program annotation

63. The evolution of programs: a system for automatic program modification

64. PDP-6 Price List

65. Programmed Data Processor-10 Manual

66. Programmed Data Processor-6

67. Programmed Data Processor-6 Handbook

68. Programmed Data Processor-6 Handbook

69. Programmed Data Processor-6 Handbook

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

71. Find a Font. ON-74

72. Algebraic Simplication. AIM-005

73. Clock function for LISP 1.5. AIM-004

74. The interaction of inferences, affects, and intentions, in a model of paranoia

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

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

77. Stanford Time-Sharing Project Memo : The Scope Text Editor. Memo 26

78. Stanford Time-Sharing Project Memo : User's Manual to the Odi Time Sharing System. Memo 23

79. Automatic programming

80. Automatic Programming. AIM-160

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

82. Total complexity and the inference of best programs

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

84. Axiomatization and Implementation. AIM-015

85. Reading the Wire Service News. Operating Note 72.1

86. UUO Manual. ON-55.3

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

88. Aesthetics systems

89. Aesthetics Systems. AIM-189

90. Stanford Time-Sharing Project Memo : The Arrangnement of Reserved Areas of the 1301 Disk File. Memo 16

91. A Conceptually Based Sentence Paraphraser. AIM-196

92. Operational reasoning and denotational semantics

93. Towards a semantic theory of dynamic binding

94. Operational Reasoning and Denotational Semantics. AIM-264

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

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

97. Progress report on program-understanding systems