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