-
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
Distinguished Presentation:
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
Distinguished Presentation:
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
Distinguished Presentation:
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
9:30 AM – 10:00 AM COFFEE BREAK
4:10 PM – 4:30 PM COFFEE BREAK
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
Distinguished Presentation:
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
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
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
ROOM 611 ROOM 612 I A A I ROOM 602ROOM 609
9:30 AM – 10:00 AM COFFEE BREAK
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
T E C H N I C A L P R O G R A M
-
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
Distinguished Presentation:
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
Distinguished Presentation:
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
Distinguished Presentation:
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
Distinguished Presentation:
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
Distinguished Presentation:
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
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 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
ROOM 611 ROOM 612 I A A I ROOM 602ROOM 609
9:30 AM – 10:00 AM COFFEE BREAK
4:10 PM – 4:30 PM COFFEE BREAK
12:40 PM – 2:00 PM LUNCH
T E C H N I C A L P R O G R A M
-
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
Distinguished Presentation:
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
Distinguished Presentation:
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
Distinguished Presentation:
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
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
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
9:30 AM – 10:00 AM COFFEE BREAK
4:10 PM – 4:30 PM COFFEE BREAK
12:40 PM – 2:00 PM LUNCH
T E C H N I C A L P R O G R A M
-
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