view org/ai-journal-review.org @ 382:9b3487a515a7

merge
author Robert McIntyre <rlm@mit.edu>
date Tue, 16 Apr 2013 03:51:41 +0000
parents 9ac42f1fdf0a
children 31814b600935
line wrap: on
line source
1 #+title:Interesting Papers in Artificial Intelligence
3 * Interesting Concept
5 Jordi Delgado - Emergence of social conventions in complex networks
7 Marcelo A. Falappa, Gabriele Kern-Isberner, Guillermo R. Simari -
8 Explanations, belief revision and defeasible reasoning
10 Claudio Bettini, X.Sean Wang, Sushil Jajodia - Solving
11 multi-granularity temporal constraint networks
13 Alberto Maria Segre, Sean Forman, Giovanni Resta, Andrew Wildenberg -
14 Nagging: A scalable fault-tolerant paradigm for distributed search
16 Fahiem Bacchus, Xinguang Chen, Peter van Beek, Toby Walsh - Binary
17 vs. non-binary constraints
19 Jie Cheng, Russell Greiner, Jonathan Kelly, David Bell, Weiru Liu -
20 Learning Bayesian networks from data: An information-theory based
21 approach
23 Kurt Engesser, Dov M. Gabbay - Quantum logic, Hilbert space, revision
24 theory
26 J.-D. Fouks, L. Signac - The problem of survival from an algorithmic
27 point of view
29 Catherine Carr - The MIT Encyclopedia of the Cognitive Sciences,
30 edited by Robert Wilson and Frank Keil
32 Tim Taylor - Christoph Adami, Introduction to Artificial Life
34 Gary William Flake - G.W. Flake, The Computational Beauty of Nature
36 A.S d'Avila Garcez, K Broda, D.M Gabbay - Symbolic knowledge
37 extraction from trained neural networks: A sound approach
39 José Hernández-Orallo - Truth from Trash. How Learning Makes Sense by
40 Chris Thornton
42 Fabio G. Cozman - Credal networks
44 Aaron N. Kaplan, Lenhart K. Schubert - A computational model of belief
46 Mike Perkowitz, Oren Etzioni - Towards adaptive Web sites: Conceptual
47 framework and case study
49 Wilhelm Rödder - Conditional logic and the Principle of Entropy
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
56 Charles L. Ortiz Jr. - A commonsense language for reasoning about
57 causation and rational action
59 Raúl E. Valdés-Pérez - Principles of human—computer collaboration for
60 knowledge discovery in science
62 Paul Snow - The vulnerability of the transferable belief model to
63 Dutch books
65 Simon Kasif, Steven Salzberg, David Waltz, John Rachlin, David W. Aha
66 - A probabilistic framework for memory-based reasoning
68 Geoffrey LaForte, Patrick J. Hayes, Kenneth M. Ford - Why Gödel's
69 theorem cannot refute computationalism
71 Hiroshi Motoda, Kenichi Yoshida - Machine learning techniques to make
72 computers easier to use
74 Aravind K. Joshi - Role of constrained computational systems in
75 natural language processing
77 Moshe Tennenholtz - On stable social laws and qualitative equilibria
79 Michael Arbib - The metaphorical brains
81 Andrew Gelsey, Mark Schwabacher, Don Smith - Using modeling knowledge
82 to guide design space search
84 Márk Jelasity, József Dombi - GAS, a concept on modeling species in
85 genetic algorithms
87 Randall H. Wilson - Geometric reasoning about assembly tools
89 Kurt Ammon - An automatic proof of Gödel's incompleteness theorem
91 Shmuel Onn, Moshe Tennenholtz - Determination of social laws for
92 multi-agent mobilization
94 Yoav Shoham, Moshe Tennenholtz - On the emergence of social
95 conventions: modeling, analysis, and simulations
97 Stuart J. Russell - Rationality and intelligence
99 Hidde de Jong, Arie Rip - The computer revolution in science: steps
100 towards the realization of computer-supported discovery environments
102 Adnan Darwiche, Judea Pearl - On the logic of iterated belief revision
104 R.C. Holte, T. Mkadmi, R.M. Zimmer, A.J. MacDonald - Speeding up
105 problem solving by abstraction: a graph oriented approach
107 R. Holte, T. Mkadmi, R.M. Zimmer, A.J. McDonald - Speeding up problem
108 solving by abstraction: a graph oriented approach
110 Raúl E. Valdés-Pérez - A new theorem in particle physics enabled by
111 machine discovery
113 Dan Roth - On the hardness of approximate reasoning
115 Bart Selman, David G. Mitchell, Hector J. Levesque - Generating hard
116 satisfiability problems
118 Herbert A. Simon - Artificial intelligence: an empirical science
120 John K. Tsotsos - Behaviorist intelligence and the scaling problem
122 Shigeki Goto, Hisao Nojima - Equilibrium analysis of the distribution
123 of information in human society
125 Raúl E. Valdés-Pérez - Machine discovery in chemistry: new results
127 Stephen W. Smoliar - Artificial life: Christopher G. Langton, ed.
129 Yoav Shoham, Moshe Tennenholtz - On social laws for artificial agent
130 societies: off-line design
132 Barbara Hayes-Roth - An architecture for adaptive intelligent systems
134 Bruce Randall Donald - On information invariants in robotics
136 Ian P. Gent, Toby Walsh - Easy problems are sometimes hard
138 Tad Hogg, Colin P. Williams - The hardest constraint problems: A
139 double phase transition
141 Yoram Moses, Yoav Shoham - Belief as defeasible knowledge
143 Donald Michie - Turing's test and conscious thought
145 John McDermott - R1 (“XCON”) at age 12: lessons from an elementary
146 school achiever
148 Takeo Kanade - From a real chair to a negative chair
150 Berthold K.P. Horn, B.G. Schunck - “Determining optical flow”: a
151 retrospective
153 Harry G. Barrow, J.M. Tenenbaum - Retrospective on “Interpreting line
154 drawings as three-dimensional surfaces”
156 Judea Pearl - Belief networks revisited
158 Glenn A. Kramer - A geometric constraint engine
160 Fausto Giunchiglia, Toby Walsh - A theory of abstraction
162 John L. Pollock - How to reason defeasibly
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
168 Olivier Dordan - Mathematical problems arising in qualitative
169 simulation of a differential equation
171 Eric Saund - Putting knowledge into a visual shape representation
173 Michael Freund, Daniel Lehmann, Paul Morris - Rationality,
174 transitivity, and contraposition
176 Anthony S. Maida - Maintaining mental models of agents who have
177 existential misconceptions
179 Henry A. Kautz, Bart Selman - Hard problems for simple default logics
181 Mark J. Stefik, Stephen Smoliar - Four reviews of The Society of Mind
182 and a response
184 Michael G. Dyer - A society of ideas on cognition: Review of Marvin
185 Minsky's The Society of Mind
187 Matthew Ginsberg - The society of mind: Marvin Minsky
189 George N. Reeke Jr - The society of mind: Marvin Minsky
191 Stephen W. Smoliar - The society of mind: Marvin Minsky
193 Marvin Minsky - Society of mind: A response to four reviews
195 Stephen W. Smoliar - How to build a person: A prolegomenon: John
196 Pollock
198 David Makinson, Karl Schlechta - Floating conclusions and zombie
199 paths: Two deep difficulties in the “directly skeptical” approach to
200 defeasible inheritance nets
202 Donald A. Norman - Approaches to the study of intelligence
204 Rodney A. Brooks - Intelligence without representation
206 David Kirsh - Today the earwig, tomorrow man?
208 Douglas B. Lenat, Edward A. Feigenbaum - On the thresholds of
209 knowledge
211 Jordan B. Pollack - Recursive distributed representations
213 R. Bhaskar, Anil Nigam - Qualitative physics using dimensional
214 analysis
216 Don F. Beal - A generalised quiescence search algorithm
218 Kai-Fu Lee, Sanjoy Mahajan - The development of a world class Othello
219 program
221 Helmut Horacek - Reasoning with uncertainty in computer chess
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
227 Daniel S. Weld - The psychology of everyday things: Donald A. Norman,
228 (Basic Books, New York, 1988); 257 pages, $19.95
230 John R. Anderson - A theory of the origins of human knowledge
232 G. Tesauro, T.J. Sejnowski - A parallel network that learns to play
233 backgammon
235 G. Priest - Reasoning about truth
237 Donald Perlis - Truth and meaning
239 Daniel S. Weld - Women, fire, and dangerous things: George Lakoff,
240 (University of Chicago Press, Chicago, IL, 1987); 614 pages, $29.95
242 Mark J. Stefik - On book reviews policy and process
244 Robert K. Lindsay - The science of the mind: Owen J. Flanagan, Jr.,
245 (MIT Press, Cambridge, MA, 1984); 290 pages
247 Sheila Rock - On machine intelligence: Donald Michie, 2nd ed. (Ellis
248 Horwood, Chichester, United Kingdom, 1986); 265 pages, £29.95
250 Stephen W. Smoliar - Epistemology and cognition: A.I. Goldman,
251 (Harvard University Press, Cambridge, MA, 1986); ix + 437 pages,
252 $27.50
254 David Elliot Shaw - On the range of applicability of an artificial
255 intelligence machine
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
261 Ryszard S. Michalski, Patrick H. Winston - Variable precision logic
263 Martin Herman, Takeo Kanade - Incremental reconstruction of 3D scenes
264 from multiple, complex images
266 vision : June 8–11, 1987, London, United Kingdom
268 André Vellino - Artificial intelligence: The very idea: J. Haugeland,
269 (MIT Press, Cambridge, MA, 1985); 287 pp.
271 Judea Pearl - Fusion, propagation, and structuring in belief networks
273 Daniel G. Bobrow - Scientific debate
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
279 Hans Berliner, Carl Ebeling - The SUPREM architecture: A new
280 intelligent paradigm
282 Donna Reese - Artificial intelligence: P.H. Winston, (Addison-Wesley,
283 Reading, MA, 2nd ed., 1984); 527 pages
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
289 Chia-Hoang Lee, Azriel Rosenfeld - Improved methods of estimating
290 shape from shading using the light source coordinate system
292 Daniel G. Bobrow, Patrick J. Hayes - Artificial intelligence — Where
293 are we?
295 Barbara J. Grosz - Natural-language processing
297 Johan De Kleer - How circuits work
299 G.D. Ritchie, F.K. Hanna - am: A case study in AI methodology
301 Douglas B. Lenat, John Seely Brown - Why am and eurisko appear to work
303 Elaine Kant - On the efficient synthesis of efficient programs
305 Randall Davis, Reid G. Smith - Negotiation as a metaphor for
306 distributed problem solving
308 Patrick H. Winston - Learning new principles from precedents and
309 exercises
311 Paul S. Rosenbloom - A world-championship-level Othello program
313 Tomas Lozano-Perez - Robotics
315 Tom M. Mitchell - Generalization as search
317 Dana S. Nau - The last player theorem
319 Hans J. Berliner - Backgammon computer program beats world champion
321 Gerald Jay Sussman, Guy Lewis Steele Jr. - Constraints—A language for
322 expressing almost-hierarchical descriptions
324 Takeo Kanade - A theory of Origami world
326 Ria Follett - Synthesising recursive functions with side effects
328 John McCarthy - Circumscription—A form of non-monotonic reasoning
330 Michael A. Bauer - Programming by examples
332 Patrick H. Winston - Learning by creatifying transfer frames
334 Alan Bundy - Will it reach the top? Prediction in the mechanics world
336 Richard M. Stallman, Gerald J. Sussman - Forward reasoning and
337 dependency-directed backtracking in a system for computer-aided
338 circuit analysis
340 D. Marr - Artificial intelligence—A personal view
342 Berthold K.P. Horn - Understanding image intensities
344 F. Malloy Brown - Doing arithmetic without diagrams
346 Azriel Rosenfeld - The psychology of computer vision: Patrick Henry
347 Winston (ed.) McGraw-Hill, New York, 1975, vi+282 pages, $19.50
349 R.C.T. Lee - On machine intelligence: D. Michie. Halstead Press, a
350 division of John Wiley & Sons, 1974.
352 W.W. Bledsoe, Peter Bruell - A man-machine theorem-proving system
354 Gary G. Hendrix - Modeling simultaneous actions and continuous
355 processes
357 Yoshiaki Shirai - A context sensitive line finder for recognition of
358 polyhedra
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
364 Aaron Sloman - Interactions between philosophy and artificial
365 intelligence: The role of intuition and non-logical reasoning in
366 intelligence
368 * Story related
370 Charles B. Callaway, James C. Lester - Narrative prose generation
372 Katja Markert, Udo Hahn - Understanding metonymies in discourse
374 Kathleen R. McKeown, Steven K. Feiner, Mukesh Dalal, Shih-Fu Chang -
375 Generating multimedia briefings: coordinating language and
376 illustration
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)
383 Akira Shimaya - Interpreting non-3-D line drawings
385 Adam J. Grove - Naming and identity in epistemic logic part II: a
386 first-order logic for naming
388 Luc Lismont, Philippe Mongin - A non-minimal but very weak
389 axiomatization of common belief
391 on integration of natural language and vision processing
393 Russell Greiner - Learning by understanding analogies
395 * Review Articles
397 H.Jaap van den Herik, Jos W.H.M. Uiterwijk, Jack van Rijswijck - Games
398 solved: Now and in the future
400 Jonathan Schaeffer, H.Jaap van den Herik - Games, computers, and
401 artificial intelligence
403 Peter A. Flach - On the state of the art in machine learning: A
404 personal review
406 A.G. Cohn, D. Perlis - “Field Reviews”: A new style of review article
407 for Artificial Intelligence
409 James Delgrande, Arvind Gupta, Tim Van Allen - A comparison of
410 point-based approaches to qualitative temporal reasoning
412 Weixiong Zhang, Rina Dechter, Richard E. Korf - Heuristic search in
413 artificial intelligence
415 Karen Sparck Jones - Information retrieval and artificial intelligence
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
421 Minoru Asada, Hiroaki Kitano, Itsuki Noda, Manuela Veloso - RoboCup:
422 Today and tomorrow—What we have learned
424 Margaret A. Boden - Creativity and artificial intelligence
426 Daniel G. Bobrow, J.Michael Brady - Artificial Intelligence 40 years
427 later
429 Fangzhen Lin, Hector J. Levesque - What robots can do: robot programs
430 and effective achievability
432 Melanie Mitchell - L.D. Davis, handbook of genetic algorithms
434 Russell Greiner, Adam J. Grove, Alexander Kogan - Knowing what doesn't
435 matter: exploiting the omission of irrelevant data
437 W. Whitney, S. Rana, J. Dzubera, K.E. Mathias - Evaluating
438 evolutionary algorithms
440 David S. Touretzky - Neural networks in artificial intelligence:
441 Matthew Zeidenberg
443 Mark J. Stefik, Stephen W. Smoliar - The commonsense reviews
445 Peter Szolovits, Stephen G. Pauker - Categorical and probabilistic
446 reasoning in medicine revisited
448 Daniel G. Bobrow - Artificial intelligence in perspective: a
449 retrospective on fifty volumes of the Artificial Intelligence Journal
451 David Kirsh - Foundations of AI: The big issues
453 Hector J. Levesque - All I know: A study in autoepistemic logic
455 J.T. Schwartz, M. Sharir - A survey of motion planning and related
456 geometric algorithms
458 Larry S. Davis, Azriel Rosenfeld - Cooperating processes for low-level
459 vision: A survey
461 Hans J. Berliner - A chronology of computer chess and its literature
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!
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
472 * Cortex related (sensory fusion / simulated worlds)
474 Alfonso Gerevini, Jochen Renz - Combining topological and size
475 information for spatial reasoning
477 John Slaney, Sylvie Thiébaux - Blocks World revisited
479 Wai K. Yeap, Margaret E. Jefferies - Computing a representation of the
480 local environment
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
486 Tze Yun Leong - Multiple perspective dynamic decision making
488 Cristiano Castelfranchi - Modelling social action for AI agents
490 Luc Steels - The origins of syntax in visually grounded robotic agents
492 Sebastian Thrun - Learning metric-topological maps for indoor mobile
493 robot navigation
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
499 David J. Musliner, Edmund H. Durfee, Kang G. Shin - World modeling for
500 the dynamic construction of real-time control plans
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
506 Michael A. Arbib, Jim-Shih Liaw - Sensorimotor transformations in the
507 worlds of frogs and robots
509 Ingemar J. Cox, John J. Leonard - Modeling a dynamic environment using
510 a Bayesian multiple hypothesis approach
512 on integration of natural language and vision processing
514 Demetri Terzopoulos, Andrew Witkin, Michael Kass - Constraints on
515 deformable models:Recovering 3D shape and nonrigid motion
517 Bruce R. Donald - A search algorithm for motion planning with six
518 degrees of freedom
520 Yorick Wilks - Making preferences more active
522 * Vision Related
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
529 Thomas F. Stahovich, Randall Davis, Howard Shrobe - Qualitative
530 rigid-body mechanics
532 Tzachi Dar, Leo Joskowicz, Ehud Rivlin - Understanding mechanical
533 motion: From images to behaviors
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
539 Thomas F. Stahovich, Randall Davis, Howard Shrobe - Generating
540 multiple new designs from a sketch
542 Ernst D. Dickmanns - Vehicles capable of dynamic vision: a new breed
543 of technical beings?
545 Thomas G. Dietterich, Richard H. Lathrop, Tomás Lozano-Pérez - Solving
546 the multiple instance problem with axis-parallel rectangles
548 Rajesh P.N. Rao, Dana H. Ballard - An active vision architecture based
549 on iconic representations
551 John K. Tsotsos, Scan M. Culhane, Winky Yan Kei Wai, Yuzhong Lai, Neal
552 Davis, Fernando Nuflo - Modeling visual attention via selective tuning
554 Roger Mohr, Boubakeur Boufama, Pascal Brand - Understanding
555 positioning from multiple images
557 Andrew Zisserman, David Forsyth, Joseph Mundy, Charlie Rothwell, Jane
558 Liu, Nic Pillow - 3D object recognition using invariance
560 Naresh C. Gupta, Laveen N. Kanal - 3-D motion estimation from motion
561 field
563 Damian M. Lyons - Vision, instruction, and action: David Chapman, (MIT
564 Press Cambridge, MA, 1991); 295 pages, $35.00, (paperback)
566 Yoshinori Suganuma - Learning structures of visual patterns from
567 single instances
569 Dana H. Ballard - Animate vision
571 Raymond Reiter, Alan K. Mackworth - A logical framework for depiction
572 and image interpretation
574 Ellen Lowenfeld Walker, Martin Herman - Geometric reasoning for
575 constructing 3D scene descriptions from images
577 Michele Barry, David Cyrluk, Deepak Kapur, Joseph Mundy, Van-Duc
578 Nguyen - A multi-level geometric reasoning system for vision
580 Alex P. Pentland - Shading into texture
582 Brady - Parallelism in Vision
584 Jon A. Webb, J.K. Aggarwal - Structure from motion of rigid and
585 jointed objects
587 Michael Brady - Computer vision
589 Takeo Kanade - Recovery of the three-dimensional shape of an object
590 from a single view
592 Rodney A. Brooks - Symbolic reasoning among 3-D models and 2-D images
594 H.K. Nishihara - Intensity, visible-surface, and volumetric
595 representations
597 Thomas O. Binford - Inferring surfaces from images
599 Larry S. Davis, Azriel Rosenfeld - Cooperating processes for low-level
600 vision: A survey
602 Berthold K.P. Horn, Brian G. Schunck - Determining optical flow
604 Katsushi Ikeuchi, Berthold K.P. Horn - Numerical shape from shading
605 and occluding boundaries
607 Andrew P. Witkin - Recovering surface shape and orientation from
608 texture
610 Irwin Sobel - On calibrating computer controlled cameras for
611 perceiving 3-D scenes
613 P.M. Will, K.S. Pennington - Grid coding: A preprocessing technique
614 for robot and machine vision
616 M.B. Clowes - On seeing things
618 Claude R. Brice, Claude L. Fennema - Scene analysis using regions