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