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

Start over Topic Stanford Artificial Intelligence Laboratory Topic Artificial intelligence

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. 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. The Generation of French from a Semantic Representation. AIM-212

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

52. Programming Languages and Translation. AIM-019

53. Hints on Programming Language Design. AIM-224

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

55. The Advice Taker and GPS. AIM-033

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

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

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

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

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

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

62. Mathematical Theory of Partial Correctness. AIM-139

63. Towards Automatic Program Synthesis. AIM-127

64. A Formal System of Computation. AIM-025

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

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

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

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

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

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

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

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

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

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

75. Programs With Common Sense. AIM-007

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

77. Storage Conventions in LISP 2. AIM-008

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

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

80. LISP 2 Specifications Proposal. AIM-021

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

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

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

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

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

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

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

88. The 138 Analog Digital Converter. AIM-032

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

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

91. SAIL. AIM-289

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

93. Improvements in LISP Debugging. AIM-010

94. Simple Simon. AIM-035

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

96. Adverbs and Belief. AIM-171

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