Artificial Intelligence, Volume 9

Volume 9, Number 1, August 1977

• W. W. Bledsoe: Non-Resolution Theorem Proving. 1-35 BibTeX
• D. Marr: Artificial Intelligence - A Personal View. 37-48 BibTeX
• Harold Boley: Directed Recursive Labelnode Hypergraphs: A New Representation-Language. 49-85 BibTeX
• Kenneth M. Kahn, G. Anthony Gorry: Mechanizing Temporal Knowledge. 87-108 BibTeX

Volume 9, Number 2, October 1977

• Roger C. Parkison, Kenneth Mark Colby, William S. Faught: Conversational Language Comprehension Using Integrated Pattern-Matching and Parsing. 111-134 BibTeX
• Richard M. Stallman, Gerald J. Sussman: Forward Reasoning and Dependency-Directed Backtracking in a System for Computer-Aided Circuit Analysis. 135-196 BibTeX
• John A. Self: Concept Teaching. 197-221 BibTeX

Volume 9, Number 3, December 1977

• Brian L. Cohen: A Powerful and Efficient Structural Pattern Recognition System. 223-255 BibTeX
• Douglas B. Lenat: The Ubiquity of Discovery. 257-285 BibTeX
• Jerry R. Hobbs, Stanley J. Rosenschein: Making Computational Sense of Montague's Intensional Logic. 287-306 BibTeX
• Mark F. Medress, Franklin S. Cooper, James W. Forgie, C. C. Green, Dennis H. Klatt, Michael H. O'Malley, Edward P. Neuburg, Allen Newell, Raj Reddy, H. Barry Ritea, J. E. Shoup-Hummel, Donald E. Walker, William A. Woods: Speech Understanding Systems. 307-316 BibTeX