comparison org/ai-journal-review.org @ 381:9ac42f1fdf0a

journal:Artificial Intelligence reveiwed.
author Robert McIntyre <rlm@mit.edu>
date Tue, 16 Apr 2013 03:19:13 +0000
parents
children 31814b600935
comparison
equal deleted inserted replaced
378:8e62bf52be59 381:9ac42f1fdf0a
1 #+title:Interesting Papers in Artificial Intelligence
2
3 * Interesting Concept
4
5 Jordi Delgado - Emergence of social conventions in complex networks
6
7 Marcelo A. Falappa, Gabriele Kern-Isberner, Guillermo R. Simari -
8 Explanations, belief revision and defeasible reasoning
9
10 Claudio Bettini, X.Sean Wang, Sushil Jajodia - Solving
11 multi-granularity temporal constraint networks
12
13 Alberto Maria Segre, Sean Forman, Giovanni Resta, Andrew Wildenberg -
14 Nagging: A scalable fault-tolerant paradigm for distributed search
15
16 Fahiem Bacchus, Xinguang Chen, Peter van Beek, Toby Walsh - Binary
17 vs. non-binary constraints
18
19 Jie Cheng, Russell Greiner, Jonathan Kelly, David Bell, Weiru Liu -
20 Learning Bayesian networks from data: An information-theory based
21 approach
22
23 Kurt Engesser, Dov M. Gabbay - Quantum logic, Hilbert space, revision
24 theory
25
26 J.-D. Fouks, L. Signac - The problem of survival from an algorithmic
27 point of view
28
29 Catherine Carr - The MIT Encyclopedia of the Cognitive Sciences,
30 edited by Robert Wilson and Frank Keil
31
32 Tim Taylor - Christoph Adami, Introduction to Artificial Life
33
34 Gary William Flake - G.W. Flake, The Computational Beauty of Nature
35
36 A.S d'Avila Garcez, K Broda, D.M Gabbay - Symbolic knowledge
37 extraction from trained neural networks: A sound approach
38
39 José Hernández-Orallo - Truth from Trash. How Learning Makes Sense by
40 Chris Thornton
41
42 Fabio G. Cozman - Credal networks
43
44 Aaron N. Kaplan, Lenhart K. Schubert - A computational model of belief
45
46 Mike Perkowitz, Oren Etzioni - Towards adaptive Web sites: Conceptual
47 framework and case study
48
49 Wilhelm Rödder - Conditional logic and the Principle of Entropy
50
51 Christian Vilhelm, Pierre Ravaux, Daniel Calvelo, Alexandre Jaborska,
52 Marie-Christine Chambrin, Michel Boniface - Think!: A unified
53 numerical–symbolic knowledge representation scheme and reasoning
54 system
55
56 Charles L. Ortiz Jr. - A commonsense language for reasoning about
57 causation and rational action
58
59 Raúl E. Valdés-Pérez - Principles of human—computer collaboration for
60 knowledge discovery in science
61
62 Paul Snow - The vulnerability of the transferable belief model to
63 Dutch books
64
65 Simon Kasif, Steven Salzberg, David Waltz, John Rachlin, David W. Aha
66 - A probabilistic framework for memory-based reasoning
67
68 Geoffrey LaForte, Patrick J. Hayes, Kenneth M. Ford - Why Gödel's
69 theorem cannot refute computationalism
70
71 Hiroshi Motoda, Kenichi Yoshida - Machine learning techniques to make
72 computers easier to use
73
74 Aravind K. Joshi - Role of constrained computational systems in
75 natural language processing
76
77 Moshe Tennenholtz - On stable social laws and qualitative equilibria
78
79 Michael Arbib - The metaphorical brains
80
81 Andrew Gelsey, Mark Schwabacher, Don Smith - Using modeling knowledge
82 to guide design space search
83
84 Márk Jelasity, József Dombi - GAS, a concept on modeling species in
85 genetic algorithms
86
87 Randall H. Wilson - Geometric reasoning about assembly tools
88
89 Kurt Ammon - An automatic proof of Gödel's incompleteness theorem
90
91 Shmuel Onn, Moshe Tennenholtz - Determination of social laws for
92 multi-agent mobilization
93
94 Yoav Shoham, Moshe Tennenholtz - On the emergence of social
95 conventions: modeling, analysis, and simulations
96
97 Stuart J. Russell - Rationality and intelligence
98
99 Hidde de Jong, Arie Rip - The computer revolution in science: steps
100 towards the realization of computer-supported discovery environments
101
102 Adnan Darwiche, Judea Pearl - On the logic of iterated belief revision
103
104 R.C. Holte, T. Mkadmi, R.M. Zimmer, A.J. MacDonald - Speeding up
105 problem solving by abstraction: a graph oriented approach
106
107 R. Holte, T. Mkadmi, R.M. Zimmer, A.J. McDonald - Speeding up problem
108 solving by abstraction: a graph oriented approach
109
110 Raúl E. Valdés-Pérez - A new theorem in particle physics enabled by
111 machine discovery
112
113 Dan Roth - On the hardness of approximate reasoning
114
115 Bart Selman, David G. Mitchell, Hector J. Levesque - Generating hard
116 satisfiability problems
117
118 Herbert A. Simon - Artificial intelligence: an empirical science
119
120 John K. Tsotsos - Behaviorist intelligence and the scaling problem
121
122 Shigeki Goto, Hisao Nojima - Equilibrium analysis of the distribution
123 of information in human society
124
125 Raúl E. Valdés-Pérez - Machine discovery in chemistry: new results
126
127 Stephen W. Smoliar - Artificial life: Christopher G. Langton, ed.
128
129 Yoav Shoham, Moshe Tennenholtz - On social laws for artificial agent
130 societies: off-line design
131
132 Barbara Hayes-Roth - An architecture for adaptive intelligent systems
133
134 Bruce Randall Donald - On information invariants in robotics
135
136 Ian P. Gent, Toby Walsh - Easy problems are sometimes hard
137
138 Tad Hogg, Colin P. Williams - The hardest constraint problems: A
139 double phase transition
140
141 Yoram Moses, Yoav Shoham - Belief as defeasible knowledge
142
143 Donald Michie - Turing's test and conscious thought
144
145 John McDermott - R1 (“XCON”) at age 12: lessons from an elementary
146 school achiever
147
148 Takeo Kanade - From a real chair to a negative chair
149
150 Berthold K.P. Horn, B.G. Schunck - “Determining optical flow”: a
151 retrospective
152
153 Harry G. Barrow, J.M. Tenenbaum - Retrospective on “Interpreting line
154 drawings as three-dimensional surfaces”
155
156 Judea Pearl - Belief networks revisited
157
158 Glenn A. Kramer - A geometric constraint engine
159
160 Fausto Giunchiglia, Toby Walsh - A theory of abstraction
161
162 John L. Pollock - How to reason defeasibly
163
164 Aaron Sloman - The emperor's real mind: Review of Roger Penrose's the
165 emperor's new mind: Concerning computers, minds and the laws of
166 physics
167
168 Olivier Dordan - Mathematical problems arising in qualitative
169 simulation of a differential equation
170
171 Eric Saund - Putting knowledge into a visual shape representation
172
173 Michael Freund, Daniel Lehmann, Paul Morris - Rationality,
174 transitivity, and contraposition
175
176 Anthony S. Maida - Maintaining mental models of agents who have
177 existential misconceptions
178
179 Henry A. Kautz, Bart Selman - Hard problems for simple default logics
180
181 Mark J. Stefik, Stephen Smoliar - Four reviews of The Society of Mind
182 and a response
183
184 Michael G. Dyer - A society of ideas on cognition: Review of Marvin
185 Minsky's The Society of Mind
186
187 Matthew Ginsberg - The society of mind: Marvin Minsky
188
189 George N. Reeke Jr - The society of mind: Marvin Minsky
190
191 Stephen W. Smoliar - The society of mind: Marvin Minsky
192
193 Marvin Minsky - Society of mind: A response to four reviews
194
195 Stephen W. Smoliar - How to build a person: A prolegomenon: John
196 Pollock
197
198 David Makinson, Karl Schlechta - Floating conclusions and zombie
199 paths: Two deep difficulties in the “directly skeptical” approach to
200 defeasible inheritance nets
201
202 Donald A. Norman - Approaches to the study of intelligence
203
204 Rodney A. Brooks - Intelligence without representation
205
206 David Kirsh - Today the earwig, tomorrow man?
207
208 Douglas B. Lenat, Edward A. Feigenbaum - On the thresholds of
209 knowledge
210
211 Jordan B. Pollack - Recursive distributed representations
212
213 R. Bhaskar, Anil Nigam - Qualitative physics using dimensional
214 analysis
215
216 Don F. Beal - A generalised quiescence search algorithm
217
218 Kai-Fu Lee, Sanjoy Mahajan - The development of a world class Othello
219 program
220
221 Helmut Horacek - Reasoning with uncertainty in computer chess
222
223 Jeff Shrager - Induction: Process of inference, learning and
224 discovery: John H. Holland, Keith J. Holyoak, Richard E. Nisbett, and
225 Paul R. Thagard (MIT Press, Cambridge, MA, 1986); 355 pages
226
227 Daniel S. Weld - The psychology of everyday things: Donald A. Norman,
228 (Basic Books, New York, 1988); 257 pages, $19.95
229
230 John R. Anderson - A theory of the origins of human knowledge
231
232 G. Tesauro, T.J. Sejnowski - A parallel network that learns to play
233 backgammon
234
235 G. Priest - Reasoning about truth
236
237 Donald Perlis - Truth and meaning
238
239 Daniel S. Weld - Women, fire, and dangerous things: George Lakoff,
240 (University of Chicago Press, Chicago, IL, 1987); 614 pages, $29.95
241
242 Mark J. Stefik - On book reviews policy and process
243
244 Robert K. Lindsay - The science of the mind: Owen J. Flanagan, Jr.,
245 (MIT Press, Cambridge, MA, 1984); 290 pages
246
247 Sheila Rock - On machine intelligence: Donald Michie, 2nd ed. (Ellis
248 Horwood, Chichester, United Kingdom, 1986); 265 pages, £29.95
249
250 Stephen W. Smoliar - Epistemology and cognition: A.I. Goldman,
251 (Harvard University Press, Cambridge, MA, 1986); ix + 437 pages,
252 $27.50
253
254 David Elliot Shaw - On the range of applicability of an artificial
255 intelligence machine
256
257 Michael Gordon - Machine intelligence and related topics: An
258 information scientist's weekend book: Donald Michie, (Gordon and
259 Breach, New York, 1982); 328 pages, $57.75
260
261 Ryszard S. Michalski, Patrick H. Winston - Variable precision logic
262
263 Martin Herman, Takeo Kanade - Incremental reconstruction of 3D scenes
264 from multiple, complex images
265
266 vision : June 8–11, 1987, London, United Kingdom
267
268 André Vellino - Artificial intelligence: The very idea: J. Haugeland,
269 (MIT Press, Cambridge, MA, 1985); 287 pp.
270
271 Judea Pearl - Fusion, propagation, and structuring in belief networks
272
273 Daniel G. Bobrow - Scientific debate
274
275 Mark Stefik - The AI business: Commercial uses of artificial
276 intelligence: P.H. Winston and K.A. Prendergast, (MIT Press,
277 Cambridge, MA 1984); 324 pages, $15.95
278
279 Hans Berliner, Carl Ebeling - The SUPREM architecture: A new
280 intelligent paradigm
281
282 Donna Reese - Artificial intelligence: P.H. Winston, (Addison-Wesley,
283 Reading, MA, 2nd ed., 1984); 527 pages
284
285 Kenneth D. Forbus - Structure and interpretation of computer programs:
286 H. Abelson and G.J. Sussman with J. Sussman, (MIT, Cambridge, 1985);
287 503 pages
288
289 Chia-Hoang Lee, Azriel Rosenfeld - Improved methods of estimating
290 shape from shading using the light source coordinate system
291
292 Daniel G. Bobrow, Patrick J. Hayes - Artificial intelligence — Where
293 are we?
294
295 Barbara J. Grosz - Natural-language processing
296
297 Johan De Kleer - How circuits work
298
299 G.D. Ritchie, F.K. Hanna - am: A case study in AI methodology
300
301 Douglas B. Lenat, John Seely Brown - Why am and eurisko appear to work
302
303 Elaine Kant - On the efficient synthesis of efficient programs
304
305 Randall Davis, Reid G. Smith - Negotiation as a metaphor for
306 distributed problem solving
307
308 Patrick H. Winston - Learning new principles from precedents and
309 exercises
310
311 Paul S. Rosenbloom - A world-championship-level Othello program
312
313 Tomas Lozano-Perez - Robotics
314
315 Tom M. Mitchell - Generalization as search
316
317 Dana S. Nau - The last player theorem
318
319 Hans J. Berliner - Backgammon computer program beats world champion
320
321 Gerald Jay Sussman, Guy Lewis Steele Jr. - Constraints—A language for
322 expressing almost-hierarchical descriptions
323
324 Takeo Kanade - A theory of Origami world
325
326 Ria Follett - Synthesising recursive functions with side effects
327
328 John McCarthy - Circumscription—A form of non-monotonic reasoning
329
330 Michael A. Bauer - Programming by examples
331
332 Patrick H. Winston - Learning by creatifying transfer frames
333
334 Alan Bundy - Will it reach the top? Prediction in the mechanics world
335
336 Richard M. Stallman, Gerald J. Sussman - Forward reasoning and
337 dependency-directed backtracking in a system for computer-aided
338 circuit analysis
339
340 D. Marr - Artificial intelligence—A personal view
341
342 Berthold K.P. Horn - Understanding image intensities
343
344 F. Malloy Brown - Doing arithmetic without diagrams
345
346 Azriel Rosenfeld - The psychology of computer vision: Patrick Henry
347 Winston (ed.) McGraw-Hill, New York, 1975, vi+282 pages, $19.50
348
349 R.C.T. Lee - On machine intelligence: D. Michie. Halstead Press, a
350 division of John Wiley & Sons, 1974.
351
352 W.W. Bledsoe, Peter Bruell - A man-machine theorem-proving system
353
354 Gary G. Hendrix - Modeling simultaneous actions and continuous
355 processes
356
357 Yoshiaki Shirai - A context sensitive line finder for recognition of
358 polyhedra
359
360 Kenneth Mark Colby, Franklin Dennis Hilf, Sylvia Weber, Helena C
361 Kraemer - Turing-like indistinguishability tests for the validation of
362 a computer simulation of paranoid processes
363
364 Aaron Sloman - Interactions between philosophy and artificial
365 intelligence: The role of intuition and non-logical reasoning in
366 intelligence
367
368 * Story related
369
370 Charles B. Callaway, James C. Lester - Narrative prose generation
371
372 Katja Markert, Udo Hahn - Understanding metonymies in discourse
373
374 Kathleen R. McKeown, Steven K. Feiner, Mukesh Dalal, Shih-Fu Chang -
375 Generating multimedia briefings: coordinating language and
376 illustration
377
378 Varol Akman - Formalizing common sense: Papers by John McCarthy:
379 V. Lifschitz, ed., (Ablex Publishing Corporation, Norwood, NJ, 1990);
380 vi+256 pages, hardback, ISBN 0-89391-535-1 (Library of Congress:
381 Q335.M38 1989)
382
383 Akira Shimaya - Interpreting non-3-D line drawings
384
385 Adam J. Grove - Naming and identity in epistemic logic part II: a
386 first-order logic for naming
387
388 Luc Lismont, Philippe Mongin - A non-minimal but very weak
389 axiomatization of common belief
390
391 on integration of natural language and vision processing
392
393 Russell Greiner - Learning by understanding analogies
394
395 * Review Articles
396
397 H.Jaap van den Herik, Jos W.H.M. Uiterwijk, Jack van Rijswijck - Games
398 solved: Now and in the future
399
400 Jonathan Schaeffer, H.Jaap van den Herik - Games, computers, and
401 artificial intelligence
402
403 Peter A. Flach - On the state of the art in machine learning: A
404 personal review
405
406 A.G. Cohn, D. Perlis - “Field Reviews”: A new style of review article
407 for Artificial Intelligence
408
409 James Delgrande, Arvind Gupta, Tim Van Allen - A comparison of
410 point-based approaches to qualitative temporal reasoning
411
412 Weixiong Zhang, Rina Dechter, Richard E. Korf - Heuristic search in
413 artificial intelligence
414
415 Karen Sparck Jones - Information retrieval and artificial intelligence
416
417 Wolfram Burgard, Armin B. Cremers, Dieter Fox, Dirk Hähnel, Gerhard
418 Lakemeyer, Dirk Schulz, Walter Steiner, Sebastian Thrun - Experiences
419 with an interactive museum tour-guide robot
420
421 Minoru Asada, Hiroaki Kitano, Itsuki Noda, Manuela Veloso - RoboCup:
422 Today and tomorrow—What we have learned
423
424 Margaret A. Boden - Creativity and artificial intelligence
425
426 Daniel G. Bobrow, J.Michael Brady - Artificial Intelligence 40 years
427 later
428
429 Fangzhen Lin, Hector J. Levesque - What robots can do: robot programs
430 and effective achievability
431
432 Melanie Mitchell - L.D. Davis, handbook of genetic algorithms
433
434 Russell Greiner, Adam J. Grove, Alexander Kogan - Knowing what doesn't
435 matter: exploiting the omission of irrelevant data
436
437 W. Whitney, S. Rana, J. Dzubera, K.E. Mathias - Evaluating
438 evolutionary algorithms
439
440 David S. Touretzky - Neural networks in artificial intelligence:
441 Matthew Zeidenberg
442
443 Mark J. Stefik, Stephen W. Smoliar - The commonsense reviews
444
445 Peter Szolovits, Stephen G. Pauker - Categorical and probabilistic
446 reasoning in medicine revisited
447
448 Daniel G. Bobrow - Artificial intelligence in perspective: a
449 retrospective on fifty volumes of the Artificial Intelligence Journal
450
451 David Kirsh - Foundations of AI: The big issues
452
453 Hector J. Levesque - All I know: A study in autoepistemic logic
454
455 J.T. Schwartz, M. Sharir - A survey of motion planning and related
456 geometric algorithms
457
458 Larry S. Davis, Azriel Rosenfeld - Cooperating processes for low-level
459 vision: A survey
460
461 Hans J. Berliner - A chronology of computer chess and its literature
462
463 John McCarthy - Artificial intelligence: a paper symposium: Professor
464 Sir James Lighthill, FRS. Artificial Intelligence: A General
465 Survey. In: Science Research Council, 1973
466 * Cryo!
467
468 Kenneth D. Forbus, Peter B. Whalley, John O. Everett, Leo Ureel, Mike
469 Brokowski, Julie Baher, Sven E. Kuehne - CyclePad: An articulate
470 virtual laboratory for engineering thermodynamics
471
472 * Cortex related (sensory fusion / simulated worlds)
473
474 Alfonso Gerevini, Jochen Renz - Combining topological and size
475 information for spatial reasoning
476
477 John Slaney, Sylvie Thiébaux - Blocks World revisited
478
479 Wai K. Yeap, Margaret E. Jefferies - Computing a representation of the
480 local environment
481
482 R.P. Loui - On the origin of objects: B.C. Smith's MIT Press,
483 Cambridge, MA, 1996. $37.50 (cloth). $17.50 (paper). 440 pages. ISBN
484 0-262-69209-0
485
486 Tze Yun Leong - Multiple perspective dynamic decision making
487
488 Cristiano Castelfranchi - Modelling social action for AI agents
489
490 Luc Steels - The origins of syntax in visually grounded robotic agents
491
492 Sebastian Thrun - Learning metric-topological maps for indoor mobile
493 robot navigation
494
495 John Haugeland - Body and world: a review of What Computers Still
496 Can't Do: A critique of artificial reason (Hubert L. Dreyfus): (MIT
497 Press, Cambridge, MA, 1992); liii + 354 pages, $13.95
498
499 David J. Musliner, Edmund H. Durfee, Kang G. Shin - World modeling for
500 the dynamic construction of real-time control plans
501
502 Jozsef A. Toth - Reasoning agents in a dynamic world: The frame
503 problem: Kenneth M. Ford and Patrick J. Hayes, eds., (JAI Press,
504 Greenwich, CT, 1991); 290+xiv pages
505
506 Michael A. Arbib, Jim-Shih Liaw - Sensorimotor transformations in the
507 worlds of frogs and robots
508
509 Ingemar J. Cox, John J. Leonard - Modeling a dynamic environment using
510 a Bayesian multiple hypothesis approach
511
512 on integration of natural language and vision processing
513
514 Demetri Terzopoulos, Andrew Witkin, Michael Kass - Constraints on
515 deformable models:Recovering 3D shape and nonrigid motion
516
517 Bruce R. Donald - A search algorithm for motion planning with six
518 degrees of freedom
519
520 Yorick Wilks - Making preferences more active
521
522 * Vision Related
523
524 Azriel Rosenfeld - B. Jähne, H. Haussecker, and P. Geissler, eds.,
525 Handbook of Computer Vision and Applications. 1. Sensors and
526 Imaging. 2. Signal Processing and Pattern Recognition. 3. Systems and
527 Applications
528
529 Thomas F. Stahovich, Randall Davis, Howard Shrobe - Qualitative
530 rigid-body mechanics
531
532 Tzachi Dar, Leo Joskowicz, Ehud Rivlin - Understanding mechanical
533 motion: From images to behaviors
534
535 Minoru Asada, Eiji Uchibe, Koh Hosoda - Cooperative behavior
536 acquisition for mobile robots in dynamically changing real worlds via
537 vision-based reinforcement learning and development
538
539 Thomas F. Stahovich, Randall Davis, Howard Shrobe - Generating
540 multiple new designs from a sketch
541
542 Ernst D. Dickmanns - Vehicles capable of dynamic vision: a new breed
543 of technical beings?
544
545 Thomas G. Dietterich, Richard H. Lathrop, Tomás Lozano-Pérez - Solving
546 the multiple instance problem with axis-parallel rectangles
547
548 Rajesh P.N. Rao, Dana H. Ballard - An active vision architecture based
549 on iconic representations
550
551 John K. Tsotsos, Scan M. Culhane, Winky Yan Kei Wai, Yuzhong Lai, Neal
552 Davis, Fernando Nuflo - Modeling visual attention via selective tuning
553
554 Roger Mohr, Boubakeur Boufama, Pascal Brand - Understanding
555 positioning from multiple images
556
557 Andrew Zisserman, David Forsyth, Joseph Mundy, Charlie Rothwell, Jane
558 Liu, Nic Pillow - 3D object recognition using invariance
559
560 Naresh C. Gupta, Laveen N. Kanal - 3-D motion estimation from motion
561 field
562
563 Damian M. Lyons - Vision, instruction, and action: David Chapman, (MIT
564 Press Cambridge, MA, 1991); 295 pages, $35.00, (paperback)
565
566 Yoshinori Suganuma - Learning structures of visual patterns from
567 single instances
568
569 Dana H. Ballard - Animate vision
570
571 Raymond Reiter, Alan K. Mackworth - A logical framework for depiction
572 and image interpretation
573
574 Ellen Lowenfeld Walker, Martin Herman - Geometric reasoning for
575 constructing 3D scene descriptions from images
576
577 Michele Barry, David Cyrluk, Deepak Kapur, Joseph Mundy, Van-Duc
578 Nguyen - A multi-level geometric reasoning system for vision
579
580 Alex P. Pentland - Shading into texture
581
582 Brady - Parallelism in Vision
583
584 Jon A. Webb, J.K. Aggarwal - Structure from motion of rigid and
585 jointed objects
586
587 Michael Brady - Computer vision
588
589 Takeo Kanade - Recovery of the three-dimensional shape of an object
590 from a single view
591
592 Rodney A. Brooks - Symbolic reasoning among 3-D models and 2-D images
593
594 H.K. Nishihara - Intensity, visible-surface, and volumetric
595 representations
596
597 Thomas O. Binford - Inferring surfaces from images
598
599 Larry S. Davis, Azriel Rosenfeld - Cooperating processes for low-level
600 vision: A survey
601
602 Berthold K.P. Horn, Brian G. Schunck - Determining optical flow
603
604 Katsushi Ikeuchi, Berthold K.P. Horn - Numerical shape from shading
605 and occluding boundaries
606
607 Andrew P. Witkin - Recovering surface shape and orientation from
608 texture
609
610 Irwin Sobel - On calibrating computer controlled cameras for
611 perceiving 3-D scenes
612
613 P.M. Will, K.S. Pennington - Grid coding: A preprocessing technique
614 for robot and machine vision
615
616 M.B. Clowes - On seeing things
617
618 Claude R. Brice, Claude L. Fennema - Scene analysis using regions