Search

Start over Topic Stanford Artificial Intelligence Laboratory

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

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

3. GEOMED - A Geometric Editor. AIM-232

4. Image Contouring and Comparing. AIM-199

5. Winged Edge Polyhedron Representation. AIM-179

6. An Overview of KRL. AIM-293

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

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

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

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

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

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

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

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

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

16. Program Schemas With Equality. AIM-158

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

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

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

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

21. An Overview of Production Systems. AIM-271

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

23. PDP-6 Price List

24. Programmed Data Processor-10 Manual

25. Programmed Data Processor-6

26. Programmed Data Processor-6 Handbook

27. Programmed Data Processor-6 Handbook

28. Programmed Data Processor-6 Handbook

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

30. Find a Font. ON-74

31. Algebraic Simplication. AIM-005

32. Clock function for LISP 1.5. AIM-004

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

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

35. Automatic Programming. AIM-160

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

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

38. Axiomatization and Implementation. AIM-015

39. Reading the Wire Service News. Operating Note 72.1

40. UUO Manual. ON-55.3

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

42. Aesthetics Systems. AIM-189

43. A Conceptually Based Sentence Paraphraser. AIM-196

44. Operational Reasoning and Denotational Semantics. AIM-264

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

46. On Program Synthesis Knowledge. AIM-306

47. On Program Synthesis Knowledge. AIM-306

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

49. Monitor Command Manual. ON-54.3

50. Monitor Command Manual. Operating Note 54.7

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

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

53. Programming Languages and Translation. AIM-019

54. Hints on Programming Language Design. AIM-224

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

56. The Advice Taker and GPS. AIM-033

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

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

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

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

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

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

63. Mathematical Theory of Partial Correctness. AIM-139

64. Towards Automatic Program Synthesis. AIM-127

65. A Formal System of Computation. AIM-025

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

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

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

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

70. Computer Control of a Machine for Exploring Mars. AIM-014

71. Correctness of a Compiler for Arithmetic Expressions. AIM-040

72. Formal Description of the Game of Pang-Ke. AIM-017

73. Plans for the Stanford Artificial Intelligence Project. AIM-031

74. Predicate calculus with "undefined" as a truth-value. AIM-001

75. Problems in the Theory of Computation. AIM-028

76. Programs With Common Sense. AIM-007

77. Situations, actions, and causal laws. AIM-002

78. Storage Conventions in LISP 2. AIM-008

79. An Algebraic Definition of Simulation Between Programs. AIM-142

80. Logic for Computable Functions: Description of a Machine Implementation. AIM-169

81. LISP 2 Specifications Proposal. AIM-021

82. The 'Optimum-comb' Method of Pitch Period Analysis in Speech. AIM-207

83. Axioms and Theorems for Integers, Lists and Finite Sets in LCF. AIM-184

84. Notes on a Problem Involving Permutations as Sequences. AIM-190

85. Utilization of a TV Camera on the PDP-1. AIM-036

86. A Corner Finder for Visual Feedback. AIM-214

87. A Program to Find Objects in a Picture. AIM-039

88. A Proposal for a Visual Input Routine. AIM-042

89. The 138 Analog Digital Converter. AIM-032

90. Experiments on Automatic Speech Recognition by a Digital Computer. AIM-026

91. Source Language Optimization of For-loops. AIM-020

92. SAIL. AIM-289

93. Kalah -- the Game and the Program. AIM-022

94. Improvements in LISP Debugging. AIM-010

95. Simple Simon. AIM-035

96. "The Mikado" as an advice taker problem. AIM-003