Search

Start over Topic Stanford Artificial Intelligence Laboratory Topic Artificial intelligence

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. UUO Manual. ON-55.3

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

41. Aesthetics Systems. AIM-189

42. A Conceptually Based Sentence Paraphraser. AIM-196

43. Operational Reasoning and Denotational Semantics. AIM-264

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

45. On Program Synthesis Knowledge. AIM-306

46. On Program Synthesis Knowledge. AIM-306

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

48. Monitor Command Manual. ON-54.3

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

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

51. Programming Languages and Translation. AIM-019

52. Hints on Programming Language Design. AIM-224

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

54. The Advice Taker and GPS. AIM-033

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

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

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

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

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

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

61. Mathematical Theory of Partial Correctness. AIM-139

62. Towards Automatic Program Synthesis. AIM-127

63. A Formal System of Computation. AIM-025

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

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

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

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

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

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

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

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

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

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

74. Programs With Common Sense. AIM-007

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

76. Storage Conventions in LISP 2. AIM-008

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

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

79. LISP 2 Specifications Proposal. AIM-021

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

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

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

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

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

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

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

87. The 138 Analog Digital Converter. AIM-032

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

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

90. SAIL. AIM-289

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

92. Improvements in LISP Debugging. AIM-010

93. Simple Simon. AIM-035

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

95. Adverbs and Belief. AIM-171

96. Inference and the Computer Understanding of Natural Language. AIM-197