Elected AAAI Fellows

The Association for the Advancement of Artificial Intelligence's Fellows program was started in 1990 to recognize individuals who have made significant, sustained contributions---usually over at least a ten-year period---to the field of artificial intelligence.

In February of each year, the AAAI membership nominates individuals whom they consider to have achieved unusual distinction in the field. These nominations are then considered by the Fellows Selection Committee, comprising 9 AAAI Fellows who are current members of AAAI and chaired by the immediate Past President of AAAI. The committee generally selects 5–10 new Fellows each year.

Fellows' accomplishments range from pioneering advances in the theory of artificial intelligence, to unusual accomplishments in artificial intelligence technology and AI applications. Leadership in the Association for the Advancement of Artificial Intelligence or similar scientific organizations that promote the advancement of artifical intelligence through educational programs and support of forums for the exchange of ideas also plays a role in the selection process.

Elected in 2012

Murray S. Campbell, IBM T.J. Watson Research Center

For significant contributions to computer game-playing, especially chess, and the associated improvement in public awareness of the AI endeavor.

Boi V. Faltings, Swiss Federal Institute of Technology (EPFL)

For significant contributions to research and applications of spatial reasoning, distributed constraint reasoning, case-based reasoning, design, optimized communication, and social networking.

Yolanda Gil, USC/Information Sciences Institute

For significant contributions to intelligent user interfaces, knowledge capture, representations for web-based science, and for leadership in the AI community.

Peter F. Patel-Schneider

For significant contributions to knowledge representation and reasoning, in particular the exploration of decidable logic fragments, reasoning optimizations, and the application of KR on the web.

Francesca Rossi, Università degli Studi di Padova

For significant contributions to constraint and preference reasoning, and for distinguished leadership and service.

Peter H. Stone, The University of Texas at Austin

For significant contributions to machine learning, multiagent systems, and robotics, and pioneering applications in the robot soccer, trading agents, and autonomous driving domains.

Elected in 2011

Dieter Fox, University of Washington

For significant contributions to probabilistic state estimation and its application to the fields of robotics and ubiquitous computing.

Robert C. Holte, University of Alberta

For significant contributions to the science and practice of empirical machine learning, and for leadership of the Machine Learning Journal.

Sheila A. McIlraith, University of Toronto

For significant contributions to knowledge representation, reasoning about action, and the formal foundations of the semantic web and diagnostic problem solving.

Satinder Singh Baveja, University of Michigan

For significant contributions to reinforcement learning, including seminal theoretical results on algorithm properties and the foundations of dynamical system representations.

Makoto Yokoo, Kyushu University

For significant contributions to the theory and algorithms for multiagent systems and in particular in pioneering research in distributed constraint reasoning and mechanism design in anonymous environments.

Shlomo Zilberstein, University of Massachusetts Amherst

For significant contributions to decision-theoretic reasoning, resource-bounded reasoning, automated planning, decentralized decision making and multiagent systems.

Elected in 2010

Pedro Domingos, University of Washington

For significant contributions to the field of machine learning and to the unification of first-order logic and probability.

Nicholas R. Jennings, University of Southampton

For significant contributions to the theory and practice of multi-agent systems, including industrial applications, practical coordination techniques, and market-based control mechanisms.

Michael L. Littman, Rutgers University

For significant contributions to the fields of reinforcement learning, decision making under uncertainty, and statistical language applications.

Christopher D. Manning, Stanford University

For significant contributions to statistical natural language processing, including in statistical parsing and grammar induction, and education through leading textbooks.

Bernhard Nebel, Albert-Ludwigs-Universitaet Freiburg

For significant contributions to knowledge representation and reasoning, planning, robotics, and services to the international AI community.

Yoram Singer, Google

For significant contributions to the theory and practice of efficient machine learning algorithms.

Padhraic Smyth, University of California, Irvine

For significant contributions to the theory and practice of statistical machine learning.

Moshe Tennenholtz, Technion – Israel Institute of Technology

For significant contributions in the area of multiagent systems and beyond, and for extraordinary service to the AI community.

Elected in 2009

Wolfram Burgard, Albert-Ludwigs-Universität Freiburg

For significant contributions to mobile robot navigation and environment modeling.

William W. Cohen, Carnegie Mellon University

For significant contributions to many aspects of the theory and practice of machine learning.

Andrew K. McCallum, University of Massachusetts, Amherst

For significant contributions to the theory and application of information extraction, natural language processing, data mining, machine learning, and their integration.

Jeffrey S. Rosenschein, The Hebrew University of Jerusalem

For significant contributions to multiagent systems, automated negotiation, voting mechanisms, and to bringing game-theoretic mechanism design into computer science.

Dan Roth, University of Illinois at Urbana/Champaign

For significant contributions to the foundations of machine learning and inference and to developing learning-centered solutions to natural language problems.

Daniela Rus, MIT Computer Science and Artificial Intelligence Laboratory (CSAIL)

For significant contributions to the theory and practice of distributed robotics, agents, and sensor networks.

Robert E. Schapire, Princeton University

For significant contributions to machine learning, including the theory and practice of boosting.

Venkatramanan Siva Subrahmanian, University of Maryland, College Park

For significant contributions to the study of probabilistic databases, logic programming and agent-based systems.

Pascal R. Van Hentenryck, Brown University

For significant contributions to constraint satisfaction and reasoning under uncertainty, the development of the widely used CHIP, Numerica, OPL, and Comet systems, and his pioneering role in the inception of constraint programming and its integration in operations research.

Elected in 2008

Yoav S. Freund, University of California, San Diego

For significant contributions to machine learning including the development of practical boosting algorithms.

Maria L. Gini, University of Minnesota

For significant contributions to coordination and competition in multirobot and multiagent systems, for leadership in the AI community, and for inspiring the next generation.

Lydia E. Kavraki, Rice University

For significant contributions to the field of automated motion planning and the development of widely used probabilistic search algorithms

Tuomas W. Sandholm, Carnegie Mellon University

For significant contributions to the foundations of multiagent systems and computational game theory, pioneering work in combinatorial auctions, multiagent preference elicitation, and automated mechanism design, and principles and large-scale application of electronic marketplaces.

Peter van Beek, University of Waterloo

For contributions to temporal reasoning, backtracking search algorithms, and constraint programming.

Toby Walsh, University of New South Wales

For significant and sustained contributions to automated deduction and constraint programming, and for extraordinary service to the AI community.

Brian C. Williams, Massachusetts Institute of Technology

For significant contributions to model-based reasoning and autonomous systems, and the innovative application of AI to space exploration.

Michael John Wooldridge, University of Liverpool

For significant contributions to logical foundations and complexity analysis of multiagent systems, including formal theories of teamwork and agent-oriented software engineering.

Elected in 2007

Pierre F. Baldi, University of California, Irvine

For significant contributions to statistical machine learning and the development of widely used algorithms/architectures to solve problems in the life sciences.

Adnan Y. Darwiche, University of California, Los Angeles

For significant contributions to the development and application of both probabilistic and logical methods in automated reasoning.

Hector A Geffner, ICREA and Universitat Pompeu Fabra

For significant contributions to the fields of planning, reasoning, and knowledge representation.

Carla P. Gomes, Cornell University

For significant contributions to constraint reasoning and the integration of techniques from artificial intelligence, constraint programming, and operations research.

Russell Greiner, University of Alberta

For significant contributions to the theory of statistical machine learning and its applications in bioinformatics and medical informatics.

Stephen F. Smith, Carnegie Mellon University

For significant contributions to heuristic and mixed-initiative scheduling, constraint-based search, and the development of scalable AI systems.

Milind Tambe, University of Southern California

For significant contributions to theory and software infrastructure for multiagent systems and pioneering applications in teamwork systems.

Elected in 2006

Fahiem Bacchus, University of Toronto

For significant contributions in knowledge representation, automated planning, utility modeling, and algorithms for SAT and constraint satisfaction.

Craig Boutilier, University of Toronto

For significant contributions to default reasoning, belief revision, and decision-theoretic foundations of AI.

Anthony G. Cohn, University of Leeds

For significant contributions to knowledge representation, qualitative spatial reasoning, cognitive vision, and service to the international AI community.

Gregory F. Cooper, University of Pittsburgh

For significant contributions to the theory and applications of Bayesian reasoning and causal modeling, and the promotion of artificial intelligence within medicine.

Jude W. Shavlik, University of Wisconsin

For significant contributions to machine learning, especially knowledge-intensive approaches, and the application of machine learning to problems in computational biology.

Oliviero Stock, ITC-IRST

For wide-ranging, significant contributions to research in computational linguistics and intelligent interfaces, serious work on computational humor, and dedicated service and leadership in support of the European AI community.

Sebastian Thrun, Stanford University

For significant contributions to the theory of probabilistic robot navigation and its successful real-world application.

Elected in 2005

Usama M. Fayyad, Yahoo, Inc.

For significant research contributions to machine learning, data mining and KDD, exceptional service in founding a new AI subfield/community, and for successfully fielding and commercializing AI and KDD technologies.

Raymond J. Mooney, University of Texas at Austin

For significant contributions to machine learning, particularly explanation-based learning, theory refinement, and learning for natural-language processing.

Andrew W. Moore, Carnegie Mellon University

For significant contributions to machine learning, data mining, and statistical AI, and for major roles in transferring these technologies to industry and government.

David E. Smith, NASA Ames Research Center

For significant contributions to the field of automated planning, including influential techniques for contingent, conformant, and temporal planning.

Elected in 2004

Subbarao Kambhampati, Arizona State University

For significant contributions to a unified theory of planning, its relation to constraint satisfaction, and development of varied speedup methods and heuristics.

Craig A. Knoblock, University of Southern California

For significant contributions to planning and information integration and the application of AI methods to complex domains.

Daphne Koller, Stanford University

For significant contributions to the integration of logic and probability and development of methods for reasoning, learning, and decision making under uncertainty.

Gérard G. Medioni, University of Southern California

For significant contributions to computer vision, including algorithms for feature extraction, organization, and matching.

Stuart M. Shieber, Harvard University

For significant contributions to the foundations of computational linguistics, to graphical and spokenlanguage interfaces, and to open scientific publishing.

Moshe Y. Vardi, Rice University

For significant contributions to the development of automated-reasoning techniques and to the development of logic as a unifying foundational framework and a tool for modeling computational systems.

Elected in 2003

Oren Etzioni, University of Washington

For significant contributions to the fields of software agents, web-based technology, and intelligent user interfaces.

Scott E. Fahlman, Carnegie Mellon University and IBM Research

For significant contributions to knowledge representation, artificial neural networks, AI-oriented software tools, and massively parallel architectures for AI.

Michael Kearns, University of Pennsylvania

For significant contributions to computational learning theory, to reinforcement learning and stochastic planning, to dialogue agents, and to the theory of multi-agent systems.

Pradeep Khosla, Carnegie Mellon University

For significant contributions to automated modeling, reconfiguration, and design of robotic and real-time software systems, and for encouraging the field through professional leadership.

Michael Pazzani, University of California, Irvine

For significant contributions to the development and understanding of machine learning algorithms and their relationship to human learning.

Reid Simmons, Carnegie Mellon University

For significant contributions to mobile robot navigation, self-reliant autonomous systems, and the Task Control Architecture.

Manuela Veloso, Carnegie Mellon University

For significant contributions to the development of planning and learning algorithms, and multiagent robot teams for uncertain dynamic environments.

Elected in 2002

Kevin D. Ashley, University of Pittsburgh

For significant contributions in computationally modeling case-based and analogical reasoning in law and practical ethics.

Michael Gelfond, Texas Tech University

For significant contributions to the development of stable model semantics, answer set semantics, and work in cognitive robotics, logic programming, and nonmonotonic reasoning.

Eric Horvitz, Microsoft Research

For significant contributions to principles and applications of probability and utility in computation, including reasoning and decision making under limited resources, human-computer interaction, and machine learning.

Henry E. Kyburg, Jr., University of Rochester and Institute for Human and Machine Cognition

For significant contributions to the study of probabilistic, statistical and nonmonotonic inference.

Michael I. Jordan, University of California, Berkeley

For significant contributions to reasoning under uncertainty, machine learning, and human motor control.

Sarit Kraus, Bar-Ilan University and University of Maryland

For significant contributions to modeling of negotiation, collaboration, and non-monotonic reasoning, including theoretical advances and applications in various computational domains.

Stephen H. Muggleton, Imperial College of Science, Technology and Medicine

For significant contributions to the theory and practice of inductive logic programming, especially applied to the discovery of new biomolecular theories from observational data.

Katia P. Sycara, Carnegie Mellon University

For significant contributions to case-based reasoning, autonomous agents, and multiagent systems.

Elected in 2001

Edmund H. Durfee, University of Michigan

For significant contributions to the field of multiagent systems, distributed computing and real-time intelligent control.

David Heckerman, Microsoft Research

For significant contributions to reasoning and learning under uncertainty.

Peter Norvig, Google, Inc.

For significant contributions to educational materials, natural language processing techniques, web-based technology, and research management and leadership.

Reid G. Smith, Schlumberger Limited

For significant contributions to the science and practice of knowledge management, and for his role as principal architect of the widely cited contract net methodology.

Richard S. Sutton, AT&T Research

For significant contributions to many topics in machine learning, including reinforcement learning, temporal difference techniques, and neural networks.

Michael Wellman, University of Michigan

For significant contributions to decision theory, qualitative probabilistic and utilitarian reasoning, planning, multiagent systems, computational economics, electronic commerce, and editing the Journal of Artificial Intelligence Research.

Elected in 2000

Kenneth Ford, Institute for Human & Machine Cognition

For leadership in exploring and explaining foundational issues and in establishing large-scale AI research programs and institutions.

W. Eric L. Grimson, Massachusetts Institute of Technology

For significant contributions to the theory and application of computer vision, ranging from algorithms for binocular stereo, surface interpolation and object recognition to deployed systems for computer-assisted surgery.

Leslie Pack Kaelbling, Massachusetts Institute of Technology

For seminal contributions to situated agents, machine learning, planning and mobile robotics.

David Poole, University of British Columbia

For significant contributions to the fields of abductive inference and default and probabilistic reasoning with applications to diagnosis and decision-making.

Jonathan Schaeffer, University of Alberta

For significant contributions to search and game-playing, including the design and implementation of the checker-playing system Chinook, the first program to win a human world championship in any non-trivial game of skill.

Bart Selman, Cornell University

For significant contributions to the field of knowledge representation and reasoning, and the development of widely used randomized methods in reasoning, search, and planning.

Elected in 1999

Harry G. Barrow, Schlumberger Cambridge Research

For seminal contributions towards understanding the computational nature of vision in humans and machines.

James A. Hendler, University of Maryland and DARPA/ISO

For significant contributions to the field of planning, knowledge representation, and high-performance artificial intelligence.

Daniel S. Weld, University of Washington

For significant contributions to development of qualitative reasoning methods, software agent technology, and plan synthesis algorithms.

Elected in 1998

George A. Bekey, University of Southern California

For contributions to the theory and practice of intelligent robotics, with applications to health care, space technology and human service.

Steven Minton, USC/Information Sciences Institute

For contributions to machine learning, planning, and constraint satisfaction, and for service to the AI community.

Yoav Shoham, Stanford University

For fundamental contributions concerning logics of time, knowledge, and belief that have resulted in significant advances in reasoning about time and change.

David E. Wilkins, SRI International

For contributions to both the theory and application of planning, especially for efficient, flexible ways of representing and reasoning about actions.

Elected in 1997

Henry A. Kautz, University of Washington

For contributions to many areas of artificial intelligence, from plan recognition to knowledge representation to software agents.

Pat Langley, Daimler-Benz Research and Technology Center and Institute for the Study of Learning and Expertise

For his cognitive models of numerous data-driven scientific discoveries and his founding role in the emergence of machine learning.

Robert M. MacGregor, USC/Information Sciences Institute

For contributions to knowledge representation, and development of the loom knowledge representation system

David Allen McAllester, AT&T Laboratories-Research

For contributions to the fields of knowledge representation, reasoning, search and planning.

Stuart Russell, University of California at Berkeley

For contributions to machine learning, bounded rationality and planning under uncertainty.

Elected in 1996

Piero P. Bonissone, General Electric Corporation

For his pioneering development of uncertainty calculus and its application to fuzzy-logic based control systems.

Dana S. Nau, University of Maryland

For contributions to the fields of AI search algorithms, AI planning, and AI applications in design and manufacturing.

Martha E. Pollack, University of Pittsburgh

For contributions to planning with limited resources and innovative research in discourse analysis.

Charles E. Thorpe, Carnegie Mellon University

For contributions to outdoor autonomous robots, including development of the highly successful Navlab vehicles.

Beverly P. Woolf, University of Massachusetts

For contributions to the science, technology, and dissemination of multimedia, intelligent tutoring systems and authoring tools.

Elected in 1995

Luigia Carlucci Aiello, Universitá di Roma

For contributions to the field of meta-level control and reasoning, and promotion of AI in Italy and Europe.

Eugene C. Freuder, University of New Hampshire

For fundamental and sustained contributions to the field of constraint-based reasoning.

Michael P. Georgeff, Australian Artificial Intelligence Institute

For pioneering theory and applications of reactive planning technology and agent architectures.

Matthew L. Ginsberg, University of Oregon

For theoretical and practical advances in nonmonotonic reasoning, planning, and search.

Kurt Konolige, SRI International

For landmark contributions to nonmonotonic logic, reasoning about beliefs, and mobile robotics.

John E. Laird, University of Michigan

For contributions to machine learning, integrated architectures for intelligence, and unified theories of cognition.

Douglas R. Smith, Kestrel Institute

For the development of an effective theory of algorithm design and for creating major new algorithms.

Elected in 1994

Ranan B. Banerji, Saint Joseph's University

For pioneering and continuing work in the formal foundations of problem-solving, game-playing and machine learning.

Alan W. Biermann, Duke University

For contributions to the fields of automatic programming and automated natural language understanding, including dialog systems.

Thomas O. Binford, Stanford University

For his role as a founding father in the field of computer vision and model-based perception in robotics; and for his many contributions to the fields.

Thomas L. Dean, Brown University

For contributions to the fields of automated planning, temporal reasoning, and robotics.

Rina Dechter, University of California, Irvine

For contributions to automated problem solving, heuristic search and constraint processing.

Daniel C. Dennett, Tufts University

For contributions to foundational problems in artificial intelligence and the philosophy of mind.

Thomas Glen Dietterich, Oregon State University

For contributions to the science and practice of machine learning, methodology of machine learning research, and for service to the AI community.

John S. Gero, University of Sydney

For pioneering research on AI in architecture and engineering, and outstanding leadership in the AI in design research community.

Julia B. Hirschberg, ATandT Bell Laboratories

For foundational research in discourse and speech processing; and for pioneering development of algorithms for incorporating discourse-level intonational features into speech synthesis systems.

Jim Howe, University of Edinburgh

For contributions to the design of learning environments, AI technology transfer, and the promotion of AI research in the United Kingdom.

Philip Klahr, Inference Corporation

For applying AI technology to solve real business problems, and for service to the AI community.

Richard E. Korf, University of California, Los Angeles

For contributions to the development and analysis of heuristic search methods.

Kathleen R. McKeown, Columbia University

For contributions to natural language generation and integration of language and graphics.

Jacques Pitrat, P. and M. Curie University

For his roles as a pioneer of AI in France, outstanding teacher and student leader; and for his many valuable contributions involving metaknowledge.

Zenon W. Pylyshyn, Rutgers University

For sustained contributions to the foundations of artificial intelligence and cognitive science.

Paul S. Rosenbloom, University of Southern California

For contributions to unified theories of cognition, and to integrated architectures for intelligence; and for service to the AI community.

Stuart C. Shapiro, State University of New York at Buffalo

For contributions to theory and practice of knowledge representation and reasoning, and service to the AI community.

Elected in 1993

Judith B. Bachant, Digital Equipment Corporation

For superior engineering accomplishments in embedding expert configuration systems in Digital's business processes.

Robert Balzer, University of Southern California Information Sciences Institute

For contributions to automatic programming and rule-based development environments through the development of Gist, FSD, and the transformation based Rederivation Lifecycle.

Margaret A. Boden, University of Sussex

For contributions to the philosophy of AI, links between AI and psychology, social implications of AI, and making AI accessible to non-specialists.

Paul R. Cohen, University of Massachusetts

For leadership in the development of experimental methodologies for AI research, important contributions to real-time planning, and uncertainty management in expert systems.

Peter Friedland, NASA Ames Research Center

For pioneering work in planning, KR languages, scientific discovery, AI applications to molecular biology; and for extraordinary leadership and service.

Cordell C. Green, Kestrel Institute

For the development of the foundation theory for logic programming, the deductive data base field, and many formal-inference-based AI systems; and for his seminal contributions to the field of program synthesis.

Joseph Y. Halpern, International Business Machines

For sustained excellence in theoretical research on the logics of and relationships among knowledge, common knowledge, belief and probability.

David Haussler, University of California, Santa Cruz

For scientific contributions to the theory and practice of machine learning.

Ellen Hildreth, Wellesley College

For contributions to artificial intelligence in the fields of motion vision and natural computation.

Ramesh Jain, University of California San Diego

For pioneering and sustained contributions to computer vision research and applications.

Jean-Claude Latombe, Stanford University

For contributions to robotics, particularly the theory and practice of robot motion planning.

Donald W. Loveland, Duke University

For outstanding contributions to the field of automated reasoning and development of the model elimination theorem-proving procedure.

John Mylopoulos, University of Toronto

For outstanding leadership in Canadian AI; foundational roles in the oldest AI society; and superior productivity in education and research.

Ramesh Patil, University of Southern California Information Sciences Institute

For seminal contributions in medical AI, diagnostic reasoning, and knowledge representation; and for service to AAAI.

Christopher K. Riesbeck, Northwestern University

For pioneering contributions to natural language analysis by computer, and for the development and codification of case-based reasoning.

Lenhart K. Schubert, University of Rochester

For fundamental contributions in natural language processing, especially in the formalization, representation, and practical implementation of non-first order concepts.

John F. Sowa, State University of New York at Binghamton

For his outstanding contributions on the theory of conceptual graphs for knowledge representation and reasoning, and for his leadership in inspiring and directing the world-wide efforts of other researchers and students in advancing this theory.

Mark J. Steedman, University of Pennsylvania

For contributions to the integration of syntax, semantics, and prosody in human language processing, using the framework of categorial grammars.

Austin Tate, University of Edinburgh

For contributions to the development and use of knowledge-based planning techniques and artificial intelligence technology transfer.

Richmond H. Thomason, University of Pittsburgh

For fundamental contributions to the logical foundations of artificial intelligence and computational linguistics.

Wolfgang Wahlster, German Research Center for AI (DFKI)

For pioneering work in the development of dialog systems, and outstanding service to the artificial intelligence community.

Sholom M. Weiss, Rutgers University

For pioneering contributions to practical systems for causal and expert reasoning, and machine learning, especially in biomedicine.

William L. Whittaker, Carnegie Mellon University

For contributions to robotics education, and research and development of field robotics.

Elected in 1992

Narendra Ahuja, University of Illinois

For significant contributions to the integration of multiple cues for three-dimensional and active vision; object representation and path planning; and multiprocessor architectures for computer vision.

Michael Anthony Arbib, University of Southern California

For his work in schema theory and neural networks to provide a linking methodology between distributed artificial intelligence and brain theory.

William J. Clancey,Institute for Human & Machine Cognition and NASA/Ames Research Center

For his influential knowledge analyses of expert systems and pioneering work in grounding AI research in scientific and engineering modeling.

Philip R. Cohen, SRI International

For seminal work in the plan-based application of speech acts, and continued excellence in the study of natural language discourse.

Gerald Francis DeJong III, University of Illinois

For seminal technical contributions to natural language processing and machine learning, as well as excellence in teaching future researchers.

Lee D. Erman, Cimflex Teknowledge Corporation

For contributions to the development and dissemination of AI Technology and service to AAAI.

Kenneth D. Forbus, Northwestern University

For contributions to qualitative physics, cognitive modeling, reasoning engine design and machine learning, and general service to the AI community.

Frederick Hayes-Roth, Cimflex Teknowledge Corporation

For leadership in commercialization of expert system technology; for the co-development of Hearsay II and opportunistic-planning; and for the technical management of ROSIE, M.1, S.1, and ABE.

Jerry Robert Hobbs, SRI International

For research in artificial intelligence, particularly natural language understanding and knowledge representation.

Laveen N. Kanal, University of Maryland and L. N. K. Corporation

For contributions to pattern recognition and heuristic search procedures and their application in the machine recognition of patterns.

Janet L. Kolodner, Georgia Institute of Technology

For pioneering research on case-based reasoning and learning, including memory organization, information retrieval, problem solving, and knowledge acquisition.

Benjamin J. Kuipers, University of Texas at Austin

For fundamental contributions to qualitative reasoning about physical systems (QSIM) and qualitative methods for robot exploration and cognitive mapping.

Mitchell P. Marcus, University of Pennsylvania

For work in novel parsing architectures for integrating syntax, semantics, and psycholinguistic phenomena, and the development of learning techniques based on large corpora.

Matthew T. Mason, Carnegie Mellon University

For lasting contributions to robotic manipulation in the areas of compliant force control, planning under uncertainty, the mechanics of pushing, and sensorless manipulation strategies.

Ramakant Nevatia, University of Southern California

For pioneering contributions to many aspects of computer vision, especially in computational descriptions of complex three-dimensional objects.

Charles Rich, MERL--A Mitsubishi Electric Research Laboratory

For pioneering contributions to research at the intersection of artificial intelligence and software engineering.

Glenn R. Shafer, Rutgers University

For the development of the Dempster-Shafer theory of evidence and its applications to AI systems.

Howard E. Shrobe, Massachusetts Institute of Technology

For significant contributions in the development of new problem solving approaches and programming languages, and for service to the field.

Mark E. Stickel, SRI International

For outstanding contributions to methods and systems for high-performance automated reasoning.

William R. Swartout , University of Southern California Information Sciences Institute

For seminal contributions in the areas of knowledge-based machine explanation, and for extraordinary service to the Artificial Intelligence community.

Peter Szolovits, Massachusetts Institute of Technology

For pioneering the application of Artificial Intelligence in Medicine.

Leslie G. Valiant, Harvard University

For the development of computational learning theory, and providing a scientific basis for research in machine learning.

Elected in 1991

Robert S. Boyer, University of Texas at Austin
Jaime Carbonell, Carnegie Mellon University
B. Chandrasekaran, The Ohio State University
Alain Colmerauer, University of Marseille
Jon Doyle, Massachusetts Institute of Technology
Mark S. Fox, University of Toronto
Barbara Hayes-Roth, Stanford University
Elaine Kant, Schlumberger Laboratory for Computer Science
Robert A. Kowalski, Imperial College of Science and Technology
Wendy G. Lehnert, University of Massachusetts
Vladimir Lifschitz, University of Texas at Austin
J. Strother Moore, Computer Logic Incorporated
Robert C. Moore, SRI International
Fernando C. N. Pereira, AT&T Bell Laboratories
Elaine Rich, Microelectronics Computer Consortium
Edwina L. Rissland, University of Massachusetts
Candace L. Sidner, Lotus Development Corporation
Aaron Sloman, The University of Birmingham
Richard J. Waldinger, SRI International
Robert Wilensky, University of California, Berkeley
Yorick A. Wilks, New Mexico State University
Lotfi A. Zadeh, University of California, Berkeley

Elected in 1990

James F. Allen, University of Rochester and Institute for Human and Machine Cognition
Ruzena Bajcsy, University of Pennsylvania
Hans Berliner, Carnegie Mellon University
Wolfgang Bibel, FG Intellektik
Daniel G. Bobrow, Xerox Palo Alto Research Center
Ronald J. Brachman, AT&T Bell Laboratories
J. Michael Brady, Oxford University
Rodney A. Brooks, Massachusetts Institute of Technology
John Seely Brown, Xerox Palo Alto Research Center
Bruce Buchanan, University of Pittsburgh
Alan Bundy, University of Edinburgh
Eugene Charniak, Brown University
Allan Collins, Bolt, Beranek and Newman
Randall Davis, Massachusetts Institute of Technology
Johan De Kleer, Xerox Palo Alto Research Center
Richard Duda, San Jose State University
Edward A. Feigenbaum, Stanford University
Jerome Feldman, International Computer Science Institute
Richard E. Fikes, Stanford University
Michael Genesereth, Stanford University
Barbara J. Grosz, Harvard University
Peter Hart, Ricoh Corporation
Patrick J. Hayes, Institute for Human & Machine Cognition
Geoffrey E. Hinton, University of Toronto
Berthold K. P. Horn, Massachusetts Institute of Technology
Aravind K. Joshi, University of Pennsylvania
Robert E. Kahn, Corporation for National Research Initiatives
Takeo Kanade, Carnegie Mellon University
Casimir A. Kulikowski, Rutgers University
Douglas B. Lenat, Microelectronics Computer Consortium
Victor R. Lesser, University of Massachusetts
Hector Levesque, University of Toronto
Tomas Lozano-Perez, Massachusetts Institute of Technology
Alan K. Mackworth, University of British Columbia
Drew McDermott, Yale University
John McDermott, Digital Equipment Corporation
Jack Minker, University of Maryland
Marvin Minsky, Massachusetts Institute of Technology
Tom Mitchell, Carnegie Mellon University
Nils Nilsson, Stanford University
Judea Pearl, University of California, Los Angeles
C. Raymond Perrault, SRI International
Tomaso Poggio, Massachusetts Institute of Technology
John Ross Quinlan, University of Sydney
Marc Raibert, Massachusetts Institute of Technology
Raj Reddy, Carnegie Mellon University
Alan Robinson, Syracuse University
Stanley J. Rosenschein, Teleos Research
Erik J. Sandewall, University of Linkoeping
Roger Schank, Northwestern University
Edward H. Shortliffe, Stanford University
James R. Slagle, University of Minnesota
Guy L. Steele, Jr., Thinking Machines Corporation
Mark J. Stefik, Xerox Palo Alto Research Center
Gerald Jay Sussman, Massachusetts Institute of Technology
Jay M. Tenenbaum, Enterprise Integration Technologies Corporation
Bonnie Lynn Webber, University of Pennsylvania
Patrick H. Winston, Massachusetts Institute of Technology
William Woods, Sun Microsystems Laboratories

In Memoriam

Saul Amarel
Woodrow W. Bledsoe
Robert S. Engelmore
John McCarthy
Ryszard S. Michalski
Donald Michie
Allen Newell
Robin Popplestone
Raymond Reiter
Charles A. Rosen
Edward M. Riseman
Azriel Rosenfeld
David Rumelhart
Arthur Samuel
Karen Sparck Jones
Oliver G. Selfridge
Robert F. Simmons
Herbert A. Simon
Donald E. Walker
David L. Waltz
Andrew Witkin

(Obituaries of many of these AI scientists can be found on AI Topics.)

Elected AAAI Fellows