Introduction

IJCAI-01 Conference Committee IJCAI-01 Program Committee: Contents: CONFERENCE CHAIR: Elisabeth André, DFKI GmbH (Germany) Introduction 2 Hector J. Levesque, University of Toronto (Canada) Minoru Asada, Osaka University (Japan) Sponsors & Committees 2-3 Franz Baader, RWTH Aachen (Germany) PROGRAM CHAIR: IJCAI-01 Awards 4 Craig Boutilier, University of Toronto (Canada) Bernhard Nebel,Albert-Ludwigs-Universität, Freiburg Didier Dubois, IRIT-CNRS (France) Conference at a Glance 5 (Germany) Maria Fox, University of Durham (United Kingdom) Workshop Program 6-7 LOCAL ARRANGEMENTS CHAIR: Hector Geffner, Universidad Simón Bolívar Doctoral Consortium 8 James Hoard, The Boeing Company, Seattle (USA) (Venezuela) Tutorial Program 8 SECRETARY-TREASURER: Georg Gottlob,Vienna University of Technology (Austria) Conference Program Highlights 9 Ronald J. Brachman,AT&T Labs – Research (USA) Invited Speakers 10 Haym Hirsh, Rutgers University (USA) IAAI-01 Conference 11 Eduard Hovy, Information Sciences Institute (USA) Advisory Committee: Joxan Jaffar, National University of Singapore Technical Program 12-19 Bruce Buchanan, University of Pittsburgh (USA) (Singapore) Exhibit Program 20-23 Silvia Coradeschi, Örebro University (Sweden) Daphne Koller, Stanford University (USA) RoboCup 2001 24 Olivier Faugeras, INRIA (France) Fangzhen Lin, Hong Kong University of Science and Registration Information 25 Cheng Hu, Chinese Academy of Sciences (China) Technolog y (Hong Kong) General Information 25-27 Nicholas Jennings, University of London (England) Heikki Mannila, Nokia Research Center (Finland) Conference Maps 28-30 Henry Kautz, University of Washington (USA) Robert Milne, Intelligent Applications (United Kingdom) IJCAI-03 Conference 31 Robert Mercer, University of Western Ontario (Canada) Daniele Nardi, Università di Roma “La Sapienza” Special Meetings 31 Silvia Miksch,Vienna University of Technology (Italy) (Austria) Dana Nau, University of Maryland (USA) Devika Subramanian, Rice University (USA) Patrick Prosser, University of Glasgow (UK) Welcome to IJCAI-01 L. Enrique Sucar, Monterrey Institute of Technology Francesca Rossi, Università di Padova (Italy) (Mexico) Christoph Schlieder, Universität Bremen (Germany) IJCAI-01, the Seventeenth International Joint Ramasamy Uthurusamy, General Motors Research Yoav Shoham, Stanford University (USA) Conference on Artificial Intelligence, is (USA) Piero Torasso, Università di Torino (Italy) sponsored by the International Joint Mary-Anne Williams, University of Newcastle Carme Torras, Institut de Robotica i Informatica (Australia) Conferences on Artificial Intelligence, Inc. Industrial (Spain) Jan Treur,Vrije Universiteit Amsterdam (The (IJCAII) and the American Association for Corporate Sponsorship Netherlands) Artificial Intelligence (AAAI). John Tsotsos,York University (Canada) IJCAI-01 gratefully acknowledges the generous IJCAII sponsors biennial conferences on Manuela Veloso, Carnegie Mellon University (USA) contributions of the following corporations and Ian Watson, University of Auckland (New Zealand) artificial intelligence, which are the main organizations: Brian Williams, Massachusetts Institute of Technology forums for presenting AI research results to AT&T Labs – Research (USA) the international AI community. Previous Mary-Anne Williams, The University of Newcastle The Boeing Company (Australia) conference sites were Washington D.C., USA Microsoft Corporation Makoto Yokoo, NTT Communication Science Lab (1969), London, England (1971), Stanford, (Japan) NASA Ames Research Center California, USA (1973), Tbilisi, Georgia, USSR TUTORIAL CHAIR: NEC Research (1975), Cambridge, Massachusetts, USA Michael Wellman, University of Michigan (USA) SemanticEdge (1977), Tokyo, Japan (1979), Vancouver, WORKSHOP CHAIR: British Columbia, Canada (1981), Karlsruhe, SRI International Peter van Beek, University of Waterloo (Canada) Germany (1983),Los Angeles,California,USA LOCAL ARRANGEMENTS COMMITTEE: (1985), Milan, Italy (1987), Detroit, Michigan, James Hoard (Chair), Boeing (USA) USA (1989), Sydney, Australia (1991), Gary Coen, Boeing (USA) Chambery, Savoie, France (1993), Montréal, Rob Jasper, Hawthorn Technology Group (USA) Oscar Kipersztok, Boeing (USA) Québec,Canada (1995),Nagoya,Japan (1997), Chris McConnell, Microsoft (USA) and Stockholm, Sweden (1999). IJCAI-03 will Rick Wojcik, Boeing (USA) be held in Acapulco, Mexico in 2003.

2 Sponsors, Officers & Committees

IJCAII Organization Carl Hewitt, Massachusetts Institute of Technology STANDING COMMITTEES (USA) Conference: Paul Rosenbloom, Chair, USC/Information TRUSTEES: Nils Nilsson, Stanford University (USA) Sciences Institute Luigia Carlucci Aiello (President), Università di Roma David C. Cooper, University College of Swansea (UK) Fellows and Nominating: David L.Waltz, Chair, NEC “La Sapienza” (Italy) Donald E.Walker (deceased), formerly Bellcore (USA) Research Anthony G. Cohn, University of Leeds (England) Finance: Norman R. Nielsen, Chair,AtomicTangerine Thomas L. Dean, Brown University (USA) AAAI Organization Grants: Manuela Veloso, Chair, Carnegie Mellon Michael P.Georgeff,Agentis International Inc (Australia) University Georg Gottlob,Vienna University of Technology OFFICERS Membership: Reid Simmons, Chair, Carnegie Mellon (Austria) Bruce G. Buchanan, President, University of Pittsburgh University Hector Levesque, University of Toronto (Canada) Tom M. Mitchell, President-Elect, Carnegie Mellon Publications: Kenneth Ford, Chair, UWF/Institute for Bernhard Nebel,Albert-Ludwigs-Universität, Freiburg University Human & Machine Cognition (Germany) David L.Waltz, Past President. NEC Research Symposium:Ian Horswill,Chair,Northwestern C. Raymond Perrault, SRI International (USA) Institute, Inc. University Norman R. Nielsen, Secretary-Treasurer, SRI Symposium Associate Chair: David Poole, University ECRETARIAT S : International of British Columbia Ronald J. Brachman, Secretary-Treasurer,AT&T Labs – Research (USA) COUNCILORS (THROUGH 2001) AAAI STAFF Priscilla Rasmussen,Academic & Research Conference Henry Kautz, University of Washington Carol McKenna Hamilton, Executive Director Services (USA) David McAllester,AT&T Labs – Research Colleen Boyce,Accountant and Office Manager FORMER CONFERENCE CHAIR TRUSTEES: Johanna Moore, University of Edinburgh Keri Vasser Harvey, Senior Conference Coordinator Wolfgang Wahlster, DFKI GmbH (Germany) Michael P.Wellman, University of Michigan Melinda Allred, Conference Coordinator Barbara J. Grosz, Harvard University (USA) COUNCILORS (THROUGH 2002) Erin Hogan, Conference Assistant Wolfgang Bibel, Technische Universität Darmstadt Deborah McGuinness, Stanford University Richard A. Skalsky, Information Technology Manager (Germany) Bart Selman, Cornell University Eva Garcia, Membership Assistant Alan Bundy, University of Edinburgh (Scotland) Reid Simmons, Carnegie Mellon University Elizabeth Ericson, Office Assistant Alan Mackworth, University of British Columbia Manuela Veloso, Carnegie Mellon University AAAI PUBLICATIONS (Canada) COUNCILORS (THROUGH 2003) Kenneth Ford, Editor-in-Chief,AAAI Press, Saul Amarel, Rutgers University (USA) UWF/Institute for Human & Machine Cognition Craig Boutilier, University of Toronto Patrick J. Hayes, UWF/Institute for Human & Machine David Leake, Editor-in-Chief, AI Magazine, Cognition (USA) Rina Dechter, University of California, Irvine University of Indiana Raj Reddy, Carnegie Mellon University (USA) Richard Doyle, Jet Propulsion Laboratory, California David Mike Hamilton, Director, Live Oak Press Erik Sandewall, Linköping University (Sweden) Institute of Technology Alistair D.C. Holden (deceased), formerly University of David Poole, University of British Columbia Washington (USA) Max B. Clowes (deceased), formerly University of Sussex (England) Donald E.Walker (deceased), formerly Bellcore (USA) Woodrow W.Bledsoe (deceased), formerly University of Texas at Austin (USA) FORMER PROGRAM CHAIR TRUSTEES: Martha Pollack, University of Michigan (USA) Chris Mellish, University of Edinburgh (UK) Ruzena Bajcsy, National Science Foundation/University of Pennsylvania (USA) Ray Reiter, University of Toronto (Canada) John Mylopoulos, University of Toronto (Canada) N. S. Sridharan, FMC Corporation (USA) John McDermott, ellora.com (USA) Arivand K. Joshi, University of Pennsylvania (USA) Alan Bundy, University of Edinburgh (UK) Roger Schank, Northwestern University (USA) Bruce Buchanan, University of Pittsburgh (USA) Saburo Tsuji, Osaka University (Japan) Raj Reddy, Carnegie Mellon University (USA) Patrick Winston, Massachusetts Institute of Technology (USA)

3 IJCAI - 01 Awards

The IJCAI Award for Research Excellence and the Past recipients of this honor have been Terry Winograd The Donald E.Walker Computers and Thought Award are made by the (1971), Patrick Winston (1973), Chuck Rieger (1975), Distinguished Service Award IJCAII Board of Trustees, upon recommendation by Douglas Lenat (1977), David Marr (1979), Gerald the IJCAI Awards Selection Committee, which consists Sussman (1981),Tom Mitchell (1983),Hector Levesque The IJCAI Distinguished Service Award was established this year of (1985), Johan de Kleer (1987), Henry Kautz (1989), in 1979 by the IJCAII Trustees to honor senior scientists Michael Georgeff (San Francisco, USA) Rodney Brooks (1991), Martha Pollack (1991), Hiroaki in AI for contributions and service to the field during Kitano (1993), Sarit Kraus (1995), Stuart Russell their careers. Previous recipients have been Bernard Henry Kautz (Seattle, USA) (1995), Leslie Kaelbling (1997), and Nicholas Jennings Meltzer (1979), Arthur Samuel (1983), Donald Walker C. Raymond Perrault (Menlo Park, USA, Chair) (1999). (1989), Woodrow Bledsoe (1991), Daniel G. Bobrow J. Ross Quinlan (Sydney,Australia) The winner of the 2001 IJCAI Computers and Thought (1993) and Wolfgang Bibel (1999). Erik Sandewall (Linköping, Sweden) Award is Daphne Koller, Assistant Professor at the In 1993, the IJCAI Distinguished Service Award was Department of Computer Science of Stanford renamed the Donald E. Walker Distinguished Service The IJCAI Awards Selection Committee receives advice University, Stanford, USA. Professor Koller is recog- Award in memory of the late Donald E. Walker, who from members of the IJCAI Awards Review Committee, nized for her contributions to the theory and practice shaped the IJCAII organization as its long-time who comment on the accuracy of the nomination of probabilistic reasoning, machine learning, and Secretary-Treasurer. material and provide additional information about the computational game theory. She will deliver a lecture nominees. The IJCAI Awards Review Committee is the At IJCAI-01, the Donald E. Walker Distinguished from 5:45-6:45pm in Ballroom 6 B/C, sixth level. union of the former Trustees of IJCAII, the IJCAI-01 Service Award will be given to Barbara Grosz, Gordon Advisory Committee, the Program Chairs of the last McKay Professor for Computer Science at Harvard three IJCAI conferences, and the past recipients of the University,Cambridge,USA.As a pioneering researcher IJCAI Award for Research Excellence and the IJCAI in discourse and collaboration in natural language, Distinguished Service Award, with nominees excluded. Professor Grosz is recognized for her outstanding service to the international AI community as President IJCAI Award for of AAAI (1993-95) and as Chair of IJCAI (1989-1991), and for her contribution to enhancing the role of Research Excellence women in science. The award will be given during The IJCAI Award for Research Excellence is given at the the opening ceremony, Monday, August 6, 5:00 pm in IJCAI conference to a scientist who has carried out a Ballroom 6 B/C, sixth level. program of research of consistently high quality, yield- ing several substantial results. Past recipients of this Distinguished Paper Award award are John McCarthy (1985), Allen Newell (1989), The IJCAI-01 Distinguished Paper Award will be Marvin Minsky (1991), Raymond Reiter (1993), given to Thomas Eiter and Thomas Lukasiewicz Herbert Simon (1995),Aravind Joshi (1997),and Judea for their paper entitled “Complexity Results for Pearl (1999). Structure-Based Causality”. The winner of the 2001 IJCAI Award for Research This paper analyzes the computational complexity of Excellence is Donald Michie, Professor Emeritus of causal relationships in Pearl’s structural models, where Machine Intelligence at the University of Edinburgh, it focuses on causality between variables, event causal- Edinburgh,Scotland.Professor Michie is recognized for ity, and probabilistic causality.In particular, it analyzes his contributions to Machine Learning, Robotics, and the complexity of the sophisticated notions of weak and Knowledge-Based Systems. He will deliver a lecture actual causality by Halpern and Pearl. In the course of from 5:45-6:45pm on Thursday,August 9 in Ballroom 6 this, it also proves an open conjecture by Halpern and B/C, sixth level. Pearl, and establishes other semantic results. To the authors’ knowledge, no complexity aspects of causal IJCAI Computers and relationships have been considered so far, and their Thought Award results shed light on this issue. The Computers and Thought Award is presented at The authors will present their paper on Tuesday, IJCAI conferences to outstanding young scientists in August 7 from 5:00 – 5:30 PM in Meeting Room 606, artificial intelligence. The award was established with sixth level. royalties received from the book “Computers and Thought”, edited by Edward Feigenbaum and Julian Feldman; it is currently supported by income from IJCAII funds.

4 The IJCAI-01 Conference is composed ◆ the Exhibition,including the AAAI Robot ◆ AAAI/SIGART Doctoral Consortium, August 5-6, Competition and Exhibition and National 2001 West Ballroom A, Sheraton Seattle Hotel of various complementary programs: Botball Tournament (2 days),August 7–9 ◆ RoboCup 2001 will be held in Exhibit Hall 4A next to ◆ the Technical Program,August 7–10, including the IJCAI-01 Exhibition,August 4 – 10,Washington COLLOCATED EVENTS State Convention & Trade Center technical paper presentations by top scientists in the ◆ field, invited speakers and award winners. the Thirteenth Conference on Innovative ◆ RoboCup 2001 Symposium,August 7-8, Ballroom 6A, Applications of Artificial Intelligence, IAAI-01, ◆ the Tutorial Program,August 5–6 Washington State Convention & Trade Center August 7–9, Meeting Room 602,Washington State ◆ ◆ the Workshop Program,August 4–6 the Seventeenth Conference on Uncertainty in Convention & Trade Center Artificial Intelligence (UAI 2001),August 2 – 5, University of Washington CONFERENCE-AT-A-GLANCE CONFERENCE DAY M O R N I N G AFTERNOON EVENING Thursday,August 2 UAI 2001 RoboCup Opening Reception UAI 2001 Friday, August 3 Registration (opens at 1:00 pm) Registration Workshops (see page 6) Saturday, August 4 RoboCup Round Robin Competition UAI 2001 Registration Workshops Tutorials (see page 8) Sunday, August 5 AAAI/SIGART Doctoral Consortium RoboCup Round Robin Competition UAI 2001 Registration Workshops Tutorials Monday, August 6 AAAI/SIGART Doctoral Consortium RoboCup Round Robin Competition Opening Ceremony, Reception Registration Technical Program (see page 12) Computers and Thought Lecture Keynote Speaker Tuesday, August 7 IAAI-01 AAAI Fellows Dinner Exhibition/Robot Competition & Exhibition/Botball RoboCup Symposium & RoboCup Junior Competition RoboCup Poster Session/Reception Registration Technical Program Special Events (see page 9) Wednesday, August 8 IAAI-01 Exhibition/Robot Competition & Exhibition/Botball RoboCup Symposium & RoboCup Junior Finals Conference Banquet Registration Technical Program Research Excellence Lecture IAAI-01 Thursday, August 9 Exhibition/Robot Competition & Exhibition RoboCup Quarter-Finals, Semi Finals RoboCup Farewell Dinner IJCAII Business Meeting RoboCup Junior Workshop Registration Friday, August 10 Technical Program Special Events Technical Program RoboCup

5 Workshop Program (By Invitation Only)

By Invitation Only Track Saturday • August 4 The workshops will take place Saturday Track “Agent” August 4 – Monday, August 6. They are Agent-Based arranged in nine tracks centered around Systems broad research topics and problem domains. Participation is limited to those determined Track “CON” CONS-2: Distributed Constraint Reasoning by the workshop organizers prior to the Marius-Calin Silaghi Constraints Meeting Room 613, Sixth Level,Washington State Convention & Trade Center conference. Workshops will be held in KRR-2: Abductive Reasoning the Washington State Convention & Trade Antonis Kakas and Francesca Toni Center and the Sheraton Seattle Hotel. Track “KRR” Meeting Room 615, Sixth Level,Washington State Convention & Trade Center Workshop Chair: Peter van Beek Knowledge Representation and Reasoning

ML-5: Wrappers for Performance Enhancement in KDD William H. Hsu Track “ML” Juniper Room, Second Floor, Sheraton Seattle Hotel Machine Learning and Data Mining

ONTOL-1: Ontology Learning Alexander Maedche, Steffen Staab, Claire Nedellec, and Ed Hovy Track “ONTOL” Meeting Room 616, Sixth Level,Washington State Convention & Trade Center Ontologies ONTOL-2: Ontologies and Information Sharing Heiner Stuckenschmidt West Ballroom B, Second Floor, Sheraton Seattle Hotel PRO-1: Reasoning with Uncertainty in Robotics Track “PRO” Dieter Fox and Alessandro Saffiotti Planning and Meeting Room 617, Sixth Level,Washington State Convention & Trade Center Robotics PRO-3: Planning with Resources Alexander Nareyek Meeting Room 619, Sixth Level,Washington State Convention & Trade Center TASK-1:AI in Mobile Systems Rainer Malaka Track“TASK” Meeting Room 620, Sixth Level,Washington State Convention & Trade Center Task-centered

Track “WEB” WEB-2: Intelligent Techniques for Web Personalization Sarabjot Singh Anand and Bamshad Mobasher Web West Ballroom A, Second Floor, Sheraton Seattle Hotel OtherTopics OTTO-2: Empirical Methods in AI Holger H.Hoos and Thomas G. Stützle Cedar Room, Second Floor, Sheraton Seattle Hotel

6 Workshop Program (continued)

Sunday • August 5 Monday • August 6 AGENT-1: Spatial and Temporal Reasoning with “Agents”Focus AGENT-2: Autonomy, Delegation, & Control: Interacting with Autonomous Agents Frank D.Anger, Hans W.Guesgen and Gérard Ligozat Henry Hexmoor, Cristiano Castelfranchi, Rino Falcone and Michael Cox Cedar Room, Second Floor, Sheraton Seattle Hotel West Ballroom B, Second Floor, Sheraton Seattle Hotel AGENT-3: Economic Agents, Models, and Mechanisms Amy Greenwald and Peter Wurman Meeting Room 611, Sixth Level,Washington State Convention & Trade Center CONS-1: Modeling and Solving Problems with Constraints Christian Bessière Meeting Room 613, Sixth Level,Washington State Convention & Trade Center KRR-3: Nonmonotonic Reasoning,Action and Change Michael Thielscher and Mary-Anne Williams Juniper Room, Second Floor, Sheraton Seattle Hotel KRR-1: Knowledge Management and Organizational Memories Nada Matta and Rose Dieng-Kuntz Aspen Room, Second Floor, Sheraton Seattle Hotel KRR-4: Inconsistency in Data and Knowledge Leopoldo Bertossi and Jan Chomicki Meeting Room 612, Sixth Level,Washington State Convention & Trade Center ML-1: Adaptive Text Extraction and Mining ML-2: Learning from Temporal and Spatial Data Nicholas Kushmerick Miroslav Kubat and Katharina Morik Meeting Room 616, Sixth Level,Washington State Convention & Trade Center Meeting Room 615, Sixth Level,Washington State Convention & Trade Center ML-3: Text Learning: Beyond Supervision Andrew McCallum Meeting Room 616, Sixth Level,Washington State Convention & Trade Center ML-4: Knowledge Discovery from Distributed, Heterogeneous, Dynamic, Autonomous Data Sources Vasant Honavar Meeting Room 617, Sixth Level,Washington State Convention & Trade Center

ONTOL-2 continued: Ontologies and Information Sharing ONTOL-3: IEEE Standard Upper Ontology Heiner Stuckenschmidt Adam Pease West Ballroom B, Second Floor, Sheraton Seattle Hotel Meeting Room 618, Sixth Level,Washington State Convention & Trade Center PRO-1 continued: Reasoning with Uncertainty in Robotics PRO-2: Planning under Uncertainty and Incomplete Information Dieter Fox and Alessandro Saffiotti Allesandro Cimatti, Hector Geffner, Enrico Giunchiglia and Jussi Rintanen Meeting Room 617, Sixth Level,Washington State Convention & Trade Center Meeting Room 619, Sixth Level,Washington State Convention & Trade Center

TASK-3:AI and Manufacturing TASK-2:Configuration Daniel M. Gaines Timo Soininen Meeting Room 618, Sixth Level,Washington State Convention & Trade Center Meeting Room 620, Sixth Level,Washington State Convention & Trade Center TASK-4:Knowledge and Reasoning in Practical Dialogue Systems Kristiina Jokinen, Lars Ahrenberg, Jan Alexandersson and Arne Jönsson Meeting Room 619, Sixth Level,Washington State Convention & Trade Center WEB-1: E-Business and the Intelligent Web Alun Preece and Dan O’Leary Meeting Room 620, Sixth Level,Washington State Convention & Trade Center OTTO-3: Effective Interactive AI Resources OTTO-1: Stochastic Search Algorithms Russell Greiner Holger H. Hoos and Thomas G. Stützle Meeting Room 615, Sixth Level,Washington State Convention & Trade Center Douglas Room, Second Floor, Sheraton Seattle Hotel

7 TutorialProgram

The IJCAI-01 Tutorial Program features 20 four-hour tutorials, each covering a concentrated AAAI/SIGART Doctoral Consortium technical topic of current or emerging interest. The sixth AAAI/SIGART Doctoral Consortium will be held Sunday and Monday, August 5-6, from Tutorials will be presented by experienced researchers 8:30 AM – 6:00 PM in West Ballroom A of the Sheraton Seattle Hotel. The Doctoral Consortium provides an and practitioners expert in the corresponding subject opportunity for a group of PhD students to discuss and explore their research interests and career objectives area. All tutorials will be held on the sixth level of the in an interdisciplinary workshop together with a panel of established researchers. Washington State Convention & Trade Center. AAAI and ACM/SIGART gratefully acknowledge grants from Microsoft Research and the National Science Tutorial Chair: Michael Wellman Foundation,Knowledge and Cognitive Systems Program,which partially support student travel to the event.

TUTORIAL OVERVIEW Sunday • August 5 Monday • August 6 SA 9 am – 1 pm SP 2 pm – 6 pm MA 9 am – 1 pm MP 2 pm – 6 pm

(SA1) (SP1) (MA1) (MP1) AITechniques Agent Communication for Developing Search Ant Algorithms and for Knowledge Management Knowledge Based Electronic Algorithms for Swarm Intelligence Stefan Decker and Steffen Staab Markets Quantum Computers Marco Dorigo Benjamin Grosof and Yannis Labrou Tad Hogg Meeting Room 602 Meeting Room 607 Meeting Room 607 Meeting Room 606

(MP2) (SA2) (SP2) (MA2) Integration of Operations Economically Founded Computer Games Distributed Knowledge-Based Research and AI Constraint- Multiagent Systems John E. Laird and Michael van Lent Search BasedTechniques for Tuomas Sandholm Jörg Denzinger Combinatorial Optimization Meeting Room 602 Meeting Room 606 Meeting Room 609 Michela Milano Meeting Room 608

(SA3) (SP3) (MA3) (MP3) Neural-Net Architectures for Philosophical Foundations: Empirical Methods Knowledge Markup and Pattern Recognition Some Key Questions for AI and CS Resource Semantics Miroslav Kubat Aaron Sloman and Matthias Scheutz Paul Cohen, Ian Gent, and Toby Walsh Harold Boley, Stefan Decker, and Michael Sintek Meeting Room 607 Meeting Room 606 Meeting Room 608 Meeting Room 602

(SA4) (SP4) (MA4) (MP4) Phase Transitions and Stochastic Search Algorithms Integrating Lisp with Practical Machine Learning for Structure in Combinatorial Holger H. Hoos and Thomas Stützle the World Software Engineering Problems Vladimir A. Kulyukin Tim Menzies Carla P.Gomes, Tad Hogg, Toby Walsh, Meeting Room 608 and Weixiong Zhang Meeting Room 607 Meeting Room 606 Meeting Room 608

(SA5) (SP5) (MA5) (MP5) Question Answering Systems that Machine Learning for Tractability in Qualitative Dan Moldovan and Sanda Harabagiu Adapt to Categorizationof Text Spatialand Temporal their Users Documents and Web Pages Reasoning Meeting Room 609 Anthony Jameson Fabrizio Sebastiani & Hans Guesgen, Gerard Ligozat, Alessandro Sperduti and Frank Anger Meeting Room 609 Meeting Room 602 Meeting Room 609

8 Conference Program Highlights

IJCAI-01 Official Opening field, 13 distinguished recent presentations from inter- Ceremony and Reception national conferences in robotics, vision, knowledge representation, machine learning, planning and other SPECIAL EVENTS The Opening Ceremony will start at 5:00 PM,Monday, areas have been selected to be presented again at IJCAI. The HAL 9000 Computer August 6 in Ballroom 6 B/C, followed by a reception at These papers either received “best paper”awards at the the Museum of Flight from 6:30 - 9:00 PM. The and the Vision of respective conferences or were nominated as outstand- 2001: A Space Odyssey Opening Ceremony will be chaired by Hector ing work by the PC Chairs/committee members or the Levesque, the Conference Chair of IJCAI-01. The IJCAI PC members. To make these research results David G. Stork, Ricoh California reception will be hosted by The Boeing Company and Research Center and Stanford University Microsoft Corporation. accessible to a general AI audience, a significantly extended presentation of each of them will be given. Wednesday, August 8 Shuttle service will be provided to the Museum of In addition to the presentation at the conference, the 11:40 am – 12:40 pm Flight on Gray Line ofSeattle passenger coaches. authors revised and extended their papers for a book Room 608 Departures to the Museum of Flight begin at 5:45 PM co-edited by Gerhard Lakemeyer and Bernhard Nebel SPECIAL SHOWING and continue until 6:30 PM at the Convention Center to be published by Morgan Kaufmann. This book is Tunnel. Departures for downtown Seattle hotels begin STANLEY KUBRICK’S intended as a showcase of the state of the art in AI. In 2001: A Space Odyssey at 9:00 PM. order to make the book as accessible as possible to a wide range of people interested in AI, the authors have Wednesday, August 8 Museum of Flight been asked to broaden the scope of their presentation 1:30 pm, Ballroom 6 B/C so that the paper does not just focus on the particular The Museum of Flight captures the story of flight results,but also introduces the respective research area, Artificial Intelligence from the dawn of aviation to the Space Age and Competitions, Boon or Bane? houses 54 of the world’s most historic airplanes its history, milestones, open issues, etc. To ensure the — authentic and in mint condition. Dozens of highest standards, each paper will be reviewed by an Moderator: full-size aircraft are suspended from the ceiling of eminent scholar in the respective field. Steve Chien, Ph.D., Jet Propulsion Laboratory the steel and glass Great Gallery and appear to fly Wednesday, August 8 overhead in formation.At ground level visitors can Keynote Address 11:40 am - 12:40 pm examine up close such intriguing airplanes as the Tuesday,August 7 Room 609 Blackbird spy plane and America’s first presiden- 11:40 AM – 12:40 PM In recent years,the numerous AI-related competitions in tial jet — the original Air Force One. The magnif- Ballroom 6 B/C, sixth level various areas have included deduction (CADE), icently restored “Red Barn,”the birthplace of The auctions, timeseries prediction, and planning. One view Boeing Company, is an 80 year-old step back in Bill Gates, Microsoft Corporation is that these competitions focus research and encourage history. Yet, from the hands-on air traffic control quantifiable forward progress. Another view is that they tower exhibit, which overlooks Boeing Field, emphasize implementation and sterile problem-solving today’s prop planes and jumbo jets can be viewed and stifle truly innovative advances. This panel will coming and going. AI IN THE discuss the competitions — with a focus on pros and COMPUTING cons experienced by the respective communities. Audience interaction will be encouraged. EXPERIENCE: Technical Program CHALLENGES AND The Semantic Web Elephant: What Do the Blind Men See? The IJCAI-01 Technical Program includes talks by 3 OPPORTUNITIES IJCAI-01 award winners, 4 invited speakers, 3 special Moderator: events, and presentations of 197 papers, including Professor James Hendler, 13 distinguished presentations that are further University of Maryland described below.The technical program will be held in Friday, August 10 the Washington State Convention & Trade Center. Bill Gates is chairman and chief software architect of 11:40 am - 12:40 pm The detailed program follows on pages 12-19. Microsoft Corporation, the worldwide leader in Ballroom 6 B/C software, services and Internet technologies for Program Chair: Bernhard Nebel A number of researchers in a widely diverse set of fields personal and business computing. The company is are starting to probe into a new area — the semantic committed to a long-term view, reflected in its invest- web. Researchers are looking at this from the point of Distinguished Presentations ment of more than $3 billion on research and develop- view of knowledge representation, web agents, new web The International Joint Conference on Artificial ment in the current fiscal year.Under Gates’ leadership, languages, and the creation of high level ontologies on Intelligence 2001 will have a special “distinguished Microsoft’s mission has been to continually advance the web. Are these researchers myopically exploring competing visions or is there an emerging consensus as and improve software technology and to make it easier, presentation” track. In order to give IJCAI attendees to what a semantic web can really be? a better picture of what is going on in the various more cost-effective and more enjoyable for people to subareas of AI, and to counter the fragmentation of the use computers.

9 Invited Speakers

Philip R. Cohen generalization of probability: the plausibility of a set is Wolfgang Wahlster, Center for Human-Computer just an element of some arbitrary partial order (instead German Research Center for Communication, Oregon of being an element of [0,1], as in the case of probabil- Artificial Intelligence Graduate Institute ity).Halpern shows that plausibility can be used to give (DFKI), Germany insight into belief and belief change, default reasoning, Multimodal Interaction: Principles, Robust Translation of Spontaneous decision rules, and (if time permits) when the technol- Practice, Impact, and Challenges Speech: A Multi-Engine Approach ogy of Bayesian networks can be applied to a represen- FRIDAY,AUGUST 10, 8:30-9:30AM tation of uncertainty.Some of this work is joint with Nir WEDNESDAY,AUGUST 8, 8:30AM-9:30AM BALLROOM 6 B/C, SIXTH LEVEL BALLROOM 6 B/C, SIXTH LEVEL Friedman. A new generation of multimodal systems is emerging Verbmobil is a speaker-independent and bidirectional in which the user is able to employ natural communi- speech-to-speech translation system for spontaneous cation modalities,including spoken language and pen- dialogs that can be accessed via GSM mobile phones. It based gesture, in addition to the usual graphical user handles dialogs in three business-oriented domains, interface technologies. To build such systems, we adopt Manuela Veloso with context-sensitive translation between four the principle of using the strengths of one modality to Carnegie Mellon University languages (English, German, Japanese, and Chinese). overcome weaknesses in another. We discuss how to We show that in Verbmobil’s multi-blackboard and design multimodal systems according to this principle, multi-engine architecture the results of concurrent and how to build robust multimodal architectures that processing threads can be combined in an incremental employ it at runtime in a unification-based framework. fashion.We argue that all results of concurrent process- These design and architectural principles will be illus- The Challenges and Advances ing modules must come with a confidence value,so that trated through QuickSet — a handheld, collaborative, inTeams of Autonomous Agents in statistically trained selection modules can choose the Adversarial Environments multimodal system that allows continuous speech and most promising result.Packed representations together pen-based gesturing as input. QuickSet uses a fault- THURSDAY,AUGUST 9, 8:30-9:30AM with formalisms for underspecification capture the tolerant distributed agent architecture, runs on PC’s, BALLROOM 6 B/C, SIXTH LEVEL uncertainties in each processing phase, so that the and is scalable from wearable to wall-sized systems. To The research and development of teams of intelligent uncertainties can be reduced by linguistic, discourse assess the impact of multimodal interaction, we will software agents and robots have fascinated RoboCup and domain constraints as soon as they become appli- describe a study comparing the use of a map-based researchers for the last five years. We have actively cable. One of the main lessons learned from the graphical user interface and multimodal interaction. researched on the integration of reasoning, perception, Verbmobil project is that the problem of speech-to- After discussing reasons why graphical user interfaces and action in teams of agents that need to face adver- speech translation can only be cracked by the fail to satisfy users in high stress environments, we sarial environments. Robotic soccer offered a pioneer- combined muscle of deep and shallow processing present a new version of the QuickSet technology that ing concrete task for this research, both for software approaches. attempts to support them through a tangible multi- agents and robots.RoboCup today involves several new modal user interface. Finally, we will discuss the directions, including simulation and robot rescue tasks challenges that await researchers when we try to and humanoid robots. In this talk, Veloso will go in support multimodal interaction among people. detail over the research challenges underlying teams of distributed software agents, small robots with offboard vision and computer control allowed, and fully autonomous robots and Sony legged robots. We have witnessed RoboCup significantly advancing Joseph Y. Halpern, the scientific state of the art of multiagent Cornell University and multirobot systems. Veloso will introduce the main contributions, including robot design, multiagent learning, behavior architectures, perception, communication, Plausibility Measures: A General localization, and opponent behavior model- Approach for Representing ing and recognition. Uncertainty

TUESDAY,AUGUST 7, 8:30-9:30AM BALLROOM 6 B/C, SIXTH LEVEL Halpern discusses a new formalism for reasoning about uncertainty called plausibility. Plausibility is a

10 IAAI-01 Conference

IAAI-01 Conference IAAI-01 Invited Talks Harold Cohen AUGUST 7 – 9, 2001 Professor Emeritus, UCSD, MEETING ROOM 602, SIXTH LEVEL, Senior Research Professor, WASHINGTON STATE CONVENTION & TRADE CENTER Center for Research in Ken Biller Computing and the Arts, IAAI-01 attendance is free to all IJCAI-01 registrants. Executive Producer, UCSD The Thirteenth Annual Conference on Innovative “Star Trek: Voyager” Applications of Artificial Intelligence (IAAI-2001) continues the IAAI tradition of serving as one of the Decoupling Art and Affluence premier venues for current work on artificial intelli- THURSDAY,AUGUST 9, 2:00 – 3:00 PM AI in Sci Fi: Imagining the gence applications. As always, this year’s conference MEETING ROOM 602, SIXTH LEVEL Sentient Machine features an outstanding selection of papers on In theory, a truly creative art-making program would deployed applications that use AI techniques, as well as TUESDAY,AUGUST 7, 3:10 – 4:10 PM have the potential to challenge the traditional papers on emerging technologies relevant to the design MEETING ROOM 602, SIXTH LEVEL hegemony of money over art. AARON, believed by and development of AI applications. The 12 papers Could a computer ever be a person? Beyond the ability many - but not by its author - to be such a program,has presented at the conference were selected from 37 to perform complex tasks, what attributes would it gone some way towards that goal, but raises papers submitted by authors from more than 12 need — personality, emotion, self-awareness? Can unanswered questions about both the nature of creativ- countries. Five of these papers describe deployed these ephemeral qualities be programmed, and if so, at ity and the cultural functions of art. applications, providing case studies on the design, what point does the creation become more human than management, and deployment of real-world systems hardware? Though these are questions that have IAAI-01 Personalization Panel incorporating AI technologies. The remaining seven certainly been asked by ethicists as well as scientists, Moderator: John Reidl,Associate Professor, University papers discuss emerging technologies, work whose this discussion will approach these issues from a of Minnesota, and Chief Scientist, Net Perceptions. goal is the development of technologies relevant unique perspective: that of the science fiction writer. to the design and development of systems using TUESDAY,AUGUST 7, 4:30 – 5:30 PM Using specific episodes of the television series “Star AI technology. In addition to the 12 technical papers, MEETING ROOM 602, SIXTH LEVEL Trek :Voyager” as a jumping off point, we’ll explore the IAAI-2001 also provides attendees of both conferences Personalization has been revolutionizing the way creative process of inventing characters and story-lines with three invited talks and a panel. shoppers find products to buy and information seekers that illuminate these themes — a process that may find the information they seek. Advanced personaliza- Artificial intelligence continues to be an exciting and eerily mirror the challenges faced by scientists trying to tion systems use AI techniques to create Web services profitable area of investigation for people interested in create artificial intelligence. building software systems that operate in realistic that transparently adapt themselves to fit the interests Ken Biller has spent the past six years writing, direct- environments incorporating a range of uncertainties of their visitors. This panel will be of interest to people ing,and producing episodes of “Star Trek:Voyager,”and and complexities. We are eager to see what future who want to understand what personalization is all most recently served as that series Executive Producer. innovations may further follow from the work presented about, who are interested in the algorithms behind His other credits include “The X-Files”and the telefilm personalization, or who are interested in social at this year’s conference. “The Last Man on Planet Earth.” He is a graduate of questions about the widespread use of personalization. Brown University. The panel includes experts in personalization Program Committee algorithms, advanced personalization applications, Haym Hirsh,Chair,Rutgers University and the ways in which personalization is changing interaction on the Internet. We expect spirited discus- Steve Chien,Cochair,Jet Propulsion Laboratory Rodney A. Brooks sion around why personalization is so important, Bruce Buchanan, University of Pittsburgh Director, MIT Artificial the best ways to do personalization, and social issues Robert S. Engelmore, Stanford University Intelligence Laboratory, surrounding personalization. Usama Fayyad, digiMine Fujitsu Professor of Ronen Feldman, Clearforest Corporation Computer Science and Randall Hill, USC/Institute for Creative Technologies Chairman & Chief Technical Neil Jacobstein, Teknowledge Corporation Officer, iRobot Corp Craig Knoblock, USC/Information Sciences Institute Mass Market Intelligent Robots Alain Rappaport, Carnegie Mellon University THURSDAY,AUGUST 9, 11:40 AM – 12:40 PM John Riedl, University of Minnesota MEETING ROOM 602, SIXTH LEVEL Charles Rosenberg, Carnegie Mellon University Ted Senator, DARPA/ISO. At iRobot Corporation we have been pushing intelligent Howard Shrobe, Massachusetts Institute of Technology robots into the mass market. The AI component differ- Reid Smith, Schlumberger Limited entiates them from the rest of the field but there are Shirley Tessler,Aldo Ventures, Inc. other equally difficult issues: costs, market creation, Ramasamy Uthurusamy, General Motors Corporation market penetration, and distribution. Please see pages 13, 15 and 17 for schedule. Marilyn Walker,AT&T Labs-Research

11 TUESDAY, AUGUST 7 TIME BALLROOM 6 B/C ROOM 606 ROOM 607 ROOM 608

Invited Talk: Plausibility 8:30 AM – Measures: A General Approach 9:30 AM for Representing Uncertainty Joseph Y.Halpern, Cornell University

9:30 AM – 10:00 AM COFFEE BREAK

10:00 AM – Distinguished Presentation: COGNITIVE ROBOTICS LOGIC PROGRAMMING NATURAL LANGUAGE 11:30 AM A Logical Account of Causal and Topological Maps A-System: Problem Solving through Abduction GENERATION Emilio Remolina and Benjamin Kuipers Antonis Kakas, and Bert Van Nuffelen and Marc Denecker Learning Theory and Language Title Generation for Machine-Translated Documents Modeling Online-Execution of ccGolog Plans A Comparative Study of Logic Programs with Rong Jin and Alexander G. Hauptmann David McAllester and Robert E. Henrik Grosskreutz and Gerhard Lakemeyer Preference Dealing with Dependencies between Content Planning Schapire Torsten Schaub and Kewen Wang An On-line Decision-Theoretic Golog Interpreter and Surface Realisation in a Pipeline Generation Mikhail Soutchanski Reasoning with infinite stable models (10:00 – 11:00 AM) Architecture Piero A. Bonatti Kalina Bontcheva and Yorick Wilks Narrative Prose Generation Charles Callaway and James Lester

11:40 AM – Keynote Address: 12:40 PM AI in the Computing Experience: Challenges and Opportunities Bill Gates, Microsoft Corporation

12:40 PM – 2:00 PM LUNCH

2:00 PM – Distinguished Presentation: REINFORCEMENT LEARNING AND MARKOV DECISION PROCESSES LIFELIKE CHARACTERS 3:00 PM MULTI-AGENT SYSTEMS Adaptive Control of Acyclic Progressive Processing A Layered Brain Architecture for Synthetic Characters Task Structures Damian Isla, Robert Burke, Marc Downie, and Bruce Probabilistic Algorithms for Reinforcement Learning in Distributed Domains: Stéphane Cardon,Abdel-Illah Mouaddib, Shlomo Blumberg Mobile Robot Mapping Beyond Team Games Zilberstein, and Richard Washington Sebastian Thrun,Wolfram Burgard David H.Wolpert, Joseph Sill, and Kagan Tumer Behavior Planning for a Reflexive Agent and Dieter Fox An Improved Grid-Based Approximation Algorithm Berardina De Carolis, Catherine Pelachaud, Isabella Poggi, Fast Concurrent Reinforcement Learners for POMDPs and Fiorella de Rosis Bikramjit Banerjee, Sandip Sen, and Jing Peng Rong Zhou and Eric A. Hansen

3:10 PM – Distinguished Presentation: MULTI-AGENT SYSTEMS INDUCTIVE LOGIC PROGRAMMING VISION I 4:10 PM APPLICATIONS OI-Implication: Soundness and Refutation VAMBAM: View and Motion-based Aspect Models for Completeness Distributed Omnidirectional Vision Systems A First-Order Davis-Putnam- An Agent Architecture for Multi-Attribute Negotiation Floriana Esposito, Nicola Fanizzi, Stefano Ferilli, and Hiroshi Ishiguro and Takuichi Nishimura Logeman-Loveland Procedure Catholijn M. Jonker and Jan Treur Peter Baumgartner Giovanni Semeraro Resolving Ambiguities to Create a Natural A Multiagent System for Helping Urban Traffic The Levelwise Version Space Algorithm and its Computer-Based Sketching Environment Management Application to Molecular Fragment Finding Christine Alvarado and Randall Davis L.A. Garcia and F.Toledo Luc De Raedt and Stefan Kramer

4:10 PM – 4:30 PM COFFEE BREAK

4:30 PM – Distinguished Presentation: STRUCTURE-BASED CAUSALITY TEMPORAL REASONING VISION II 5:30 PM Causes and Explanations: A Structural-Model A Complete Classification of Complexity in Allen’s Perceptual Texture Space Improves Perceptual Planning with Generic Types Approach—Part II: Explanations Algebra in the Presence of a Non-Trivial Basic Relation Consistency of Computational Features Derek Long and Maria Fox Joseph Y.Halpern and Judea Pearl Andrei Krokhin, Peter Jeavons, and Peter Jonsson Huizhong Long and Wee Kheng Leow Distinguished Award Paper: Complexity Results for Interval-based Reasoning with General TBoxes Fuzzy Conceptual Graphs for Matching Images of Structure-Based Causality Carsten Lutz Natural Scenes Thomas Eiter and Thomas Lukasiewicz Philippe Mulhem,Wee Kheng Leow, and Yoong Keok Lee

5:45 PM – IJCAI Computers and Thought Award Lecture 6:45 PM Daphne Koller, Stanford University

12 TECHNICAL PROGRAM ROOM 609 ROOM 611 ROOM 612 I A A I ROOM 602

9:30 AM – 10:00 AM COFFEE BREAK OMPLEXITY NALYSIS EURAL ETWORKS AMES Constraint-Based Modeling of InterOperability Problems C A N N G using an Object-Oriented Approach (Emerging Technology) Complexity of Nested Circumscription and Knowledge Extraction from Local Function Networks Iterative Widening Mohammed H. Sqalli and Eugene C. Freuder Abnormality Theories Kenneth McGarry, Stefan Wermter, and John MacIntyre Tristan Cazenave Electric Elves: Applying Agent Technology to Support Marco Cadoli, Thomas Eiter, and Georg Gottlob Violation-Guided Learning for Constrained Formu- Temporal Difference Learning Applied to a Human Organizations (Emerging Technology) A Perspective on Knowledge Compilation lations in Neural-Network Time-Series Predictions High-Performance Game-Playing Program H. Chalupsky,Y.Gil, C.A. Knoblock, K. Lerman, J. Oh, Adnan Darwiche and Pierre Marquis Benjamin W.Wah and Minglun Qian Jonathan Schaeffer, Markian Hlynka, and Vili Jussila D.V.Pynadath, T.A. Russ, and M. Tambe Phase Transitions of PP-Complete Satisfiability Mobile Robot Learning of Delayed Response Tasks Satisficing and Learning Cooperation in the Prisoner’s Problems through Event Extraction:A Solution to the Road Sign Dilemma Interchanging Agents and Humans in Military Simulation Delbert Bailey,Victor Dalmau, and Phokion G. Kolaitis Problem and Beyond Jeff Stimpson, Michael A. Goodrich, and Lawrence C. (Deployed Application) Fredrik Linåker and Henrik Jacobsson Walters C. Heinze, S. Goss, T.Josefsson, K. Bennett, S.Waugh, I. Lloyd, G. Murray, and J. Oldfield

12:40 PM – 2:00 PM LUNCH EARCH EURAL ETWORKS EB PPLICATIONS An Open Architecture for S N N W A Multi-Domain Information Extraction A backbone-search heuristic for efficient solving of NORN Finance Forecaster – A Neural Oscillatory-based A Web-based Intelligent System for the Daya Bay (Emerging Technology) hard 3-SAT formulae Recurrent Network for Finance Prediction Contingency Plan in Hong Kong Thierry Poibeau Olivier Dubois and Gilles Dequen Raymond Lee and James Liu James Liu, Raymond Lee, and Jane You Backbones in Optimization and Approximation A General Updating Rule for Discrete Hopfield-Type ExpertClerk: Navigating Shoppers’ Buying Process John Slaney and Toby Walsh Neural Network with Delay with the Combination of Asking and Proposing Scaling Up Context-Sensitive Text Correction Shenshan Qiu, Eric C.C. Tsang, Daniel S.Yeung, Hideo Shimazu (Emerging Technology) and Xizhao Wang Andrew J. Carlson, Jeffrey Rosen and Dan Roth

SEARCH PROBABILISTIC REASONING WEB SEARCH Invited Talk: Cooperative Search and Nogood Recording IBAL: A Probabilistic Rational Programming Preference-Based Configuration of Web Page Content AI in Sci Fi: Imagining the Sentient Machine Cyril Terrioux Language Carmel Domshlak, Ronen I. Brafman, and Solomon Eyal Kenneth Biller Search on High Degree Graphs Avi Pfeffer Shimony Toby Walsh Approximate inference for first-order probabilistic Keyword Spices: A New Method for Building Domain- languages Specific Web Search Engines Hanna Pasula and Stuart Russell Satoshi Oyama, Takashi Kokubo, Toru Ishida, Teruhiro Yamada and Yasuhiko Kitamura

4:10 PM – 4:30 PM COFFEE BREAK SATISFIABILITY STATISTICAL PROCESSING OF MACHINE LEARNING Invited Panel: Backjumping for Quantified Boolean Logic NATURAL LANGUAGE GRAMMARS Learning on the Phase Transition Edge Personalization Technologies Satisfiability Alessandro Serra,Attilio Giordana, and Lorenza Saitta Moderator: John Riedl Refining the Structure of a Enrico Giunchiglia, Massimo Narizzano, and Armando Stochastic Context-Free Grammar A Simple Additive Re-weighting Strategy for Tacchella Joseph Bockhorst and Mark Craven Improving Margins Solving Non-Boolean Satisfiability Problems with Fabio Aiolli and Alessandro Sperduti Automatically Extracting and Comparing Lexicalized Stochastic Local Search Grammars for Different Languages Alan M. Frisch and Timothy J Peugniez Fei Xia, Chung-hye Han, Martha Palmer, and Aravind Joshi

13 WEDNESDAY, AUGUST 8 TIME BALLROOM 6 B/C ROOM 606 ROOM 607 ROOM 608

8:30 AM – Invited Talk: Robust Translation of Spontaneous Speech: A Multi-Engine Approach 9:30 AM Wolfgang Wahlster, German Research Center for Artificial Intelligence (DFKI)

9:30 AM – 10:00 AM COFFEE BREAK

10:00 AM – Distinguished Presentation: SPATIAL REASONING BELIEF REVISION NATURAL LANGUAGE - LEARNING 11:30 AM Ambiguity-Directed Sampling for Qualitative Analysis On the Semantics of Knowledge Update FOR INFORMATION EXTRACTION of Sparse Data from Spatially-Distributed Physical Chitta Baral and Yan Zhang D-Learning: Adaptive Information Extraction from Text by Rule Systems What we can learn from dogs Resource-bounded inference from inconsistent belief Induction and Generalisation Chris Bailey-Kellogg and Naren Ramakrishnan about building characters bases Fabio Ciravegna that can learn A Spatial Odyssey of the Interval Algebra: Pierre Marquis and Nadège Porquet Relational Learning via Propositional Algorithms: An Song-Yee Yoon, Bruce M. 1. Directed Intervals Weakening Conflicting Information for Iterated Information Extraction Case Study Blumberg, and Gerald E. Schneider Jochen Renz Revision and Knowledge Integration Dan Roth and Wen-tau Yih From Images to Bodies: Modelling and Exploiting Salem Benferhat, Souhila Kaci, Daniel Le Berre, and Mary- (10:00 – 11:00 AM) Deriving a multi-domain information extraction Spatial Occlusion and Motion Parallax Anne Williams system from a rough ontology Thierry Poibeau David Randell, Mark Witkowski, and Murray Shanahan

11:40 AM – Special Event: The HAL 9000 Computer and the Vision of 2001: A Space Odyssey 12:40 PM David G. Stork, Ricoh California Research Center and Stanford University

1:30 PM 2001: A SPACE ODYSSEY 12:40 PM – 2:00 PM LUNCH 2:00 PM – great cedar longhouse for an award-winning 3:00 PM IJCAI-01 Conference Banquet salmon feast. Tillicum Village salmon is cooked over an open fire on cedar stakes in Wednesday,August 8, 6:15-10:30 pm the ancient Northwest Coast Native American Tillicum Village fashion. Cost: $75 per person Following dinner, banquet attendees will The journey to Tillicum Village begins at enjoy “Dance on the Wind,” a magnificent Piers 55 on Seattle’s Grand Central Waterfront, stage presentation that highlights some of the 3:10 PM – where attendees will board a charter vessel to traditional dances, myths, and legends of the Blake Island at 6:15 pm. The cruise on Puget Northwest Coast in a magical and unforget- 4:10 PM Sound out to the island arrives at about 7:15 table setting. After “Dance on the Wind”, the pm. Visitors will be greeted by a Native natural riches of Blake Island State Park can American drummer, and then enter the be enjoyed on its beautiful beaches and trails. The Tillicum Village facility, which is a traditionally styled Northwest Coast Native American cedar longhouse, has many artifacts on display. The Gift Gallery in the longhouse has items that 4:10 PM – 4:30 PM COFFEE BREAK represent several different tribes, as well as many unique items crafted by Tillicum Village staff 4:30 PM – members. 5:30 PM At 9:30 pm attendees will board the chartered vessel at Blake Island marina for the return trip to Seattle, arriving back at pier 55 about 10:30 pm. The return trip offers magnificent views of the Seattle skyline from the beautiful waters of Elliott Bay.

6:15 PM – IJCAI-01 Conference Banquet M Tillicum Village, 10:30PMP Blake Island, Puget Sound

14 TECHNICAL PROGRAM ROOM 609 ROOM 611 ROOM 612 I A A I ROOM 602

9:30 AM – 10:00 AM COFFEE BREAK ULTI GENT YSTEMS ASE BASED EASONING OMPLEXITY OF LANNING TALPS: The T-AVB Automated Load Planning M -A S C - R C P System (Deployed Application) Reflective Negotiating Agents for Real-Time Bridging the Lesson Distribution Gap Complexity of Probabilistic Planning under Average Paul S. Cerkez Multisensor Target Tracking David W.Aha, Rosina Weber, Héctor Muñoz-Ávila, Leonard Rewards Leen-Kiat Soh and Costas Tsatsoulis A. Breslow, and Kalyan Moy Gupta Jussi Rintanen Token Allocation Strategy for Free-Flight Stable Strategies for Sharing Information among Minimizing Dialog Length in Interactive Case-Based Computational Complexity of Planning with Temporal Conflict Solving (Emerging Technology) Agents Reasoning Goals Géraud Granger, Nicolas Durand and Jean-Marc Alliot Rina Azoulay-Schwartz and Sarit Kraus David McSherry Chitta Baral,Vladik Kreinovich, and Raúl Trejo CAST: Collaborative Agents for Simulating Teamwork SiN: Integrating Case-based Reasoning with Task A Simplifier for Propositional Formulas with Many The RadarSAT-MAMM Automated Mission Planner John Yen, Jianwen Yin, Thomas R. Ioerger, Michael S. Miller, Decomposition Binary Clauses (Deployed Application) Dianxiang Xu, and Richards A.Volz Héctor Muñoz-Ávila, David W.Aha, Dana S. Nau, Rosina Ronen Brafman Benjamin D. Smith, Barbara E. Engelhardt Weber, Len Breslow and Fusun Yamal and Darren H. Mutz

Invited Panel: Artificial Intelligence Competitions, Boon or Bane Moderator: Steve Chien, Jet Propulsion Laboratory

12:40 PM – 2:00 PM LUNCH

IJCAI CONFERENCE BANQUET

15 THURSDAY, AUGUST 9 TIME BALLROOM 6 B/C ROOM 606 ROOM 607 ROOM 608

Invited Talk: The Challenges 8:30 AM – and Advances in Teams of Autonomous Agents in 9:30 AM Adversarial Environments Manuela Veloso, Carnegie Mellon University 9:30 AM – 10:00 AM COFFEE BREAK

10:00 AM – Distinguished Presentation: ROBOTICS ACTION AND CAUSALITY PLANNING WITH INCOMPLETE 11:30 AM Combining Probabilities, Failures and Safety in Updates, actions, and planning INFORMATION User-Oriented Evalutation Robot Control Andreas Herzig, Jerome Lang, Pierre Marquis, and Thomas Heuristic Search + Symbolic Model Checking = Methods for IR: Case Study Alberto Finzi and Fiora Pirri Polacsek Efficient Conformant Planning Piergiorgio Bertoli, Based on Conceptual Models Heterogeneity in the Coevolved Behaviors of Mobile Causality and Minimal Change Demystified Alessandro Cimatti, and Marco Roveri for Query Expansion Robots: The Emergence of Specialists Maurice Pagnucco and Pavlos Peppas Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking Jaana Kekäläinen and Mitchell A. Potter, Lisa A. Meeden, and Alan C. Schultz EPDL: A Logic for Causal Reasoning Kalervo Järvelin Piergiorgio Bertoli,Alessandro Cimatti, Marco Roveri, and Agent-Based Control for Object Manipulation with Dongmo Zhang and Norman Foo Paolo Traverso Modular Self-reconfigurable Robots (10:00 – 11:00 AM) Planning as Model Checking for Extended Goals in Jeremy Kubica,Arancha Casal, and Tad Hogg Non-deterministic Domains Marco Pistore and Paolo Traverso

11:40 AM – Distinguished Presentation: MULTI-AGENT SYSTEMS ACTION COOPERATIVE BEHAVIOR 12:40 PM Multiagent Coordination by Probabilistic Cellular A Circumscriptive Formalization of the Qualification Rational Competitive Analysis Data Mining for Manufacturing Automata Problem Moshe Tennenholtz Control: An Application in T.D. Barfoot and G. M. T.D’Eleuterio G. Neelakantan Kartha Learning Procedural Knowledge to Better Coordinate Optimizing IC Test Identifying the Scope of Modeling for Time-Critical Computing Strongest Necessary and Weakest Sufficient Andrew Garland and Rick Alterman Tony Fountain, Thomas Dietterich, Multiagent Decision-Making Conditions of First-Order Formulas and Bill Sudyka Sanguk Noh and Piotr J. Gmytrasiewicz Patrick Doherty,Witold Lukaszewicz, and Andrzej Szalas

12:40 PM – 2:00 PM LUNCH

2:00 PM – Distinguished Presentation: PROBABILISTIC REASONING DESCRIPTION LOGICS PERCEPTION 3:00 PM Context-specific Sign-propagation in Qualitative Identification Constraints and Functional Discriminating Animate from Inanimate Visual Bayesian Inference of Visual Probabilistic Networks Dependencies in Description Logics Stimuli Motion Boundaries Silja Renooij, Simon Parsons, and Linda C. van der Gaag Diego Calvanese, Giuseppe De Giacomo, and Maurizio Brian Scassellati Michael J. Black and David J. Fleet Max-norm Projections for Factored MDPs Lenzerini An Hybrid Approach to Solve the Global Localization Carlos Guestrin, Daphne Koller, and Ronald Parr High Performance Reasoning with Very Large Problem For Indoor Mobile Robots Considering Knowledge Bases: A Practical Case Study Sensor’s Perceptual Limitations Volker Haarslev and Ralf Moeller Leonardo Romero, Eduardo Morales, and Enrique Sucar

3:10 PM – Distinguished Presentation: QUALITATIVE REASONING FOR SEARCH PERCEPTION 4:10 PM BIOLOGICAL SYSTEMS Incomplete Tree Search using Adaptive Probing Multimodal Integration - A Biological View Wheeler Ruml Michael Coen Understanding Belief Qualitative Simulation of Genetic Regulatory Propagation and its Networks: Method and Application Heuristic Search in Infinite State Spaces Guided by Real-Time Auditory and Visual Multiple-Object Generalizations Hidde de Jong, Michel Page, Celine Hernandez, and Lyapunov Analysis Tracking for Robots Jonathan Yedidia,William Johannes Geiselmann Theodore J. Perkins and Andrew G. Barto Kazuhiro Nakadai, Ken-ichi Hidai, Hiroshi Mizoguchi, Freeman, and Yair Weiss Hiroshi G. Okuno, and Hiroaki Kitano Discrimination of Semi-Quantitative Models by Experiment Selection: Method and Application in Population Biology Ivayla Vatcheva, Olivier Bernard, Hidde de Jong, Jan-Luc Gouze, and Nicolaas J.I. Mars

4:10 PM – 4:30 PM COFFEE BREAK

4:30 PM – Distinguished Presentation: REINFORCEMENT DOMAIN ANALYSIS FOR MACHINE LEARNING AND DATA 5:30 PM LEARNING/ROBOTICS PLANNING MINING New Tractable Classes Multi-Agent Systems by Incremental Gradient One action is enough to plan Faster Association Rules for Multiple Relations From Old Reinforcement Learning Emmanuel Guéré and Rachid Alami Siegfried Nijssen and Joost Kok David Cohen, Peter Jeavons, and Alain Dutech,Olivier Buffet,and François Charpillet Richard Gault Hybrid STAN: Identifying and Managing A Simple Feature Selection Method for Text Robot Weightlifting By Direct Policy Search Combinatorial Optimisation Sub-problems in Classification Michael T.Rosenstein and Andrew G. Barto Planning Pascal Soucy and Guy W.Mineau Maria Fox and Derek Long

5:45 PM – IJCAI Research Excellence Lecture 6:45 PM Donald Michie, University of Edinburgh

16 TECHNICAL PROGRAM ROOM 609 ROOM 611 ROOM 612 I A A I ROOM 602

9:30 AM – 10:00 AM COFFEE BREAK ONSTRAINT ATISFACTION EURAL ETWORKS AND ESCRIPTION OGICS AND C S N N D L Collaborative Kodama Agents with Automated PROBLEMS GENETIC ALGORITHMS CONCEPTUAL GRAPHS Learning and Adapting for Personalized Web Backtracking Through Biconnected Components of a Genetic Algorithm based Selective Neural Network Decision Procedures for Expressive Description Logics Searching (Emerging Technology) Constraint Graph Ensemble with Intersection, Composition, Converse of Roles and Tarek Helmy, Satoshi Amamiya and Makoto Amamiya Jean-François Baget and Yannic S. Tognetti Zhi-Hua Zhou, Jian-Xin Wu,Yuan Jiang, and Shi-Fu Chen Role Identity A Constraint Satisfaction Approach to Parametric Neural Logic Network Learning using Genetic Fabio Massacci Natural Language Sales Assistant – A Web-Based Differential Equations Programming Ontology Reasoning in the SHOQ(D) Description Logic Dialog System for Online Sales (Deployed M. Janssen, P.Van Hentenryck, and Y.Deville Chew Lim Tan and Henry Wai Kit Chia Ian Horrocks and Ulrike Sattler Application) Improved bounds on the complexity of kB-consistency Sensitivity Analysis of Multilayer Perceptron The SG Family: Extensions of Simple Conceptual Graphs Joyce Chai,Veronika Horvath, Nicolas Nicolov, Margo Stys- Lucas Bordeaux, Eric Monfroy, and Frédéric Benhamou D.S.Yeung, Xuequan Sun and Xiaoqin Zeng Jean-François Baget and Marie-Laure Mugnier Budzikowska, Nanda Kambhatla, and Wlodek Zadrozny

CONSTRAINT SATISFACTION PROBABILISTIC LEARNING COGNITIVE MODELING — Invited Talk: PROBLEMS Active Learning for Structure in Bayesian Networks DIAGRAMATIC REASONING Simon Tong and Daphne Koller Mass Market Intelligent Robots Refining the Basic Constraint Propagation Algorithm Formalizing Artistic Techniques and Scientific Rodney A. Brooks, Director, MIT Artificial Christian Bessière and Jean-Charles Régin Probabilistic Classification and Clustering Visualization for Painted Renditions of Complex in Relational Data Intelligence Laboratory, Fujitsu Professor of Making AC-3 an Optimal Algorithm Information Spaces Ben Taskar, Eran Segal, and Daphne Koller Computer Science and Chairman & Chief Yuanlin Zhang and Roland H.C.Yap Christopher G. Healey Technical Officer, iRobot Corporation Visual Analogy in Problem Solving Jim R. Davies and Ashok K. Goel

12:40 PM – 2:00 PM LUNCH CONSTRAINT SATISFACTION CASE-BASED REASONING MULTI-AGENT SYSTEMS Invited Talk: PROBLEMS A Distributed Case-Based Query Rewriting Bundle Design in Robust Combinatorial Auction Maurizio Panti, Luca Spalazzi, and Loris Penserini Protocol against False-name Bids Decoupling Art and Affluence Temporal Constraint Reasoning With Preferences Using Case-Base Data to Learn Adaptation Knowledge Makoto Yokoo,Yuko Sakurai, and Shigeo Matsubara Harold Cohen, Professor Emeritus, UCSD, Lina Khatib, Paul Morris, Robert Morris, and Francesca Senior Research Professor, Center for Rossi for Design CABOB: A Fast Optimal Algorithm for Combinatorial Jacek Jarmulak, Susan Craw, and Ray Rowe Auctions Research in Computing and the Arts, UCSD A Hybrid Approach for the 0-1 Multidimensionnal Tuomas Sandholm, Subhash Suri,Andrew Gilpin, and Knapsack problem David Levine Michel Vasquez and Jin-Kao Hao

ONSTRAINT ATISFACTION ACHINE EARNING AND ATA ULTI GENT YSTEMS C S M L D M -A S Image-Feature Extraction for Protein PROBLEMS MINING A software architecture for dynamically generated Crystallization: Integrating Image Analysis and adaptive Web stores The Exponentiated Subgradient Algorithm for Adaptive Web Navigation for Wireless Devices Case-Based Reasoning (Emerging Technology) Liliana Ardissono,Anna Goy, Giovanna Petrone, and Heuristic Boolean Programming Corin R.Anderson, Pedro Domingos, and Daniel S.Weld I. Jurisica, P.Rogers, J. Glasgow, S. Fortier, J. Luft, Marino Segnan Dale Schuurmans, Finnegan Southey, and Robert C. Holte Using Text Classifiers for Numerical Classification M. Bianca, R. Collins, and G. DeTitta Modularity and Design in Reactive Intelligence A New Method For The Three Dimensional Container Sofus Attila Macskassy, Haym Hirsh,Arunava Banerjee, Joanna J. Bryson and Lynn Andrea Stein Packing problem and Aynur A. Dayanik CARMA: A Case-Based Range Management Advisor Andrew Lim and Wang Ying (Deployed Application) Karl Branting, John Hastings and Jeffrey Lockwood

4:10 PM – 4:30 PM COFFEE BREAK SATISFIABILITY PROBABILISTIC REASONING MULTI-AGENT SYSTEMS Balance and Filtering in Structured Satisfiable Knowledge Processing under Information Fidelity Achieving Budget-Balance with Vickrey-Based Problems Wilhelm Rödder Payment Schemes in Exchanges Henry Kautz,Yongshao Ruan, Dimitri Achlioptas, Carla Constraints as Data: A New Perspective on Inferring David C. Parkes, Jayant Kalagnanam, and Marta Eso Gomes, Bart Selman, and Mark Stickel Probabilities Agent-Human Interactions in the Continuous Efficient Consequence Finding Manfred Jaeger Double Auction Laurent Simon and Alvaro del Val Rajarshi Das, James E. Hanson, Jeffrey O. Kephart, and Gerald Tesauro

17 FRIDAY, AUGUST 10 TIME BALLROOM 6 B/C ROOM 606 ROOM 607 ROOM 608

Invited Talk: Multimodal 8:30 AM – Interaction: Principles, Practice, Impact, and Challenges 9:30 AM Philip R. Cohen, Center for Human-Computer Communication, Oregon Graduate Institute 9:30 AM – 10:00 AM COFFEE BREAK

10:00 AM – Distinguished Presentation: VISION THEOREM PROVING NATURAL LANGUAGE EXPLANATION 11:30 AM Learning Iterative Image Reconstruction Splitting Without backtracking AND ARGUMENTATION Sven Behnke Alexandre Riazanov and Andrei Voronkov Qualitative spatio-temporal Dialog-driven Adaptation of Explanations of Proofs representation and reasoning: Efficient Interpretation Policies UNSEARCHMO: Eliminating Redundant Search Space Armin Fiedler a computational perspective Ramana Isukapalli and Russell Greiner on Backtracking for Forward Chaining Theorem Generating Tailored Examples to Support Learning via Frank Wolter and Michal Proving A Hierarchy of Boundary-based Shape Descriptors Self-Explanation Zakharyaschev Lifeng He Richard Meathrel and Antony Galton Cristina Conati and Giuseppe Carenini Theorem Proving with Structured Theories (10:00 – 11:00 AM) An Empirical Study of the Influence of User Tailoring Sheila McIlraith and Eyal Amir on Evaluative Argument Effectiveness Giuseppe Carenini and Johanna D. Moore

11:40 AM – Invited Panel: LOGIC PROGRAMMING UNCERTAINTY MULTI-AGENT SYSTEMS 12:40 PM A Framework for Declarative Update Specifications in Weakening Commensurability Hypothesis in The Fair Imposition The Semantic Web Elephant: Logic Programs Possibilistic Qualitative Decision Theory Yoav Shoham and Moshe Tennenholtz What Do the Blind Men See? Thomas Eiter, Michael Fink, Giuliana Sabbatini, and Hans Adriana Zapico Robust Multi-unit Auction Protocol against False- Moderator: James Hendler, Tompits A Fuzzy Modal Logic for Belief Functions name Bids University of Maryland Abduction in Logic Programming: A New Definition Lluís Godo, Petr Hàjek, and Francesc Esteva Makoto Yokoo,Yuko Sakurai, and Shigeo Matsubara and an Abductive Procedure Based on Rewriting Fangzhen Lin and Jia-Huai You

12:40 PM – 2:00 PM LUNCH

2:00 PM – Distinguished Presentation: DIAGNOSIS ANSWER SET PROGRAMMING COGNITIVE MODELING — 3:00 PM Distributed Monitoring of Hybrid Systems: A Experimenting with Heuristics for Answer Set CATEGORISATION Model-Directed Approach Programming Virtual Humans for Team Reasoning about Categories in Conceptual Spaces Feng Zhao, Xenofon Koutsoukos, Horst Haussecker, James Wolfgang Faber, Nicola Leone, and Gerald Pfeifer Training in Virtual Reality Peter Gärdenfors and Mary-Anne Williams Jeff Rickel and W.Lewis Johnson Reich, Patrick Cheung and Claudia Picardi Graph Theoretical Characterization and Computation Simulating the Formation of Color Categories Causal interaction: from a high-level representation to of Answer Sets Tony Belpaeme an operational event based representation Thomas Linke Irène Grosclaude, Marie-Odile Cordier, and René Quiniou

3:10 PM – Distinguished Presentation: FACTORED MARKOV DECISION DIAGNOSIS COGNITIVE MODELING — 4:10 PM PROCESSES Temporal Decision Trees or the lazy ECU vindicated PERCEPTUAL GROUNDING Luca Console, Claudia Picardi, and Identifying Semantic Roles Solving Factored MDPs via Non-Homogeneous Grounded Models as a Basis for Intuitive Reasoning Daniele Theseider Dupré in Text Partitioning Josefina Sierra-Santibáñez Daniel Gildea and Daniel Jurafsky Model-Based Diagnosability and Sensor Placement Kee-Eung Kim and Thomas Dean Perceptual Anchoring of Symbols for Action Application to a Frame 6 Gas Turbine Subsystem Symbolic Dynamic Programming for Silvia Coradeschi and Alessandro Saffiotti Louise Travé-Massuyès, Teresa Escobet, and Robert Milne First-Order MDPs Craig Boutilier, Ray Reiter, and Bob Price

4:10 PM – 4:30 PM COFFEE BREAK 4:30 PM – 5:30 PM

5:45 PM – 6:45 PM

18 TECHNICAL PROGRAM ROOM 609 ROOM 611 ROOM 612 ROOM 613

9:30 AM – 10:00 AM COFFEE BREAK PLANNING WITH FORWARD DESCRIPTION LOGICS AND REINFORCEMENT LEARNING INFORMATION EXTRACTION AND SEARCH FORMAL CONCEPT ANALYSIS R-MAX — A General Polynomial Time Algorithm for RETRIEVAL Near-Optimal Reinforcement Learning Planning with Resources and Concurrency: A Forward Matching under Side Conditions in Description Logics Representing Sentence Structure in Hidden Markov Ronen Brafman and Moshe Tennenholtz Chaining Approach Franz Baader, Sebastian Brandt, and Ralf Küsters Models for Information Extraction From Q(λ) to Average Q-learning: Efficient Soumya Ray and Mark Craven Fahiem Bacchus and Michael Ady Computing Least Common Subsumers in ALEN Implementation of an Asymptotic Approximation Sequentially Finding the N-Best List in Hidden Total-Order Planning with Partially Ordered Subtasks Ralf Küsters and Ralf Molitor Frédérick Garcia and Florent Serre Markov Models Dennis Nilsson and Jacob Goldberger Dana Nau, Héctor Muñoz-Avila,Yue Cao,Amnon Lotem, FCA-Merge: Bottom-Up Merging of Ontologies Exploiting Multiple Secondary Reinforcers in Policy NLP-driven IR: Evaluating Performances over a Text and Steven Mitchell Gerd Stumme and Alexander Maedche Gradient Reinforcement Learning Classification task Conditional progressive planning under uncertainty Greg Grudic and Lyle Ungar Roberto Basili,Alessandro Moschitti Lars Karlsson and Maria Teresa Pazienza

HIERARCHICAL DIAGNOSIS AND USER INTERFACES MACHINE LEARNING AND DATA PLANNING WITH TEMPORAL MONITORING Usability Guidelines for Interactive Search in Direct MINING UNCERTAINTY Manipulation Systems Hierarchical Diagnosis Guided by Observations The Foundations of Cost-Sensitive Learning Executing Reactive, Model-based Programs through Robert St.Amant and Christopher G. Healey Luca Chittaro and Roberto Ranon Charles Elkan Graph-based Temporal Planning Leveraging Data About Users in General in the Mode Estimation of Model-based Programs: Mining Soft-Matching Rules from Textual Data Phil Kim, Brian C.Williams and Mark Abramson Learning of Individual User Models Monitoring Systems with Complex Behavior Un Yong Nahm and Raymond J. Mooney Dynamic Control Of Plans With Temporal Uncertainty Anthony Jameson and Frank Wittig Brian C.Williams, Seung Chung, and Vineet Gupta Paul Morris,Nicola Muscettola,and Thierry Vidal

12:40 PM – 2:00 PM LUNCH SEARCH HEURISTICS IN KNOWLEDGE ACQUISITION MULTI-AGENT GAMES PLANNING Knowledge Analysis on Process Models Rational and Convergent Learning in Stochastic Games Jihie Kim and Yolanda Gil Michael Bowling and Manuela Veloso Local Search Topology in Planning Benchmarks: An Empirical Analysis Integrating Expectations from Different Sources to Multi-Agent Influence Diagrams for Representing and Jörg Hoffmann Help End Users Acquire Procedural Knowledge Solving Games Jim Blythe Daphne Koller and Brian Milch Reviving Partial Order Planning XuanLong Nguyen and Subbarao Kambhampati

MARKET MECHANISMS MACHINE LEARNING AND MULTI-AGENT SYSTEMS Market Clearability DATA MINING Bidding Languages for Combinatorial Auctions Tuomas Sandholm and Subhash Suri Craig Boutilier and Holger H. Hoos Link Analysis, Eigenvectors and Stability On Market-Inspired Approaches to Andrew Y.Ng,Alice Zheng, and Michael Jordan Partitioning Activities for Agents Propositional Satisfiability Fatma Özcan and V.S. Subrahmanian Active Learning for Class Probability Estimation William E.Walsh, Makoto Yokoo, Katsutoshi Hirayama, and and Ranking Michael P.Wellman Maytal Saar-Tsechansky and Foster Provost

4:10 PM – 4:30 PM COFFEE BREAK

19 IJCAI - 01 Exhibit Program

IJCAI-01 Exhibit Program BOOTH #313 in Europe. Its primary focus is to share information on ActivMedia Robotics AI activities and events across Europe, and to help the The exhibition will be held in Exhibit Hall 4B national societies to work together. They also provide a 44 Concord Street • Peterborough, NH 03458, USA program of travel grants and ECCAI Fellows. ECCAI is on the fourth level of the Washington State 1-603-924-9100 Convention & Trade Center, Tuesday,August 7 responsible for the bi-annual European-wide AI ROBOTS GET A GRIP ON IT! In past years, we’ve conference. Information on ECAI-2002 to be held in through Thursday, August 9. Admittance is focused on our intelligent laser navigation and vision July in Lyon, France, including the call for papers restricted to badged conference attendees. systems. This year, see all the new options ActivMedia for the technical conference and PAIS-2002, the Vendor-issued guest passes must be Robotics offers for manipulation: from little Prestigious Applications of AI conference. In addition, AmigoFingers to the new Pioneer 2 classroom arm to redeemed at the Exhibitor Registration Desk, information on proceedings of past ECAI conferences, mammoth new MonsterBot carrying a 6 dof industrial published by IOS Press, will be available. in the registration area on the fourth level of arm.Also showing: new ARBS plug-n-play software for the Washington State Convention & Trade quick demos, online robot operation and classroom BOOTH #329 Center. Further information regarding access instruction; new ARIA C/C++ transparent robot Franz Incorporated operating environment; Saphira Laser Navigation 1995 University Avenue, #275 • Berkeley, CA 94704 to the Exhibition can be obtained from the system, PTZ Vision, and our Pioneer 2-DX, P2-AT, (510) 548-3600 Exhibitor Registration Desk. AmigoBot, PeopleBot & MonsterBot robots. Franz Inc. produces Allegro CL® 6.0, a complete, cross- [email protected]; www.activrobots.com EXHIBIT HOURS platform development environment powered by Tuesday,August 7 10:00 AM – 6:00 PM Common Lisp/CLOS. Allegro CL’s dynamic object- BOOTH #308 oriented technology allows developers to create leading Wednesday,August 8 10:00 AM – 6:00 PM AITopics – the AAAI Pathfinder edge, mission-critical applications that are robust, Thursday,August 9 10:00 AM – 4:30 PM Jon Glick,Webmaster scaleable, and easy to evolve and deploy. With Allegro RoboCup 2001 and RoboCup Junior will be held in Website: www.aaai.org/Pathfinder.html CL,developers can create powerful applications that get Exhibit Hall 4A, adjacent to the main IJCAI-01 E-mail: [email protected] to market quickly,can change frequently,and grow with Exhibit Hall,August 1-10. For more information on AI Topics is a dynamic online library sponsored by the their end users. Allegro CL is ideal for Dynamic RoboCup, please see page 24. American Association for Artificial Intelligence for Servers, Manufacturing scheduling and control, IC students, teachers, journalists, and everyone who design & synthesis, Knowledge Management and Data EXHIBITORS would like to learn more about what artificial intelli- Mining. Other Franz Inc. products include ◆ AAAI Press gence is, and what AI scientists do. This free web site AllegroServe™, a dynamic web-enabling Lisp Web ◆ Acroname Inc. offers a limited number of exemplary, non-technical Server, Allegro ORBLink™, a CORBA-compliant ORB, and AllegroStore®, a persistent object database. ◆ ActivMedia Robotics, LLC resources that have been organized and annotated to ◆ provide meaningful access to basic information about AI Topics – The AAAI Pathfinder BOOTH #312 ◆ the AI universe. Carnegie Mellon University iRobot Corp., Research Robots ◆ Although you can always find AI Topics online at ECCAI – European Co-ordinating Committee Division for AI www.aaai.org/aitopics, this conference offers you the 32 Fitzgerald Drive • PO Box 375 ◆ Franz Inc. exciting opportunity to visit AI Topics in person at Booth #308. Since you are either a potential user of the Jaffrey, NH 03452 • 603-532-6900 • www.irobot.com ◆ iRobot Corporation ◆ web site or a potential contributor to it, we’d really like Inspire.Encourage.Enable. Kluwer Academic Publishers to meet you and introduce you to the site.And because ◆ iRobot’s team of dedicated engineers,software develop- MindBox, Inc. AI Topics is dedicated to serving you, we’re very inter- ◆ The MIT Press ers and production specialists embrace creativity, ested in hearing your questions, ideas, concerns, innovative thinking and cutting-edge technology to ◆ Morgan Kaufmann Publishers suggestions, and criticism. design and build a growing family of versatile, rugged, ◆ NASA Ames Research Center Please stop by and let’s get acquainted! fully integrated mobile robot systems. The revolution- ◆ Naval Research Laboratory ary Mobility Robot Integration Software and rFLEX ◆ PC AI Magazine BOOTH #210 Robot Control Architecture drive the entire family of ◆ ScienceDirect ECCAI research robot platforms, providing seamless, top-to- ◆ SGI c/o Intelligent Applications • 1 Michaelson Square bottom integration along with clear,intuitive migration ◆ Sony America ERA Livingston,W.Lothian • EH54 7DP,Scotland, UK paths among platforms. iRobot’s mission is to provide ◆ Springer Verlag New York, Inc. +44 1506 47 20 47 • www.eccai.org robot development tools that inspire, encourage and ◆ TRACLabs,A Division of Metrica, Inc. ECCAI is the European Co-ordinating Committee on enable advances in robotics. Stop by to see these great ◆ University of Alberta AI Lab Artificial Intelligence. This umbrella organisation red machines in action. ◆ University of Washington brings together the more than 25 National AI societies

20 IJCAI - 01 Exhibit Program

BOOTH #107 continued this publishing philosophy with more than BOOTH #414 150 books in the AI field, most of which are today The MIT Press TRACLabs, a division of considered the definitive works in their fields. Metrica, Inc. 5 Cambridge Center • Cambridge, MA 02142 http://mitpress.mit.edu 8620 N. New Braunfels, Suite 603 BOOTH #307 San Antonio, TX 78217-6363 The MIT Press is an academic publisher specializing in NASA Ames Research Center Contact: Bob Hattier at 210-822-2310 books at the cutting edge of the sciences, including computer science and cognitive science. Please visit The Computational Sciences Division at NASA Ames Biclops: our pan, tilt, verge head for monocular or our booth for a 20% conference discount on all MIT Research Center conducts research in artificial intelli- stereo vision applications. It is compact, lightweight, Press titles! New books available at IJCAI 2001 include gence and computer science that will enable the critical low power, and accurate. Key features include: Mechanics of Robotic Manipulation in our Intelligent technologies necessary for NASA’s missions of explo- •Rugged and finely adjustable camera mounts ration in the 21st Century. The Ames exhibit will Robots and Autonomous Agents series, by Matthew T. •Novel verge mechanism provides zero backlash and feature current work on autonomous spacecraft Mason; Qualitative Methods for Reasoning Under high precision Uncertainty, by Simon Parsons; and Knowledge in control, preparations for the 2003 rover mission to •Pan and tilt mechanisms have separate drive and Action: Logical Foundations for Specifying and Mars, and a demonstration of a neural network based feedback trains for precise observability Implementing Dynamical Systems, by Ray Reiter. We adaptive flight controller. also distribute books from AAAI Press. •Wide pan axis bearing allows for orderly camera cable BOOTH #214 routing through base BOOTH #434 Naval Research Laboratory •All control electronics are housed in the base MindBox, Inc. Navy Center for Applied Research in •Industry-standard, serial interface provides several 300 Drake’s Landing, Suite 155 • Greenbrae, CA 94904 Artificial Intelligence, Code 5515 position and velocity PWM servo control modes. 877-650-MIND 4555 Overlook Ave., S.W. Biclops is also available with fixed-vergence and in Washington, DC 20375-5337 MindBox is focused on helping financial services organ- custom figurations. izations gain a competitive edge by automating their NRL’s Navy Center for Applied Research in Artificial complex, knowledge-intensive business processes. We Intelligence (NCARAI) presents work in several areas BOOTH #310 deliver customized systems that meet the specific of AI including computer vision, human computer University of Alberta AI Lab interaction, intelligent multi-modal multimedia business needs of clients. By automating these clients’ Web-Based Interactive AI Resources complex decision processes, we help improve the communication,natural language understanding,case- efficiency and effectiveness of their business operations based reasoning, and machine learning, particularly The web is fundamentally changing the field of artificial by making every contact with their customers count. the evolution of cooperative control for multi-robot intelligence (AI); it can also improve the way we *teach* systems. Results from these research areas are being the ideas underlying our field. The rich assortment of MindBox software is based around a sophisticated integrated with the mobile robotics effort to develop media available — including applets, sound, video, artificial intelligence application development intelligent robots which use adjustable autonomy and down-loads, and text — can be exploited to make AI platform, ARTEnterprise. The product family includes adaptation to perform a variety of tasks including come alive. This booth will present a variety of web- components that automate critical processes within a military operations support and urban search and based systems, each designed to help teach some aspect lending process. The combination of decisioning rescue. Several robots can be easily directed using a of AI. These resources are from the IJCAI workshop on technology and modular architecture of the compo- multimodal interface combining speech, natural “Effective Interactive Artificial Intelligence Resources” nents enables us to rapidly deploy the solution in order gesture, and PDA input. for client’s to realize a return on their investment. http://mainline.brynmawr.edu/EIAIR/IJCAI01.html Our eventual goal is a collection of tools for teaching AI, BOOTH #211 BOOTH #311 which is informative, useful, up-to-date, and, most Morgan Kaufmann Publishers Springer Verlag New York, Inc. important, fun. 340 Pine Street 6th Floor • San Francisco, CA 94104 175 Fifth Avenue • New York, NY 10010 We will include demos from: 415-392-2665 Phone: (212) 460-1533 • Fax: (212) 533-5587 • University of Alberta Morgan Kaufmann is dedicated to publishing distin- Save 20% on artificial intelligence titles from Springer- (http://www.cs.ualberta.ca/~aixplore/) guished books for artificial intelligence researchers and Verlag! From the acclaimed How To Solve It: Modern • University of British Columbia students, including graduate and undergraduate level Heuristics and the new Coordination of Internet Agents, (http://www.cs.ubc.ca/labs/lci/CIspace/) texts, monographs, collected volumes, and conference to journals such as Pattern Analysis and Applications • University of Calgary proceedings. Since its founding in 1984, Morgan and AI & Society, Springer has established a reputation (http://tiger.cpsc.ucalgary.ca/WebGrid/WebGrid.html) Kaufmann has published high-quality books for the for publishing essential books and journals in all areas • University of Saskatchewan artificial intelligence field that are substantially unique, of artificial intelligence. (http://www.cs.usask.ca/projects/aries/) are written by authoritative authors, and reflect our See http://mainline.brynmawr.edu/EIAIR/ for an overall commitment to fine book making. We have overview of some of the available resources.

21 IJCAI-01 Exhibit: The AAAI Mobile Robot Competition & Exhibition andthe National Botball 2001Tournament

The AAAI Mobile Robot Competition and Exhibition TEAM PARTICIPANTS This year’s IJCAI will include several events showing off the communities’ work in intelligent robotics. Events will cover both research and applied robot systems.The AAAI/RoboCup AAAI Robot Competition and Exhibition will be held in Robot Mobile Robot Hors D’oeuvres Exhibit Hall 4B on the fourth level of the Washington Rescue Exhibition Contest State Convention & Trade Center, and will be open to Spud and Friends Spud and Friends Jim2, Flying Ginsu registered conference attendees during exhibit hours. Fayette Shaw, Rachel Gockley, Fayette Shaw, Rachel Gockley, Jonathan Hurst, Brian Kirby, The mission of the Mobile Robot Competition and Arthur Butz, Jiin Joo Ong, Dan Arthur Butz, Jiin Joo Ong, Dan Anthony Rowe, Carnegie Mellon Exhibition is to serve AAAI,AI-robotics researchers,and Vogel, Carnegie Mellon University Vogel, Carnegie Mellon University University Robotics Club Robotics Club the larger AI community by promoting innovative KSU2 research through events which appeal to media and Rescue Robot Jim2, Flying Ginsu David Gustafson, sponsors,while conducting these events in a format that Cynthia Forgie, David Gustafson, Jonathan Hurst, Brian Kirby, Kansas State University facilitates comparison of approaches, but at low risk to Kansas State University Anthony Rowe, Carnegie Mellon individual or institutional reputations.Its goals are to: Mario Mario & Company University ◆ Foster the sharing of research and technology Bruce Maxwell, Gil Jones and Bruce Maxwell, ◆ Allow research groups to showcase their achieve- Air Hockey Playing with the Swarthmore College Swarthmore College Humanoid Robot DB ments CARL project ◆ Encourage students to enter robotics and artificial Rescue Robot Darrin Bentivegna, Georgia Institute of Technology Luís Seabra Lopes, intelligence fields at both the undergraduate and Daniel Farinha, Jesus Juarez- Universidade de Aveiro - Portugal graduate level Guerrero, John Pissokas, Tortoise ◆ Eric Increase awareness of the field University of Edinburgh Ron A. Nucci In previous years,the event has attracted both local and Robot Partners group from the national news media — the 1996 contest resulted in a Lobotomous and Kirby Sharif CE Rescue Robot Team Laboratory for Computational segment in Alan Alda’s “Scientific American Frontiers” Christopher Smith, Amir Hossein Jahangir, Intelligence, University of British program on the Discovery Channel. University of New Mexico Sharif University of Technology Columbia Rescue Robot Events Mario + company Robin Murphy, Gil Jones, Bruce Maxwell, The Competition and Exhibition comprises University of South Florida Swarthmore College three separate events. Emdad1 PINO Robot Rescue Amir Hossein Jahangir, Sharif Hiroaki Kitano, Erato Kitano, This year this event is being held jointly with RoboCup. University of Technology Symbiotic Systems Project The objective of this contest is to give participants the opportunity to work in a domain of critical practical Blue Swarm I & II Robot importance. Robots must enter a fallen structure, find Dan Stormont, Kimbugwe Tonny, Utah State University human victims, and direct human rescuers to the Uganda East Africa victims. CARL project Hors d’oeuvres anyone? Lus Seabra Lopes, The objective of this contest is to create service robots Universidade de Aveiro -Portugal that can offer hors d’oeuvres to attendees at the recep- Scout tions. Each contestant is required to explicitly and Paul E. Rybski, Sascha A. Stoeter, unambiguously demonstrate interaction with the University of Minnesota spectators. This event is designed to support research in human-robot interaction. Blue Swarm I & II Dan Stormont, Exhibition Utah State University The exhibition gives researchers an opportunity to demonstrate state-of-the-art research in a less structured environment. Exhibits are scheduled through several days of the conference, and in addition to live exhibits, a video proceedings is produced.

22 IJCAI-01 Exhibit: The AAAI Mobile Robot Competition & Exhibition andthe National Botball 2001Tournament

National Botball 2001 Botball Participants Schedule (Subject to Change) Tournament Andrew P.Hill High School Tuesday,August 7 No, the graduate students haven’t gotten younger! Andrew P.Hill High School Team 2 IJCAI-01 and AAAI are pleased to host the National Broad Run High School 10:00AM - 2:00PM Botball Tournament, featuring top robots built by Capitol Hill High School Rescue Robot preliminary rounds middle and high school students from across the Cary Middle School Team 1 12:30PM country. Botball is a game in which robots attempt to Cary Middle School Team 2 Botball Seeding Rounds achieve a specified goal, in an exciting head to head, Episcopal High School of Houston double elimination tournament. 3:00PM - 6:00PM Episcopal High School of Jacksonville Hors d’oeuvres preliminary rounds The goal of Botball is to get middle and high school F.H. Peterson Academies of Technology students involved in the creative side of technology - to Fletcher High School Team 1 Wednesday,August 8 get our upcoming workforce excited about technology, Gabrielino High School Team 1 robotics, and AI. Botball involves embodied agent Glen Burnie High School 10:00AM - 2:00PM computer programming (in C), mechanical design, Rescue Robot FINALS science, math, and teamwork. Gunderson High School Hampton High School In this year’s tournament, teams either play the black 12:30 PM Hillsdale High School Botball Double Elimination Rounds ball or white ball side. The challenge is to score points by moving your colored ping pong balls from inside Holy Trinity Episcopal Middle School 1 5:00PM tubes onto the top of pylons. Holy Trinity Episcopal Middle School 2 Botball Awards We will start out with a seeding round, at which time Independence High School Team 1 Thursday,August 9 robots run unopposed - a prime opportunity to show off Jordan High School Team 1 their best moves. During the regular one-on-one MAST Academy Team 1 9:00AM - 11AM matches, teams are notified three minutes before the Middlesex School Exhibition round as to which side they will play.Robots are required Norman High School Team 1 12:00 - 1:00PM to start by themselves and shut down after 90 seconds. Norman Homeschool Hors d’oeuvres FINALS Last year’s tournament featured a final match between Oliver Springs High School Team 1 the undefeated homeschool team from Norman, Oliver Springs High School Team 2 1:00PM - 2:00PM Oklahoma and the seeding round winner from Paxon Awards and Photos Rockville School for Advanced Studies in Jacksonville, Florida. Rose-Hulman Explore Engineering The stunning finals match had the crowds cheering, 2:00PM - 6:00PM Sallisaw High School Team 1 and we expect even more excitement this year. AAAI Mobile Robot Workshop Sallisaw High School Team 2 Location: Meeting Room 615, Sixth Level, These robots were completely designed,built,and Schiller Classical Academy Washington State Convention & Trade Center programmed by students from a kit of over 2000 parts. South Vermillion Middle School The Botball contest will be open to IJCAI-01 attendees Thomas Edison High School Team 1 during regular exhibit hours. Thomas Edison High School Team 2 Thomas Edison High School Team 3 ORGANIZERS Thomas Jefferson High School Team 1 Thomas Jefferson High School Team 2 Thomas Jefferson High School Team 3 Tilden Middle School Team 1 GENERAL CHAIRS AAAI ROBOT EXHIBITION Tilden Middle School Team 3 ROBOT COMPETITION & EXHIBITION Vandi Verma, Carnegie Mellon University Tucker Balch, Carnegie Mellon University Brian Adams, Massachusetts Institute of Technology U.S. Grant High School Holly Yanco, University of Massachusetts Lowell W.C. Overfelt High School Team 1 AAAI ROBOT WORKSHOP ROBOT RESCUE Brian Scassellati, Carnegie Mellon University W.C. Overfelt High School Team 2 Holly Yanco, University of Massachusetts Lowell W.T. White High School NATIONAL BOTBALL TOURNAMENT HORS D’OEUVRES ANYONE? Cathryne Stein, Kiss Institute for Practical Robotics Wakefield High School Francois Michaud, University of Sherbrooke David Miller, Kiss Institute for Practical Robotics Wellesley High School Team 1 David A. Gustafson, Kansas State University Darcy Hartz Schein, Kiss Institute for Practical Robotics Wellesley High School Team 2 Woodrow Wilson Middle School

23 RoboCup 2001

RoboCup 2001 will include: The RoboCup 2001 competitions provide several technical platforms, including soccer and rescue ◆ An International Research Symposium for the wide simulations for teams of fully distributed software research community interested in the concrete agents; small robots with offboard vision and challenges of multirobot and multiagent systems computer control allowed; and fully autonomous and their applications. middle-size robots and Sony legged robots. In ◆ Several competitions that offer different leagues addition to advances in perception, reasoning, and in two tasks: (i) soccer, as traditionally pursued multiagent approaches, participants in the robot RoboCup 2001 in RoboCup since 1996, and (ii) search and leagues also contribute new mechanical designs of A discounted registration fee to the RoboCup 2001 rescue. This year will include the first RoboCup robots. RoboCup 2001 welcomes attendance and Symposium will be offered to all IJCAI-01 registrants. rescue simulation competition, and, jointly participation by IJCAI-01 research colleagues. However, attendance at the RoboCup 2001 Competition with AAAI, the RoboCup/AAAI rescue robot is free to all IJCAI-01 registrants. competition. Attendance at the RoboCup 2001 GENERAL CHAIR: Manuela Veloso, Carnegie Mellon University RoboCup is a yearly event featuring an competition is free to all IJCAI-01 registrants. International Symposium, Competitions, ◆ RoboCup Junior that aims at middle and high ASSOCIATE CHAIR FOR ROBOTICS EVENTS: and Exhibits that has gathered many school students with competitions of two on two Tucker Balch, Carnegie Mellon University researchers interested in multiagent and soccer robots, robot dancing, and robot rescue. ASSOCIATE CHAIR FOR SIMULATION multirobot systems. In 2001, RoboCup will ◆ Exhibits, jointly with AAAI, of new robots and EVENTS: be held for the first time in the United States, tasks, including demonstrations of humanoid Peter Stone,AT&T Labs — Research being collocated with IJCAI-01. RoboCup robots. will be held in Exhibit Hall 4A on ASSISTANT: the fourth level of the Washington State Debbie Cavlovich, Carnegie Mellon University Convention & Trade Center.

ROBOCUP 2001 SCHEDULE

Thursday,August 2 Tuesday, August 7 Thursday,August 9

RoboCup Welcome Reception RoboCup Junior Competition Quarter-Final, Semi-Finals Metropolitan Ballroom, Sheraton Seattle Hotel RoboCup International Symposium RoboCup Junior Workshop Ballroom 6A Ballroom 6A Saturday,August 4 Symposium Cocktail Reception / RoboCup Banquet Round Robin Competition Poster Session Elliott Grand Hyatt Seattle Ballroom 6A Sunday, August 5 Friday,August 10 Wednesday, August 8 Round Robin Competition Semi-Finals, Finals RoboCup Junior Finals Monday, August 6 Awards Ceremony & Farewell RoboCup International Symposium Round Robin Competition Ballroom 6A RoboCup/AAAI Robot Rescue Finals Exhibit Hall 4B

24 IJCAI - 01 Registration & General Information

Conference registration will take place in the Exhibition Workshop Program Hall Lobby on the fourth level of the Washington State Seattle: AUGUST 4 – 6 Convention & Trade Center,beginning Friday,August 3. Workshop registration is limited to those active The Emerald City Registration hours are: participants determined by the organizer prior to the Friday,August 3 1:00 PM – 6:00 PM Built on seven hills, with unmatched mountain conference.All IJCAI-01 workshop participants must and water views, the wealth of natural beauty in Saturday,August 4 7:30 AM – 6:00 PM be registered for the IJCAI-01 technical program.An and around Seattle astonishes first-time visitors. Sunday,August 5 7:30 AM – 6:00 PM additional workshop fee is required for each Bounded on the west by Puget Sound, an inland Monday,August 6 7:30 AM – 6:00 PM workshop attended. Registration onsite for a arm of the Pacific Ocean, and on the east by Lake Tuesday,August 7 8:00 AM – 6:00 PM workshop is possible with the prior permission of Washington, the city occupies a north-south the corresponding workshop organizer. Wednesday,August 8 8:00 AM – 6:00 PM corridor, slender at the waist, with hundreds of Thursday,August 9 8:00 AM – 6:00 PM Your workshop registration includes admittance to one miles of salt and freshwater shoreline literally workshop and the working notes for that workshop touch the city’s boundaries. The Cascade Friday,August 10 8:00 AM –12:00 PM (if available). mountain range is east of the city, and the Only checks drawn on US banks, VISA, MasterCard, Workshop Fee $70 Olympic Mountains are to the west.Thousands of American Express, government purchase orders, square miles of evergreen forest extend out from traveler’s checks, and US currency will be accepted.We IJCAI-01 Banquet the city, and, on a clear day, the views of cannot accept foreign currency or checks drawn on AUGUST 8 mountains and water are spectacular. foreign banks. The fee for the banquet at Tillicum Village is $75. For Seattle is a major port, transportation hub, and Registration Fees more information, see page 14. manufacturing center and the principal city of Washington State and of the Pacific Northwest. Your IJCAI-01 program registration includes admis- Accompanying Persons sion to all technical paper sessions, invited talks and Some of Seattle’s best-known attractions are the Accompanying persons are entitled to attend the Space Needle,Pike Place Market,Pioneer Square, panels, the IJCAI-01 Exhibition, including the Official Opening Ceremony, the Opening Reception, RoboCup-2001 Competition, the IJCAI-01 opening Woodland Park Zoo, Waterfront, Ballard Locks, and visit the IJCAI-01 Exhibition. and the new Experience Music Project. These ceremony and reception, IAAI-01, the IJCAI-01 Accompanying Person Fee $75 conference proceedings, and the IAAI-01 conference urban landmarks are clustered in pedestrian- proceedings. Students must present proof of full-time Exhibition scale sections, best savored on foot. Central student status to qualify for student rate. Onsite Admission to the exhibition hall programs is included in business district buses are free,and the Monorail technical program fees are: all other types of registration. For individuals interested speeds quickly between downtown and the in admittance to the exhibit hall only, an exhibits only Seattle Center (site of both the Space Needle and Onsite Regular $725 the Experience Music Project). Onsite Student $225 registration is available in onsite registration.Exhibit hall programs include vendor exhibits, the AAAI Mobile Excursions Tutorial Program Robot Competition and Exhibition, RoboCup 2001, and Optional tours are available, based on availability. the High School National Botball Tournament. AUGUST 5 – 6 You may purchase tickets on-site at the Seattle Registrants for the IJCAI-01 technical program are ONE DAY: V.I.P. Services Tour Registration Desk. There encouraged to participate in the tutorial program at the $10/adult $5/child $25/family will be an additional $3.00 fee for on-site ticket fees listed below. Prices quoted are per tutorial. Your TWO OR MORE DAYS: sales. All tours depart promptly from the tutorial program registration includes admittance to $20/adult $10/child $40/family Convention Center. one tutorial, the IJCAI-01 Exhibition, and one tutorial Tours syllabus. Prices quoted are per tutorial.A maximum of Friday,August 3, 7:00 AM – 9:45 PM four may be taken due to parallel schedules. Onsite Independent Victoria Day Trip tutorial fees are: (No onsite reservations) Onsite Regular $220 Tuesday,August 7, 6:00 PM – 9:00 PM Onsite Student $100 Seattle City Highlights by Night It is also possible to attend tutorials without registering Saturday,August 11, 8:00 AM – 6:00 PM for the IJCAI technical program at the following fees: Mt. Rainier Tour Tutorial Only Regular $475 Tutorial Only Student $200

25 General Information

General Information Handicapped Facilities Press Admission The Washington State Convention & Trade Center and All members of the media are requested to register in Each conference attendee will receive a name badge the Sheraton Seattle Hotel are equipped with handi- the Press Room, on the third level of the Washington upon registration. This badge is required for admit- capped facilities. State Convention & Trade Center in Meeting Room 309. Press badges will only be issued to individuals with tance to the technical, tutorial, exhibit, IAAI, RoboCup, Housing or workshop programs. Smoking, drinking, and eating approved credentials. The Press Room will be open For information regarding hotel reservations, please during the following hours. are not allowed in any of the technical, tutorial, contact the hotels directly. For student housing, please Friday,August 3 –Thursday,August 9 workshop, IAAI, RoboCup, or exhibit sessions. contact the University of Washington Conference 8:00 AM – 5:00 PM Services at 206-543-7634. Administrative Offices Friday,August 10 The IJCAII offices will be in room 504 on the fifth level Information Desk 8:00 AM – 12:00 PM of the Washington State Convention and Trade Center. An information desk and message board will be An IJCAI-01 volunteer will be on duty during press room The IJCAI-01 administrative office will be in room 505. staffed during registration hours, Saturday – Friday, hours to assist the members of the press and media. Banking August 4 – 10. It is located near the registration area Proceedings Banks in downtown Seattle are usually open on the fourth level of the Washington State Convention Each registrant for the IJCAI-01 technical program and Monday–Friday from 9:00 AM – 5:00 PM. Some banks & Trade Center. for IAAI-01 will receive a ticket redeemable for one are open Saturdays from 9:00 AM - 4:00 PM.Automatic Internet Room copy of each of the conference proceedings. During teller machines are available throughout town. Internet access will be provided in room 614 on the registration hours on Saturday, August 4-Monday, Currency sixth level of the convention center. The room will be August 6, and on Tuesday, August 7 until 10:00 AM, The American Dollar, with one dollar equaling 100 open from 8:00 AM - 6:00 PM, August 4-9 and proceedings tickets can be redeemed at the cents. Approximate rates of exchange in the beginning 8:00 AM - 12:00 PM, August 10. As a courtesy, Proceedings counter, located in the registration area. of July were: please limit your access time to 5-10 minutes if others After 10:00 AM on Tuesday, the IJCAI-01 Proceedings are waiting to use the service. ticket may be redeemed at the Morgan Kaufmann US$1.00 = .71 British Pounds Publishers booth #213, located in Exhibit Hall 4B, US$1.00 = 1.51 Canadian Dollars List of Attendees during exhibit hours. The IAAI-01 proceedings tickets US$1.00 = 7.73 French Francs A list of preregistered attendees of the conference will can be redeemed at onsite registration. US$1.00 = 2.30 German Marks be available for review at the IJCAI-01 registration area US$1.00 = 1.24 Japanese Yen on the fourth level of the Washington State Convention The IJCAI-01 Proceedings can also be redeemed by US$1.00 = 1.17 Euros & Trade Center.Attendee lists will not be distributed. mailing the ticket with your name, shipping address, e-mail, and postage payment to: Career Information Message Center Morgan Kaufmann Publishers A bulletin board for job opportunities in the artificial See Information Desk. 340 Pine Street, Sixth Floor intelligence industry will be made available in the Parking San Francisco, CA 94104, USA registration area on the fourth level of the Washington State Convention & Trade Center. Attendees are Parking is available at the Washington State Convention The IAAI-01 Proceedings may also be redeemed by welcome to post job descriptions of openings at their & Trade Center. The rates are $4.00 for the first mailing the ticket with your name, shipping address, company or institution. hour and $1.50 for each additional hour. The cost is and postage payment to: $10.00 for 8 hours and $11.00 for 8-12 hours. AAAI Press Child Care Post Office 445 Burgess Drive Babysitting and childcare services are available from Menlo Park, CA 94025 USA Best Sitters Incorporated. Rates (at press time) are Shipping services are available in Kinko’s on the first Extra proceedings may be purchased at the conference $54.00 for the first four hours (four-hour minimum), level of the Washington State Convention & Trade site at the above locations. Thursday, August 9 will be and $10 for each additional hour. Parking is $6.00 Center. Kinko’s is open 24 hours a day. the last day to redeem your tickets and purchase extra and any meals must be paid by the individual. Printed Materials copies of the IJCAI-01 Proceedings. For shipping Best Sitters Inc. can be reached directly at Display tables for the distribution of promotional and services, see Post Office. (425) 455-5533 or through the Sheraton Seattle informational materials of interest to conference atten- Concierge at (206) 621-9000. This information is for dees will be located in the registration area on the Quiet Room your convenience, and does not represent an endorse- fourth level of the Washington State Convention & A “quiet room”has been designated in meeting room 204 ment of Best Sitters Incorporated by IJCAI-01 sponsors. Trade Center. on the second level of the Washington State Convention & Trade Center for quiet contemplation, meditation Copy Services or private prayer. The hours are 9:00 AM – 6:00 PM Copy service is available at Kinko’s on the first level of Saturday,August 4 – Wednesday,August 8. the Washington State Convention & Trade Center. Kinko’s is open 24 hours a day.

26 General Information

Recording Telephones Tutorial Syllabi No audio or video recording is allowed in the tutorial Public telephones for domestic and international calls rooms. Audiotapes of the plenary sessions, invited are located throughout the Washington State Convention Extra copies of the IJCAI-01 tutorial syllabi will talks and panels, and the IAAI sessions will be for sale & Trade Center on all levels except the second. be available for purchase in the IJCAI-01 onsite on the sixth level of the Washington State Convention & registration area on the fourth level of the Washington Tipping Trade Center.A representative from Audio Archives will State Convention & Trade Center, beginning Monday, be available to take your order during registration In general, a tip of 15-20 percent is given to waiters, August 6. Supplies are limited. Preregistration tutorial hours,beginning on Tuesday,August 7.Order forms are waitresses, hairdressers, taxi drivers, etc. Bellhops, syllabi tickets must be redeemed in the tutorial rooms. doormen, porters, etc., at hotels, airports and railway included with registration materials.Tapes may also be Visitor Information stations are generally paid $1.00 per item of luggage. ordered by mail or phone from: Visitor information is available in the Washington State Audio Archives International, Inc. Shirts Convention & Trade Center. This one-stop center 3043 Foothill Blvd., Suite #2 IJCAI-01 shirts will be for sale during registration provides visitors with tourist information and services La Crescenta, CA 91214 hours at the registration desk, on the fourth level of the such as travel planning, information on activities, and Ph: (818) 957-0874 Washington State Convention & Trade Center. Supplies attractions. Fx (818) 957-0876 are limited. 800 Convention Place email [email protected] Transportation Washington State Convention & Trade Center 800-747-8069 Center-Lobby Level The following information is the best available at press (206) 461-5840 Restaurants time. Please confirm fares when making reservations. Lunches are not included in the registration fee. Coffee The Washington State Convention & Trade Center is Volunteer Room and tea will be served mornings and afternoons at located on Interstate 5 and exit 165. The volunteer room is located in meeting room 302 on several stations near the conference rooms. There are the third level of the Washington State Convention & Airport Connections many restaurants (fast food,economy and luxury class) Trade Center. Hours are 8:00 AM – 5:00 PM, Saturday, near the Washington State Convention and Trade The primary methods of transportation from the August 4 – Thursday, August 9 and 8:00 AM – 12:00 Center, including several outlets in the building. Seattle-Tacoma airport are taxi and shuttle. Typical PM,Friday,August 10.Extra volunteer instructions and fares are listed below. For additional information schedules will be available.All volunteers should check RESTAURANT CATEGORY about shuttles, please contact your hotel directly. in with Colleen Boyce, AAAI Volunteer Coordinator, Category Breakfast Lunch Dinner Taxi in the registration area prior to their shifts. The Fast Food $3-4 $5-7 $8-10 Taxis are available at Seattle-Tacoma International volunteer meeting will be held Thursday, August 2 at Economy $5 $8-12 $10-20 4:00 PM in Meeting Room 307. Deluxe $15-25 $15-35 $25-50 Airport. The fare from the airport to downtown Seattle (hotels only for breakfast) is approximately $30.00 each way. Disclaimer Shuttle Speaker Ready Room In offering American Airlines, Best Sitters Inc., GES, The Speaker Ready Room will be located in Meeting Gray Line of Seattle Hertz Rent A Car, Hilton Seattle, The Paramount Hotel, 206-624-5077 Sheraton Seattle Hotel & Towers,Southwest Airlines,Stellar Room 605 on the sixth level of the Washington State Access Inc., United Airlines, University of Washington, Convention & Trade Center. This room has audiovisual Seattle-Tacoma Airport to downtown Seattle Washington State Convention & Trade Center, WestCoast equipment to assist speakers with their presentations. Fare: $8.00; $13.00 round trip Vance Hotel and all other service providers, (hereinafter referred to as “Supplier(s)” for the International Joint It is important that speakers visit this room Rail to organize their materials. The room will be open Conference on Artificial Intelligence, the Innovative The Amtrak Station is located at Third and Jackson Applications Conference, RoboCup 2001, and the 8:00 AM – 5:00 PM, Saturday, August 4 – Thursday, Streets, approximately twelve blocks from the Conference on Uncertainty in Artificial Intelligence, August 9, and 8:00 AM – 12:00 PM, Friday, August 10. Washington State Convention & Trade Center. IJCAI-01 sponsors act only in the capacity of agent for the Invited Speakers are asked to come to Meeting Room Suppliers which are the providers of the service. Because For Amtrak reservations or information, call the IJCAI-01 sponsors have no control over the personnel, 605 one-day prior to their speech.Representatives from 1-800-USA RAIL or 510-238-4369 equipment or operations of providers of accommodations Audio Visual Headquarters will be available from or other services included as part of the IJCAI-01,IAAI-01, 9:00 AM – 5:00 PM, Saturday, August 4 – Thursday, Metro Transit RoboCup 2001 or UAI 2001 program, IJCAI-01 sponsors August 9 and 9:00 AM – 12:00 PM, Friday, August 10 Metro operates bus service throughout Seattle and assume no responsibility for and will not be liable for any King County.Schedules and routes are listed at each bus personal delay, inconveniences or other damage suffered to confirm your audiovisual needs, and assist with by conference participants which may arise by reason of the preparation of your materials, if necessary. stop and can also be found at the Visitor Center in the (1) any wrongful or negligent acts or omissions on the part Washington State Convention & Trade Center. Metro of any Supplier or its employees,(2) any defect in or failure Taxes Transit is free within the downtown Seattle area. For of any vehicle, equipment or instrumentality owned, The current sales tax in Seattle,Washington is 8.6%. information call (206) 553-3000 operated or otherwise used by any Supplier, or (3) any wrongful or negligent acts or omissions on the part of any other party not under the control, direct or otherwise, of the IJCAI-01 sponsors.

27 RoboCup / IJCAI - 01 Exhibit Hall Maps

Exhibit Hall 4A

Exhibit Hall 4B

28 Convention Center Meeting Rooms

Meeting Rooms Level 6

29 Sheraton Meeting Rooms

SheratonSeattle Hotel & Towers 2nd Floor Ballrooms

30 IJCAI - 03 Conference Dates

IJCAI-03 For further information, contact Francisco J. Cantu one of the following: Local Arrangements Chair, IJCAI-03 Acapulco, Mexico Monterrey Institute of Technology August 9 – 15, 2003 Anthony G. Cohn Center for Artificial Intelligence Conference Chair, IJCAI-03 E. Garza Sada 2501 Sur, C.P.64849 IJCAI-03, the Eighteenth International Joint University of Leeds Monterrey, N. L. School of Computation Studies Mexico Conference on Artificial Intelligence, will be +52-8-328-4182 office held August 9-15, 2003 in Acapulco, Mexico. It Leeds LS2-9JT United Kingdom +52-8-328-4189 fax is sponsored by the International Joint 44 113 235 482 [email protected] Conferences on Artificial Intelligence, Inc. [email protected] (IJCAII), and cosponsored by the Mexican Ronald J. Brachman Society for Artificial Intelligence, and Georg Gottlob IJCAI Secretary-Treasurer the American Association for Artificial Program Chair, IJCAI-03 AT&T Shannon Laboratory Intelligence. Anthony Cohn of the University Vienna University of Technology 180 Park Avenue, Room A221 of Leeds will be the IJCAI-03 Conference Institute of Information Systems Florham Park, NJ 07932-0971 USA Chair, Georg Gottlob of Vienna University of Favoritenstrasse 9 E-mail: [email protected] Technology will be the IJCAI-03 Program A-1040 Wien Chair, and Francisco Cantu of the Monterrey Austria Institute of Technology will be the Local +43-1-58801-18420 Arrangements Chair. [email protected]

IJCAI - 01 Special Meetings

IJCAII Annual Business Meeting AAAI Annual Business Meeting CP-2001 Program Committee Meeting Thursday, August 9 from 12:45 – 1:15 PM in Meeting Wednesday,August 8 from 12:45 –1:15 PM in Meeting Wednesday, August 8 from 11:40 AM – 6:00 PM in Room 608 at theWashington State Convention & Trade Room 608 on the sixth level of the Washington State Meeting Room 615 on the sixth level of the Washington Center. This meeting is open to all attendees. Convention & Trade Center. State Convention & Trade Center. IJCAI Executive Committee Meeting AAAI Executive Council Meeting ECCAI Board Meeting Wednesday,August 8 from 2:00 – 4:00 PM in the Aspen Sunday,August 5 from 9:00 AM – 5:00 PM in the Aspen Wednesday, August 8 from 7:00 – 8:30 AM in the Room of the Sheraton Seattle Hotel. Room of the Sheraton Seattle Hotel. Madrona Room of the Sheraton Seattle Hotel. IJCAI-01 Program Committee Meeting AAAI Fellows Dinner IAAI-01 Program Committee Lunch Wednesday, August 8 from 12:45 – 2:00 PM in the Tuesday, August 7 from 7:30 – 10:00 PM in the Cirrus Tuesday, August 7 from 12:45 – 2:00 PM in the Cedar Room of the Sheraton Seattle Hotel. Lunch will Ballroom of the Sheraton Seattle Hotel. Madrona Room of the Sheraton Seattle Hotel. be served. AI Journal Editorial Board Meeting IJCAII Trustees Meeting Tuesday, August 7 from 12:45 – 2:00 PM in the Cedar Sunday, August 5 from 9:00 AM – 5:00 PM in the Room of the Sheraton Seattle Hotel. Lunch will Douglas Room of the Sheraton Seattle Hotel. be served. A continuation will take place Thursday, August 8 AI Magazine Editorial Board Meeting from 8:30 AM – 12:00 PM in the same location. Monday,August 6 from 12:45 – 2:00 PM in Suite 416 of the Sheraton Seattle Hotel.

31 IJCAI✦ 01 Seventeenth International Joint Conference on Artificial Intelligence

Washington State Convention & Trade Center Seattle, Washington • USA August 4 - 10, 2001 IJCAI✦ 01

Sponsored by The International Joint Conferences on Artificial Intelligence, Inc. (IJCAII) and American Association for Artificial Intelligence (AAAI)

Program & Exhibit Guide