![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Artificial Intelligence, Volume 3
Volume 3, Number 1-3, January 1972
- Bertram C. Bruce:
A Model for Temporal References and Its Application in a Question Answering Program. 1-25 - W. W. Bledsoe, Robert S. Boyer, William H. Henneman:
Computer Proofs of Limit Theorems. 27-60 - A. L. Cherniavsky:
A Program for Timetable Compilation by a Look-Ahead Method. 61-76 - Ronald M. Kaplan:
Augmented Transition Networks as Psychological Models of Sentence Comprehension. 77-100 - Gilbert Falk:
Interpretation of Imperfect Line Data as a Three-Dimensional Scene. 101-144 - James J. Gillogly:
The Technology Chess Program. 145-163 - Louis Hodes:
Solving Problems by Formula Manipulation in Logic and Linear Inequalities. 165-174 - Eliana Minicozzi, Raymond Reiter:
A Note on Linear Resolution Strategies in Consequence-Finding. 175-180 - Alan W. Biermann:
On the Inference of Turing Machines from Sample Computations. 181-198 - Kenneth Mark Colby, Franklin Dennis Hilf, Sylvia Weber, Helena C. Kraemer:
Turing-like Indistinguishability Tests for the Calidation of a Computer Simulation of Paranoid Processes. 199-221 - Ranan B. Banerji, George W. Ernst:
Strategy Construction Using Homomorphisms Between Games. 223-249 - Richard Fikes, Peter E. Hart, Nils J. Nilsson:
Learning and Executing Generalized Robot Plans. 251-288
![](https://dblp1.uni-trier.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.