Search

Start over Topic Artificial intelligence Topic Stanford Artificial Intelligence Laboratory

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