Journals in DBLP

Artif. Intell.
1971, volume: 2, number: 3/4

1. Richard Fikes, Nils J. Nilsson
   STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving. [Citation Graph (3, 0)][DBLP]
   Artif. Intell., 1971, v:2, n:3/4, pp:189-208 [Journal]
   
2. Aaron Sloman
   Interactions Between Philosophy and Srtificial Intelligence: The Role of Intuition and Non-Logical Reasoning in Ontelligence. [Citation Graph (0, 0)][DBLP]
   Artif. Intell., 1971, v:2, n:3/4, pp:209-225 [Journal]
   
3. Robert A. Kowalski, Donald Kuehner
   Linear Resolution with Selection Function. [Citation Graph (3, 0)][DBLP]
   Artif. Intell., 1971, v:2, n:3/4, pp:227-260 [Journal]
   
4. Lewis M. Norton
   Experiments with a Heuristic Theorem-Proving Program for Predicate Calculus with Equality. [Citation Graph (0, 0)][DBLP]
   Artif. Intell., 1971, v:2, n:3/4, pp:261-284 [Journal]
   
5. Donald A. Waterman, Allen Newell
   Protocol Analysis as a Task for Artificial Intelligence. [Citation Graph (1, 0)][DBLP]
   Artif. Intell., 1971, v:2, n:3/4, pp:285-318 [Journal]
   
6. Peter M. Will, K. S. Pennington
   Grid Coding: A Preprocessing Technique for Robot and Machine Vision. [Citation Graph (1, 0)][DBLP]
   Artif. Intell., 1971, v:2, n:3/4, pp:319-329 [Journal]