Artificial Intelligence, Volume 9

Volume 9, Number 1, August 1977

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

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
• Richard M. Stallman, Gerald J. Sussman: Forward Reasoning and Dependency-Directed Backtracking in a System for Computer-Aided Circuit Analysis. 135-196
• John A. Self: Concept Teaching. 197-221

Volume 9, Number 3, December 1977

• Brian L. Cohen: A Powerful and Efficient Structural Pattern Recognition System. 223-255
• Douglas B. Lenat: The Ubiquity of Discovery. 257-285
• Jerry R. Hobbs, Stanley J. Rosenschein: Making Computational Sense of Montague's Intensional Logic. 287-306
• 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