Artificial Intelligence, Volume 6

Volume 6, Number 1, March 1975

• Arthur J. Nevins: Plane Geometry Theorem Proving Using Forward Chaining. 1-23 BibTeX
• Arthur J. Nevins: A Relaxation Approach to Splitting in an Automatic Theorem Prover. 25-39 BibTeX
• Laurent Siklóssy, John W. Roach: Model Verification and Improvement Using DISPROVER. 41-52 BibTeX
• Yorick Wilks: A Preferential, Pattern-Seeking, Semantics for Natural Language Inference. 53-74 BibTeX
• Robert M. Haralick, Knut Ripken: An Associative-Categorical Model of Word Meaning. 75-99 BibTeX

Volume 6, Number 2, June 1975

• Daniel H. Fishman, Jack Minker: Pi-Representation: A Clause Representation for Parallel Search. 103-127 BibTeX
• A. P. Ambler, Harry G. Barrow, Christopher M. Brown, Rod M. Burstall, Robin J. Popplestone: A Versatile System for Computer-Controlled Assembly. 129-156 BibTeX
• A. P. Ambler, Robin J. Popplestone: Inferring the Positions of Bodies from Specified Spatial Relationships. 157-174 BibTeX
• Zohar Manna, Richard J. Waldinger: Knowledge and Reasoning in Program Synthesis. 175-208 BibTeX

• Michael Kassler: A. Newell, J. Barnett et al., Speech-Understanding Systems. 209-213 BibTeX
• Richard C. T. Lee: D. Michie, On Machine Intelligence. 213-214 BibTeX

Volume 6, Number 3, September 1975

• Elliot B. Koffman, Sumner E. Blount: Artificial Intelligence and Automatic Programming in CAI. 215-234 BibTeX
• Herbert A. Simon, Joseph B. Kadane: Optimal Problem-Solving Search: All-Oor-None Solutions. 235-247 BibTeX
• Ira P. Goldstein: Summary of MYCROFT: A System for Understanding Simple Picture Programs. 249-288 BibTeX

• Leonard Uhr: Roger C. Schank and Kenneth Mark Colby (editors), Computer Models of Thought and Language. 289-292 BibTeX

Volume 6, Number 4, December 1975

• Donald E. Knuth, Ronald W. Moore: An Analysis of Alpha-Beta Pruning. 293-326 BibTeX
• Bertram C. Bruce: Case Systems for Natural Language. 327-360 BibTeX
• G. M. Adelson-Velskiy, V. L. Arlazarov, M. V. Donskoy: Some Methods of Controlling the Tree Search in Chess Programs. 361-371 BibTeX

• Albert L. Zobrist: Leonard Uhr, Pattern Recognition, Learning and Thought. 373-376 BibTeX