Artificial Intelligence, Volume 7

Volume 7, Number 1, March 1976

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

Volume 7, Number 2, June 1976

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

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

Volume 7, Number 3, September 1976

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

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

Volume 7, Number 4, December 1976

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

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