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