![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
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
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.