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
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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team