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