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

Start over Topic Stanford Artificial Intelligence Laboratory

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

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

4. GEOMED - A Geometric Editor. AIM-232

5. Image Contouring and Comparing. AIM-199

6. Winged Edge Polyhedron Representation. AIM-179

7. An Overview of KRL. AIM-293

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

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

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

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

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

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

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

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

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

17. Program Schemas With Equality. AIM-158

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

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

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

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

22. An Overview of Production Systems. AIM-271

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

24. PDP-6 Price List

25. Programmed Data Processor-10 Manual

26. Programmed Data Processor-6

27. Programmed Data Processor-6 Handbook

28. Programmed Data Processor-6 Handbook

29. Programmed Data Processor-6 Handbook

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

31. Find a Font. ON-74

32. Algebraic Simplication. AIM-005

33. Clock function for LISP 1.5. AIM-004

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

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

36. Automatic Programming. AIM-160

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

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

39. Axiomatization and Implementation. AIM-015

40. Reading the Wire Service News. Operating Note 72.1

41. UUO Manual. ON-55.3

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

43. Aesthetics Systems. AIM-189

44. A Conceptually Based Sentence Paraphraser. AIM-196

45. Operational Reasoning and Denotational Semantics. AIM-264

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

47. On Program Synthesis Knowledge. AIM-306

48. On Program Synthesis Knowledge. AIM-306

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

50. Monitor Command Manual. ON-54.3

51. Monitor Command Manual. Operating Note 54.7

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

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

54. Programming Languages and Translation. AIM-019

55. Hints on Programming Language Design. AIM-224

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

57. The Advice Taker and GPS. AIM-033

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

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

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

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

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

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

64. Mathematical Theory of Partial Correctness. AIM-139

65. Towards Automatic Program Synthesis. AIM-127

66. A Formal System of Computation. AIM-025

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

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

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

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

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

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

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

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

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

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

77. Programs With Common Sense. AIM-007

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

79. Storage Conventions in LISP 2. AIM-008

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

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

82. LISP 2 Specifications Proposal. AIM-021

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

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

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

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

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

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

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

90. The 138 Analog Digital Converter. AIM-032

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

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

93. SAIL. AIM-289

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

95. Improvements in LISP Debugging. AIM-010

96. Simple Simon. AIM-035

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