introduction - welcome to ijcai | ijcai · 2016. 2. 17. · devika subramanian,rice university...

Introduction

Welcome to IJCAI-01 IJCAI-01, the Seventeenth International JointConference on Artificial Intelligence, issponsored by the International JointConferences on Artificial Intelligence, Inc.(IJCAII) and the American Association forArtificial Intelligence (AAAI).

IJCAII sponsors biennial conferences onartificial intelligence, which are the mainforums for presenting AI research results tothe international AI community. Previousconference sites were Washington D.C., USA(1969), London, England (1971), Stanford,California, USA (1973), Tbilisi, Georgia, USSR(1975), Cambridge, Massachusetts, USA(1977), Tokyo, Japan (1979), Vancouver,British Columbia, Canada (1981), Karlsruhe,Germany (1983), Los Angeles, California, USA(1985), Milan, Italy (1987), Detroit, Michigan,USA (1989), Sydney, Australia (1991),Chambery, Savoie, France (1993), Montréal,Québec,Canada (1995),Nagoya, Japan (1997),and Stockholm, Sweden (1999). IJCAI-03 willbe held in Acapulco, Mexico in 2003.

IJCAI-01 Conference CommitteeCONFERENCE CHAIR:Hector J. Levesque, University of Toronto (Canada)

PROGRAM CHAIR:Bernhard Nebel, Albert-Ludwigs-Universität, Freiburg(Germany)

LOCAL ARRANGEMENTS CHAIR:James Hoard, The Boeing Company, Seattle (USA)

SECRETARY-TREASURER:Ronald J. Brachman, AT&T Labs – Research (USA)

Advisory Committee:Bruce Buchanan, University of Pittsburgh (USA)Silvia Coradeschi, Örebro University (Sweden)Olivier Faugeras, INRIA (France)Cheng Hu, Chinese Academy of Sciences (China)Nicholas Jennings, University of London (England)Henry Kautz, University of Washington (USA)Robert Mercer, University of Western Ontario(Canada)Silvia Miksch,Vienna University of Technology(Austria)Devika Subramanian, Rice University (USA)L. Enrique Sucar, Monterrey Institute of Technology(Mexico)Ramasamy Uthurusamy, General Motors Research(USA)Mary-Anne Williams, University of Newcastle(Australia)

Corporate SponsorshipIJCAI-01 gratefully acknowledges the generouscontributions of the following corporations and organizations:

AT&T Labs – Research

The Boeing Company

Microsoft Corporation

NASA Ames Research Center

NEC Research

SemanticEdge

SRI International

IJCAI-01 Program Committee:Elisabeth André, DFKI GmbH (Germany)Minoru Asada, Osaka University (Japan)Franz Baader, RWTH Aachen (Germany)Craig Boutilier, University of Toronto (Canada)Didier Dubois, IRIT-CNRS (France)Maria Fox, University of Durham (United Kingdom)Hector Geffner, Universidad Simón Bolívar(Venezuela)Georg Gottlob,Vienna University of Technology(Austria)Haym Hirsh, Rutgers University (USA)Eduard Hovy, Information Sciences Institute (USA)Joxan Jaffar, National University of Singapore(Singapore)Daphne Koller, Stanford University (USA)Fangzhen Lin, Hong Kong University of Science andTechnology (Hong Kong)Heikki Mannila, Nokia Research Center (Finland)Robert Milne, Intelligent Applications (UnitedKingdom)Daniele Nardi, Università di Roma “La Sapienza”(Italy)Dana Nau, University of Maryland (USA)Patrick Prosser, University of Glasgow (UK)Francesca Rossi, Università di Padova (Italy)Christoph Schlieder, Universität Bremen (Germany)Yoav Shoham, Stanford University (USA)Piero Torasso, Università di Torino (Italy)Carme Torras, Institut de Robotica i InformaticaIndustrial (Spain)Jan Treur,Vrije Universiteit Amsterdam (TheNetherlands)John Tsotsos,York University (Canada)Manuela Veloso, Carnegie Mellon University (USA)Ian Watson, University of Auckland (New Zealand)Brian Williams, Massachusetts Institute of Technology(USA)Mary-Anne Williams, The University of Newcastle(Australia)Makoto Yokoo, NTT Communication Science Lab(Japan)

TUTORIAL CHAIR:Michael Wellman, University of Michigan (USA)

WORKSHOP CHAIR:Peter van Beek, University of Waterloo (Canada)

LOCAL ARRANGEMENTS COMMITTEE:James Hoard (Chair), Boeing (USA)Gary Coen, Boeing (USA)Rob Jasper, Hawthorn Technology Group (USA)Oscar Kipersztok, Boeing (USA)Chris McConnell, Microsoft (USA)Rick Wojcik, Boeing (USA)

2

Contents:Introduction 2Sponsors & Committees 2-3IJCAI-01 Awards 4Conference at a Glance 5Workshop Program 6-7Doctoral Consortium 8Tutorial Program 8Conference Program Highlights 9Invited Speakers 10IAAI-01 Conference 11Technical Program 12-19Exhibit Program 20-23RoboCup 2001 24Registration Information 25General Information 25-27Conference Maps 28-30IJCAI-03 Conference 31Special Meetings 31

Sponsors, Officers & Committees

IJCAII OrganizationTRUSTEES:Luigia Carlucci Aiello (President), Università di Roma“La Sapienza” (Italy)Anthony G. Cohn, University of Leeds (England)Thomas L. Dean, Brown University (USA)Michael P. Georgeff,Agentis International Inc (Australia) Georg Gottlob,Vienna University of Technology(Austria)Hector Levesque, University of Toronto (Canada)Bernhard Nebel, Albert-Ludwigs-Universität, Freiburg(Germany) C. Raymond Perrault, SRI International (USA)

SECRETARIAT:Ronald J. Brachman, Secretary-Treasurer, AT&T Labs –Research (USA)Priscilla Rasmussen, Academic & Research ConferenceServices (USA)

FORMER CONFERENCE CHAIR TRUSTEES:Wolfgang Wahlster, DFKI GmbH (Germany)Barbara J. Grosz, Harvard University (USA)Wolfgang Bibel, Technische Universität Darmstadt(Germany)Alan Bundy, University of Edinburgh (Scotland)Alan Mackworth, University of British Columbia(Canada)Saul Amarel, Rutgers University (USA)Patrick J. Hayes, UWF/Institute for Human & MachineCognition (USA)Raj Reddy, Carnegie Mellon University (USA)Erik Sandewall, Linköping University (Sweden)Alistair D.C. Holden (deceased), formerly University ofWashington (USA)Max B. Clowes (deceased), formerly University ofSussex (England)Donald E. Walker (deceased), formerly Bellcore (USA)Woodrow W. Bledsoe (deceased), formerly Universityof Texas at Austin (USA)

FORMER PROGRAM CHAIR TRUSTEES:Martha Pollack, University of Michigan (USA)Chris Mellish, University of Edinburgh (UK)Ruzena Bajcsy, National ScienceFoundation/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 ofTechnology (USA)

Carl Hewitt, Massachusetts Institute of Technology(USA)Nils Nilsson, Stanford University (USA)David C. Cooper, University College of Swansea (UK)Donald E. Walker (deceased), formerly Bellcore (USA)

AAAI OrganizationOFFICERSBruce G. Buchanan, President, University of PittsburghTom M. Mitchell, President-Elect, Carnegie MellonUniversityDavid L. Waltz, Past President. NEC Research Institute, Inc.Norman R. Nielsen, Secretary-Treasurer, SRIInternational

COUNCILORS (THROUGH 2001)Henry Kautz, University of WashingtonDavid McAllester, AT&T Labs – ResearchJohanna Moore, University of EdinburghMichael P. Wellman, University of Michigan

COUNCILORS (THROUGH 2002)Deborah McGuinness, Stanford UniversityBart Selman, Cornell UniversityReid Simmons, Carnegie Mellon UniversityManuela Veloso, Carnegie Mellon University

COUNCILORS (THROUGH 2003)Craig Boutilier, University of Toronto Rina Dechter, University of California, Irvine Richard Doyle, Jet Propulsion Laboratory, CaliforniaInstitute of Technology David Poole, University of British Columbia

STANDING COMMITTEESConference: Paul Rosenbloom, Chair, USC/InformationSciences InstituteFellows and Nominating: David L. Waltz, Chair, NECResearchFinance: Norman R. Nielsen, Chair, AtomicTangerineGrants: Manuela Veloso, Chair, Carnegie MellonUniversityMembership: Reid Simmons, Chair, Carnegie MellonUniversityPublications: Kenneth Ford, Chair, UWF/Institute forHuman & Machine Cognition Symposium: Ian Horswill, Chair, NorthwesternUniversitySymposium Associate Chair: David Poole, Universityof British Columbia

AAAI STAFFCarol McKenna Hamilton, Executive DirectorColleen Boyce, Accountant and Office ManagerKeri Vasser Harvey, Senior Conference CoordinatorMelinda Allred, Conference CoordinatorErin Hogan, Conference AssistantRichard A. Skalsky, Information Technology ManagerEva Garcia, Membership AssistantElizabeth Ericson, Office Assistant

AAAI PUBLICATIONSKenneth Ford, Editor-in-Chief, AAAI Press,UWF/Institute for Human & Machine CognitionDavid Leake, Editor-in-Chief, AI Magazine,University of IndianaDavid Mike Hamilton, Director, Live Oak Press

3

IJCAI - 01 Awards

The IJCAI Award for Research Excellence and theComputers and Thought Award are made by the IJCAII Board of Trustees, upon recommendation by the IJCAI Awards Selection Committee, which consiststhis year of

Michael Georgeff (San Francisco, USA)

Henry Kautz (Seattle, USA)

C. Raymond Perrault (Menlo Park, USA, Chair)

J. Ross Quinlan (Sydney, Australia)

Erik Sandewall (Linköping, Sweden)

The IJCAI Awards Selection Committee receives advicefrom members of the IJCAI Awards Review Committee,who comment on the accuracy of the nominationmaterial and provide additional information about thenominees. The IJCAI Awards Review Committee is theunion of the former Trustees of IJCAII, the IJCAI-01Advisory Committee, the Program Chairs of the lastthree IJCAI conferences, and the past recipients of theIJCAI Award for Research Excellence and the IJCAIDistinguished Service Award, with nominees excluded.

IJCAI Award for Research ExcellenceThe IJCAI Award for Research Excellence is given at theIJCAI conference to a scientist who has carried out aprogram of research of consistently high quality, yield-ing several substantial results. Past recipients of thisaward are John McCarthy (1985), Allen Newell (1989),Marvin Minsky (1991), Raymond Reiter (1993),Herbert Simon (1995),Aravind Joshi (1997), and JudeaPearl (1999).

The winner of the 2001 IJCAI Award for ResearchExcellence is Donald Michie, Professor Emeritus ofMachine Intelligence at the University of Edinburgh,Edinburgh, Scotland. Professor Michie is recognized forhis contributions to Machine Learning, Robotics, andKnowledge-Based Systems. He will deliver a lecturefrom 5:45-6:45pm on Thursday,August 9 in Ballroom 6B/C, sixth level.

IJCAI Computers and Thought AwardThe Computers and Thought Award is presented atIJCAI conferences to outstanding young scientists inartificial intelligence. The award was established withroyalties received from the book “Computers andThought”, edited by Edward Feigenbaum and JulianFeldman; it is currently supported by income fromIJCAII funds.

Past recipients of this honor have been Terry Winograd(1971), Patrick Winston (1973), Chuck Rieger (1975),Douglas Lenat (1977), David Marr (1979), GeraldSussman (1981), Tom Mitchell (1983), Hector Levesque(1985), Johan de Kleer (1987), Henry Kautz (1989),Rodney Brooks (1991), Martha Pollack (1991), HiroakiKitano (1993), Sarit Kraus (1995), Stuart Russell(1995), Leslie Kaelbling (1997), and Nicholas Jennings(1999).

The winner of the 2001 IJCAI Computers and ThoughtAward is Daphne Koller, Assistant Professor at theDepartment of Computer Science of StanfordUniversity, Stanford, USA. Professor Koller is recog-nized for her contributions to the theory and practiceof probabilistic reasoning, machine learning, andcomputational game theory. She will deliver a lecturefrom 5:45-6:45pm in Ballroom 6 B/C, sixth level.

The Donald E. Walker Distinguished Service AwardThe IJCAI Distinguished Service Award was establishedin 1979 by the IJCAII Trustees to honor senior scientistsin AI for contributions and service to the field duringtheir careers. Previous recipients have been BernardMeltzer (1979), Arthur Samuel (1983), Donald Walker(1989), Woodrow Bledsoe (1991), Daniel G. Bobrow(1993) and Wolfgang Bibel (1999).

In 1993, the IJCAI Distinguished Service Award wasrenamed the Donald E. Walker Distinguished ServiceAward in memory of the late Donald E. Walker, whoshaped the IJCAII organization as its long-timeSecretary-Treasurer.

At IJCAI-01, the Donald E. Walker DistinguishedService Award will be given to Barbara Grosz, GordonMcKay Professor for Computer Science at HarvardUniversity, Cambridge, USA.As a pioneering researcherin discourse and collaboration in natural language,Professor Grosz is recognized for her outstandingservice to the international AI community as Presidentof AAAI (1993-95) and as Chair of IJCAI (1989-1991),and for her contribution to enhancing the role ofwomen in science. The award will be given during the opening ceremony, Monday, August 6, 5:00 pm inBallroom 6 B/C, sixth level.

Distinguished Paper AwardThe IJCAI-01 Distinguished Paper Award will be given to Thomas Eiter and Thomas Lukasiewicz for their paper entitled “Complexity Results forStructure-Based Causality”.

This paper analyzes the computational complexity ofcausal relationships in Pearl’s structural models, whereit focuses on causality between variables, event causal-ity, and probabilistic causality. In particular, it analyzesthe complexity of the sophisticated notions of weak andactual causality by Halpern and Pearl. In the course ofthis, it also proves an open conjecture by Halpern andPearl, and establishes other semantic results. To theauthors’ knowledge, no complexity aspects of causalrelationships have been considered so far, and theirresults shed light on this issue.

The authors will present their paper on Tuesday,August 7 from 5:00 – 5:30 PM in Meeting Room 606,sixth level.

4

5

C O N F E R E N C E DAY M O R N I N G A F T E R N O O N E V E N I N G

Thursday, August 2

Friday, August 3

Saturday, August 4

Sunday, August 5

Monday, August 6

Tuesday, August 7

Wednesday, August 8

Thursday, August 9

Friday, August 10

UAI 2001 RoboCup Opening Reception

UAI 2001Registration (opens at 1:00 pm)

RegistrationWorkshops (see page 6)RoboCup Round Robin CompetitionUAI 2001

RegistrationWorkshops Tutorials (see page 8)AAAI/SIGART Doctoral ConsortiumRoboCup Round Robin CompetitionUAI 2001

RegistrationWorkshopsTutorialsAAAI/SIGART Doctoral ConsortiumRoboCup Round Robin Competition

Opening Ceremony, Reception

RegistrationTechnical Program (see page 12) Computers and Thought Lecture

Keynote SpeakerIAAI-01 AAAI Fellows DinnerExhibition/Robot Competition & Exhibition/BotballRoboCup Symposium & RoboCup Junior Competition RoboCup Poster Session/Reception

RegistrationTechnical Program

Special Events (see page 9)IAAI-01Exhibition/Robot Competition & Exhibition/BotballRoboCup Symposium & RoboCup Junior Finals Conference Banquet

RegistrationTechnical Program Research Excellence LectureIAAI-01Exhibition/Robot Competition & ExhibitionRoboCup Quarter-Finals, Semi Finals RoboCup Farewell Dinner

IJCAII Business MeetingRoboCup Junior Workshop

RegistrationTechnical Program Special Events Technical Program RoboCup

C O N F E R E N C E - A T - A - G L A N C E

◆ the Exhibition, including the AAAI RobotCompetition and Exhibition and National 2001Botball Tournament (2 days), August 7–9

COLLOCATED EVENTS◆ the Thirteenth Conference on Innovative

Applications of Artificial Intelligence, IAAI-01,August 7–9, Meeting Room 602, Washington StateConvention & Trade Center

◆ AAAI/SIGART Doctoral Consortium, August 5-6,West Ballroom A, Sheraton Seattle Hotel

◆ RoboCup 2001 will be held in Exhibit Hall 4A next tothe IJCAI-01 Exhibition, August 4 – 10, WashingtonState Convention & Trade Center

◆ RoboCup 2001 Symposium, August 7-8, Ballroom 6A,Washington State Convention & Trade Center

◆ the Seventeenth Conference on Uncertainty inArtificial Intelligence (UAI 2001), August 2 – 5,University of Washington

The IJCAI-01 Conference is composedof various complementary programs:◆ the Technical Program, August 7–10, including

technical paper presentations by top scientists in thefield, invited speakers and award winners.

◆ the Tutorial Program, August 5–6 ◆ the Workshop Program, August 4–6

Workshop Program (By Invitation Only)

Track Saturday • August 4

Track “Agent”Agent-Based Systems

Track “CON”Constraints

Track “KRR”Knowledge Representation and Reasoning

Track “ML”Machine Learning and Data Mining

Track “ONTOL”Ontologies

Track “PRO”Planning andRobotics

Track “TASK”Task-centered

CONS-2: Distributed Constraint ReasoningMarius-Calin SilaghiMeeting Room 613, Sixth Level, Washington State Convention & Trade Center

KRR-2: Abductive ReasoningAntonis Kakas and Francesca Toni Meeting Room 615, Sixth Level, Washington State Convention & Trade Center

ML-5: Wrappers for Performance Enhancement in KDDWilliam H. HsuJuniper Room, Second Floor, Sheraton Seattle Hotel

ONTOL-1: Ontology LearningAlexander Maedche, Steffen Staab, Claire Nedellec, and Ed HovyMeeting Room 616, Sixth Level, Washington State Convention & Trade Center

ONTOL-2: Ontologies and Information SharingHeiner StuckenschmidtWest Ballroom B, Second Floor, Sheraton Seattle Hotel

PRO-1: Reasoning with Uncertainty in RoboticsDieter Fox and Alessandro SaffiottiMeeting Room 617, Sixth Level, Washington State Convention & Trade Center

PRO-3: Planning with ResourcesAlexander NareyekMeeting Room 619, Sixth Level, Washington State Convention & Trade Center

TASK-1: AI in Mobile SystemsRainer MalakaMeeting Room 620, Sixth Level, Washington State Convention & Trade Center

Track “WEB”Web

WEB-2: Intelligent Techniques for Web PersonalizationSarabjot Singh Anand and Bamshad MobasherWest Ballroom A, Second Floor, Sheraton Seattle Hotel

Other Topics OTTO-2: Empirical Methods in AIHolger H.Hoos and Thomas G. StützleCedar Room, Second Floor, Sheraton Seattle Hotel

6

By Invitation Only

The workshops will take place SaturdayAugust 4 – Monday, August 6. They arearranged in nine tracks centered aroundbroad research topics and problem domains.Participation is limited to those determinedby the workshop organizers prior to theconference. Workshops will be held in the Washington State Convention & TradeCenter and the Sheraton Seattle Hotel.Workshop Chair: Peter van Beek

Workshop Program (continued)

7

Sunday • August 5 Monday • August 6

AGENT-1: Spatial and Temporal Reasoning with “Agents” FocusFrank D. Anger, Hans W. Guesgen and Gérard LigozatCedar Room, Second Floor, Sheraton Seattle Hotel

AGENT-2: Autonomy, Delegation, & Control: Interacting with Autonomous AgentsHenry Hexmoor, Cristiano Castelfranchi, Rino Falcone and Michael Cox West Ballroom B, Second Floor, Sheraton Seattle Hotel

AGENT-3: Economic Agents, Models, and MechanismsAmy Greenwald and Peter WurmanMeeting Room 611, Sixth Level, Washington State Convention & Trade Center

CONS-1: Modeling and Solving Problems with ConstraintsChristian BessièreMeeting Room 613, Sixth Level, Washington State Convention & Trade Center

KRR-3: Nonmonotonic Reasoning, Action and ChangeMichael Thielscher and Mary-Anne WilliamsJuniper Room, Second Floor, Sheraton Seattle Hotel

KRR-1: Knowledge Management and Organizational MemoriesNada Matta and Rose Dieng-Kuntz Aspen Room, Second Floor, Sheraton Seattle Hotel

KRR-4: Inconsistency in Data and KnowledgeLeopoldo Bertossi and Jan Chomicki

Meeting Room 612, Sixth Level, Washington State Convention & Trade Center

ML-1: Adaptive Text Extraction and MiningNicholas KushmerickMeeting Room 616, Sixth Level, Washington State Convention & Trade Center

ML-2: Learning from Temporal and Spatial DataMiroslav Kubat and Katharina MorikMeeting Room 615, Sixth Level, Washington State Convention & Trade Center

ML-3: Text Learning: Beyond SupervisionAndrew McCallumMeeting Room 616, Sixth Level, Washington State Convention & Trade Center

ML-4: Knowledge Discovery from Distributed, Heterogeneous, Dynamic,Autonomous Data Sources Vasant HonavarMeeting Room 617, Sixth Level, Washington State Convention & Trade Center

ONTOL-3: IEEE Standard Upper OntologyAdam PeaseMeeting Room 618, Sixth Level, Washington State Convention & Trade Center

PRO-2: Planning under Uncertainty and Incomplete InformationAllesandro Cimatti, Hector Geffner, Enrico Giunchiglia and Jussi RintanenMeeting Room 619, Sixth Level, Washington State Convention & Trade Center

TASK-3: AI and ManufacturingDaniel M. GainesMeeting Room 618, Sixth Level, Washington State Convention & Trade Center

TASK-2: ConfigurationTimo SoininenMeeting Room 620, Sixth Level, Washington State Convention & Trade Center

TASK-4: Knowledge and Reasoning in Practical Dialogue SystemsKristiina Jokinen, Lars Ahrenberg, Jan Alexandersson and Arne JönssonMeeting Room 619, Sixth Level, Washington State Convention & Trade Center

WEB-1: E-Business and the Intelligent WebAlun Preece and Dan O’LearyMeeting Room 620, Sixth Level, Washington State Convention & Trade Center

OTTO-3: Effective Interactive AI ResourcesRussell GreinerMeeting Room 615, Sixth Level, Washington State Convention & Trade Center

OTTO-1: Stochastic Search AlgorithmsHolger H. Hoos and Thomas G. StützleDouglas Room, Second Floor, Sheraton Seattle Hotel

ONTOL-2 continued: Ontologies and Information SharingHeiner StuckenschmidtWest Ballroom B, Second Floor, Sheraton Seattle Hotel

PRO-1 continued: Reasoning with Uncertainty in RoboticsDieter Fox and Alessandro SaffiottiMeeting Room 617, Sixth Level, Washington State Convention & Trade Center

Tutorial Program

8

T U T O R I A L O V E R V I E W

SA 9 am – 1 pm

(SA1) AI Techniques for Knowledge ManagementStefan Decker and Steffen Staab

Meeting Room 602

SP 2 pm – 6 pm MA 9 am – 1 pm MP 2 pm – 6 pmSunday • August 5 Monday • August 6

(SP1) Agent Communication forKnowledge Based ElectronicMarketsBenjamin Grosof and Yannis Labrou

Meeting Room 607

(MA1) Developing SearchAlgorithms for Quantum ComputersTad Hogg

Meeting Room 606

(MP1) Ant Algorithms and Swarm IntelligenceMarco Dorigo

Meeting Room 607

(SA2) Economically FoundedMultiagent SystemsTuomas Sandholm

Meeting Room 606

(SP2) Computer GamesJohn E. Laird and Michael van Lent

Meeting Room 602

(MA2) Distributed Knowledge-BasedSearchJörg Denzinger

Meeting Room 609

(MP2) Integration of Operations Research and AI Constraint-Based Techniques forCombinatorial OptimizationMichela Milano

Meeting Room 608

(SA3) Neural-Net Architectures for Pattern Recognition Miroslav Kubat

Meeting Room 607

(SP3) Philosophical Foundations:Some Key QuestionsAaron Sloman and Matthias Scheutz

Meeting Room 606

(MA3) Empirical Methods for AI and CS Paul Cohen, Ian Gent, and Toby Walsh

Meeting Room 608

(MP3) Knowledge Markup andResource SemanticsHarold Boley, Stefan Decker, and Michael Sintek

Meeting Room 602

(SA4) Phase Transitions andStructure in CombinatorialProblemsCarla P. Gomes, Tad Hogg, Toby Walsh,and Weixiong Zhang

Meeting Room 608

(SP4) Stochastic Search Algorithms Holger H. Hoos and Thomas Stützle

Meeting Room 608

(MA4) Integrating Lisp with the WorldVladimir A. Kulyukin

Meeting Room 607

(MP4) Practical Machine Learning forSoftware EngineeringTim Menzies

Meeting Room 606

(SA5) Question AnsweringDan Moldovan and Sanda Harabagiu

Meeting Room 609

(SP5) Systems thatAdapt to their Users Anthony Jameson

Meeting Room 609

(MA5) Machine Learning forCategorization of TextDocuments and Web PagesFabrizio Sebastiani & Alessandro Sperduti

Meeting Room 602

(MP5) Tractability in QualitativeSpatial and TemporalReasoningHans Guesgen, Gerard Ligozat,and Frank Anger

Meeting Room 609

The IJCAI-01 Tutorial Program features 20 four-hour tutorials, each covering a concentratedtechnical topic of current or emerging interest.Tutorials will be presented by experienced researchersand practitioners expert in the corresponding subjectarea. All tutorials will be held on the sixth level of theWashington State Convention & Trade Center.

Tutorial Chair: Michael Wellman

AAAI/SIGART Doctoral ConsortiumThe sixth AAAI/SIGART Doctoral Consortium will be held Sunday and Monday, August 5-6, from 8:30 AM – 6:00 PM in West Ballroom A of the Sheraton Seattle Hotel. The Doctoral Consortium provides anopportunity for a group of PhD students to discuss and explore their research interests and career objectivesin an interdisciplinary workshop together with a panel of established researchers.

AAAI and ACM/SIGART gratefully acknowledge grants from Microsoft Research and the National ScienceFoundation, Knowledge and Cognitive Systems Program, which partially support student travel to the event.

Conference Program Highlights

IJCAI-01 Official OpeningCeremony and ReceptionThe Opening Ceremony will start at 5:00 PM, Monday,August 6 in Ballroom 6 B/C, followed by a reception atthe Museum of Flight from 6:30 - 9:00 PM. TheOpening Ceremony will be chaired by HectorLevesque, the Conference Chair of IJCAI-01. Thereception will be hosted by The Boeing Company andMicrosoft Corporation.

Shuttle service will be provided to the Museum ofFlight on Gray Line of Seattle passenger coaches.Departures to the Museum of Flight begin at 5:45 PMand continue until 6:30 PM at the Convention CenterTunnel. Departures for downtown Seattle hotels beginat 9:00 PM.

field, 13 distinguished recent presentations from inter-national conferences in robotics, vision, knowledgerepresentation, machine learning, planning and otherareas have been selected to be presented again at IJCAI.These papers either received “best paper” awards at therespective conferences or were nominated as outstand-ing work by the PC Chairs/committee members or theIJCAI PC members. To make these research resultsaccessible to a general AI audience, a significantlyextended presentation of each of them will be given.

In addition to the presentation at the conference, theauthors revised and extended their papers for a bookco-edited by Gerhard Lakemeyer and Bernhard Nebelto be published by Morgan Kaufmann. This book isintended as a showcase of the state of the art in AI. Inorder to make the book as accessible as possible to awide range of people interested in AI, the authors havebeen asked to broaden the scope of their presentationso that the paper does not just focus on the particularresults, but also introduces the respective research area,its history, milestones, open issues, etc. To ensure thehighest standards, each paper will be reviewed by aneminent scholar in the respective field.

Keynote AddressTuesday, August 711:40 AM – 12:40 PM Ballroom 6 B/C, sixth level

Bill Gates, Microsoft Corporation

AI IN THECOMPUTINGEXPERIENCE:CHALLENGES ANDOPPORTUNITIES

Bill Gates is chairman and chief software architect ofMicrosoft Corporation, the worldwide leader insoftware, services and Internet technologies forpersonal and business computing. The company iscommitted to a long-term view, reflected in its invest-ment of more than $3 billion on research and develop-ment in the current fiscal year. Under Gates’ leadership,Microsoft’s mission has been to continually advanceand improve software technology and to make it easier,more cost-effective and more enjoyable for people touse computers.

9

Museum of FlightThe Museum of Flight captures the story of flightfrom the dawn of aviation to the Space Age andhouses 54 of the world’s most historic airplanes— authentic and in mint condition. Dozens offull-size aircraft are suspended from the ceiling ofthe steel and glass Great Gallery and appear to flyoverhead in formation.At ground level visitors canexamine up close such intriguing airplanes as theBlackbird spy plane and America’s first presiden-tial jet — the original Air Force One. The magnif-icently restored “Red Barn,” the birthplace of TheBoeing Company, is an 80 year-old step back inhistory. Yet, from the hands-on air traffic controltower exhibit, which overlooks Boeing Field,today’s prop planes and jumbo jets can be viewedcoming and going.

S P E C I A L E V E N T S

The HAL 9000 Computer and the Vision of

2001: A Space OdysseyDavid G. Stork, Ricoh California

Research Center and Stanford University

Wednesday, August 811:40 am – 12:40 pm

Room 608

S P E C I A L S H O W I N G

STANLEY KUBRICK’S2001: A Space Odyssey

Wednesday, August 81:30 pm, Ballroom 6 B/C

Artificial IntelligenceCompetitions, Boon or Bane?

Moderator:Steve Chien, Ph.D., Jet Propulsion Laboratory

Wednesday, August 811:40 am - 12:40 pm

Room 609In recent years, the numerous AI-related competitions invarious areas have included deduction (CADE),auctions, timeseries prediction, and planning. One viewis that these competitions focus research and encouragequantifiable forward progress. Another view is that theyemphasize implementation and sterile problem-solvingand stifle truly innovative advances. This panel willdiscuss the competitions — with a focus on pros andcons experienced by the respective communities.Audience interaction will be encouraged.

The Semantic Web Elephant:What Do the Blind Men See?

Moderator:Professor James Hendler,University of Maryland

Friday, August 10 11:40 am - 12:40 pm

Ballroom 6 B/CA number of researchers in a widely diverse set of fieldsare starting to probe into a new area — the semanticweb. Researchers are looking at this from the point ofview of knowledge representation, web agents, new weblanguages, and the creation of high level ontologies onthe web. Are these researchers myopically exploringcompeting visions or is there an emerging consensus asto what a semantic web can really be?

Technical ProgramThe IJCAI-01 Technical Program includes talks by 3IJCAI-01 award winners, 4 invited speakers, 3 specialevents, and presentations of 197 papers, including 13 distinguished presentations that are furtherdescribed below. The technical program will be held inthe Washington State Convention & Trade Center.The detailed program follows on pages 12-19.

Program Chair: Bernhard Nebel

Distinguished PresentationsThe International Joint Conference on ArtificialIntelligence 2001 will have a special “distinguishedpresentation” track. In order to give IJCAI attendees a better picture of what is going on in the varioussubareas of AI, and to counter the fragmentation of the

Invited Speakers

Philip R. CohenCenter for Human-ComputerCommunication, OregonGraduate Institute

Multimodal Interaction: Principles,Practice, Impact, and ChallengesFRIDAY, AUGUST 10, 8:30-9:30AMBALLROOM 6 B/C, SIXTH LEVEL

A new generation of multimodal systems is emergingin which the user is able to employ natural communi-cation modalities, including spoken language and pen-based gesture, in addition to the usual graphical userinterface technologies. To build such systems, we adoptthe principle of using the strengths of one modality toovercome weaknesses in another. We discuss how todesign multimodal systems according to this principle,and how to build robust multimodal architectures thatemploy it at runtime in a unification-based framework.These design and architectural principles will be illus-trated through QuickSet — a handheld, collaborative,multimodal system that allows continuous speech andpen-based gesturing as input. QuickSet uses a fault-tolerant distributed agent architecture, runs on PC’s,and is scalable from wearable to wall-sized systems. Toassess the impact of multimodal interaction, we willdescribe a study comparing the use of a map-basedgraphical user interface and multimodal interaction.After discussing reasons why graphical user interfacesfail to satisfy users in high stress environments, wepresent a new version of the QuickSet technology thatattempts to support them through a tangible multi-modal user interface. Finally, we will discuss thechallenges that await researchers when we try tosupport multimodal interaction among people.

Joseph Y. Halpern,Cornell University

Plausibility Measures: A GeneralApproach for RepresentingUncertainty

TUESDAY, AUGUST 7, 8:30-9:30AMBALLROOM 6 B/C, SIXTH LEVEL

Halpern discusses a new formalism for reasoningabout uncertainty called plausibility. Plausibility is a

10

generalization of probability: the plausibility of a set isjust an element of some arbitrary partial order (insteadof being an element of [0,1], as in the case of probabil-ity). Halpern shows that plausibility can be used to giveinsight into belief and belief change, default reasoning,decision rules, and (if time permits) when the technol-ogy of Bayesian networks can be applied to a represen-tation of uncertainty.Some of this work is joint with NirFriedman.

Manuela VelosoCarnegie Mellon University

The Challenges and Advances in Teams of Autonomous Agents inAdversarial EnvironmentsTHURSDAY, AUGUST 9, 8:30-9:30AMBALLROOM 6 B/C, SIXTH LEVEL

The research and development of teams of intelligentsoftware agents and robots have fascinated RoboCupresearchers for the last five years. We have activelyresearched on the integration of reasoning, perception,and action in teams of agents that need to face adver-sarial environments. Robotic soccer offered a pioneer-ing concrete task for this research, both for softwareagents and robots. RoboCup today involves several newdirections, including simulation and robot rescue tasksand humanoid robots. In this talk, Veloso will go indetail over the research challenges underlying teams ofdistributed software agents, small robots with off-board vision and computer control allowed, and fullyautonomous robots and Sony legged robots. We havewitnessed RoboCup significantly advancingthe scientific state of the art of multiagentand multirobot systems. Veloso will intro-duce the main contributions, includingrobot design, multiagent learning, behaviorarchitectures, perception, communication,localization, and opponent behavior model-ing and recognition.

Wolfgang Wahlster,German Research Center forArtificial Intelligence(DFKI), Germany

Robust Translation of SpontaneousSpeech: A Multi-Engine ApproachWEDNESDAY, AUGUST 8, 8:30AM-9:30AMBALLROOM 6 B/C, SIXTH LEVEL

Verbmobil is a speaker-independent and bidirectionalspeech-to-speech translation system for spontaneousdialogs that can be accessed via GSM mobile phones. Ithandles dialogs in three business-oriented domains,with context-sensitive translation between fourlanguages (English, German, Japanese, and Chinese).We show that in Verbmobil’s multi-blackboard andmulti-engine architecture the results of concurrentprocessing threads can be combined in an incrementalfashion.We argue that all results of concurrent process-ing modules must come with a confidence value,so thatstatistically trained selection modules can choose themost promising result. Packed representations togetherwith formalisms for underspecification capture theuncertainties in each processing phase, so that theuncertainties can be reduced by linguistic, discourseand domain constraints as soon as they become appli-cable. One of the main lessons learned from theVerbmobil project is that the problem of speech-to-speech translation can only be cracked by thecombined muscle of deep and shallow processingapproaches.

IAAI-01 Conference

IAAI-01 ConferenceAUGUST 7 – 9, 2001

MEETING ROOM 602, SIXTH LEVEL,WASHINGTON STATE CONVENTION & TRADE CENTER

IAAI-01 attendance is free to all IJCAI-01 registrants.

The Thirteenth Annual Conference on InnovativeApplications of Artificial Intelligence (IAAI-2001)continues the IAAI tradition of serving as one of thepremier venues for current work on artificial intelli-gence applications. As always, this year’s conferencefeatures an outstanding selection of papers ondeployed applications that use AI techniques, as well aspapers on emerging technologies relevant to the designand development of AI applications. The 12 paperspresented at the conference were selected from 37papers submitted by authors from more than 12countries. Five of these papers describe deployed applications, providing case studies on the design,management, and deployment of real-world systemsincorporating AI technologies. The remaining sevenpapers discuss emerging technologies, work whosegoal is the development of technologies relevant to the design and development of systems using AI technology. In addition to the 12 technical papers,IAAI-2001 also provides attendees of both conferenceswith three invited talks and a panel.

Artificial intelligence continues to be an exciting andprofitable area of investigation for people interested inbuilding software systems that operate in realisticenvironments incorporating a range of uncertaintiesand complexities. We are eager to see what futureinnovations may further follow from the work presentedat this year’s conference.

Program CommitteeHaym Hirsh, Chair, Rutgers University

Steve Chien, Cochair, Jet Propulsion LaboratoryBruce Buchanan, University of PittsburghRobert S. Engelmore, Stanford UniversityUsama Fayyad, digiMineRonen Feldman, Clearforest CorporationRandall Hill, USC/Institute for Creative TechnologiesNeil Jacobstein, Teknowledge CorporationCraig Knoblock, USC/Information Sciences InstituteAlain Rappaport, Carnegie Mellon UniversityJohn Riedl, University of MinnesotaCharles Rosenberg, Carnegie Mellon UniversityTed Senator, DARPA/ISO.Howard Shrobe, Massachusetts Institute of TechnologyReid Smith, Schlumberger LimitedShirley Tessler, Aldo Ventures, Inc.Ramasamy Uthurusamy, General Motors CorporationMarilyn Walker, AT&T Labs-Research

IAAI-01 Invited Talks

Ken BillerExecutive Producer,“Star Trek: Voyager”

AI in Sci Fi: Imagining the Sentient Machine

TUESDAY, AUGUST 7, 3:10 – 4:10 PMMEETING ROOM 602, SIXTH LEVEL

Could a computer ever be a person? Beyond the abilityto perform complex tasks, what attributes would itneed — personality, emotion, self-awareness? Canthese ephemeral qualities be programmed, and if so, atwhat point does the creation become more human thanhardware? Though these are questions that havecertainly been asked by ethicists as well as scientists,this discussion will approach these issues from aunique perspective: that of the science fiction writer.Using specific episodes of the television series “StarTrek : Voyager” as a jumping off point, we’ll explore thecreative process of inventing characters and story-linesthat illuminate these themes — a process that mayeerily mirror the challenges faced by scientists trying tocreate artificial intelligence.

Ken Biller has spent the past six years writing, direct-ing,and producing episodes of “Star Trek:Voyager,”andmost recently served as that series Executive Producer.His other credits include “The X-Files” and the telefilm“The Last Man on Planet Earth.” He is a graduate ofBrown University.

Rodney A. BrooksDirector, MIT ArtificialIntelligence Laboratory,Fujitsu Professor ofComputer Science andChairman & Chief TechnicalOfficer, iRobot Corp

Mass Market Intelligent RobotsTHURSDAY, AUGUST 9, 11:40 AM – 12:40 PMMEETING ROOM 602, SIXTH LEVEL

At iRobot Corporation we have been pushing intelligentrobots into the mass market. The AI component differ-entiates them from the rest of the field but there areother equally difficult issues: costs, market creation,market penetration, and distribution.

Harold CohenProfessor Emeritus, UCSD,Senior Research Professor,Center for Research inComputing and the Arts,UCSD

Decoupling Art and AffluenceTHURSDAY, AUGUST 9, 2:00 – 3:00 PMMEETING ROOM 602, SIXTH LEVEL

In theory, a truly creative art-making program wouldhave the potential to challenge the traditionalhegemony of money over art. AARON, believed bymany - but not by its author - to be such a program, hasgone some way towards that goal, but raisesunanswered questions about both the nature of creativ-ity and the cultural functions of art.

IAAI-01 Personalization PanelModerator: John Reidl, Associate Professor, Universityof Minnesota, and Chief Scientist, Net Perceptions.

TUESDAY, AUGUST 7, 4:30 – 5:30 PM MEETING ROOM 602, SIXTH LEVEL

Personalization has been revolutionizing the wayshoppers find products to buy and information seekersfind the information they seek. Advanced personaliza-tion systems use AI techniques to create Web servicesthat transparently adapt themselves to fit the interestsof their visitors. This panel will be of interest to peoplewho want to understand what personalization is allabout, who are interested in the algorithms behindpersonalization, or who are interested in socialquestions about the widespread use of personalization.The panel includes experts in personalizationalgorithms, advanced personalization applications,and the ways in which personalization is changinginteraction on the Internet. We expect spirited discus-sion around why personalization is so important,the best ways to do personalization, and social issuessurrounding personalization.

11

Please see pages 13, 15 and 17 for schedule.

12

8:30 AM – 9:30 AM

10:00 AM –11:30 AM

11:40 AM – 12:40 PM

2:00 PM – 3:00 PM

3:10 PM – 4:10 PM

4:30 PM – 5:30 PM

5:45 PM –6:45 PM

Invited Talk: PlausibilityMeasures: A General Approachfor Representing UncertaintyJoseph Y. Halpern, Cornell University

Distinguished Presentation:

Learning Theory and LanguageModelingDavid McAllester and Robert E.Schapire

(10:00 – 11:00 AM)

COGNITIVE ROBOTICSA Logical Account of Causal and Topological MapsEmilio Remolina and Benjamin KuipersOnline-Execution of ccGolog PlansHenrik Grosskreutz and Gerhard LakemeyerAn On-line Decision-Theoretic Golog InterpreterMikhail Soutchanski

LOGIC PROGRAMMINGA-System: Problem Solving through AbductionAntonis Kakas, and Bert Van Nuffelen and Marc DeneckerA Comparative Study of Logic Programs withPreferenceTorsten Schaub and Kewen WangReasoning with infinite stable modelsPiero A. Bonatti

NATURAL LANGUAGEGENERATIONTitle Generation for Machine-Translated DocumentsRong Jin and Alexander G. HauptmannDealing with Dependencies between Content Planningand Surface Realisation in a Pipeline GenerationArchitectureKalina Bontcheva and Yorick WilksNarrative Prose GenerationCharles Callaway and James Lester

Keynote Address:

AI in the ComputingExperience: Challengesand Opportunities

Bill Gates,Microsoft Corporation


Probabilistic Algorithms forMobile Robot MappingSebastian Thrun, Wolfram Burgardand Dieter Fox

REINFORCEMENT LEARNING ANDMULTI-AGENT SYSTEMSReinforcement Learning in Distributed Domains:Beyond Team GamesDavid H. Wolpert, Joseph Sill, and Kagan TumerFast Concurrent Reinforcement LearnersBikramjit Banerjee, Sandip Sen, and Jing Peng

MARKOV DECISION PROCESSESAdaptive Control of Acyclic Progressive ProcessingTask StructuresStéphane Cardon, Abdel-Illah Mouaddib, ShlomoZilberstein, and Richard WashingtonAn Improved Grid-Based Approximation Algorithmfor POMDPsRong Zhou and Eric A. Hansen

LIFELIKE CHARACTERSA Layered Brain Architecture for Synthetic CharactersDamian Isla, Robert Burke, Marc Downie, and BruceBlumbergBehavior Planning for a Reflexive AgentBerardina De Carolis, Catherine Pelachaud, Isabella Poggi,and Fiorella de Rosis


A First-Order Davis-Putnam-Logeman-Loveland ProcedurePeter Baumgartner

MULTI-AGENT SYSTEMSAPPLICATIONSAn Agent Architecture for Multi-Attribute NegotiationCatholijn M. Jonker and Jan TreurA Multiagent System for Helping Urban TrafficManagementL.A. Garcia and F. Toledo

INDUCTIVE LOGIC PROGRAMMINGOI-Implication: Soundness and RefutationCompletenessFloriana Esposito, Nicola Fanizzi, Stefano Ferilli, andGiovanni SemeraroThe Levelwise Version Space Algorithm and itsApplication to Molecular Fragment FindingLuc De Raedt and Stefan Kramer

VISION IVAMBAM: View and Motion-based Aspect Models forDistributed Omnidirectional Vision SystemsHiroshi Ishiguro and Takuichi Nishimura Resolving Ambiguities to Create a Natural Computer-Based Sketching EnvironmentChristine Alvarado and Randall Davis


Planning with Generic TypesDerek Long and Maria Fox

STRUCTURE-BASED CAUSALITYCauses and Explanations: A Structural-ModelApproach—Part II: ExplanationsJoseph Y. Halpern and Judea Pearl

Distinguished Award Paper: Complexity Results forStructure-Based CausalityThomas Eiter and Thomas Lukasiewicz

TEMPORAL REASONINGA Complete Classification of Complexity in Allen’sAlgebra in the Presence of a Non-Trivial Basic RelationAndrei Krokhin, Peter Jeavons, and Peter JonssonInterval-based Reasoning with General TBoxesCarsten Lutz

VISION IIPerceptual Texture Space Improves PerceptualConsistency of Computational Features Huizhong Long and Wee Kheng LeowFuzzy Conceptual Graphs for Matching Images ofNatural ScenesPhilippe Mulhem, Wee Kheng Leow, and Yoong Keok Lee

IJCAI Computers and Thought Award LectureDaphne Koller, Stanford University

ROOM 606 ROOM 607 ROOM 608BALLROOM 6 B/CTIME

9:30 AM – 10:00 AM COFFEE BREAK

4:10 PM – 4:30 PM COFFEE BREAK

12:40 PM – 2:00 PM LUNCH

T U E S D A Y , A U G U S T 7

13

COMPLEXITY ANALYSISComplexity of Nested Circumscription andAbnormality TheoriesMarco Cadoli, Thomas Eiter, and Georg GottlobA Perspective on Knowledge CompilationAdnan Darwiche and Pierre MarquisPhase Transitions of PP-Complete SatisfiabilityProblemsDelbert Bailey, Victor Dalmau, and Phokion G. Kolaitis

NEURAL NETWORKSKnowledge Extraction from Local Function NetworksKenneth McGarry, Stefan Wermter, and John MacIntyreViolation-Guided Learning for Constrained Formu-lations in Neural-Network Time-Series PredictionsBenjamin W. Wah and Minglun QianMobile Robot Learning of Delayed Response Tasksthrough Event Extraction: A Solution to the Road SignProblem and BeyondFredrik Linåker and Henrik Jacobsson

GAMESIterative WideningTristan CazenaveTemporal Difference Learning Applied to a High-Performance Game-Playing ProgramJonathan Schaeffer, Markian Hlynka, and Vili JussilaSatisficing and Learning Cooperation in the Prisoner’sDilemmaJeff Stimpson, Michael A. Goodrich, and Lawrence C.Walters

Constraint-Based Modeling of InterOperability Problemsusing an Object-Oriented Approach (Emerging Technology)Mohammed H. Sqalli and Eugene C. Freuder

Electric Elves: Applying Agent Technology to SupportHuman Organizations (Emerging Technology)H. Chalupsky, Y. Gil, C. A. Knoblock, K. Lerman, J. Oh,D. V. Pynadath, T. A. Russ, and M. Tambe

Interchanging Agents and Humans in Military Simulation(Deployed Application)C. Heinze, S. Goss, T. Josefsson, K. Bennett, S. Waugh,I. Lloyd, G. Murray, and J. Oldfield

SEARCHA backbone-search heuristic for efficient solving ofhard 3-SAT formulaeOlivier Dubois and Gilles DequenBackbones in Optimization and ApproximationJohn Slaney and Toby Walsh

NEURAL NETWORKSNORN Finance Forecaster – A Neural Oscillatory-basedRecurrent Network for Finance PredictionRaymond Lee and James LiuA General Updating Rule for Discrete Hopfield-TypeNeural Network with DelayShenshan Qiu, Eric C.C. Tsang, Daniel S. Yeung,and Xizhao Wang

WEB APPLICATIONSA Web-based Intelligent System for the Daya BayContingency Plan in Hong KongJames Liu, Raymond Lee, and Jane YouExpertClerk: Navigating Shoppers’ Buying Processwith the Combination of Asking and ProposingHideo Shimazu

An Open Architecture for Multi-Domain Information Extraction (Emerging Technology)Thierry Poibeau

Scaling Up Context-Sensitive Text Correction (Emerging Technology)Andrew J. Carlson, Jeffrey Rosen and Dan Roth

SEARCHCooperative Search and Nogood RecordingCyril TerriouxSearch on High Degree GraphsToby Walsh

PROBABILISTIC REASONINGIBAL: A Probabilistic Rational ProgrammingLanguageAvi PfefferApproximate inference for first-order probabilisticlanguagesHanna Pasula and Stuart Russell

WEB SEARCHPreference-Based Configuration of Web Page ContentCarmel Domshlak, Ronen I. Brafman, and Solomon EyalShimonyKeyword Spices: A New Method for Building Domain-Specific Web Search EnginesSatoshi Oyama, Takashi Kokubo, Toru Ishida,Teruhiro Yamada and Yasuhiko Kitamura

Invited Talk:

AI in Sci Fi: Imagining the Sentient MachineKenneth Biller

SATISFIABILITYBackjumping for Quantified Boolean LogicSatisfiabilityEnrico Giunchiglia, Massimo Narizzano, and ArmandoTacchellaSolving Non-Boolean Satisfiability Problems withStochastic Local SearchAlan M. Frisch and Timothy J Peugniez

STATISTICAL PROCESSING OFNATURAL LANGUAGE GRAMMARSRefining the Structure of a Stochastic Context-Free GrammarJoseph Bockhorst and Mark CravenAutomatically Extracting and Comparing LexicalizedGrammars for Different Languages Fei Xia, Chung-hye Han, Martha Palmer, and Aravind Joshi

MACHINE LEARNINGLearning on the Phase Transition EdgeAlessandro Serra, Attilio Giordana, and Lorenza SaittaA Simple Additive Re-weighting Strategy forImproving MarginsFabio Aiolli and Alessandro Sperduti

Invited Panel:

Personalization TechnologiesModerator: John Riedl

ROOM 611 ROOM 612 I A A I ROOM 602ROOM 609



12:40 PM – 2:00 PM LUNCH

T E C H N I C A L P R O G R A M

14

8:30 AM – 9:30 AM

10:00 AM –11:30 AM

11:40 AM – 12:40 PM

2:00 PM – 3:00 PM

3:10 PM – 4:10 PM

4:30 PM – 5:30 PM

6:15 PM – 10:30PMPM


D-Learning:What we can learn from dogsabout building charactersthat can learnSong-Yee Yoon, Bruce M.Blumberg, and Gerald E. Schneider

(10:00 – 11:00 AM)

SPATIAL REASONINGAmbiguity-Directed Sampling for Qualitative Analysisof Sparse Data from Spatially-Distributed PhysicalSystemsChris Bailey-Kellogg and Naren RamakrishnanA Spatial Odyssey of the Interval Algebra:1. Directed IntervalsJochen RenzFrom Images to Bodies: Modelling and ExploitingSpatial Occlusion and Motion ParallaxDavid Randell, Mark Witkowski, and Murray Shanahan

BELIEF REVISIONOn the Semantics of Knowledge UpdateChitta Baral and Yan ZhangResource-bounded inference from inconsistent beliefbasesPierre Marquis and Nadège PorquetWeakening Conflicting Information for IteratedRevision and Knowledge IntegrationSalem Benferhat, Souhila Kaci, Daniel Le Berre, and Mary-Anne Williams

NATURAL LANGUAGE - LEARNINGFOR INFORMATION EXTRACTIONAdaptive Information Extraction from Text by RuleInduction and GeneralisationFabio CiravegnaRelational Learning via Propositional Algorithms: AnInformation Extraction Case StudyDan Roth and Wen-tau YihDeriving a multi-domain information extractionsystem from a rough ontology Thierry Poibeau

Special Event: The HAL 9000 Computer and theVision of 2001: A Space OdysseyDavid G. Stork, Ricoh California Research Center andStanford University

IJCAI-01 Conference BanquetTillicum Village,Blake Island, Puget Sound




12:40 PM – 2:00 PM LUNCH

W E D N E S D A Y , A U G U S T 8

Invited Talk: Robust Translation of SpontaneousSpeech: A Multi-Engine ApproachWolfgang Wahlster, German Research Center forArtificial Intelligence (DFKI)

IJCAI-01 Conference BanquetWednesday, August 8, 6:15-10:30 pmTillicum VillageCost: $75 per person

The journey to Tillicum Village begins at Piers 55 on Seattle’s Grand Central Waterfront,where attendees will board a charter vessel toBlake Island at 6:15 pm. The cruise on PugetSound out to the island arrives at about 7:15pm. Visitors will be greeted by a NativeAmerican drummer, and then enter the

The Tillicum Village facility, which is a tradition-ally styled Northwest Coast Native Americancedar longhouse, has many artifacts on display.The Gift Gallery in the longhouse has items thatrepresent several different tribes, as well as manyunique items crafted by Tillicum Village staffmembers.

At 9:30 pm attendees will board the charteredvessel at Blake Island marina for the return trip to Seattle, arriving back at pier 55 about 10:30 pm. The return trip offers magnificentviews of the Seattle skyline from the beautifulwaters of Elliott Bay.

great cedar longhouse for an award-winningsalmon feast. Tillicum Village salmon iscooked over an open fire on cedar stakes in the ancient Northwest Coast Native Americanfashion.

Following dinner, banquet attendees willenjoy “Dance on the Wind,” a magnificentstage presentation that highlights some of thetraditional dances, myths, and legends of theNorthwest Coast in a magical and unforget-table setting. After “Dance on the Wind”, thenatural riches of Blake Island State Park canbe enjoyed on its beautiful beaches and trails.

1:30 PM 2001: A SPACE ODYSSEY

15

MULTI-AGENT SYSTEMSReflective Negotiating Agents for Real-TimeMultisensor Target TrackingLeen-Kiat Soh and Costas TsatsoulisStable Strategies for Sharing Information amongAgentsRina Azoulay-Schwartz and Sarit KrausCAST: Collaborative Agents for Simulating TeamworkJohn Yen, Jianwen Yin, Thomas R. Ioerger, Michael S. Miller,Dianxiang Xu, and Richards A. Volz

CASE-BASED REASONINGBridging the Lesson Distribution GapDavid W. Aha, Rosina Weber, Héctor Muñoz-Ávila, LeonardA. Breslow, and Kalyan Moy GuptaMinimizing Dialog Length in Interactive Case-BasedReasoningDavid McSherrySiN: Integrating Case-based Reasoning with TaskDecompositionHéctor Muñoz-Ávila, David W. Aha, Dana S. Nau, RosinaWeber, Len Breslow and Fusun Yamal

COMPLEXITY OF PLANNINGComplexity of Probabilistic Planning under AverageRewardsJussi RintanenComputational Complexity of Planning with TemporalGoalsChitta Baral, Vladik Kreinovich, and Raúl TrejoA Simplifier for Propositional Formulas with ManyBinary ClausesRonen Brafman

TALPS: The T-AVB Automated Load PlanningSystem (Deployed Application)Paul S. Cerkez

Token Allocation Strategy for Free-Flight Conflict Solving (Emerging Technology)Géraud Granger, Nicolas Durand and Jean-Marc Alliot

The RadarSAT-MAMM Automated Mission Planner(Deployed Application)Benjamin D. Smith, Barbara E. Engelhardt and Darren H. Mutz

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



12:40 PM – 2:00 PM LUNCH

I J C A I C O N F E R E N C E B A N Q U E T


16

8:30 AM – 9:30 AM

10:00 AM –11:30 AM

11:40 AM – 12:40 PM

2:00 PM – 3:00 PM

3:10 PM – 4:10 PM

4:30 PM – 5:30 PM

5:45 PM –6:45 PM

Invited Talk: The Challenges and Advances in Teams ofAutonomous Agents in Adversarial EnvironmentsManuela Veloso,Carnegie Mellon University


User-Oriented EvalutationMethods for IR: Case StudyBased on Conceptual Modelsfor Query Expansion Jaana Kekäläinen and Kalervo Järvelin

(10:00 – 11:00 AM)

ROBOTICSCombining Probabilities, Failures and Safety in Robot ControlAlberto Finzi and Fiora PirriHeterogeneity in the Coevolved Behaviors of MobileRobots: The Emergence of SpecialistsMitchell A. Potter, Lisa A. Meeden, and Alan C. SchultzAgent-Based Control for Object Manipulation withModular Self-reconfigurable RobotsJeremy Kubica, Arancha Casal, and Tad Hogg

ACTION AND CAUSALITYUpdates, actions, and planningAndreas Herzig, Jerome Lang, Pierre Marquis, and ThomasPolacsekCausality and Minimal Change DemystifiedMaurice Pagnucco and Pavlos PeppasEPDL: A Logic for Causal ReasoningDongmo Zhang and Norman Foo

PLANNING WITH INCOMPLETEINFORMATIONHeuristic Search + Symbolic Model Checking =Efficient Conformant Planning Piergiorgio Bertoli,Alessandro Cimatti, and Marco RoveriPlanning in Nondeterministic Domains under PartialObservability via Symbolic Model Checking Piergiorgio Bertoli, Alessandro Cimatti, Marco Roveri, andPaolo TraversoPlanning as Model Checking for Extended Goals inNon-deterministic DomainsMarco Pistore and Paolo Traverso


Data Mining for ManufacturingControl: An Application inOptimizing IC Test Tony Fountain, Thomas Dietterich,and Bill Sudyka

MULTI-AGENT SYSTEMSMultiagent Coordination by Probabilistic CellularAutomataT. D. Barfoot and G. M. T. D’EleuterioIdentifying the Scope of Modeling for Time-CriticalMultiagent Decision-MakingSanguk Noh and Piotr J. Gmytrasiewicz

ACTIONA Circumscriptive Formalization of the QualificationProblemG. Neelakantan KarthaComputing Strongest Necessary and Weakest SufficientConditions of First-Order FormulasPatrick Doherty, Witold Lukaszewicz, and Andrzej Szalas

COOPERATIVE BEHAVIORRational Competitive AnalysisMoshe TennenholtzLearning Procedural Knowledge to Better CoordinateAndrew Garland and Rick Alterman


Bayesian Inference of VisualMotion BoundariesMichael J. Black and David J. Fleet

PROBABILISTIC REASONINGContext-specific Sign-propagation in QualitativeProbabilistic NetworksSilja Renooij, Simon Parsons, and Linda C. van der GaagMax-norm Projections for Factored MDPsCarlos Guestrin, Daphne Koller, and Ronald Parr

DESCRIPTION LOGICSIdentification Constraints and FunctionalDependencies in Description LogicsDiego Calvanese, Giuseppe De Giacomo, and MaurizioLenzeriniHigh Performance Reasoning with Very LargeKnowledge Bases: A Practical Case StudyVolker Haarslev and Ralf Moeller

PERCEPTIONDiscriminating Animate from Inanimate VisualStimuliBrian ScassellatiAn Hybrid Approach to Solve the Global LocalizationProblem For Indoor Mobile Robots ConsideringSensor’s Perceptual LimitationsLeonardo Romero, Eduardo Morales, and Enrique Sucar


Understanding BeliefPropagation and itsGeneralizationsJonathan Yedidia, WilliamFreeman, and Yair Weiss

QUALITATIVE REASONING FORBIOLOGICAL SYSTEMSQualitative Simulation of Genetic RegulatoryNetworks: Method and ApplicationHidde de Jong, Michel Page, Celine Hernandez, andJohannes GeiselmannDiscrimination of Semi-Quantitative Models byExperiment Selection: Method and Application inPopulation BiologyIvayla Vatcheva, Olivier Bernard, Hidde de Jong,Jan-Luc Gouze, and Nicolaas J.I. Mars

SEARCHIncomplete Tree Search using Adaptive ProbingWheeler RumlHeuristic Search in Infinite State Spaces Guided byLyapunov AnalysisTheodore J. Perkins and Andrew G. Barto

PERCEPTIONMultimodal Integration - A Biological ViewMichael CoenReal-Time Auditory and Visual Multiple-ObjectTracking for RobotsKazuhiro Nakadai, Ken-ichi Hidai, Hiroshi Mizoguchi,Hiroshi G. Okuno, and Hiroaki Kitano


New Tractable Classes From OldDavid Cohen, Peter Jeavons, andRichard Gault

REINFORCEMENTLEARNING/ROBOTICSMulti-Agent Systems by Incremental GradientReinforcement LearningAlain Dutech, Olivier Buffet, and François CharpilletRobot Weightlifting By Direct Policy SearchMichael T. Rosenstein and Andrew G. Barto

DOMAIN ANALYSIS FORPLANNINGOne action is enough to planEmmanuel Guéré and Rachid AlamiHybrid STAN: Identifying and ManagingCombinatorial Optimisation Sub-problems inPlanningMaria Fox and Derek Long

MACHINE LEARNING AND DATAMININGFaster Association Rules for Multiple RelationsSiegfried Nijssen and Joost Kok A Simple Feature Selection Method for TextClassificationPascal Soucy and Guy W. Mineau

IJCAI Research Excellence LectureDonald Michie,University of Edinburgh




12:40 PM – 2:00 PM LUNCH

T H U R S D A Y , A U G U S T 9

17

CONSTRAINT SATISFACTIONPROBLEMSBacktracking Through Biconnected Components of aConstraint GraphJean-François Baget and Yannic S. TognettiA Constraint Satisfaction Approach to ParametricDifferential EquationsM. Janssen, P. Van Hentenryck, and Y. DevilleImproved bounds on the complexity of kB-consistencyLucas Bordeaux, Eric Monfroy, and Frédéric Benhamou

NEURAL NETWORKS ANDGENETIC ALGORITHMSGenetic Algorithm based Selective Neural NetworkEnsembleZhi-Hua Zhou, Jian-Xin Wu, Yuan Jiang, and Shi-Fu ChenNeural Logic Network Learning using GeneticProgrammingChew Lim Tan and Henry Wai Kit ChiaSensitivity Analysis of Multilayer PerceptronD.S. Yeung, Xuequan Sun and Xiaoqin Zeng

DESCRIPTION LOGICS ANDCONCEPTUAL GRAPHSDecision Procedures for Expressive Description Logicswith Intersection, Composition, Converse of Roles andRole IdentityFabio MassacciOntology Reasoning in the SHOQ(D) Description LogicIan Horrocks and Ulrike SattlerThe SG Family: Extensions of Simple Conceptual GraphsJean-François Baget and Marie-Laure Mugnier

Collaborative Kodama Agents with AutomatedLearning and Adapting for Personalized WebSearching (Emerging Technology)Tarek Helmy, Satoshi Amamiya and Makoto Amamiya

Natural Language Sales Assistant – A Web-BasedDialog System for Online Sales (DeployedApplication)Joyce Chai, Veronika Horvath, Nicolas Nicolov, Margo Stys-Budzikowska, Nanda Kambhatla, and Wlodek Zadrozny

CONSTRAINT SATISFACTIONPROBLEMSRefining the Basic Constraint Propagation AlgorithmChristian Bessière and Jean-Charles RéginMaking AC-3 an Optimal AlgorithmYuanlin Zhang and Roland H.C. Yap

PROBABILISTIC LEARNINGActive Learning for Structure in Bayesian NetworksSimon Tong and Daphne KollerProbabilistic Classification and Clustering in Relational DataBen Taskar, Eran Segal, and Daphne Koller

COGNITIVE MODELING —DIAGRAMATIC REASONINGFormalizing Artistic Techniques and ScientificVisualization for Painted Renditions of ComplexInformation SpacesChristopher G. HealeyVisual Analogy in Problem SolvingJim R. Davies and Ashok K. Goel

Invited Talk:Mass Market Intelligent RobotsRodney A. Brooks, Director, MIT Artificial Intelligence Laboratory, Fujitsu Professor ofComputer Science and Chairman & ChiefTechnical Officer, iRobot Corporation

CONSTRAINT SATISFACTIONPROBLEMSTemporal Constraint Reasoning With PreferencesLina Khatib, Paul Morris, Robert Morris, and FrancescaRossiA Hybrid Approach for the 0-1 MultidimensionnalKnapsack problemMichel Vasquez and Jin-Kao Hao

CASE-BASED REASONINGA Distributed Case-Based Query RewritingMaurizio Panti, Luca Spalazzi, and Loris PenseriniUsing Case-Base Data to Learn Adaptation Knowledgefor DesignJacek Jarmulak, Susan Craw, and Ray Rowe

MULTI-AGENT SYSTEMSBundle Design in Robust Combinatorial AuctionProtocol against False-name BidsMakoto Yokoo, Yuko Sakurai, and Shigeo MatsubaraCABOB: A Fast Optimal Algorithm for CombinatorialAuctionsTuomas Sandholm, Subhash Suri, Andrew Gilpin, andDavid Levine

Invited Talk:Decoupling Art and AffluenceHarold Cohen, Professor Emeritus, UCSD,Senior Research Professor, Center for Research in Computing and the Arts, UCSD

CONSTRAINT SATISFACTIONPROBLEMSThe Exponentiated Subgradient Algorithm forHeuristic Boolean ProgrammingDale Schuurmans, Finnegan Southey, and Robert C. HolteA New Method For The Three Dimensional ContainerPacking problemAndrew Lim and Wang Ying

MACHINE LEARNING AND DATAMININGAdaptive Web Navigation for Wireless DevicesCorin R. Anderson, Pedro Domingos, and Daniel S. WeldUsing Text Classifiers for Numerical ClassificationSofus Attila Macskassy, Haym Hirsh, Arunava Banerjee,and Aynur A. Dayanik

MULTI-AGENT SYSTEMSA software architecture for dynamically generatedadaptive Web storesLiliana Ardissono, Anna Goy, Giovanna Petrone, andMarino SegnanModularity and Design in Reactive IntelligenceJoanna J. Bryson and Lynn Andrea Stein

Image-Feature Extraction for ProteinCrystallization: Integrating Image Analysis andCase-Based Reasoning (Emerging Technology)I. Jurisica, P. Rogers, J. Glasgow, S. Fortier, J. Luft,M. Bianca, R. Collins, and G. DeTitta

CARMA: A Case-Based Range Management Advisor(Deployed Application)Karl Branting, John Hastings and Jeffrey Lockwood

SATISFIABILITYBalance and Filtering in Structured SatisfiableProblemsHenry Kautz, Yongshao Ruan, Dimitri Achlioptas, CarlaGomes, Bart Selman, and Mark StickelEfficient Consequence FindingLaurent Simon and Alvaro del Val

PROBABILISTIC REASONINGKnowledge Processing under Information FidelityWilhelm RödderConstraints as Data: A New Perspective on InferringProbabilitiesManfred Jaeger

MULTI-AGENT SYSTEMSAchieving Budget-Balance with Vickrey-BasedPayment Schemes in ExchangesDavid C. Parkes, Jayant Kalagnanam, and Marta EsoAgent-Human Interactions in the Continuous Double AuctionRajarshi Das, James E. Hanson, Jeffrey O. Kephart, andGerald Tesauro




12:40 PM – 2:00 PM LUNCH


18

8:30 AM – 9:30 AM

10:00 AM –11:30 AM

11:40 AM – 12:40 PM

2:00 PM – 3:00 PM

3:10 PM – 4:10 PM

4:30 PM – 5:30 PM

5:45 PM –6:45 PM


Qualitative spatio-temporalrepresentation and reasoning:a computational perspectiveFrank Wolter and MichalZakharyaschev

(10:00 – 11:00 AM)

VISIONLearning Iterative Image ReconstructionSven BehnkeEfficient Interpretation PoliciesRamana Isukapalli and Russell GreinerA Hierarchy of Boundary-based Shape DescriptorsRichard Meathrel and Antony Galton

THEOREM PROVINGSplitting Without backtrackingAlexandre Riazanov and Andrei VoronkovUNSEARCHMO: Eliminating Redundant Search Spaceon Backtracking for Forward Chaining TheoremProvingLifeng HeTheorem Proving with Structured TheoriesSheila McIlraith and Eyal Amir

NATURAL LANGUAGE EXPLANATIONAND ARGUMENTATIONDialog-driven Adaptation of Explanations of ProofsArmin FiedlerGenerating Tailored Examples to Support Learning viaSelf-ExplanationCristina Conati and Giuseppe CareniniAn Empirical Study of the Influence of User Tailoringon Evaluative Argument EffectivenessGiuseppe Carenini and Johanna D. Moore

Invited Panel:

The Semantic Web Elephant:What Do the Blind Men See?Moderator: James Hendler,University of Maryland

LOGIC PROGRAMMINGA Framework for Declarative Update Specifications inLogic ProgramsThomas Eiter, Michael Fink, Giuliana Sabbatini, and HansTompitsAbduction in Logic Programming: A New Definitionand an Abductive Procedure Based on RewritingFangzhen Lin and Jia-Huai You

UNCERTAINTYWeakening Commensurability Hypothesis inPossibilistic Qualitative Decision TheoryAdriana ZapicoA Fuzzy Modal Logic for Belief FunctionsLluís Godo, Petr Hàjek, and Francesc Esteva

MULTI-AGENT SYSTEMSThe Fair Imposition Yoav Shoham and Moshe TennenholtzRobust Multi-unit Auction Protocol against False-name BidsMakoto Yokoo, Yuko Sakurai, and Shigeo Matsubara


Virtual Humans for TeamTraining in Virtual RealityJeff Rickel and W. Lewis Johnson

DIAGNOSISDistributed Monitoring of Hybrid Systems: A Model-Directed ApproachFeng Zhao, Xenofon Koutsoukos, Horst Haussecker, JamesReich, Patrick Cheung and Claudia PicardiCausal interaction: from a high-level representation toan operational event based representationIrène Grosclaude, Marie-Odile Cordier, and René Quiniou

ANSWER SET PROGRAMMINGExperimenting with Heuristics for Answer SetProgrammingWolfgang Faber, Nicola Leone, and Gerald PfeiferGraph Theoretical Characterization and Computationof Answer SetsThomas Linke

COGNITIVE MODELING —CATEGORISATIONReasoning about Categories in Conceptual SpacesPeter Gärdenfors and Mary-Anne WilliamsSimulating the Formation of Color CategoriesTony Belpaeme


Identifying Semantic Roles in TextDaniel Gildea and Daniel Jurafsky

FACTORED MARKOV DECISIONPROCESSESSolving Factored MDPs via Non-HomogeneousPartitioningKee-Eung Kim and Thomas DeanSymbolic Dynamic Programming for First-Order MDPsCraig Boutilier, Ray Reiter, and Bob Price

DIAGNOSISTemporal Decision Trees or the lazy ECU vindicatedLuca Console, Claudia Picardi, and Daniele Theseider DupréModel-Based Diagnosability and Sensor PlacementApplication to a Frame 6 Gas Turbine SubsystemLouise Travé-Massuyès, Teresa Escobet, and Robert Milne

COGNITIVE MODELING —PERCEPTUAL GROUNDINGGrounded Models as a Basis for Intuitive ReasoningJosefina Sierra-SantibáñezPerceptual Anchoring of Symbols for ActionSilvia Coradeschi and Alessandro Saffiotti




12:40 PM – 2:00 PM LUNCH

F R I D A Y , A U G U S T 1 0

Invited Talk: Multimodal Interaction: Principles, Practice,Impact, and Challenges

Philip R. Cohen, Center for Human-Computer Communication,Oregon Graduate Institute

19

PLANNING WITH FORWARDSEARCHPlanning with Resources and Concurrency: A ForwardChaining ApproachFahiem Bacchus and Michael AdyTotal-Order Planning with Partially Ordered SubtasksDana Nau, Héctor Muñoz-Avila, Yue Cao, Amnon Lotem,and Steven MitchellConditional progressive planning under uncertaintyLars Karlsson

DESCRIPTION LOGICS ANDFORMAL CONCEPT ANALYSISMatching under Side Conditions in Description LogicsFranz Baader, Sebastian Brandt, and Ralf KüstersComputing Least Common Subsumers in ALENRalf Küsters and Ralf MolitorFCA-Merge: Bottom-Up Merging of OntologiesGerd Stumme and Alexander Maedche

REINFORCEMENT LEARNINGR-MAX — A General Polynomial Time Algorithm forNear-Optimal Reinforcement LearningRonen Brafman and Moshe TennenholtzFrom Q(λ) to Average Q-learning: EfficientImplementation of an Asymptotic ApproximationFrédérick Garcia and Florent SerreExploiting Multiple Secondary Reinforcers in PolicyGradient Reinforcement LearningGreg Grudic and Lyle Ungar

INFORMATION EXTRACTION ANDRETRIEVALRepresenting Sentence Structure in Hidden MarkovModels for Information ExtractionSoumya Ray and Mark CravenSequentially Finding the N-Best List in Hidden Markov Models Dennis Nilsson and Jacob GoldbergerNLP-driven IR: Evaluating Performances over a TextClassification taskRoberto Basili, Alessandro Moschitti and Maria Teresa Pazienza

HIERARCHICAL DIAGNOSIS ANDMONITORINGHierarchical Diagnosis Guided by ObservationsLuca Chittaro and Roberto RanonMode Estimation of Model-based Programs:Monitoring Systems with Complex BehaviorBrian C. Williams, Seung Chung, and Vineet Gupta

USER INTERFACESUsability Guidelines for Interactive Search in DirectManipulation SystemsRobert St. Amant and Christopher G. HealeyLeveraging Data About Users in General in theLearning of Individual User ModelsAnthony Jameson and Frank Wittig

MACHINE LEARNING AND DATAMININGThe Foundations of Cost-Sensitive LearningCharles ElkanMining Soft-Matching Rules from Textual DataUn Yong Nahm and Raymond J. Mooney

PLANNING WITH TEMPORALUNCERTAINTYExecuting Reactive, Model-based Programs throughGraph-based Temporal PlanningPhil Kim, Brian C. Williams and Mark AbramsonDynamic Control Of Plans With Temporal UncertaintyPaul Morris, Nicola Muscettola, and Thierry Vidal

SEARCH HEURISTICS INPLANNINGLocal Search Topology in Planning Benchmarks: AnEmpirical AnalysisJörg HoffmannReviving Partial Order PlanningXuanLong Nguyen and Subbarao Kambhampati

KNOWLEDGE ACQUISITIONKnowledge Analysis on Process ModelsJihie Kim and Yolanda GilIntegrating Expectations from Different Sources toHelp End Users Acquire Procedural KnowledgeJim Blythe

MULTI-AGENT GAMESRational and Convergent Learning in Stochastic GamesMichael Bowling and Manuela VelosoMulti-Agent Influence Diagrams for Representing andSolving GamesDaphne Koller and Brian Milch

MARKET MECHANISMSMarket ClearabilityTuomas Sandholm and Subhash SuriOn Market-Inspired Approaches to Propositional SatisfiabilityWilliam E. Walsh, Makoto Yokoo, Katsutoshi Hirayama, andMichael P. Wellman

MACHINE LEARNING ANDDATA MININGLink Analysis, Eigenvectors and StabilityAndrew Y. Ng, Alice Zheng, and Michael JordanActive Learning for Class Probability Estimation and RankingMaytal Saar-Tsechansky and Foster Provost

MULTI-AGENT SYSTEMSBidding Languages for Combinatorial AuctionsCraig Boutilier and Holger H. HoosPartitioning Activities for AgentsFatma Özcan and V.S. Subrahmanian

ROOM 611 ROOM 612 ROOM 613ROOM 609



12:40 PM – 2:00 PM LUNCH


IJCAI - 01 Exhibit Program

IJCAI-01 Exhibit Program

The exhibition will be held in Exhibit Hall 4Bon the fourth level of the Washington StateConvention & Trade Center, Tuesday, August 7through Thursday, August 9. Admittance isrestricted to badged conference attendees.Vendor-issued guest passes must beredeemed at the Exhibitor Registration Desk,in the registration area on the fourth level ofthe Washington State Convention & TradeCenter. Further information regarding accessto the Exhibition can be obtained from theExhibitor Registration Desk.

EXHIBIT HOURSTuesday, August 7 10:00 AM – 6:00 PMWednesday, August 8 10:00 AM – 6:00 PMThursday, August 9 10:00 AM – 4:30 PM

RoboCup 2001 and RoboCup Junior will be held inExhibit Hall 4A, adjacent to the main IJCAI-01Exhibit Hall, August 1-10. For more information onRoboCup, please see page 24.

EXHIBITORS◆ AAAI Press◆ Acroname Inc.◆ ActivMedia Robotics, LLC◆ AI Topics – The AAAI Pathfinder◆ Carnegie Mellon University◆ ECCAI – European Co-ordinating Committee

for AI◆ Franz Inc.◆ iRobot Corporation◆ Kluwer Academic Publishers◆ MindBox, Inc.◆ The MIT Press◆ Morgan Kaufmann Publishers◆ NASA Ames Research Center◆ Naval Research Laboratory◆ PC AI Magazine◆ ScienceDirect ◆ SGI◆ Sony America ERA◆ Springer Verlag New York, Inc.◆ TRACLabs, A Division of Metrica, Inc.◆ University of Alberta AI Lab◆ University of Washington

BOOTH #313ActivMedia Robotics 44 Concord Street • Peterborough, NH 03458, USA1-603-924-9100

ROBOTS GET A GRIP ON IT! In past years, we’vefocused on our intelligent laser navigation and visionsystems. This year, see all the new options ActivMediaRobotics offers for manipulation: from littleAmigoFingers to the new Pioneer 2 classroom arm tomammoth new MonsterBot carrying a 6 dof industrialarm.Also showing: new ARBS plug-n-play software forquick demos, online robot operation and classroominstruction; new ARIA C/C++ transparent robotoperating environment; Saphira Laser Navigationsystem, PTZ Vision, and our Pioneer 2-DX, P2-AT,AmigoBot, PeopleBot & MonsterBot robots.

[email protected]; www.activrobots.com

BOOTH #308AI Topics – the AAAI PathfinderJon Glick, WebmasterWebsite: www.aaai.org/Pathfinder.htmlE-mail: [email protected]

AI Topics is a dynamic online library sponsored by theAmerican Association for Artificial Intelligence forstudents, teachers, journalists, and everyone whowould like to learn more about what artificial intelli-gence is, and what AI scientists do. This free web siteoffers a limited number of exemplary, non-technicalresources that have been organized and annotated toprovide meaningful access to basic information aboutthe AI universe.

Although you can always find AI Topics online atwww.aaai.org/aitopics, this conference offers you theexciting opportunity to visit AI Topics in person atBooth #308. Since you are either a potential user of theweb site or a potential contributor to it, we’d really liketo meet you and introduce you to the site. And becauseAI Topics is dedicated to serving you, we’re very inter-ested in hearing your questions, ideas, concerns,suggestions, and criticism.

Please stop by and let’s get acquainted!

BOOTH #210ECCAIc/o Intelligent Applications • 1 Michaelson SquareLivingston, W. Lothian • EH54 7DP, Scotland, UK+44 1506 47 20 47 • www.eccai.org

ECCAI is the European Co-ordinating Committee onArtificial Intelligence. This umbrella organisationbrings together the more than 25 National AI societies

in Europe. Its primary focus is to share information onAI activities and events across Europe, and to help thenational societies to work together. They also provide aprogram of travel grants and ECCAI Fellows. ECCAI isresponsible for the bi-annual European-wide AI conference. Information on ECAI-2002 to be held inJuly in Lyon, France, including the call for papers for the technical conference and PAIS-2002, thePrestigious Applications of AI conference. In addition,information on proceedings of past ECAI conferences,published by IOS Press, will be available.

BOOTH #329Franz Incorporated1995 University Avenue, #275 • Berkeley, CA 94704(510) 548-3600

Franz Inc. produces Allegro CL® 6.0, a complete, cross-platform development environment powered byCommon Lisp/CLOS. Allegro CL’s dynamic object-oriented technology allows developers to create leadingedge, mission-critical applications that are robust,scaleable, and easy to evolve and deploy. With AllegroCL, developers can create powerful applications that getto market quickly,can change frequently,and grow withtheir end users. Allegro CL is ideal for DynamicServers, Manufacturing scheduling and control, ICdesign & synthesis, Knowledge Management and DataMining. Other Franz Inc. products includeAllegroServe™, a dynamic web-enabling Lisp WebServer, Allegro ORBLink™, a CORBA-compliant ORB,and AllegroStore®, a persistent object database.

BOOTH #312iRobot Corp., Research RobotsDivision32 Fitzgerald Drive • PO Box 375Jaffrey, NH 03452 • 603-532-6900 • www.irobot.com

Inspire. Encourage. Enable.

iRobot’s team of dedicated engineers,software develop-ers and production specialists embrace creativity,innovative thinking and cutting-edge technology todesign and build a growing family of versatile, rugged,fully integrated mobile robot systems. The revolution-ary Mobility Robot Integration Software and rFLEXRobot Control Architecture drive the entire family ofresearch robot platforms, providing seamless, top-to-bottom integration along with clear, intuitive migrationpaths among platforms. iRobot’s mission is to providerobot development tools that inspire, encourage andenable advances in robotics. Stop by to see these greatred machines in action.

20

IJCAI - 01 Exhibit Program

BOOTH #107

The MIT Press5 Cambridge Center • Cambridge, MA 02142http://mitpress.mit.edu

The MIT Press is an academic publisher specializing inbooks at the cutting edge of the sciences, includingcomputer science and cognitive science. Please visitour booth for a 20% conference discount on all MITPress titles! New books available at IJCAI 2001 includeMechanics of Robotic Manipulation in our IntelligentRobots and Autonomous Agents series, by Matthew T.Mason; Qualitative Methods for Reasoning UnderUncertainty, by Simon Parsons; and Knowledge inAction: Logical Foundations for Specifying andImplementing Dynamical Systems, by Ray Reiter. Wealso distribute books from AAAI Press.

BOOTH #434MindBox, Inc.300 Drake’s Landing, Suite 155 • Greenbrae, CA 94904877-650-MIND

MindBox is focused on helping financial services organ-izations gain a competitive edge by automating theircomplex, knowledge-intensive business processes. Wedeliver customized systems that meet the specificbusiness needs of clients. By automating these clients’complex decision processes, we help improve theefficiency and effectiveness of their business operationsby making every contact with their customers count.

MindBox software is based around a sophisticatedartificial intelligence application developmentplatform, ARTEnterprise. The product family includescomponents that automate critical processes within alending process. The combination of decisioningtechnology and modular architecture of the compo-nents enables us to rapidly deploy the solution in orderfor client’s to realize a return on their investment.

BOOTH #211Morgan Kaufmann Publishers340 Pine Street 6th Floor • San Francisco, CA 94104415-392-2665

Morgan Kaufmann is dedicated to publishing distin-guished books for artificial intelligence researchers andstudents, including graduate and undergraduate leveltexts, monographs, collected volumes, and conferenceproceedings. Since its founding in 1984, MorganKaufmann has published high-quality books for theartificial intelligence field that are substantially unique,are written by authoritative authors, and reflect ouroverall commitment to fine book making. We have

continued this publishing philosophy with more than150 books in the AI field, most of which are todayconsidered the definitive works in their fields.

BOOTH #307NASA Ames Research CenterThe Computational Sciences Division at NASA AmesResearch Center conducts research in artificial intelli-gence and computer science that will enable the criticaltechnologies necessary for NASA’s missions of explo-ration in the 21st Century. The Ames exhibit willfeature current work on autonomous spacecraftcontrol, preparations for the 2003 rover mission toMars, and a demonstration of a neural network basedadaptive flight controller.

BOOTH #214

Naval Research LaboratoryNavy Center for Applied Research in Artificial Intelligence, Code 55154555 Overlook Ave., S.W.Washington, DC 20375-5337

NRL’s Navy Center for Applied Research in ArtificialIntelligence (NCARAI) presents work in several areasof AI including computer vision, human computerinteraction, intelligent multi-modal multimediacommunication,natural language understanding,case-based reasoning, and machine learning, particularlythe evolution of cooperative control for multi-robotsystems. Results from these research areas are beingintegrated with the mobile robotics effort to developintelligent robots which use adjustable autonomy andadaptation to perform a variety of tasks includingmilitary operations support and urban search andrescue. Several robots can be easily directed using amultimodal interface combining speech, naturalgesture, and PDA input.

BOOTH #311Springer Verlag New York, Inc.175 Fifth Avenue • New York, NY 10010Phone: (212) 460-1533 • Fax: (212) 533-5587

Save 20% on artificial intelligence titles from Springer-Verlag! From the acclaimed How To Solve It: ModernHeuristics and the new Coordination of Internet Agents,to journals such as Pattern Analysis and Applicationsand AI & Society, Springer has established a reputationfor publishing essential books and journals in all areasof artificial intelligence.

BOOTH #414TRACLabs, a division of Metrica, Inc.8620 N. New Braunfels, Suite 603San Antonio, TX 78217-6363Contact: Bob Hattier at 210-822-2310

Biclops: our pan, tilt, verge head for monocular orstereo vision applications. It is compact, lightweight,low power, and accurate. Key features include:

•Rugged and finely adjustable camera mounts

•Novel verge mechanism provides zero backlash andhigh precision

•Pan and tilt mechanisms have separate drive andfeedback trains for precise observability

•Wide pan axis bearing allows for orderly camera cablerouting through base

•All control electronics are housed in the base

•Industry-standard, serial interface provides severalposition and velocity PWM servo control modes.

Biclops is also available with fixed-vergence and incustom figurations.

BOOTH #310University of Alberta AI LabWeb-Based Interactive AI Resources

The web is fundamentally changing the field of artificialintelligence (AI); it can also improve the way we *teach*the ideas underlying our field. The rich assortment ofmedia available — including applets, sound, video,down-loads, and text — can be exploited to make AIcome alive. This booth will present a variety of web-based systems, each designed to help teach some aspectof AI. These resources are from the IJCAI workshop on“Effective Interactive Artificial Intelligence Resources”

http://mainline.brynmawr.edu/EIAIR/IJCAI01.html

Our eventual goal is a collection of tools for teaching AI,which is informative, useful, up-to-date, and, mostimportant, fun.

We will include demos from:• University of Alberta(http://www.cs.ualberta.ca/~aixplore/)• University of British Columbia(http://www.cs.ubc.ca/labs/lci/CIspace/)• University of Calgary(http://tiger.cpsc.ucalgary.ca/WebGrid/WebGrid.html)• University of Saskatchewan(http://www.cs.usask.ca/projects/aries/)

See http://mainline.brynmawr.edu/EIAIR/ for anoverview of some of the available resources.

21

The AAAI Mobile RobotCompetition and ExhibitionThis year’s IJCAI will include several events showing offthe communities’ work in intelligent robotics. Eventswill cover both research and applied robot systems. TheRobot Competition and Exhibition will be held inExhibit Hall 4B on the fourth level of the WashingtonState Convention & Trade Center, and will be open toregistered conference attendees during exhibit hours.

The mission of the Mobile Robot Competition andExhibition is to serve AAAI,AI-robotics researchers, andthe larger AI community by promoting innovativeresearch through events which appeal to media andsponsors, while conducting these events in a format thatfacilitates comparison of approaches, but at low risk toindividual or institutional reputations. Its goals are to:◆ Foster the sharing of research and technology ◆ Allow research groups to showcase their achieve-ments ◆ Encourage students to enter robotics and artificialintelligence fields at both the undergraduate andgraduate level ◆ Increase awareness of the field In previous years, the event has attracted both local andnational news media — the 1996 contest resulted in asegment in Alan Alda’s “Scientific American Frontiers”program on the Discovery Channel.

EventsThe Competition and Exhibition comprisesthree separate events.

Robot RescueThis year this event is being held jointly with RoboCup.The objective of this contest is to give participants theopportunity to work in a domain of critical practicalimportance. Robots must enter a fallen structure, findhuman victims, and direct human rescuers to thevictims.

Hors d’oeuvres anyone?The objective of this contest is to create service robotsthat can offer hors d’oeuvres to attendees at the recep-tions. Each contestant is required to explicitly andunambiguously demonstrate interaction with thespectators. This event is designed to support researchin human-robot interaction.

ExhibitionThe exhibition gives researchers an opportunity todemonstrate state-of-the-art research in a less struc-tured environment. Exhibits are scheduled throughseveral days of the conference, and in addition to liveexhibits, a video proceedings is produced.

22

Robot Rescue

Spud and FriendsFayette Shaw, Rachel Gockley,Arthur Butz, Jiin Joo Ong, DanVogel, Carnegie Mellon UniversityRobotics Club

Rescue RobotCynthia Forgie, David Gustafson,Kansas State University

Mario & CompanyGil Jones and Bruce Maxwell,Swarthmore College

Rescue RobotDaniel Farinha, Jesus Juarez-Guerrero, John Pissokas,University of Edinburgh

Lobotomous and KirbyChristopher Smith,University of New Mexico

Rescue RobotRobin Murphy,University of South Florida

Emdad1Amir Hossein Jahangir, SharifUniversity of Technology

Blue Swarm I & IIDan Stormont,Utah State University

AAAI/RoboCupMobile RobotExhibition

Spud and FriendsFayette Shaw, Rachel Gockley,Arthur Butz, Jiin Joo Ong, DanVogel, Carnegie Mellon UniversityRobotics Club

Jim2, Flying GinsuJonathan Hurst, Brian Kirby,Anthony Rowe, Carnegie MellonUniversity

Air Hockey Playing with theHumanoid Robot DBDarrin Bentivegna,Georgia Institute of Technology

TortoiseRon A. Nucci