Artificial Intelligence, Volume 7

Volume 7, Number 1, March 1976

• Lawrence J. Mazlack: Computer Construction of Crossword Puzzles Using Precedence Relationships. 1-19
• Charles L. Hedrick: Learning Production Systems from Examples. 21-49
• Robert E. Shostak: Refutation Graphs. 51-64 , Corrigendum: Artificial Intelligence 7(3): 283 (1976)
• Gregory R. Ruth: Intelligent Program Analysis. 65-85

Volume 7, Number 2, June 1976

• Chuck Rieger: An Organization of Knowledge for Problem Solving and Language Comprehension. 89-127
• Olga Stepánková, Ivan M. Havel: A Logical Theory of Robot Problem Solving. 129-161
• Lenhart K. Schubert: Extending the Expressive Power of Semantic Networks. 163-198

• Stuart C. Shapiro: Earl B. Hunt, Artificial Intelligence. 199-201

Volume 7, Number 3, September 1976

• Billy G. Claybrook: A New Approach to the Symbolic Factorization of Multivariate Polynomials. 203-241
• Giorgio Levi, Franco Sirovich: Generalized AND/OR Graphs. 243-259
• Daniel L. Chester: The Translation of Formal Proofs into English. 261-278

• Azriel Rosenfeld: Patrick Henry Winston (editor), The Psychology of Computer Vision. 279-282

Volume 7, Number 4, December 1976

• Daniel Brand: Analytic Resolution in Theorem Proving. 285-318
• Lennart Beckman, Anders Haraldson, Östen Oskarsson, Erik Sandewall: A Partial Evaluator, and its Use as a Programming Tool. 319-357

• Daniel L. Chester: John Craig Comfort, A Flexible Efficient Computer System to Answer Human Questions. 363-365