Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
     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
182-183 3-4 p. 291-298
8 p.
artikel
2 An examination of the geometry theorem machine Gilmore, P.C.
1970
182-183 3-4 p. 171-187
17 p.
artikel
3 Author index 1970
182-183 3-4 p. 300-
1 p.
artikel
4 Author index Volume 2 1971
182-183 3-4 p. 330-
1 p.
artikel
5 Author index volume 4, 1973 1973
182-183 3-4 p. 251-
1 p.
artikel
6 Automated composition of Web services via planning in asynchronous domains Bertoli, Piergiorgio
2010
182-183 3-4 p. 316-361
46 p.
artikel
7 Computing the fault tolerance of multi-agent deployment Zhang, Yingqian
2009
182-183 3-4 p. 437-465
29 p.
artikel
8 Conformant plans and beyond: Principles and complexity Bonet, Blai
2010
182-183 3-4 p. 245-269
25 p.
artikel
9 Contents volume 4, 1973 1973
182-183 3-4 p. 255-256
2 p.
artikel
10 Editorial Board 2009
182-183 3-4 p. IFC-
1 p.
artikel
11 Editorial Board 2010
182-183 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
182-183 3-4 p. 270-294
25 p.
artikel
13 Enactive artificial intelligence: Investigating the systemic organization of life and mind Froese, Tom
2009
182-183 3-4 p. 466-500
35 p.
artikel
14 Errata 1970
182-183 3-4 p. 299-
1 p.
artikel
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.
artikel
16 Grid coding: A preprocessing technique for robot and machine vision Will, P.M.
1971
182-183 3-4 p. 319-329
11 p.
artikel
17 Heuristically guided search and chromosome matching Montanari, Ugo
1970
182-183 3-4 p. 227-245
19 p.
artikel
18 Heuristic search viewed as path finding in a graph Pohl, Ira
1970
182-183 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
182-183 3-4 p. 209-225
17 p.
artikel
20 Linear resolution with selection function Kowalski, Robert
1971
182-183 3-4 p. 227-260
34 p.
artikel
21 Logic programs with abstract constraint atoms: The role of computations Liu, Lengning
2010
182-183 3-4 p. 295-315
21 p.
artikel
22 Loop-separable programs and their first-order definability Chen, Yin
2011
182-183 3-4 p. 890-913
24 p.
artikel
23 Modeling simultaneous actions and continuous processes Hendrix, Gary G.
1973
182-183 3-4 p. 145-180
36 p.
artikel
24 On the phase transitions of random k-constraint satisfaction problems Fan, Yun
2011
182-183 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
182-183 3-4 p. 791-813
23 p.
artikel
26 Protocol analysis as a task for artificial intelligence Waterman, D.A.
1971
182-183 3-4 p. 285-318
34 p.
artikel
27 Renamable paramodulation for automatic theorem proving with equality Chang, C.L.
1970
182-183 3-4 p. 247-256
10 p.
artikel
28 Resolution graphs Yates, robert A.
1970
182-183 3-4 p. 257-289
33 p.
artikel
29 Rule-oriented methods in problem solving Shimura, Masamichi
1973
182-183 3-4 p. 203-223
21 p.
artikel
30 Scene analysis using regions Brice, Claude R.
1970
182-183 3-4 p. 205-226
22 p.
artikel
31 State agnostic planning graphs: deterministic, non-deterministic, and probabilistic planning Bryce, Daniel
2011
182-183 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
182-183 3-4 p. 189-208
20 p.
artikel
33 Symbolic logic and mechanical theorem proving Anderson, Robert B.
1973
182-183 3-4 p. 245-246
2 p.
artikel
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.
artikel
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.
artikel
36 The structure of ill structured problems Simon, Herbert A.
1973
182-183 3-4 p. 181-201
21 p.
artikel
37 Using arguments for making and explaining decisions Amgoud, Leila
2009
182-183 3-4 p. 413-436
24 p.
artikel
38 Video tapes of IJCAI-73 tutorial lectures available through Stanford University 1973
182-183 3-4 p. 247-250
4 p.
artikel
                             38 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland