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
 
                             112 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 A geometric approach to error detection and recovery for robot motion planning with uncertainty Donald, Bruce R.
1988
177-179 1-3 p. 223-271
49 p.
artikel
2 A geometric constraint engine Kramer, Glenn A.
1992
177-179 1-3 p. 327-360
34 p.
artikel
3 A multi-level geometric reasoning system for vision Barry, Michele
1988
177-179 1-3 p. 291-332
42 p.
artikel
4 An algorithmic approach to some problems in terrain navigation Mitchell, Joseph S.B.
1988
177-179 1-3 p. 171-201
31 p.
artikel
5 Analysing images of curved surfaces Woodham, Robert J.
1981
177-179 1-3 p. 117-140
24 p.
artikel
6 Approaches to the study of intelligence Norman, Donald A.
1991
177-179 1-3 p. 327-346
20 p.
artikel
7 A preliminary analysis of the Soar architecture as a basis for general intelligence Rosenbloom, Paul S.
1991
177-179 1-3 p. 289-325
37 p.
artikel
8 A qualitative physics based on confluences De Kleer, Johan
1984
177-179 1-3 p. 7-83
77 p.
artikel
9 Arc consistency: parallelism and domain dependence Cooper, Paul R.
1992
177-179 1-3 p. 207-235
29 p.
artikel
10 A refutational approach to geometry theorem proving Kapur, Deepak
1988
177-179 1-3 p. 61-93
33 p.
artikel
11 A survey of motion planning and related geometric algorithms Schwartz, J.T.
1988
177-179 1-3 p. 157-169
13 p.
artikel
12 A theory of conflict resolution in planning Yang, Qiang
1992
177-179 1-3 p. 361-392
32 p.
artikel
13 A theory of interactions: unifying qualitative and quantitative algebraic reasoning Williams, Brian C.
1991
177-179 1-3 p. 39-94
56 p.
artikel
14 A theory of spatio-temporal aggregation for vision Flinchbaugh, Bruce E.
1981
177-179 1-3 p. 387-407
21 p.
artikel
15 A theory of the origins of human knowledge Anderson, John R.
1989
177-179 1-3 p. 313-351
39 p.
artikel
16 Author index 1988
177-179 1-3 p. vi-
1 p.
artikel
17 Author index 1989
177-179 1-3 p. vi-
1 p.
artikel
18 Author index—Volume 49 (1991) 1991
177-179 1-3 p. 397-398
2 p.
artikel
19 Author index—Volume 51 (1991) 1991
177-179 1-3 p. 473-
1 p.
artikel
20 Author index—Volume 58 (1992) 1992
177-179 1-3 p. 397-398
2 p.
artikel
21 Classifier systems and genetic algorithms Booker, L.B.
1989
177-179 1-3 p. 235-282
48 p.
artikel
22 Cmpositional modeling: finding the right model for the job Falkenhainer, Brian
1991
177-179 1-3 p. 95-143
49 p.
artikel
23 Commonsense reasoning about causality: Deriving behavior from structure Kuipers, Benjamin
1984
177-179 1-3 p. 169-203
35 p.
artikel
24 Computational kinematics Joskowicz, Leo
1991
177-179 1-3 p. 381-416
36 p.
artikel
25 Connectionist learning procedures Hinton, Geoffrey E.
1989
177-179 1-3 p. 185-234
50 p.
artikel
26 Constraint reasoning based on interval arithmetic: the tolerance propagation approach Hyvönen, Eero
1992
177-179 1-3 p. 71-112
42 p.
artikel
27 Constraint satisfaction using constraint logic programming Van Hentenryck, Pascal
1992
177-179 1-3 p. 113-159
47 p.
artikel
28 Constructing roadmaps of semi-algebraic sets I: Completeness Canny, John
1988
177-179 1-3 p. 203-222
20 p.
artikel
29 Cooperating processes for low-level vision: A survey Davis, Larry S.
1981
177-179 1-3 p. 245-263
19 p.
artikel
30 Creativity and learning in a case-based explainer Schank, Roger C.
1989
177-179 1-3 p. 353-385
33 p.
artikel
31 Data-driven approaches to empirical discovery Langley, Pat
1989
177-179 1-3 p. 283-312
30 p.
artikel
32 Design by derivational analogy:Issues in the automated replay of design plans Mostow, Jack
1989
177-179 1-3 p. 119-184
66 p.
artikel
33 Determining optical flow Horn, Berthold K.P.
1981
177-179 1-3 p. 185-203
19 p.
artikel
34 Diagnostic reasoning based on structure and behavior Davis, Randall
1984
177-179 1-3 p. 347-410
64 p.
artikel
35 Dynamic across-time measurement interpretation DeCoste, Dennis
1991
177-179 1-3 p. 273-341
69 p.
artikel
36 Editorial Board 1991
177-179 1-3 p. IFC-
1 p.
artikel
37 Editorial Board 1991
177-179 1-3 p. IFC-
1 p.
artikel
38 Editorial Board 1981
177-179 1-3 p. IFC-
1 p.
artikel
39 Editorial Board 1988
177-179 1-3 p. IFC-
1 p.
artikel
40 Editorial Board 1989
177-179 1-3 p. IFC-
1 p.
artikel
41 Editorial Board 1984
177-179 1-3 p. IFC-
1 p.
artikel
42 Editorial Board 1992
177-179 1-3 p. IFC-
1 p.
artikel
43 Editorial Board 1991
177-179 1-3 p. IFC-
1 p.
artikel
44 Embedding decision-analytic control in a learning architecture Etzioni, Oren
1991
177-179 1-3 p. 129-159
31 p.
artikel
45 Existence assumptions in knowledge representation Hirst, Graeme
1991
177-179 1-3 p. 199-242
44 p.
artikel
46 Explanation-based learning:A problem solving perspective Minton, Steven
1989
177-179 1-3 p. 63-118
56 p.
artikel
47 Foreword Kirsh, David
1991
177-179 1-3 p. 1-
1 p.
artikel
48 Forthcoming papers 1992
177-179 1-3 p. 393-395
3 p.
artikel
49 Foundations of AI: The big issues Kirsh, David
1991
177-179 1-3 p. 3-30
28 p.
artikel
50 Geometric reasoning and artificial intelligence: Introduction to the special volume Kapur, Deepak
1988
177-179 1-3 p. 1-11
11 p.
artikel
51 Geometric reasoning for constructing 3D scene descriptions from images Walker, Ellen Lowenfeld
1988
177-179 1-3 p. 275-290
16 p.
artikel
52 Geometric reasoning with logic and algebra Arnon, Dennis S.
1988
177-179 1-3 p. 37-60
24 p.
artikel
53 Geometric relationships between toleranced features Fleming, Alan
1988
177-179 1-3 p. 403-412
10 p.
artikel
54 Geometry theorem proving by decomposition of quasi-algebraic sets: An application of the ritt-wu principle Ko, Hai-Ping
1988
177-179 1-3 p. 95-122
28 p.
artikel
55 Graphs of models Addanki, Sanjaya
1991
177-179 1-3 p. 145-177
33 p.
artikel
56 Hard problems for simple default logics Kautz, Henry A.
1991
177-179 1-3 p. 243-279
37 p.
artikel
57 Higher-order derivative constraints in qualitative simulation Kuipers, Benjamin J.
1991
177-179 1-3 p. 343-379
37 p.
artikel
58 How circuits work De Kleer, Johan
1984
177-179 1-3 p. 205-280
76 p.
artikel
59 Impediments to universal preference-based default theories Doyle, Jon
1991
177-179 1-3 p. 97-128
32 p.
artikel
60 Inferring surfaces from images Binford, Thomas O.
1981
177-179 1-3 p. 205-244
40 p.
artikel
61 Intelligence without representation Brooks, Rodney A.
1991
177-179 1-3 p. 139-159
21 p.
artikel
62 Intensity, visible-surface, and volumetric representations Nishihara, H.K.
1981
177-179 1-3 p. 265-284
20 p.
artikel
63 Interpreting line drawings as three-dimensional surfaces Barrow, H.G.
1981
177-179 1-3 p. 75-116
42 p.
artikel
64 Introduction:Paradigms for machine learning Carbonell, Jaime G.
1989
177-179 1-3 p. 1-9
9 p.
artikel
65 Introduction to the special volume on constraint-based reasoning Freuder, Eugene C.
1992
177-179 1-3 p. 1-2
2 p.
artikel
66 Introduction to the special volume on knowledge representation Brachman, Ronald J.
1991
177-179 1-3 p. 1-3
3 p.
artikel
67 Learning to improve constraint-based scheduling Zweben, Monte
1992
177-179 1-3 p. 271-296
26 p.
artikel
68 Logic and artificial intelligence Nilsson, Nils J.
1991
177-179 1-3 p. 31-56
26 p.
artikel
69 Master index — Volumes 31–40 1989
177-179 1-3 p. 387-395
9 p.
artikel
70 Minimizing conflicts: a heuristic repair method for constraint satisfaction and scheduling problems Minton, Steven
1992
177-179 1-3 p. 161-205
45 p.
artikel
71 Modeling digital circuits for troubleshooting Hamscher, Walter C.
1991
177-179 1-3 p. 223-271
49 p.
artikel
72 Models of incremental concept formation Gennari, John H.
1989
177-179 1-3 p. 11-61
51 p.
artikel
73 Modular algebraic specification of some basic geometrical constructions Goguen, Joseph A.
1988
177-179 1-3 p. 123-153
31 p.
artikel
74 Nonmonotonic reasoning in the framework of situation calculus Baker, Andrew B.
1991
177-179 1-3 p. 5-23
19 p.
artikel
75 Numerical shape from shading and occluding boundaries Ikeuchi, Katsushi
1981
177-179 1-3 p. 141-184
44 p.
artikel
76 On the applicability of nonmonotonic logic to formal reasoning in continuous time Rayner, Manny
1991
177-179 1-3 p. 345-360
16 p.
artikel
77 On the geometric interpretation of image contours Horaud, Radu
1988
177-179 1-3 p. 333-353
21 p.
artikel
78 On the thresholds of knowledge Lenat, Douglas B.
1991
177-179 1-3 p. 185-250
66 p.
artikel
79 Open Information Systems Semantics for distributed artificial intelligence Hewitt, Carl
1991
177-179 1-3 p. 79-106
28 p.
artikel
80 Order of magnitude reasoning Raiman, Olivier
1991
177-179 1-3 p. 11-38
28 p.
artikel
81 Partial constraint satisfaction Freuder, Eugene C.
1992
177-179 1-3 p. 21-70
50 p.
artikel
82 Preface—The changing shape of computer vision Brady, Michael
1981
177-179 1-3 p. 1-15
15 p.
artikel
83 Principles of metareasoning Russell, Stuart
1991
177-179 1-3 p. 361-395
35 p.
artikel
84 Psychophysical and computational studies towards a theory of human stereopsis Mayhew, John E.W.
1981
177-179 1-3 p. 349-385
37 p.
artikel
85 Qualitative analysis of MOS circuits Williams, Brian C.
1984
177-179 1-3 p. 281-346
66 p.
artikel
86 Qualitative process theory Forbus, Kenneth D.
1984
177-179 1-3 p. 85-168
84 p.
artikel
87 Qualitative reasoning about physical systems: An introduction Bobrow, Daniel G.
1984
177-179 1-3 p. 1-5
5 p.
artikel
88 Qualitative reasoning about physical systems: A return to roots Williams, Brian C.
1991
177-179 1-3 p. 1-9
9 p.
artikel
89 Qualitative spatial reasoning: The CLOCK project Forbus, Kenneth D.
1991
177-179 1-3 p. 417-471
55 p.
artikel
90 Reasoning about qualitative temporal information van Beek, Peter
1992
177-179 1-3 p. 297-326
30 p.
artikel
91 Recovering surface shape and orientation from texture Witkin, Andrew P.
1981
177-179 1-3 p. 17-45
29 p.
artikel
92 Recovery of the three-dimensional shape of an object from a single view Kanade, Takeo
1981
177-179 1-3 p. 409-460
52 p.
artikel
93 Rigor mortis: A response to Nilsson's “Logic and artificial intelligence” Birnbaum, Lawrence
1991
177-179 1-3 p. 57-77
21 p.
artikel
94 Social conceptions of knowledge and action: DAI foundations and open systems semantics Gasser, Les
1991
177-179 1-3 p. 107-138
32 p.
artikel
95 Structure identification in relational data Dechter, Rina
1992
177-179 1-3 p. 237-270
34 p.
artikel
96 Symbolic reasoning among 3-D models and 2-D images Brooks, Rodney A.
1981
177-179 1-3 p. 285-348
64 p.
artikel
97 Temporal constraint networks Dechter, Rina
1991
177-179 1-3 p. 61-95
35 p.
artikel
98 The computational complexity of abduction Bylander, Tom
1991
177-179 1-3 p. 25-60
36 p.
artikel
99 The effect of knowledge on belief Poole, David
1991
177-179 1-3 p. 281-307
27 p.
artikel
100 The geometry of projective blending surfaces Hoffmann, Christoph
1988
177-179 1-3 p. 357-376
20 p.
artikel
101 The logic of constraint satisfaction Mackworth, Alan K.
1992
177-179 1-3 p. 3-20
18 p.
artikel
102 The owl and the electric encyclopedia Smith, Brian Cantwell
1991
177-179 1-3 p. 251-288
38 p.
artikel
103 The substitutional framework for sorted deduction: Fundamental results on hybrid reasoning Frisch, Alan M.
1991
177-179 1-3 p. 161-198
38 p.
artikel
104 The use of design descriptions in automated diagnosis Genesereth, Michael R.
1984
177-179 1-3 p. 411-436
26 p.
artikel
105 The use of gradient and dual space in line-drawing interpretation Draper, Stephen W
1981
177-179 1-3 p. 461-508
48 p.
artikel
106 The visual interpretation of surface contours Stevens, Kent A.
1981
177-179 1-3 p. 47-73
27 p.
artikel
107 Three-valued nonmonotonic formalisms and semantics of logic programs Przymusinski, Teodor
1991
177-179 1-3 p. 309-343
35 p.
artikel
108 Today the earwig, tomorrow man? Kirsh, David
1991
177-179 1-3 p. 161-184
24 p.
artikel
109 Understanding complex dynamics by visual and symbolic reasoning Yip, Kenneth Man-Kam
1991
177-179 1-3 p. 179-221
43 p.
artikel
110 Verifiable implementations of geometric algorithms using finite precision arithmetic Milenkovic, Victor J.
1988
177-179 1-3 p. 377-401
25 p.
artikel
111 Verify: A program for proving correctness of digital hardware designs Barrow, Harry G.
1984
177-179 1-3 p. 437-491
55 p.
artikel
112 Wu's method and its application to perspective viewing Kapur, Deepak
1988
177-179 1-3 p. 15-36
22 p.
artikel
                             112 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland