Search

2. Image Contouring and Comparing. AIM-199

3. Winged Edge Polyhedron Representation. AIM-179

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

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

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

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

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

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

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

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

12. Automatic Programming. AIM-160

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

14. UUO Manual. ON-55.3

15. Aesthetics Systems. AIM-189

16. A Conceptually Based Sentence Paraphraser. AIM-196

17. Monitor Command Manual. ON-54.3

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

19. Hints on Programming Language Design. AIM-224

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

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

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

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

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

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

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

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

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

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

30. Adverbs and Belief. AIM-171

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

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

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

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

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

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

37. MLISP2. AIM-195

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

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

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

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

42. SAIL Users Manual. AIM-204

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

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

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

46. Natural Language Inference. AIM-211

47. Carol by Andy Moorer, Stanford Artificial Intelligence Laboratory

48. Photographs