Artificial Intelligence, Volume 6

Volume 6, Number 1, March 1975

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

Volume 6, Number 2, June 1975

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

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

Volume 6, Number 3, September 1975

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

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

Volume 6, Number 4, December 1975

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

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

Last update Fri May 25 08:52:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page