| no |
title |
author |
magazine |
year |
volume |
issue |
page(s) |
type |
| 1 |
Advanced study institute on artificial intelligence and heuristic programming
|
Findler, N.V.
|
|
1970
|
182-183 |
3-4 |
p. 291-298
8 p.
|
article
|
| 2 |
An examination of the geometry theorem machine
|
Gilmore, P.C.
|
|
1970
|
182-183 |
3-4 |
p. 171-187
17 p.
|
article
|
| 3 |
Author index
|
|
|
1970
|
182-183 |
3-4 |
p. 300-
1 p.
|
article
|
| 4 |
Author index Volume 2
|
|
|
1971
|
182-183 |
3-4 |
p. 330-
1 p.
|
article
|
| 5 |
Author index volume 4, 1973
|
|
|
1973
|
182-183 |
3-4 |
p. 251-
1 p.
|
article
|
| 6 |
Automated composition of Web services via planning in asynchronous domains
|
Bertoli, Piergiorgio
|
|
2010
|
182-183 |
3-4 |
p. 316-361
46 p.
|
article
|
| 7 |
Computing the fault tolerance of multi-agent deployment
|
Zhang, Yingqian
|
|
2009
|
182-183 |
3-4 |
p. 437-465
29 p.
|
article
|
| 8 |
Conformant plans and beyond: Principles and complexity
|
Bonet, Blai
|
|
2010
|
182-183 |
3-4 |
p. 245-269
25 p.
|
article
|
| 9 |
Contents volume 4, 1973
|
|
|
1973
|
182-183 |
3-4 |
p. 255-256
2 p.
|
article
|
| 10 |
Editorial Board
|
|
|
2010
|
182-183 |
3-4 |
p. IFC-
1 p.
|
article
|
| 11 |
Editorial Board
|
|
|
2009
|
182-183 |
3-4 |
p. IFC-
1 p.
|
article
|
| 12 |
Elicitation strategies for soft constraint problems with missing preferences: Properties, algorithms and experimental studies
|
Gelain, Mirco
|
|
2010
|
182-183 |
3-4 |
p. 270-294
25 p.
|
article
|
| 13 |
Enactive artificial intelligence: Investigating the systemic organization of life and mind
|
Froese, Tom
|
|
2009
|
182-183 |
3-4 |
p. 466-500
35 p.
|
article
|
| 14 |
Errata
|
|
|
1970
|
182-183 |
3-4 |
p. 299-
1 p.
|
article
|
| 15 |
Experiments with a heuristic theorem-proving program for predicate calculus with equality
|
Norton, Lewis M.
|
|
1971
|
182-183 |
3-4 |
p. 261-284
24 p.
|
article
|
| 16 |
Grid coding: A preprocessing technique for robot and machine vision
|
Will, P.M.
|
|
1971
|
182-183 |
3-4 |
p. 319-329
11 p.
|
article
|
| 17 |
Heuristically guided search and chromosome matching
|
Montanari, Ugo
|
|
1970
|
182-183 |
3-4 |
p. 227-245
19 p.
|
article
|
| 18 |
Heuristic search viewed as path finding in a graph
|
Pohl, Ira
|
|
1970
|
182-183 |
3-4 |
p. 193-204
12 p.
|
article
|
| 19 |
Interactions between philosophy and artificial intelligence: The role of intuition and non-logical reasoning in intelligence
|
Sloman, Aaron
|
|
1971
|
182-183 |
3-4 |
p. 209-225
17 p.
|
article
|
| 20 |
Linear resolution with selection function
|
Kowalski, Robert
|
|
1971
|
182-183 |
3-4 |
p. 227-260
34 p.
|
article
|
| 21 |
Logic programs with abstract constraint atoms: The role of computations
|
Liu, Lengning
|
|
2010
|
182-183 |
3-4 |
p. 295-315
21 p.
|
article
|
| 22 |
Loop-separable programs and their first-order definability
|
Chen, Yin
|
|
2011
|
182-183 |
3-4 |
p. 890-913
24 p.
|
article
|
| 23 |
Modeling simultaneous actions and continuous processes
|
Hendrix, Gary G.
|
|
1973
|
182-183 |
3-4 |
p. 145-180
36 p.
|
article
|
| 24 |
On the phase transitions of random k-constraint satisfaction problems
|
Fan, Yun
|
|
2011
|
182-183 |
3-4 |
p. 914-927
14 p.
|
article
|
| 25 |
On the resolution-based family of abstract argumentation semantics and its grounded instance
|
Baroni, P.
|
|
2011
|
182-183 |
3-4 |
p. 791-813
23 p.
|
article
|
| 26 |
Protocol analysis as a task for artificial intelligence
|
Waterman, D.A.
|
|
1971
|
182-183 |
3-4 |
p. 285-318
34 p.
|
article
|
| 27 |
Renamable paramodulation for automatic theorem proving with equality
|
Chang, C.L.
|
|
1970
|
182-183 |
3-4 |
p. 247-256
10 p.
|
article
|
| 28 |
Resolution graphs
|
Yates, robert A.
|
|
1970
|
182-183 |
3-4 |
p. 257-289
33 p.
|
article
|
| 29 |
Rule-oriented methods in problem solving
|
Shimura, Masamichi
|
|
1973
|
182-183 |
3-4 |
p. 203-223
21 p.
|
article
|
| 30 |
Scene analysis using regions
|
Brice, Claude R.
|
|
1970
|
182-183 |
3-4 |
p. 205-226
22 p.
|
article
|
| 31 |
State agnostic planning graphs: deterministic, non-deterministic, and probabilistic planning
|
Bryce, Daniel
|
|
2011
|
182-183 |
3-4 |
p. 848-889
42 p.
|
article
|
| 32 |
Strips: A new approach to the application of theorem proving to problem solving
|
Fikes, Richard E.
|
|
1971
|
182-183 |
3-4 |
p. 189-208
20 p.
|
article
|
| 33 |
Symbolic logic and mechanical theorem proving
|
Anderson, Robert B.
|
|
1973
|
182-183 |
3-4 |
p. 245-246
2 p.
|
article
|
| 34 |
The Q∗ algorithm—a search strategy for a deductive question-answering system
|
Minker, Jack
|
|
1973
|
182-183 |
3-4 |
p. 225-243
19 p.
|
article
|
| 35 |
The semantics of induction and the possibility of complete systems of inductive inference
|
Meltzer, B.
|
|
1970
|
182-183 |
3-4 |
p. 189-192
4 p.
|
article
|
| 36 |
The structure of ill structured problems
|
Simon, Herbert A.
|
|
1973
|
182-183 |
3-4 |
p. 181-201
21 p.
|
article
|
| 37 |
Using arguments for making and explaining decisions
|
Amgoud, Leila
|
|
2009
|
182-183 |
3-4 |
p. 413-436
24 p.
|
article
|
| 38 |
Video tapes of IJCAI-73 tutorial lectures available through Stanford University
|
|
|
1973
|
182-183 |
3-4 |
p. 247-250
4 p.
|
article
|
Journal description