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

1. A Conceptually Based Sentence Paraphraser. AIM-196

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

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

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

5. Aesthetics Systems. AIM-189

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

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

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

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

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

11. Carol by Andy Moorer, Stanford Artificial Intelligence Laboratory

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

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

14. Hints on Programming Language Design. AIM-224

15. Image Contouring and Comparing. AIM-199

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

17. MLISP2. AIM-195

18. Monitor Command Manual. ON-54.3

19. Natural Language Inference. AIM-211

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

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

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

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

24. SAIL Users Manual. AIM-204