Topic: Stanford Artificial Intelligence Laboratory and Artificial intelligence / Date Range: <span class="from" data-blrl-begin="1972">1972</span> to <span class="to" data-blrl-end="1973">1973</span> - The History of Artificial Intelligence - Spotlight at Stanford Search Results

Start over Topic Stanford Artificial Intelligence Laboratory Topic Artificial intelligence Date Range 1972 to 1973

2. Photographs

3. Adverbs and Belief. AIM-171

4. Artificial Intelligence approach to Machine Translation. AIM-161

5. Automatic Programming. AIM-160

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

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

8. Lakoff on Linguistics and Natural Logic. AIM-170

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

10. Primitive Concepts Underlying Verbs of Thought. AIM-162

11. Primitive Concepts Underlying Verbs of Thought. AIM-162

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

13. Semantic Categories of Nominals for Conceptual Dependency Analysis of Natural Language. AIM-172

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

15. Winged Edge Polyhedron Representation. AIM-179

16. A Conceptually Based Sentence Paraphraser. AIM-196

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

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

19. A Heuristic Program to Discover Syntheses for Complex Organic Molecules. AIM-205

20. Aesthetics Systems. AIM-189

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

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

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

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

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

26. Carol by Andy Moorer, Stanford Artificial Intelligence Laboratory

27. Estimation of Probability Density using Signature Tables for Application to Pattern Recognition. AIM-198

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

29. Hints on Programming Language Design. AIM-224

30. Image Contouring and Comparing. AIM-199

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

32. MLISP2. AIM-195

33. Monitor Command Manual. ON-54.3

34. Natural Language Inference. AIM-211

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

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

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

38. Recognition of Continuous Speech: Segmentation and Classification using Signature Table Adaptation. AIM-213

39. SAIL Users Manual. AIM-204

40. Search Strategies for the Task of Organic Chemical Synthesis. AIM-217

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

42. The Development of Conceptual Structures in Children. AIM-203

43. The Fourteen Primitive Actions and their Inferences. AIM-183

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

45. The Goals of Linguistic Theory Revisited. AIM-202

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

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

48. UUO Manual. ON-55.3