IJCAI-03 Program & Exhibit Guide: Eighteenth International Joint Conference on Artificial Intelligence Acapulco Convention Center Acapulco, Mexico August 9-15, 2003 Sponsored by International Joint Conferences on Artificial Intelligence (IJCAI) Mexican Society for Artificial Intelligence (SMIA) American Association for Artificial Intelligence (AAAI) In cooperation with the AI Communities from Argentina, Brazil, Chile, and Venezuela Contents: (add page numbers) Welcome to IJCAI-03 / 2 IJCAI-03 Conference Officials / 2 Committees / 2-3 Sponsors / 3 IJCAI-03 Awards / 4 Conference at a Glance / 5 Workshop Program / 6-7 Tutorial Program / 8 Invited Speakers / 9-11 Doctoral Consortium / 11 IJCAI-03 Opening Ceremony and Reception / 11 IAAI-03 / 12-13 Acapulco Information / 13 IJCAI-03 Conference Banquet / 16 Technical Program / 14-21 Technical Poster Program / 22-23 Exhibition Program / 24-25 Trading Agents Competition / 25 Registration Information / 25 Robot Competition and Exhibition / 26-27 Intelligent Systems Demonstration / 26-27 IJCAI-05 / 28 General Information / 28-29 Meetings / 29 Maps / 30-31 Welcome to IJCAI-03: IJCAI-03, the Eighteenth International Joint Conference on Artificial Intelligence, is sponsored by the International Joint Conferences on Artificial Intelligence, the Mexican Society for Artificial Intelligence (SMIA), and the American Association for Artificial Intelligence (AAAI), and is held in cooperation with the AI Communities from Argentina, Brazil, Chile, and Venezuela. IJCAI sponsors biennial conferences on artificial intelligence, which are the main forums for presenting AI research results to the international AI community. Previous conference 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), Montreal, Canada (1995), Nagoya, Japan (1997), Stockholm, Sweden (1999), Seattle, Washingon, USA (2001). IJCAI-05 will be held in Edinburgh, Scotland in 2005. IJCAI-03 Conference Committee: CONFERENCE CHAIR Anthony G. Cohn, University of Leeds (England) PROGRAM CHAIR Georg Gottlob, Technische Universität Wien (Austria) ASSISTANTS TO PC CHAIR Vesna Sabljakovic, Technische Universität Wien Executive Program Committee Administrator Bibiane Angerer, Technische Universität Wien Administrative Assistant Jochen Renz, Technische Universität Wien Technical Administrator and Advisor LOCAL ARRANGEMENTS CHAIRS Francisco J. Cantú, Tec de Monterrey (ITESM) (México) Juan M. Rodríguez, Instituto Tecnológico de Acapulco (México) SECRETARY-TREASURER Ramasamy Uthurusamy, General Motors Corporation (USA) POSTER TRACK CHAIR Toby Walsh, University College Cork (Ireland) TUTORIAL CHAIR Peter Stone, The University of Texas at Austin (USA) WORKSHOP CHAIR Mary-Anne Williams, University of Technology Sydney (Australia) ARGENTINA Adriana Zapico, Universidad Nacional de Río Cuarto BRAZIL Jaime Simão Sichman, CEIA/SBC Coordinator, Universidade de São Paulo CHILE Mauricio Solar, SCCC President, Universidad de Santiago de Chile VENEZUALA Carolina Chang, GIA Coordinator, Universidad Simón Bolívar MEXICO Humberto Sossa, SMIA President, Instituto Politécnico Nacional Antonio Sánchez, SMCC President, Universidad de las Américas Matías Alvarado, Instituto Mexicano del Petróleo Alvaro de Albornoz, Vicepresidente SMIA, Instituto Tecnológico y de Est. Sup. de Monterrey Gustavo Arroyo, Instituto de Investigaciones Eléctricas Felipe Bracho, Consejo Nacional de Ciencia y Tecnología Osvaldo Cairó, Instituto Tecnológico Autónomo de México Ofelia Cervantes, Universidad de las Américas Francisco Cervantes, Instituto Tecnológico Autónomo de México Carlos Coello, Centro de Investigación y Estudios Avanzados Jesús Favela, Centro de Investigación Científica y Estudios Sup. de Ensenada Jesús Figueroa, Instituto Politécnico Nacional José Luis Gordillo, Instituto Tecnológico y de Estudios Superiores de Monterrey Adolfo Guzmán, Instituto Politécnico Nacional Angel Kuri, Instituto Tecnológico Autónomo de México Christian Lemaitre, Laboratorio Nacional de Informática Avanzada Cristina Loyo, Laboratorio Nacional de Informática Avanzada José Luis Marroquín, Centro de Investigación en Matemáticas Raúl Monroy, Instituto Tecnológico y de Estudios Superiores de Monterrey Guillermo Morales, Centro de Investigación y Estudios Avanzados José Negrete, Fundador y Primer Presidente SMIA, Universidad Veracruzana Pablo Noriega, Laboratorio Nacional de Informática Avanzada Luis Pineda, Universidad Nacional Autónoma de México Raul Pinto, Centro Nacional de Investigación y Desarrollo Tecnológico Edgar Sánchez, Centro de Investigación y Estudios Avanzados Jesús Sánchez Cortez, TV Azteca Sergio Sedas Gersey, New Plus Technologies Leonid Sheremetov, Instituto Mexicano del Petróleo Rogelio Soto, Instituto Tecnológico y de Estudios Superiores de Monterrey Enrique Súcar, Instituto Tecnológico y de Estudios Superiores de Monterrey Carlos Vizcaino, Soluciones Avanzadas Carlos Zozaya, Instituto Tecnológico Autónomo de México Committees: ADVISORY COMMITTEE Hans-Jürgen Bürckert, DFKI (Germany) Marie-Odile Cordier, University of Rennes1 (France) Osipov Gennady, Russian Academy of Sciences (Russia) Daphne Koller, Stanford University (USA) Ramon López de Mántaras, Spanish Scientific Research Council (Spain) Rob Milne, Sermatech Intelligent Applications (UK) Tom Mitchell, Carnegie Mellon University (USA) David Poole, University of British Columbia (Canada) John Slaney, Australia National University (Australia) Manuela Veloso, Carnegie Mellon University (USA) Ning Zhong, Maebashi Institute of Technology (Japan) Yixin Zhong, Beijing University of Posts and Telecommunications (China) IJCAI-03 PROGRAM COMMITTEE Elisabeth Andre, Universität Augsburg (Germany) Chitta Baral, Arizona State University (USA) Gautam Biswas, Vanderbilt University (USA) Wolfram Burgard, Albert-Ludwigs-Universität Freiburg (Germany) Ron Chrisley, University of Birmingham (United Kingdom) Alvaro del Val, Universidad Autonoma de Madrid (Spain) Marco Dorigo, Université Libre de Bruxelles (Belgium) Thomas Eiter, Technische Universität Wien (Austria) Dieter Fox, University of Washington (USA) Nir Friedman, Hebrew University (Israel) Matjaz Gams, Jozef Stefan Institute (Slovenia) Harald Ganzinger, Max-Planck-Institut für Informatik (Germany) Hector Geffner, Universitat Pompeu Fabra (Spain) Enrico Giunchiglia, DIST - Università di Genova (Italy) Ian Horrocks, University of Manchester (United Kingdom) Hiroshi Ishiguro, Osaka University (Japan) Leslie Kaelbling, Massachusetts Institute of Technology (USA) Helene Kirchner, LORIA-CNRS (France) Christoph Koch, The University of Edinburgh (Scotland) Kurt Konolige, SRI International (USA) Sarit Kraus, Bar-Ilan University, Israel and University of Maryland (USA) Nicola Leone, University of Calabria (Italy) Michael Littman, Rutgers University (USA) Ling Liu, Georgia Technical Institute (USA) Pierre Marquis, CRIL-CNRS/Université d’Artois (France) Deborah McGuinness, Stanford University (USA) Eduardo Morales, Tec de Monterrey (Mexico) Nicola Muscettola, NASA Ames Research Center (USA) Daniele Nardi, Università di Roma "La Sapienza" (Italy) Dana Nau, University of Maryland (USA) Riccardo Rosati, Università di Roma "La Sapienza" (Italy) Francesca Rossi, Università di Padova (Italy) Marie-Christine Rousset, University of Paris-Sud, LRI (France) Tuomas Sandholm, Carnegie Mellon University (USA) Ken Satoh, National Institute of Informatics (Japan) Andrea Schaerf, Università di Udine (Italy) Thomas Schiex, INRA (France) Maarten van Someren, University of Amsterdam (The Netherlands) Vadim Stefanuk, Institute for Information Transmission Problems (Russia) Matthew Stone, Rutgers University (USA) Markus Stumptner, University of South Australia (Australia) Michael Thielscher, Dresden University of Technology (Germany) Mirek Truszczynski, University of Kentucky (USA) Michael Wooldridge, University of Liverpool (United Kingdom) Franz Wotawa, Technische Universität Graz (Austria) Makoto Yokoo, NTT Communication Science Laboratories (Japan) Adriana Zapico, Univ. Nacional de Rio Cuarto, CONICET (Argentina) Mingyi Zhang, Guizhou Academy of Sciences (P.R. China) Weixiong Zhang, Washington University (USA) Feng Zhao, Palo Alto Research Center (USA) IJCAI-03 POSTER TRACK COMMITTEE Maria Alpuente, Universidad Politécnica de Valencia (Spain) Franz Baader, Technische Universität Dresden (Germany) Claudio Bettini, Università degli Studi di Milano (Italy) Carolina Chang, Universidad Simon Bolivar (Venezuela) Patrick Doherty, Linköpings Universitet (Sweden) Peter Flach, University of Bristol (UK) Lluis Godo, Institut d'Investigacó en Intelligència Artificial (Spain) Carla Gomes, Cornell University (USA) Russ Greiner, University of Alberta (Canada) Jana Koehler, IBM Research Laboratory (Switzerland) Sven Koenig, Georgia Institute of Technology (USA) Luis Pineda, Universidad Nacional Autonoma de Mexico (Mexico) Dan Roth, University of Illinois at Urbana-Champaign (USA) Juan Miguel Santos, Universidad de Buenos Aires (Argentina) Jonathan Schaeffer, University of Alberta (Canada) Cordelia Schmid, INRIA Rhône-Alpes (France) Jeong-Yon Shim, KangNam University (South Korea) Jaime Sichmam, Universidade de Sao Paulo (Brazil) John Slaney, Australia National University (Australia) Barry Smyth, University College Dublin (Ireland) Mauricio Solar, Universidad de Santiago de Chile (Chile) Enrique Sucar, Instituto Tecnológico y de Estudios Superiores de Monterrey (Mexico) Ian Watson, University of Auckland (New Zealand) IJCAI Organization; TRUSTEES Hector Levesque (President), University of Toronto (Canada) Luigia Carlucci Aiello, Università di Roma "La Sapienza" (Italy) Michael P. Georgeff, Georgeff International Inc (Australia) Anthony G. Cohn, University of Leeds (England) Georg Gottlob, Technische Universität Wien (Austria) Fausto Giunchiglia, University of Trento (Italy) Leslie Pack Kaelbling, Massachusetts Institute of Technology (USA) Bernhard Nebel, Albert-Ludwigs-Universität, Freiburg (Germany) SECRETARIAT Ramasamy Uthurusamy, Secretary-Treasurer, General Motors Corporation (USA) Priscilla Rasmussen, Academic & Research Conference Services (USA) FORMER CONFERENCE CHAIR TRUSTEES C. Raymond Perrault, SRI International (USA) 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) Patrick J. Hayes, UWF/Institute for Human and Machine Cognition (USA) Raj Reddy, Carnegie Mellon University (USA) Erik Sandewall, Linköping University (Sweden) Alistair D.C. Holden (deceased), formerly University of Washington (USA) Max B. Clowes (deceased), formerly University of Sussex (England) Donald E. Walker (deceased), formerly Bellcore (USA) Woodrow W. Bledsoe (deceased), formerly University of Texas at Austin (USA) Saul Amarel (deceased), Rutgers University (USA) FORMER PROGRAM CHAIR TRUSTEES Thomas Dean, Brown University (USA) Martha Pollack, University of Michigan (USA) Chris Mellish, University of Edinburgh (UK) Ruzena Bajcsy, National Science Foundation/University of Pennsylvania (USA) John Mylopoulos, University of Toronto (Canada) N. S. Sridharan, FMC Corporation (USA) John McDermott, Carnegie Mellon University (USA) Aravind K. Joshi, University of Pennsylvania (USA) Alan Bundy, University of Edinburgh (UK) Roger Schank, Northwestern University (USA) Bruce Buchanan, University of Pittsburgh (USA) Saburo Tsuji, Osaka University (Japan) Raj Reddy, Carnegie Mellon University (USA) Patrick Winston, Massachusetts Institute of Technology (USA) Carl Hewitt, Massachusetts Institute of Technology (USA) Nils Nilsson, Stanford University (USA) David C. Cooper (UK) Ray Reiter (deceased), University of Toronto (Canada) Donald E. Walker (deceased), formerly Bellcore (USA) AAAI Organization; OFFICERS Tom M. Mitchell, President, Carnegie Mellon University Ron Brachman, President-Elect, Corporation for National Research Initiatives Bruce G. Buchanan, Past President, University of Pittsburgh Ted Senator, Secretary-Treasurer COUNCILORS (THROUGH 2003) Craig Boutilier, University of Toronto Rina Dechter, University of California, Irvine Richard Doyle, Jet Propulsion Laboratory, California Institute of Technology David Poole, University of British Columbia COUNCILORS (THROUGH 2004) Marie desJardins, University of Maryland Baltimore County Craig Knoblock, USC/ISI Daphne Koller, Stanford University Peter Norvig, Google, Inc. COUNCILORS (THROUGH 2005) Carla Gomes, Cornell University Michael Littman, Rutgers University Maja Mataric, University of Southern California Yoav Shoham, Stanford University STANDING COMMITTEES Conference: James A. Hendler, Chair, University of Maryland Fellows and Nominating: Bruce G. Buchanan, Chair, University of Pittsburgh Finance: Ted Senator, Chair Grants: Manuela Veloso, Chair, Carnegie Mellon University Membership: Reid Simmons, Chair, Carnegie Mellon University Publications: Kenneth Ford, Chair, UWF/Institute for Human and Machine Cognition Symposium: Holly Yanco, Chair, University of Massachusetts Lowell Symposium Associate Chair: Marie desJardins, University of Maryland Baltimore County AAAI STAFF Carol McKenna Hamilton, Executive Director Colleen Boyce, Accountant Keri V. Harvey, Senior Conference Coordinator Ann Stolberg, Conference Coordinator Richard A. Skalsky, Information Technology Manager Raji Prado, Membership Assistant AAAI PUBLICATIONS Kenneth Ford, Editor-in-Chief, AAAI Press, UWF/Institute for Human and Machine Cognition David Leake, Editor-in-Chief, AI Magazine, Indiana University David Mike Hamilton, Director, Live Oak Press Corporate Sponsorship: IJCAI-03 gratefully acknowledges the generous contributions of the following corporations, organizations, and individuals CoLogNET, The European Network for Computational Logic Defense Advanced Research Projects Agency (DARPA), USA Hewlett Packard Instituto Mexicano del Petróleo Intelligent Information Systems Institute, Cornell University Microsoft, Inc. Morgan Kaufmann Publishers, an imprint of Elsevier NASA Ames Research Center National Science Foundation, USA Naval Research Laboratory, USA Oracle de México Tecnologico de Monterrey (ITESM), Mexico UK Foresight Cognitive Systems Project, Office of Science and Technology Web Intelligence Consortium Ben Wegbreit IJCAI-03 Awards: The IJCAI Award for Research Excellence and the Computers and Thought Award are made by the IJCAI Board of Trustees, upon recommendation by the IJCAI Awards Selection Committee, which consists this year of Michael Georgeff (Georgeff International Inc., Hawthorn, Victoria, Australia) - Chair Luigia Carlucci Aiello (Universittà di Roma "La Sapienza", Roma, Italy) Ruzena Bajcsy (University of California, Berkeley, California, USA) Henry Kautz (University of Washington, Seattle, USA) Erik Sandewall (Linköping University, Linköping, Sweden) The IJCAI Awards Selection Committee receives advice from members of the IJCAI Awards Review Committee, who comment on the accuracy of the nomination material and provide additional information about the nominees. The IJCAI Awards Review Committee is the union of the former Trustees of IJCAI, the IJCAI-03 Advisory Committee, the Program Chairs of the last three IJCAI conferences, and the past recipients of the IJCAI Award for Research Excellence and the IJCAI Distinguished Service Award, with nominees excluded. IJCAI-03 AWARD FOR RESEARCH EXCELLENCE The IJCAI Award for Research Excellence is given at the IJCAI conference to a scientist who has carried out a program of research of consistently high quality, yielding several substantial results. Past recipients of this award are John McCarthy (1985), Allen Newell (1989), Marvin Minsky (1991), Raymond Reiter (1993), Herbert Simon (1995), Aravind Joshi (1997), Judea Pearl (1999), and Donald Michie (2001). The winner of the 2003 IJCAI Award for Research Excellence is Nils Nilsson, Kumagai Professor of Engineering, Emeritus, at Stanford University, Stanford, California, USA. Professor Nilsson is recognized for his pioneering work in the use of heuristics, representations, and techniques for building AI systems capable of planning and acting in the real world. He will deliver a lecture entitled “Adventures in Artificial Intelligence” on Thursday, August 14, 5:45 – 7:00 pm, in the Juan Ruiz Alarcón Theater. IJCAI COMPUTERS AND THOUGHT AWARD The Computers and Thought Award is presented at IJCAI conferences to outstanding young scientists in artificial intelligence. The award was established with royalties received from the book “Computers and Thought,” edited by Edward Feigenbaum and Julian Feldman; it is currently supported by income from IJCAI funds. Past recipients of this honor have been Terry Winograd (1971), Patrick Winston (1973), Chuck Rieger (1975), Douglas Lenat (1977), David Marr (1979), Gerald Sussman (1981), Tom Mitchell (1983), Hector Levesque (1985), Johan de Kleer (1987), Henry Kautz (1989), Rodney Brooks (1991), Martha Pollack (1991), Hiroaki Kitano (1993), Sarit Kraus (1995), Stuart Russell (1995), Leslie Kaelbling (1997), Nicholas Jennings (1999), and Daphne Koller (2001). The winner of the 2003 IJCAI Computers and Thought Award is Tuomas Sandholm, Associate Professor at the Computer Science Department, Carnegie Mellon University, Pittsburgh, USA. Professor Sandholm is recognized for his contributions to computational economics and the theory and practice of negotiation and coalition formation among computationally bounded agents. He will deliver a lecture entitled “Making Markets and Democracy Work: A Story of Incentives and Computing” on Tuesday, August 12, 5:45-7:00 pm, in the Juan Ruiz Alarcón Theater. This lecture is open to the public. THE DONALD E. WALKER DISTINGUISHED SERVICE AWARD The IJCAI Distinguished Service Award was established in 1979 by the IJCAII Trustees to honor senior scientists in AI for contributions and service to the field during their careers. Previous recipients have been Bernard Meltzer (1979), Arthur Samuel (1983), Donald Walker (1989), Woodrow Bledsoe (1991), Daniel G. Bobrow (1993), Wolfgang Bibel (1999) and Barbara Grosz (2001). In 1993, the IJCAI Distinguished Service Award was renamed the Donald E. Walker Distinguished Service Award in memory of the late Donald E. Walker, who shaped the IJCAI organization as a Secretary-Treasurer. At IJCAI-03, the Donald E. Walker Distinguished Service Award will be given to Alan Bundy, Professor of Automated Reasoning at the University of Edinburgh, UK. As a pioneering researcher in the automation of mathematical reasoning, Professor Bundy is recognized for his outstanding service through his development of AI at Edinburgh, to the AI community of the United Kingdom, and to the international community as Program Chair of the 1983 IJCAI, Conference Chair of the 1987 IJCAI, and Chair of CADE-12. The award will be given during the opening ceremony, Monday, August 11, 6:15pm in the Juan Ruiz Alarcón Theater. DISTINGUISHED PAPER AWARDS The IJCAI-03 Distinguished Paper Awards will be given to Darse Billings, Neil Burch, Aaron Davidson, Robert Holte, Jonathan Schaeffer, Terence Schauenberg, and Duane Szafron of the University of Alberta, Canada for their paper entitled “Approximating Game-Theoretic Optimal Strategies for Full-scale Poker,” and to Mark Paskin of the University of California, Berkeley, USA, for his paper entitled “Thin Junction Tree Filters for Simultaneous Localization and Mapping.” The authors will present their papers from 9:00 – 10:00 am, Wednesday, August 13. “Approximating Game-Theoretic Optimal Strategies for Full-scale Poker” will be presented in Cholula 6, and “Thin Junction Tree Filters for Simultaneous Localization and Mapping” will be presented in Cholula 1. Conference at a Glance: THE IJCAI-03 CONFERENCE IS COMPOSED OF VARIOUS COMPLEMENTARY PROGRAMS the Technical Program, August 12-15, including technical paper presentations by top scientists in the field, invited speakers and award winners. the Technical Poster Program, August 13 the Tutorial Program, August 10-11 the Workshop Program, August 9-11 the Exhibition, including the AAAI Robot Competition and Exhibition, AAAI Intelligent Systems Demonstrations and the Trading Agents Competition (TAC), August 12-14 COLLOCATED EVENTS The Fifteenth Conference on Innovative Applications of Artificial Intelligence, IAAI-03, August 12-14, Acapulco Convention Center IJCAI-03 AAAI/SIGART Doctoral Consortium, August 10-11, Acapulco Convention Center the Second Americas School on Agents and Multiagents, 2003 (ASAM’03), August 8-11, Hyatt Regency Acapulco the Nineteenth Conference on Uncertainty in Artificial Intelligence (UAI-2003), August 8-10, Hyatt Regency Acapulco CONFERENCE AT A GLANCE Thursday, August 7" Morning UAI 2003 Afternoon UAI 2003 Friday, August 8" Morning ASAM’03 UAI 2003 Afternoon ASAM’03 UAI 2003 Saturday, August 9" Morning Registration Workshops (see page 6) ASAM’03 UAI 2003 Afternoon Registration Workshops (see page 6) ASAM’03 UAI 2003 Sunday, August 10" Morning Registration Workshops Tutorials (see page 8) AAAI/SIGART Doctoral Consortium UAI 2003 Afternoon Registration Workshops Tutorials (see page 8) AAAI/SIGART Doctoral Consortium UAI 2003 Monday, August 11" Morning Registration Workshops Tutorials AAAI/SIGART Doctoral Consortium Afternoon Registration Workshops Tutorials AAAI/SIGART Doctoral Consortium Evening Opening Ceremony & Reception Tuesday, August 12" Morning Registration Technical Program (see page 14) IAAI-03 Exhibition/Robot Competition/IS Demos/TAC Afternoon Registration Technical Program (see page 14) IAAI-03 Exhibition/Robot Competition/IS Demos/TAC Evening Computers and Thought Lecture AAAI Fellows Dinner Wednesday, August 13" Morning Registration Technical Program IAAI-03 Exhibition/Robot Competition/IS Demonstrations/TAC Afternoon Registration IAAI-03 Technical Poster Session (see page 22) Invited Tutorial Exhibition/Robot Competition/IS Demonstrations/TAC Evening Conference Banquet Thursday, August 14" Morning Registration Technical Program IAAI-03 Exhibition/Robot Competition/IS Demonstrations/TAC Afternoon Registration Technical Program IAAI-03 IJCAI Business Meeting Exhibition/Robot Competition/IS Demonstrations/TAC Evening Research Excellence Lecture Friday, August 15" Morning Registration Technical Program Afternoon Technical Program Workshop Program: The workshops will take place Saturday August 9 – Monday, August 11. They are arranged in eight tracks centered around broad research topics and problem domains. Participation is limited to those determined by the workshop organizers prior to the conference. All workshops will be held in the Cholula Hall on the bottom level of the Acapulco Convention Center. Workshop Chair: Mary-Anne Williams Track “AOS” - Agent-Oriented Systems+ AOS-1: Cognitive Modeling of Agents and Multi-Agent Interactions Ron Sun Saturday, August 9 Cholula 1 AOS-2: Ontologies and Distributed Systems Heiner Stuckenschmidt Saturday, August 9 Cholula 2 AOS-3: Multiagent for Mass-User Support Koichi Kurumatani Sunday, August 10 Cholula 1 AOS-4: Issues in Designing Physical Agents for Dynamic Real-Time Environments: World modeling, planning, learning, and communicating Ubbo Visser Monday, August 11 Cholula 1 AOS-5: Agents and Automated Reasoning Volker Sorge Monday, August 11 Cholula 2 Track “APP” - AI Applications+ APP-1: Intelligent Computing in the Petroleum Industry Bertrand Braunschweig Saturday, August 9 Cholula 16 APP-2: Knowledge and Reasoning in Practical Dialogue Systems Arne Jönsson, Jan Alexandersson, Tilman Becker. Kristiina Jokinen, and Magnus Merkel Sunday, August 10 Cholula 16 APP-3: Environmental Decision Support Systems Ulises Cortés and Miquel Sánchez-Marrè, and Franz Wotawa Sunday, August 10 Cholula 17 APP-4: Trading Agent Design and Analysis Peter Wurman Monday, August 11 Cholula 16 APP-5: Methods for Automatic Music Performance and their Applications in a Public Rendering Contest Keiji Hirata Monday, August 11 Olinala B Track “CON” - Constraints+ CON-1: Distributed Constraint Reasoning Weixiong Zhang Saturday, August 9 Cholula 4 CON-2: Model Checking and Artificial Intelligence Massimo Benerecetti and Charles Pecheur Sunday, August 10 Cholula 4 CON-3: Stochastic Search Algorithms Holger Hoos and Thomas Stützle Monday, August 11 Cholula 4 Track “CI” - Creativity and Interaction+ CI-1: Mixed-Initiative Intelligent Systems Gheorghe Tecuci Saturday, August 9 Cholula 3 CI-2: Creative Systems: Approaches to Creativity in AI and Cognitive Science Carlos Bento, Amílcar Cardoso, and John Gero Saturday and Sunday, August 9-10 Cholula 13 Track “KRR” - Knowledge Representation and Reasoning+ KRR-1: Spatial and Temporal Reasoning Hans Guesgen, Frank Anger, and Gerard Ligozat Saturday, August 9 Cholula 6 KRR-2: Computational Models of Natural Argument Chris Reed Saturday, August 9 Cholula 12 KRR-3: Reasoning with Uncertainty in Robotics Alessandro Saffiotti and Luis Enrique Sucar Saturday, August 9 Cholula 17 KRR-4: Nonmonotonic Reasoning, Action and Change Gerhard Brewka and Pavlos Peppas Sunday and Monday, August 10-11 Cholula 6 KRR-5: Knowledge Representation and Automated Reasoning for E-Learning Systems Peter Baumgartner Sunday, August 10 Cholula 12 KRR-6: Knowledge Management and Organizational Memories Rose Dieng-Kuntz and Nada Matta Monday, August 11 Cholula 12 Track “ML” - Machine Learning and Data Mining+ ML-1: Text-Mining and Link-Analysis Marko Grobelnik, Natasa Milic-Frayling and Dunja Mladenic Saturday, August 9 Cholula 14 ML-2: Doing it with Style: Computational Approaches to Style Analysis and Synthesis Shlomo Argamon Sunday, August 10 Cholula 14 ML-3: Learning Statistical Models from Relational Data Lise Getoor and David Jensen Monday, August 11 Cholula 14 Track “MD” - Multidisciplinary+ MD-1: Learning Graphical Models for Computational Genomics William H. Hsu and Roby Joehanes Saturday, August 9 Cholula 15 MD-2: AI and Automatic Computing: Developing a Research Agenda for Self-Managing Computer Systems William E. Walsh Sunday, August 10 Cholula 15 MD-3: Configuration Daniel Mailharro Monday, August 11 Cholula 14 MD-4: AI Moves to IA: Artificial Intelligence, Information Access, and Mobile Computing Oscar Mayora-Ibarra Monday, August 11 Cholula 15 Track “Web” - Web Related+ WEB-1: Information Integration on the Web Craig Knoblock and Subbarao Kambhampati Saturday and Sunday, August 9-10 Cholula 5 WEB-2: Intelligent Techniques for Web Personalization Bamshad Mobasher and Sarabjot Singh Anand Monday, August 11 Cholula 5 Tutorial Program: The IJCAI-03 Tutorial Program features 20 four-hour tutorials and 1 two-hour invited tutorial, each covering a concentrated technical topic of current or emerging interest. Tutorials will be presented by experienced researchers and practitioners expert in the corresponding subject area. All tutorials will be held in Cholula Hall on the bottom level of the Acapulco Convention Center. Tutorial Chair: Peter Stone (Sunday, August 10, 9:00 am – 1:00 pm) (SA1) AI Techniques for Personalized Recommendation Anthony Jameson, Joseph A. Konstan and John Riedl Cholula 7 (SA2) Stochastic Search Algorithms Thomas Stützle and Holger Hoos Cholula 8 (SA3) Multiagent Learning: A Game Theoretic Perspective Michael Bowling and Michael Littman Cholula 9 (SA4) Behavior-Based Programming of Robots and Multi-Robot Teams Tucker Balch Cholula 10 (SA5) Ontologies: Representation, Engineering, and Applications Andreas Abecker and Raphael Volz Cholula 11 (Sunday, August 10, 2:00 – 6:00 pm) (SP1) Artificial Immune Systems - A New Paradigm in AI Dipankar Dasgupta and Jonathan Timmis Cholula 7 (SP2) Genetic Algorithms in Search and AI Darrell Whitley Cholula 8 (SP3) Distributed Constraint Reasoning Jörg Denzinger, Marius Silaghi and Makoto Yokoo Cholula 9 (SP4) State of the Art in Ant Robotics Sven Koenig, Israel A. Wagner, Andrew Russell, Richard Vaughan, and David Payton Cholula 10 (SP5) Ontology-Based Information Integration Ubbo Visser, Heiner Stuckenschmidt and Holger Wache Cholula 11 (Monday, August 11, 9:00 am – 1:00 pm) (MA1) Market Clearing Algorithms Tuomas Sandholm Cholula 7 (MA2) SAT Beyond Propositional Satisfiability Roberto Sebastiani Cholula 8 (MA3) Web Service and Beyond Munindar Singh and Michael Huhns Cholula 9 (MA4) Multiagent and Agent-Human Teamwork: Theory and Practice Milind Tambe Cholula 10 (MA5) Resource-Bounded and Time-Critical Reasoning Lloyd Greenwald and Shlomo Zilberstein Cholula 11 (Monday, August 11, 2:00 – 6:00 pm) (MP1) Automated Reasoning for Security Protocol Verification Alessandro Armando and Fabio Massacci Cholula 7 (MP2) Foundations of Constraint Satisfaction Roman Bartak Cholula 8 (MP3) Multi-Agent Modeling of Grounded Language Evolution Luc Steels Cholula 9 (MP4) Recent Developments in Qualitative Spatial and Temporal Reasoning Hans Guesgen, Frank Anger and Gerard Ligozat Cholula 10 (MP5) Case Based Reasoning for Industrial Knowledge Management Mehmet H. Goker and Ralph Bergmann Cholula 11 (Wednesday, August 13, 2:00 – 4:00 pm) Invited Tutorial: Intelligent Information Integration Maurizio Lenzerini Open to all registrants. Invited Speakers: Keynote Address; Tuesday, August 12 9:00 – 10:00 AM Juan Ruiz Alarcón Theater Takeo Kanade, Carnegie Mellon University (USA) Computer Vision: AI or Non-AI Problem Vision is one of the first areas that Artificial Intelligence tackled. Today, however, it appears as if the two fields, Computer Vision and Artificial Intelligence, have very little interaction, and the goal of developing a general vision system, such as understanding natural scenes, continues to be least understood or is almost abandoned. This talk will start with Dr. Kanade's historical perspectives on how this happened, and then present the argument that there is an opportunity to renew the tie between the two fields for the purpose of developing a capable AI-based vision system. AI and the Web - Special Track; MEHRAN SAHAMI Google, Inc., USA The Past, Present and Future of Web Information Retrieval Wednesday, August 13, 9:00 – 10:00 AM Juan Ruiz Alarcón Theater Web search engines have emerged as one of the central applications on the Internet. In fact, search has become one of the most important activities that people engage in on the Internet. Even beyond becoming the number one source of information, a growing number of businesses are depending on web search engines for customer acquisition. The first generation of web search engines used text-only retrieval techniques. Google revolutionized the field by deploying the PageRank technology - an eigenvector-based analysis of the hyperlink structure - to analyze the web in order to produce relevant results. Moving forward, Google's goal is to achieve a better understanding of a page with a view towards producing even more relevant results. This presentation will describe these techniques, the main challenges, and will offer an overview of the search engine of the future. CRAIG KNOBLOCK University of Southern California, USA Deploying Information Agents on the Web Friday, August 15, 10:30 – 11:30 AM Juan Ruiz Alarcón Theater The information resources on the Web are vast, but much of the Web is based on a browsing paradigm that requires someone to actively seek information. Instead, one would like to have information agents that continuously attend to one's personal information needs. Such agents need to be able to extract the relevant information from web sources, integrate data across sites, and execute efficiently in a networked environment. In this talk, Dr. Knoblock will describe the technologies his group has developed to rapidly construct and deploy information agents on the web. This includes wrapper learning for turning online sources into agent-friendly resources, query planning and record linkage to integrate data across different sites, and streaming dataflow execution to efficiently execute agent plans. He will also describe how they applied this work within the Electric Elves project to deploy a set of agents for real-time monitoring of travel itineraries. JIMING LIU Hong Kong Baptist University and Web Intelligence Consortium Web Intelligence (WI): A New Paradigm for Developing the Wisdom Web and Social Network Intelligence Friday, August 15, 11:40 AM – 12:40 PM Juan Ruiz Alarcón Theater Web Intelligence (WI), since it was coined in 2000, has become a new direction for scientific research and development that explores the fundamental roles as well as practical impacts of Artificial Intelligence (AI) and advanced Information Technology (IT) on the next generation of Web-empowered products, systems, services, and activities. In this talk, Dr. Liu will show a coherent, global picture of what WI concerns and what are the top-priority research agendas. He will examine Web Intelligence (WI) as a new paradigm for developing the Wisdom Web and Web-supported social network intelligence. While highlighting the current state of WI research and development, the talk will consist of the following five parts: Part 1: Characterizes intelligent Web agents from various aspects. Part 2: Considers Web mining and farming for Web intelligence as a business intelligence solution. Part 3: Gives new directions in intelligent Web information retrieval. Part 4: Focuses on Web knowledge management and infrastructure for Web intelligent systems. Part 5: Concerned with Web-supported social networks intelligence. HANNES WERTHNER eCommerce and Tourism Research Lab (eCTRL) ITC-irst and University of Trento, Italy Intelligent Systems in Travel and Tourism Friday, August 15, 2:00 – 3:00 Juan Ruiz Alarcón Theater The talk will start by describing the travel and tourism domain, with its very specific features. This will also explain the importance of the sector in the e-commerce and e-business domain, where travel & tourism is the number one application domain (in b2c). Consequently, this industry depends heavily on advanced IT. The characteristics of this marketplace will also serve as the basis for presenting several application examples and running projects. Many of them, quite naturally, follow an AI based approach: travel planning and scheduling, visitor guidance systems, individual pricing or reversed auctions, product bundling and recommendation, or ontology based approaches to interoperability. In the final part the presentation will provide a future outlook, based on the European Research Vision of Ambient Intelligence and its applicability in the travel and tourism domain. General Track; JEAN-LOUIS DENEUBOURG University Libre du Bruxelles, Belgium Optimality of Collective Choice in Social Insects and Social Robots Thursday, August 14, 11:40 AM – 12:40 PM Juan Ruiz Alarcón Theater ALON HALEVY University of Washington, USA Data Integration: Successes and Challenges Thursday, August 14, 10:30 – 11:30 AM Juan Ruiz Alarcón Theater Integration of data from multiple sources is one of the longest standing problems facing the AI and Database research communities. In addition to being a problem in large enterprises, research on this topic has been fueled by the promise of integrating data on the WWW. In the past few years, we have made very significant progress on data integration, from the conceptual and algorithmic aspects, to the systems and product aspects. This talk will briefly review our successes in data integration, and will describe some significant current challenges. In particular, I will discuss the problem of trying to semi-automatically find a semantic mapping between a pair of schemas/ontologies, and argue that AI techniques are crucial in this context. I describe an approach to schema matching that is based on analyzing a large corpus of database schemas and learning properties of how terms are used in database structures. Finally, this talk will argue that such a corpus offers other exciting opportunities for AI research. PHOKION G. KOLAITIS University of California, Santa Cruz, USA Constraint Satisfaction, Databases, and Logic Tuesday, August 12, 11:40 AM – 12:40 PM Juan Ruiz Alarcón Theater Constraint satisfaction problems constitute a broad class of algorithmic problems that are ubiquitous in several different areas of artificial intelligence and computer science. Indeed, constraint satisfaction problems encompass Boolean satisfiability, graph colorability, and numerous other problems in database theory, temporal reasoning, machine vision, and belief maintenance. In their full generality, constraint satisfaction problems are NP-complete and, thus, presumed to be algorithmically intractable. For this reason, extensive research efforts have been devoted to the pursuit of "islands of tractability" of constraint satisfaction, that is, special cases of constraint satisfaction problems for which efficient algorithms exist. The aim of this talk is to present an overview of recent advances in the investigation of the computational complexity of constraint satisfaction with emphasis on the connections of this area of research with database theory and logic. DANIELA RUS Dartmouth University, USA Self-reconfiguring Robots: Challenges and Successes Friday, August 13, 9:00 – 10:00 AM Juan Ruiz Alarcón Theater We wish to create versatile robots by using self-reconfiguration: hundreds of small modules autonomously organize and reorganize as geometric structures to best fit the terrain on which the robot has to move, the shape of the object the robot has to manipulate, or the sensing needs for the given task. Self-reconfiguration allows large collections of small robots to actively organize as the most optimal geometric structure to perform useful coordinated work. A self-reconfiguring robot consists of a set of identical modules that can dynamically and autonomously reconfigure in a variety of shapes, to best fit the terrain, environment, and task. Self-reconfiguration leads to versatile robots that can support multiple modalities of locomotion and manipulation. Self-reconfiguring robots constitute large-scale distributed systems. Because the modules change their location continuously they also constitute ad-hoc networks. This talk will discuss the challenges and successes of creating self-reconfiguring robots, ranging from designing hardware capable of self-reconfiguration to developing distributed controllers and planners for such systems that are scalable, adaptive, and support real-time behavior. MOSHE VARDI Rice University, USA Automated Verification = Graphs, Automata and Logic Thursday, August 14, 9:00 – 10:00 AM Juan Ruiz Alarcón Theater In automated verification one uses algorithmic techniques to establish the correctness of the design with respect to a given property. Automated verification is based on a small number of key algorithmic ideas, tying together graph theory, automata theory, and logic. In this self-contained talk, Dr. Vardi will describe how this "holy trinity" gave rise to automated-verification tools. ANDREI VORONKOV Manchester University, UK New Trends in Automated Reasoning Wednesday, August 13, 11:40 AM – 12:40 PM Juan Ruiz Alarcón Theater This talk presents an overview of the past and present of automated reasoning in first-order logic and tries to predict how it will develop in the next several years. Dr. Voronkov considers the theory of automated reasoning, implementation and currently available systems, and applications. The presentation will be centered around two main motives: (1) efficiency and (2) usefulness for the existing and possible future applications. DANIEL S. WELD University of Washington, USA User Interfaces: An AI Challenge Wednesday, August 13, 10:30 – 11:30 AM Juan Ruiz Alarcón Theater Today's computer interfaces are one size fits all. Users with little programming experience have very limited opportunities to customize an interface to their task and work habits. Furthermore, the overhead induced by generic interfaces will be proportionately greater on small form-factor PDAs, embedded applications and wearable devices. Searching for a solution, researchers argue that productivity can be greatly enhanced if interfaces anticipated their users, adapted to their preferences, and reacted to high-level customization requests. But realizing these benefits is tricky, because there is an inherent tension between the dynamism implied by automatic interface adaptation and the stability required in order for the user to predict the computer's behavior and maintain control. This talk will list challenges for the field, describe principles governing effective adaptation, and present new algorithms for data mining user action traces and dynamically transforming interfaces. ANTON ZEILINGER Vienna University, Austria Quantum Information: Fundamentals and Applications Tuesday, August 12, 10:30 – 11:30 AM Juan Ruiz Alarcón Theater The fundamental concepts in the emerging field of quantum information are quantum superposition, entanglement and the objective randomness of the individual event. Based on these concepts the possible experimental realizations and possibilities are discussed. These include quantum cryptography, teleportation, quantum communication and quantum gates for future quantum computers. All material will be presented in a way suitable for an audience not familiar with quantum physics. Doctoral Consortium: The Eighth AAAI/SIGART/IJCAI Doctoral Consortium will be held Sunday and Monday, August 10-11, 8:30 am – 6:00 pm in Cholula 3 on the bottom Level of the Acapulco Convention Center. The Doctoral Consortium provides an opportunity for a group of Ph.D. students to discuss and explore their research interests and career objectives in an interdisciplinary workshop together with a panel of established researchers. AAAI, ACM/SIGART, and IJCAI gratefully acknowledge grants from the National Science Foundation’s Knowledge and Cognitive Systems Program and from Microsoft Research, which partially support student travel to the event. IJCAI-03 Official Opening Ceremony and Reception: The Opening Ceremony will begin at 6:15 PM, Monday, August 11 in the Juan Ruiz Alarcón Theater, followed by a reception in the Plaza Mexicana at the Acapulco Convention Center from 7:15 to 9:15 PM. The Opening Ceremony will be chaired by Anthony Cohn, the Conference Chair of IJCAI-03. The opening reception will feature traditional Mexican music and dancing, including the spectacular “Rito de Los Voladores,” in which a musician stands on a tiny platform on the top of a high mast while four dancers leap outward and slowly circle downwards, suspended upside down. IAAI-03 Conference: August 12-14, 2003 Cholula 4, Acapulco Convention Center IAAI-03 attendance is included in the IJCAI-03 technical registration. The Fifteenth Annual Conference on Innovative Applications of Artificial Intelligence (IAAI-03) continues the IAAI tradition of including both case studies of deployed applications and papers on emerging AI applications. The award-winning deployed applications papers all include concrete measurements of the benefits provided by AI technology. IAAI is organized as an independent program within the international conference, with schedules coordinated to allow attendees to move freely between IJCAI and IAAI sessions. We appreciate the cooperation of the IJCAI organizers, since we believe the collocated conferences both benefit from each other. AI applications developers benefit from learning about the latest AI techniques that will enable the next generation of applications. Basic AI researchers benefits by exposure to the challenges of real-world domains and difficulties and successes in applying AI techniques to real business problems. IAAI-03 addresses the full range of AI techniques including knowledge-based systems, planning and scheduling, perception and monitoring, knowledge formation, knowledge management, learning, intelligent design, natural language processing, and diagnostic reasoning. Deployed Applications are case studies that provide a valuable guide to designing, building, managing, and deploying systems incorporating AI technologies. This year's papers address applications in a wide variety of domains, including natural language processing, secure mobile agents, sales support, securities fraud detection, and scheduling. These applications provide clear evidence of the impact and value that AI technology has in today's world. Papers on Emerging Applications and Technologies describe efforts whose goal is the engineering of AI applications. They inform AI researchers about the utility of specific AI techniques for applications domains and also inform applications developers about tools and techniques that will enable the next generation of new and more powerful applications. In addition to the 20 technical paper presentations, IAAI-03 features three outstanding invited talks. Enjoy the conference! John Riedl and Randy Hill IAAI-03 Conference and Cochair IAAI-03 Program Committee; IAAI-03 CHAIR John Riedl, University of Minnesota IAAI-03 COCHAIRS Randall W. Hill, USC Institute for Creative Technologies Steve Chien, Jet Propulsion Laboratory Diane J. Cook, University of Texas at Austin Marie desJardins, University of Maryland Baltimore County Alexander Hartemink, Duke University Micheal Hewett, Stanford University Randall W. Hill, USC Institute for Creative Technologies Neil Jacobstein, Teknowledge Corporation Craig Knoblock, USC Information Sciences Institute Ora Lassila, Nokia Corporation Daniel Marcu, USC Information Sciences Institute Bruce Porter, University of Texas at Austin John Riedl, University of Minnesota Ted Senator Imran Shah, University of Colorado Health Science Center Reid Smith, Schlumberger Ltd. Ramasamy Uthurusamy, General Motors Corporation Peter Wurman, North Carolina State University IAAI-03 Invited Talks; NOAH S. FRIEDLAND Project Halo: Towards a Digital Aristotle Vulcan, Inc. Tuesday, August 12, 4:00 - 5:30 PM Cholula 4 Vulcan Inc. has launched a multi-staged effort towards the creation of a digital Aristotle, an application capable of answering and providing cogent explanations to arbitrary questions in an ever-growing number of domains. The pilot phase was a six-month effort intended to investigate the state-of-the-art in question answering, with an emphasis on deep reasoning. Friedland’s talk will discuss the Halo vision and methodology and provide an overview of pilot phase and its challenge. He will also outline a roadmap for future phases of Vulcan’s initiative. Preface LAWRENCE HUNTER AI & Molecular Biology: A Growing Success Story University of Colorado Health Sciences Center Wednesday, August 13, 11:40 AM - 12:40 PM Cholula 4 Applications of artificial intelligence in molecular biology have long been scientifically important, and are now growing in industrial significance as well. In application areas as diverse as drug discovery and healthcare cost containment, AI techniques from machine learning, knowledge representation, and now natural language processing are becoming increasingly part of mainstream commercial practice. Hunter will describe some current success stories and describe the potential for future growth. LUIS VON AHN CAPTCHA: Telling Humans and Computers Apart Automatically Carnegie Mellon University Thursday, August 14, 4:00 - 5:00 PM Cholula 4 A CAPTCHA is a program that can tell whether its user is a human or a computer. More specifically, a CAPTCHA is a program that can generate and grade tests that humans can pass but current computer programs cannot. CAPTCHAs have several applications in practical security and some results of this project are currently in use by Yahoo, Hotmail, and other major web-sites. CAPTCHAs also provide concrete, well defined challenges to the AI community. von Ahn will describe the CAPTCHA project in detail and survey the many issues related to artificial intelligence. SEE PAGES Please see pages 15, 17, and 19 for schedule. Acapulco: Acapulco is the largest and most spectacular tourist resort on the Mexican Pacific coast. As a result of its stunning beaches, exuberant natural surroundings and wonderful climate, this port has been dubbed the Pearl of the Pacific. Acapulco has something to suit every taste and budget and offers a range of activities for the whole family. It boasts a variety of restaurants offering everything from regional to international cuisine. The portís nightlife is intense and extremely diverse, offering something for every taste. The downtown and the older parts of Acapulco are filled with remnants of the past - the San Diego Fort, The ZÛcalo, and Nuestra Senora de la Soledad Church, to name a few attractions, while the periphery contains more contemporary attractions, such as the famous cliff divers at La Quebrada. The epicenter of Acapulco, Mexico's original party town, is the Avenida Costera Miguel Aleman, a palm lined strip that is home to most of Acapulco's hotels, restaurants, bars, shopping and nightlife. EXCURSIONS Acapulco has many points of interest such as, bay cruises, City tours, the Fort of San Diego historic museum, Quebrada cliff diving, Excursions to Taxco, known for its silver, and beaches and nightlife. IJCAI-03 Conference Banquet: Hyatt Regency Acapulco Wednesday, August 13, 2003, 7:00-10:30 pm The IJCAI-03 Conference Banquet will be on the Hyatt Regency Beach overlooking the Acapulco Bay. The banquet will start with entertainment by La Rondalla del Tecnologico de Acapulco, a group of guitarists and singers who will perform a set of popular romantic songs. After a delicious dinner, a set of regional dances from various parts of Mexico will be performed by The Folklore Dancing Group of the State of Guerrero, followed by Acapulco folklore dancing from the dance group of Tecnologico de Acapulco. A classical mariachi band interpreting popular Mexican songs will conclude this spectacular event. Technical Program: The IJCAI-03 Technical Program includes talks by two IJCAI-03 award winners, 13 invited speakers, one invited tutorial, 93 poster presentations and 189 paper presentations, including 2 distinguished papers. The technical program will be held in the Acapulco Convention Center. The detailed program follows on pages 14 - 21. Program Chair: Georg Gottlob IAAI-03; "Tuesday, August 12" 9:00 - 10:00 am Keynote Address Computer Vision: AI or Non-AI Problem Takeo Kanade, Carnegie Mellon University, USA Juan Ruiz Alarcon Theater 10:30 – 11:30 am Security DEPLOYED: The NASD Securities Observation, New Analysis and Regulation System (SONAR) Henry Goldberg, Dale Kirkland, Dennis Lee, Ping Shyr, and Dipak Thakker Searching for Hidden Messages: Automatic Detection of Steganography George Berg, Ian Davidson, Ming-Yuan Duan, and Goutam Paul Cholula 4 11:40 am - 12:40 pm Information and Knowledge 1 The Analogical Thesaurus Tony Veale Broadcast News Understanding and Navigation Mark Maybury Cholula 4 12:40 – 2:00 pm Lunch 2:00 - 3:30 pm Teaching DEPLOYED: CriterionSM Online Essay Evaluation: An Application for Automated Evaluation of Student Essays Jill Burstein, Martin Chodorow, and Claudia Leacock Guided Conversations about Leadership: Mentoring with Movies and Interactive Characters Randall Hill, Jr., Jay Douglas, Andrew Gordon, Fred Pighin, and Martin van Velsen Teachable Agents: Learning by Teaching Environments for Science Domains Krittaya Leelawong, Karun Viswanath, Joan Davis, Gautam Biswas, Nancy Vye, Kadira Belynne, and John Bransford Cholula 4 4:00 - 5:30 pm Invited Talk Project Halo: Towards a digital Aristotle Noah S. Friedland, Vulcan, Inc. Cholula 4 5:45 – 7:00 pm IJCAI Computers & Thought Award Lecture Making Markets and Democracy Work: A Story of Incentives and Computing Tuomas Sandholm, Carnegie Mellon University, USA Cholula 4 "Wednesday, August 13" 9:00 - 10:00 am Commerce Building Agents for the Customer Service Front Mihai Barbuceanu, Mark S. Fox, Lei Hong, Yannick Lallement, and Zhongdong Zhang DEPLOYED: A Cellular Telephone-Based Application for Skin-Grading to Support Cosmetic Sales Hironori Hiraishi and Fumio Mizoguchi Cholula 4 10:30 - 11:30 am Patterns TEXTAL™: Artificial Intelligence Techniques for Automated Protein Structure Determination Kreshna Gopal, Reetal Pai, Thomas R. Ioerger, Tod D. Romo, and James C. Sacchettini LAW: A Workbench for Approximate Pattern Matching in Relational Data Michael Wolverton, Pauline Berry, Ian Harrison, John Lowrance, David Morley, Andres Rodriguez, Enrique Ruspini, and Jerome Thomere Cholula 4 11:40 am - 12:40 pm Invited Talk AI & Molecular Biology: A Growing Success Story Lawrence Hunter, University of Colorado Health Sciences Center Cholula 4 12:40 – 2:00 pm Lunch 2:00 – 5:30 pm IJCAI-03 Poster Session Juan Ruiz Alarcon Theater 2:00 – 4:00 pm Invited Tutorial Intelligent Information Integration Maurizio Lenzerini Cholula 4 7:00 – 10:30 pm IJCAI-03 Banquet Hyatt Regency Acapulco "Thursday, August 14" 9:00 - 10:00 am Spatial and Temporal Reasoning Qualitative Spatial Reasoning about Sketch Maps Kenneth D. Forbus, Jeffrey Usher, and Vernell Chapman DEPLOYED: TPO: A System for Scheduling and Managing Train Crew in Norway João P. Martins, Ernesto Morgado, and Rolf Haugen Cholula 4 10:30 - 11:30 am Information and Knowledge II Infrastructure Components for Large-Scale Information Extraction Systems William W. Cohen A Knowledge Acquisition Tool for Course of Action Analysis Kim Barker, Jim Blythe, Gary Borchardt, Vinay K. Chaudhri, Peter E. Clark, Paul Cohen, Julie Fitzgerald, Ken Forbus, Yolanda Gil, Boris Katz, Jihie Kim, Gary King, Sunil Mishra, Clayton Morrison, Ken Murray, Charley Otstott Bruce Porter, Robert C. Schrag, Tomás Uribe, Jeff Usher, and Peter Z. Yeh Cholula 4 11:40 am - 12:40 pm AI on the Move Say Cheese!: Experiences with a Robot Photographer Zachary Byers, Michael Dixon, William D. Smart, and Cindy M. Grimm A Probabilistic Vehicle Diagnostic System Using Multiple Models Matthew L. Schwall, J. Christian Gerdes, Bernard Bäker, and Thomas Forchert Cholula 4 12:40 – 2:00 pm Lunch 2:00 - 3:30 pm Distributed Computing Transparent Grid Computing: A Knowledge-Based Approach Jim Blythe, Ewa Deelman, Yolanda Gil, and Carl Kesselman Applying Reinforcement Learning to Packet Scheduling in Routers Herman Ferra, Ken Lau, Christopher Leckie, and Anderson Tang Secure Mobile Agents on Ad Hoc Wireless Networks Evan Sultanik, Donovan Artz, Gustave Anderson, Moshe Kam, William Regli, Max Peysakhov, Jonathan Sevy, Nadya Belov, Nicholas Morizio, and Andrew Mroczkowski Cholula 4 4:00 - 5:00 pm Invited Talk CAPTCHA: Telling Humans and Computers Apart Automatically Luis von Ahn, Carnegie Mellon University Cholula 4 7:00 pm - 10:00 pm IJCAI Award for Research Excellence Lecture Adventures in Artificial Intelligence Nils J. Nilsson, Stanford University, USA Juan Ruiz Alarcon Theater IJCAI-03 Technical Program; Tuesday, August 12 9:00 - 10:00 am Keynote Address Computer Vision: AI or Non-AI Problem Takeo Kanade, Carnegie Mellon University, USA Juan Ruiz Alarcón Theater 10:30 – 11:30 am Invited Talk Quantum Information: Fundamentals and Applications Anton Zeilinger, Vienna University, Austria Juan Ruiz Alarcón Theater Nonmonotonic Reasoning 1: Default Logic Ordering Default Theories Chiaki Sakama Outlier Detection Using Default Logic Angiulli Fabrizio, Rachel Ben-Eliyahu-Zohary, and Luigi Palopoli Cholula 5 Cognitive Modeling Dynamic Bayesian modeling of the cerebral activity Vincent Labatut, Josette Pastor, and Serge Ruff GHOST: experimenting conflicts countermeasures in the pilot's activity Frédéric Dehais, Catherine Tessier, and Laurent Chaudron Cholula 6 11:40 am - 12:40 pm Invited Talk Constraint Satisfaction, Databases, and Logic Phokion G. Kolaitis, University of California, Santa Cruz, USA Juan Ruiz Alarcón Theater Multi-Agent Systems 1: Multiagent Tracking On Identifying and Managing Relationships in Multi-Agent Systems Ronald Ashri, Michael Luck, and Mark d'Inverno ODISET: On-line Distributed Session Tracing using Agents Salvador Mandujano and Arturo Galván Cholula 6 Cognitive Robotics Body Movement Analysis of Human-Robot Interaction Takayuki Kanda, Hiroshi Ishiguro, Michita Imai, and Tetsuo Ono Qualitative Map Learning Based on Co-visibility of Objects Takehisa Yairi and Koichi Hori Cholula 5 12:40 – 2:00 pm Lunch 2:00 - 3:30 pm Causality Responsibility and Blame: A Structural-Model Approach Hana Chockler and Joseph Y. Halpern Causes and Explanations Revisited James D. Park A Logic for Causal Reasoning Alexander Bochman Cholula 1 AI and the Internet A semantic framework for multimedia document adaptation Jérôme Euzenat, Nabil Layaïda, and Victor Dias An Ontology-based Architecture for Cooperative Information Agents Frederico L. G. Freitas and Guilherme Bittencourt Web Page Cleaning for Web Mining through Feature Weighting Lan Yi and Bing Liu Cholula 2 Constraints 1 Solving Constraint Optimization Problems in Anytime Contexts Samir Loudni and Patrice Boizumault Scenario-based Stochastic Constraint Programming Suresh Manandhar, Armagan Tarim, and Toby Walsh Reasoning about soft constraints and conditional preferences: complexity results and approximation techniques C. Domshlak, F. Rossi, K. B. Venable, and T. Walsh Cholula 3 Decision Theory 1 Qualitative Decision under Uncertainty: Back to Expected Utility Hélène Fargier and Régis Sabbadin On the Foundations of Expected Expected Utility Craig Boutilier Incremental Utility Elicitation with the Minimax Regret Decision Criterion Tianhan Wang and Craig Boutilier Cholula 5 Learning 1: Partially Labeled Data Semi-Supervised Learning with Explicit Misclassification Modeling Massih-Reza Amini and Patrick Gallinari SVMC: Single-Class Classification With Support Vector Machines Hwanjo Yu Spectral Learning Sepandar D. Kamvar, Dan Klein, and Christopher D. Manning Multi-Agent Systems 2: Nash Equilibria Cholula 6 Complexity Results about Nash Equilibria Vincent Conitzer and Tuomas Sandholm A Continuation Method for Nash Equilibria in Structured Games Ben Blum, Christian R. Shelton, and Daphne Koller Local Effect Games Kevin Leyton-Brown and Moshe Tennenholtz Cholula 7 Temporal Reasoning Tractable Pareto Optimization of Temporal Preferences Lina Khatib, Paul Morris, Robert Morris, and Kristen Brent Venable Incremental Tractable Reasoning about Qualitative Temporal Constraints Alfonso Gerevini Automatic Video Interpretation: A Novel Algorithm for Temporal Scenario Recognition Van-Thinh Vu, François Brémond, and Monique Thonnat Cholula 8 4:00 - 5:30 pm Belief Revision and Update On the Revision of Probabilistic Beliefs using Uncertain Evidence Hei Chan and Adnan Darwiche Quantifying information and contradiction in propositional logic through test actions Sébastien Konieczny, Jérôme Lang, and Pierre Marquis Minimal Change and Maximal Coherence for Epistemic Logic Program Updates Yan Zhang Cholula 8 Diagnosis 1 Automatic Abstraction in Component-Based Diagnosis Driven by System Observability Gianluca Torta and Pietro Torasso Automated Qualitative Domain Abstraction Martin Sachenbacher and Peter Struss Formal Verification of Diagnosability via Symbolic Model Checking Alessandro Cimatti, Charles Pecheur, and Roberto Cavada Cholula 2 Constraints 2 Non-Binary Constraints and Optimal Dual-Graph Representations Gianluigi Greco and Francesco Scarcello Multiset Ordering Constraints Alan Frisch, Ian Miguel, Zeynep Kiziltan, Brahim Hnich, and Toby Walsh A Fast and Simple Algorithm for Bounds Consistency of the AllDifferent Constraint Alejandro López-Ortiz, Claude-Guy Quimper, John Tromp, and Peter van Beek Cholula 3 Description Logics 1 Terminological Cycles in a Description Logic with Existential Restrictions Franz Baader Decidability of SHIQ with Complex Role Inclusion Axioms Ian Horrocks and Ulrike Sattler Keys, Nominals, and Concrete Domains Carsten Lutz, Carlos Areces, Ian Horrocks, and Ulrike Sattler Cholula 5 Learning 2: Clustering and Bayes Net Learning Data Clustering: Principal Components, Hopfield and Self-Aggregation Networks Chris H. Q. Ding Distributed Clustering Based on Sampling Local Density Estimates Matthias Klusch, Stefano Lodi, and Gianluca Moro When Discriminative Learning of Bayesian Network Parameters Is Easy Hannes Wettig, Peter Grünwald, Teemu Roos, Petri Myllymäki, and Henry Tirri Cholula 7 Multi-Agent Systems 3: Coalition Formation Complexity of Determining Nonemptiness of the Core Vincent Conitzer and Tuomas Sandholm Dynamics of Coalition Formation in Combinatorial Trading Yiming Ye and Yuhai Tu An Integrated Multilevel Learning Approach to Multiagent Coalition Formation Leen-Kiat Soh and Xin Li Cholula 6 Reasoning about Actions and Change 1 Describing Additive Fluents in Action Language C+ Joohyung Lee and Vladimir Lifschitz Compiling Control Knowledge into Preconditions for Planning in the Situation Calculus Alfredo Gabaldon Reasoning about the Interaction of Knowledge, Time and Concurrent Actions in the Situation Calculus Richard B. Scherl Cholula 1 5:45 – 7:00 pm IJCAI Computers & Thought Award Lecture Making Markets and Democracy Work: A Story of Incentives and Computing Tuomas Sandholm, Carnegie Mellon University, USA Juan Ruiz Alarcón Theater 'Wednesday, August 13' 9:00 - 10:00 am Invited Talk The Past, Present and Future of Web Information Retrieval Monika Henzinger, Google, Inc., USA Juan Ruiz Alarcón Theater Multi-Agent Systems 4: Evolution and Genetic Algorithms Improving Coevolutionary Search for Optimal Multiagent Behaviors Liviu Panait, R. Paul Wiegand, and Sean Luke When Evolving Populations is Better than Coevolving Individuals: The Blind Mice Problem Thomas Miconi Cholula 6 Robotics: SLAM 1 Distinguished Paper Award Thin Junction Tree Filters for Simultaneous Localization and Mapping Mark A. Paskin DP-SLAM: Fast, Robust Simultaneous Localization and Mapping Without Predetermined Landmarks Austin Eliazar and Ronald Parr Cholula 1 Decision Theory 2 Great Expectations. Part I: On the Customizability of Generalized Expected Utility Francis C. Chu and Joseph Y. Halpern Great Expectations. Part II: Generalized Expected Utility as a Universal Decision Rule Francis C. Chu and Joseph Y. Halpern Cholula 5 Constraints 3 In the quest of the best form of local consistency for Weighted CSP Javier Larrosa and Thomas Schiex On a generalization of triangulated graphs for domains decomposition of CSPs Assef Chmeiss, Philippe Jégou, and Lamia Keddar Cholula 3 10:30 - 11:30 am Invited Talk User Interfaces: An AI Challenge Daniel S. Weld, University of Washington, USA Juan Ruiz Alarcón Theater Multi-Agent Systems 5: Game Playing Distinguished Paper Award Approximating Game-Theoretic Optimal Strategies for Full-scale Poker D. Billings, N. Burch, A. Davidson, R. Holte, J. Schaeffer, T. Schauenberg, and D. Szafron Last-Branch and Speculative Pruning Algorithms for Maxn Nathan Sturtevant Cholula 6 Robotics: SLAM 2 FastSLAM 2.0: An Improved Particle Filtering Algorithm for Simultaneous Localization and Mapping that Provably Converges Mike Montemerlo, Sebastian Thrun, Daphne Koller, and Ben Wegbreit Consistent, Convergent, and Constant-Time SLAM J. Leonard and P. Newman Cholula 1 Knowledge Representation 1 A Theory of Average-Case Compilability in Knowledge Representation Hubie Chen LADDER: A Language to Describe Drawing, Display, and Editing in Sketch Recognition Tracy Hammond and Randall Davis Cholula 5 Constraints 4 Algorithms for Identifying Rigid Subsystems in Geometric Constraint Systems Christophe Jermann, Bertrand Neveu, and Gilles Trombettoni A Maximal Tractable Class of Soft Constraints David Cohen, Martin Cooper, Peter Jeavons, and Andrei Krokhin Cholula 3 11:40 am - 12:40 pm Invited Talk New Trends in Automated Reasoning Andrei Voronkov, Manchester University, UK Juan Ruiz Alarcón Theater Multi-Agent Systems 6: Emergent Behavior Emergence of Cooperation in a Pursuit-Evasion Game Geoff Nitschke Biologically-Inspired Self-Assembly of Two-Dimensional Shapes Using Global-to-Local Compilation Attila Kondacs Cholula 6 AI and Data Integration 1 Learning Value Predictors for the Speculative Execution of Information Gathering Plans Greg Barish and Craig A. Knoblock Integrating Multiple Internet Directories by Instance-based Learning Ryutaro Ichise, Hideaki Takeda, and Shinichi Honiden Cholula 5 Learning 3: Ensembles Constructing Diverse Classifier Ensembles using Artificial Training Examples Prem Melville and Raymond J. Mooney Monte Carlo Theory as an Explanation of Bagging and Boosting Roberto Esposito and Lorenza Saitta Cholula 7 Constraints and Symmetry Efficient Symmetry Breaking for Boolean Satisfiability Fadi A. Aloul, Karem A. Sakallah, and Igor L. Markov Tractable Symmetry Breaking for CSPs with Interchangeable Values P. van Hentenryck, P. Flener, J. Pearson, and M. Ågren Cholula 3 12:40 – 2:00 pm Lunch 2:00 – 5:30 pm IJCAI-03 Poster Session Chichen-Itza Exhibit Hall 2:00 – 4:00 pm Invited Tutorial Intelligent Information Integration Maurizio Lenzerini Juan Ruiz Alarcón Theater 7:00 – 10:30 pm IJCAI-03 Conference Banquet Wednesday, August 13, 7:00 – 10:30 PM Cost: $520 Mexican Pesos Hyatt Regency Acapulco 'Thursday, August 14' 9:00 - 10:00 am Invited Talk Automated Verification = Graphs, Automata and Logic Moshe Vardi, Rice University, USA Juan Ruiz Alarcón Theater Technical Sessions Natural Language 1 Extended Gloss Overlaps as a Measure of Semantic Relatedness Satanjeev Banerjee and Ted Pedersen Hierarchical Semantic Classification: Word Sense Disambiguation with World Knowledge Massimiliano Ciaramita, Thomas Hofmann, and Mark Johnson Cholula 6 Learning 4: Evaluating Classifiers AUC: a Statistically Consistent and more Discriminating Measure than Accuracy Charles X. Ling, Jin Huang, and Harry Zhang Evaluating Classifiers by Means of Test Data with Noisy Labels Chuck P. Lam and David G. Stork Cholula 7 Robotics Non-Invasive Brain-Actuated Control of a Mobile Robot José del R. Millán, Frédéric Renkens, Josep Mouriño, and Wulfram Gerstner Exploring Unknown Environments with Mobile Robots using Coverage Maps Cyrill Stachniss and Wolfram Burgard Cholula 1 10:30 - 11:30 am Invited Talk Data Integration: Successes and Challenges Alon Halevy, University of Washington, USA Juan Ruiz Alarcón Theater Technical Sessions Spatial Reasoning Layered Mereotopology Maureen Donnelly Reasoning about Distances Frank Wolter and Michael Zakharyaschev Cholula 8 Learning 5: Tree Learning Skewing: An Efficient Alternative to Lookahead for Decision Tree Induction David Page and Soumya Ray Inductive Learning in Less Than One Sequential Data Scan Wei Fan, Haixun Wang, Philip S. Yu, and Shaw-Hwa Lo Cholula 7 Probabilistic Inference 1 Variable Resolution Particle Filter Vandi Verma, Sebastian Thrun, and Reid Simmons Optimal Time-Space Tradeoff in Probabilistic Inference David Allen and Adnan Darwiche Cholula 3 Qualitative Reasoning 1 Categorizing classes of signals by means of fuzzy gradual rules Sylvie Galichet, Didier Dubois, and Henri Prade Qualitatively Faithful Quantitative Prediction Dorian Suc, Daniel Vladusic, and Ivan Bratko, Cholula 6 11:40 am - 12:40 pm Invited Talk Optimality of Collective Choice in Social Insects and Social Robots Jean-Louis Deneubourg, University Libre du Bruxelles, Belgium Juan Ruiz Alarcón Theater Technical Sessions Description Logics 2 Abductive Matchmaking using Description Logics Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, and Marina Mongiello Least Common Subsumers and Most Specific Concepts in a Description Logic with Existential Restrictions and Terminological Cycles Franz Baader Cholula 5 Learning 6: Kernel Methods Multi-prototype Support Vector Machines Fabio Aiolli and Alessandro Sperduti Continuous nonlinear dimensionality reduction by kernel eigenmaps Matthew Brand Cholula 7 Probabilistic Inference 2: First Order First-order probabilistic inference David Poole Dynamic Probabilistic Relational Models Sumit Sanghai, Pedro Domingos, and Daniel Weld Cholula 3 Qualitative Reasoning 2 Gaussian Process Models of Spatial Aggregation Algorithms Naren Ramakrishnan and Chris Bailey-Kellogg A New Look at the Semantics and Optimization Methods of CP-Networks Ronen I. Brafman and Yannis Dimopoulos Cholula 6 12:40 – 2:00 pm Lunch 2:00 - 3:30 pm Technical Sessions Automated Reasoning A Tractability Result for Reasoning with Incomplete First-Order Knowledge Bases Yongmei Liu and Hector J. Levesque Logical Filtering Eyal Amir and Stuart Russell Practical Partition-Based Theorem Proving for Large Knowledge Bases Bill MacCartney, Sheila McIlraith, Eyal Amir, and Tomas E. Uribe Cholula 8 Constraints 5 Propagate the Right Thing: How Preferences Can Speed-Up Constraint Solving Christian Bessière, Anaïs Fabre, and Ulrich Junker Consistency and Set Intersection Yuanlin Zhang and Roland H. C. Yap Amalgams of Constraint Satisfaction Problems Andrei A. Bulatov and Eugeny S. Skvortsov Cholula 3 Information Extraction 1 Active Learning with Strong and Weak Views: A Case Study on Wrapper Induction Ion Muslea, Steven N. Minton, and Craig A. Knoblock Information Extraction from Web Documents Based on Local Unranked Tree Automaton Inference Raymond Kosala, Maurice Bruynooghe, Jan Van den Bussche, and Hendrik Blockeel, Hierarchical Hidden Markov Models for Information Extraction Marios Skounakis, Mark Craven, and Soumya Ray Cholula 1 Multi-Agent Systems 7: Multiagent Reinforcement Learning and POMDPs Simultaneous Adversarial Multi-Robot Learning Michael Bowling and Manuela Veloso A Bayesian Approach to Imitation in Reinforcement Learning Bob Price and Craig Boutilier Taming Decentralized POMDPs: Towards Efficient Policy Computation for Multiagent Settings R. Nair, M. Tambe, M. Yokoo, D. Pynadath, and S. Marsella Cholula 6 Nonmonotonic Reasoning 2: Logic Programming Aggregate Functions in Disjunctive Logic Programming: Semantics, Complexity, and Implementation in DLV Tina Dell’Armi, Wolfgang Faber, Giuseppe Ielpa, Nicola Leone, and Gerald Pfeifer On Tight Logic Programs and Yet Another Translation from Normal Logic Programs to Propositional Logic Fangzhen Lin and Jicheng Zhao On the Equivalence between Answer Sets and Models of Completion for Nested Logic Programs Jia-Huai You, Li-Yan Yuan, and Mingyi Zhang Cholula 5 Planning 1 Generalizing GraphPlan by Formulating Planning as a CSP Adriana Lopez and Fahiem Bacchus On the application of least-commitment and heuristic search in temporal planning Antonio Garrido and Eva Onaindia In Defense of PDDL Axioms Sylvie Thiébaux, Jörg Hoffmann, and Bernhard Nebel Cholula 7 Diagnosis and MAS Coupling CSP Decomposition Methods and Diagnosis Algorithms for Tree-Structured Systems Markus Stumptner and Franz Wotawa Model-based Diagnosis of Hybrid Systems Sriram Narasimhan and Gautam Biswas On the Design of Social Diagnosis Algorithms for Multi-Agent Teams Meir Kalech and Gal A. Kaminka Cholula 2 4:00 - 5:30 pm Technical Sessions Case-based Reasoning Increasing Dialogue Efficiency in Case-Based Reasoning Without Loss of Solution Quality David McSherry A Weighted Polynomial Information Gain Kernel for Resolving Prepositional Phrase Attachment Ambiguities with Support Vector Machines Bram Vanschoenwinkel and Bernard Manderick The Power of Suggestion Barry Smyth and Lorraine McGinty Cholula 8 Satisfiability and Phase Transitions Understanding the Power of Clause Learning Paul Beame, Henry Kautz, and Ashish Sabharwal Phase Transitions of Bounded Satisfiability Problems Delbert D. Bailey and Phokion G. Kolaitis Phase Transitions of the Asymmetric Traveling Salesman Weixiong Zhang Cholula 3 Information Extraction 2 Intelligent Multimedia Indexing and Retrieval through Multi-source Information Extraction and Merging Jan Kuper, Horacio Saggion, Hamish Cunningham, Thierry Declerck, Franciska de Jong, Dennis Reidsma, Yorick Wilks, and Peter Wittenburg Coherent Keyphrase Extraction via Web Mining Peter D. Turney Bayesian Information Extraction Network Leonid Peshkin and Avi Pfeffer Cholula 1 Multi-Agent Systems 8: Logic-Based MAS and Communication Languages Protocol Conformance for Logic-Based Agents Ulrich Endriss, Nicolas Maudet, Fariba Sadri, and Francesca Toni Hidden Uncertainty in the Logical Representation of Desires Jérôme Lang, Leendert van der Torre, and Emil Weydert Constitutive Rules for Agent Communication Languages Jeremy Pitt Cholula 6 Nonmonotonic Reasoning 3 Recycling Computed Answers in Rewrite Systems for Abduction Fangzhen Lin and Jia-Huai You Answer Set Optimization Gerhard Brewka, Ilkka Niemelä, and Miroslaw Truszczynski Weak Conditional Logics of Normality James P. Delgrande Cholula 5 Planning 2 Factored Planning Eyal Amir and Barbara Engelhardt A Parametric Hierarchical Planner for Experimenting Abstraction Techniques Giuliano Armano, Giancarlo Cherchi, and Eloisa Vargiu Resource Temporal Networks: Definition and Complexity Philippe Laborie Cholula 7 Perception People Tracking with Anonymous and ID-Sensors Using Rao-Blackwellised Particle Filters Dirk Schulz, Dieter Fox, and Jeffrey Hightower Where is...? Learning and Utilizing Motion Patterns of Persons with Mobile Robots Grzegorz Cielniak, Maren Bennewitz, and Wolfram Burgard An Extension of the ICP Algorithm for Modeling Nonrigid Objects with Mobile Robots Dirk Hähnel, Sebastian Thrun, and Wolfram Burgard, Cholula 2 7:00 pm - 10:00 pm IJCAI Award for Research Excellence Lecture Adventures in Artificial Intelligence Nils J. Nilsson, Stanford University, USA Juan Ruiz Alarcón Theater Friday, August 15 9:00 - 10:00 am Invited Talk Self-reconfiguring Robots: Challenges and Successes Daniela Rus, Dartmouth University, USA Juan Ruiz Alarcón Theater Learning 7: Inductive Logic Programming Learning Minesweeper with Multirelational Learning Lourdes Peña Castillo and Stefan Wrobel Spaces of Theories with Ideal Refinement Operators Nicola Fanizzi, Stefano Ferilli, Nicola Di Mauro, and Teresa M. A. Basile Cholula 7 AI and Data Integration 2 Query rewriting and answering under constraints in data integration systems Andrea Calì, Domenico Lembo, and Riccardo Rosati Logic Programs for Consistently Querying Data Integration Systems Loreto Bravo and Leopoldo Bertossi Cholula 5 Natural Language 2 Evaluating Coverage for Large Symbolic NLG Grammars Charles B. Callaway GRAEL: an agent-based evolutionary computing approach for natural language grammar development Guy De Pauw Cholula 6 10:30 - 11:30 am Invited Talk Deploying Information Agents on the Web Craig Knoblock, University of Southern California, USA Juan Ruiz Alarcón Theater Vision Switching Hypothesized Measurements: A Dynamic Model with Applications to Occlusion Adaptive Joint Tracking Yang Wang, Tele Tan, and Kia-Fock Loe Use of Off-line Dynamic Programming for Efficient Image Interpretation Ramana Isukapalli and Russell Greiner Cholula 5 User Modeling A General Model for Online Probabilistic Plan Recognition Hung H. Bui Corpus-based, Statistical Goal Recognition Nate Blaylock and James Allen Cholula 6 Probabilistic Planning 1: Abstraction, Transfer Generalizing Plans to New Environments in Relational MDPs Carlos Guestrin, Daphne Koller, Chris Gearhart, and Neal Kanodia SMDP Homomorphisms: An Algebraic Approach to Abstraction in Semi-Markov Decision Processes Balaraman Ravindran and Andrew G. Barto Cholula 7 11:40 am - 12:40 pm Invited Talk Web Intelligence (WI): A New Paradigm for Developing the Wisdom Web and Social Network Intelligence Jiming Liu, Hong Kong Baptist University and Web Intelligence Consortium Juan Ruiz Alarcón Theater Description Logics 3 Non-Standard Reasoning Services for the Debugging of Description Logic Terminologies Stefan Schlobach and Ronald Cornet On the Undecidability of Description and Dynamic Logics with Recursion and Counting Piero A. Bonatti Cholula 5 Search 1 Faster Heuristic Search Algorithms for Planning with Uncertainty and Full Feedback Blai Bonet and Héctor Geffner An Improved Algorithm for Optimal Bin Packing Richard E. Korf Cholula 3 Probabilistic Planning 2 Covariant Policy Search J. Andrew Bagnell and Jeff Schneider Point-based value iteration: An anytime algorithm for POMDPs Joelle Pineau, Geoff Gordon, and Sebastian Thrun Cholula 7 12:40 – 2:00 pm Lunch 2:00 - 3:00 pm Invited Talk Intelligent Systems in Travel and Tourism Hannes Werthner, eCommerce and Tourism Research Lab (eCTRL) ITC-irst and University of Trento, Italy Juan Ruiz Alarcón Theater Multi-Agent Systems 9: Nonmanipulability and Fault-tolerance Universal Voting Protocol Tweaks to Make Manipulation Hard Vincent Conitzer and Tuomas Sandholm Probabilistically Survivable MASs Sarit Kraus, V. S. Subrahmanian, and N. Cihan Tas Minimally intrusive negotiating agents for resource sharing Fariba Sadri, Francesca Toni, and Paolo Torroni Cholula 6 Knowledge Representation 2 From Logic Programming Semantics to the Consistency of Syntactical Treatments of Knowledge and Belief Thomas Bolander Evaluating Significance of Inconsistencies Anthony Hunter Inverse Circumscription Hubie Chen Cholula 5 Satisfiability Backbone Guided Local Search for Maximum Satisfiability Weixiong Zhang, Ananda Rangan, and Moshe Looks Backdoors To Typical Case Complexity Ryan Williams, Carla P. Gomes, and Bart Selman A Structure-Based Variable Ordering Heuristic for SAT Jinbo Huang and Adnan Darwiche Cholula 7 Resource-bounded Reasoning Belief, Awareness, and Two-Dimensional Logic Hu Liu and Shier Ju Approximating Optimal Policies for Agents with Limited Execution Resources Dmitri A. Dolgov and Edmund H. Durfee Definition and Complexity of Some Basic Metareasoning Problems Vincent Conitzer and Tuomas Sandholm Cholula 8 4:00 - 5:30 pm Art and Creativity Getting Serious about the Development of Computational Humor Oliviero Stock and Carlo Strapparava Automated Generation of Graphic Sketches by Example Michelle X. Zhou and Min Chen A Learning-Based Jam Session System that Imitates a Player's Personality Model Masatoshi Hamanaka, Masataka Goto, Hideki Asoh, and Nobuyuki Otsu Cholula 2 Multiagent Systems 10 Detecting & Avoiding Interference Between Goals in Intelligent Agents John Thangarajah, Lin Padgham, and Michael Winikoff Behavior Bounding: Toward Effective Comparisons of Agents & Humans Scott A. Wallace and John E. Laird Characterization of Strategy/False-name Proof Combinatorial Auction Protocols: Price-oriented, Rationing-free Protocol Makoto Yokoo Cholula 6 Search 2 Comparing Best-First Search and Dynamic Programming for Optimal Multiple Sequence Alignment Heath Hohwald, Ignacio Thayer, and Richard E. Korf Sparse-Memory Graph Search Eric Hansen and Rong Zhou Factored A* Search for Models over Sequences and Trees Dan Klein and Christopher D. Manning Cholula 3 Scheduling Contract Algorithms and Robots on Rays: Unifying Two Scheduling Problems Daniel S. Bernstein, Lev Finkelstein, and Shlomo Zilberstein Distributed Patient Scheduling in Hospitals T. O. Paulussen, N. R. Jennings, K. S. Decker, and A. Heinzl Maximizing Flexibility: A Retraction Heuristic for Oversubscribed Scheduling Problems Laurence A. Kramer and Stephen F. Smith Cholula 5 Reasoning about Actions and Change 2 Action representation and partially observable planning using epistemic logic Andreas Herzig, Jérôme Lang, and Pierre Marquis The Concurrent, Continuous FLUX Yves Martin Causal Theories of Action: A Computational Core Jérôme Lang, Fangzhen Lin, and Pierre Marquis Cholula 1 Ontologies and Foundations Integrity and Change in Modular Ontologies Heiner Stuckenschmidt and Michel Klein Tucking RCC in Cyc's Ontological Bed Pierre Grenon What is Artificial Intelligence? Psychometric AI as an Answer Selmer Bringsjord and Bettina Schimanski Cholula 8 Learning 8: Text and Web A Learning Algorithm for Web Page Scoring Systems Michelangelo Diligenti, Marco Gori, and Marco Maggini Does a New Simple Gaussian Weighting Approach Perform Well in Text Categorization? Giorgio Maria Di Nunzio and Alessandro Micarelli Learning to Classify Texts Using Positive and Unlabeled Data Xiaoli Li and Bing Liu Cholula 7 Technical Poster Program: The IJCAI-03 Technical Poster track is a new initiative, designed to promote new research ideas and to widen participation at the conference. The poster session will be held on Wednesday, August 13, 2:00 – 5:30 PM in the exhibit hall. Automated Reasoning; Active Probing Strategies for Problem Diagnosis in Distributed Systems Mark Brodie, Irina Rish, Sheng Ma, and Natalia Odintsova A Resolution Theorem for Algebraic Domains Pascal Hitzler A Novel Framework for Integrating Discrete Event System Control and Diagnosis Gregory Provan Assertion Application in Theorem Proving and Proof Planning Quoc Bao Vo, Christoph Benzmüller, and Serge Autexier Case-Based Reasoning; Case Base Adaptation Using Solution-Space Metrics Brian Knight and Fei Ling Woon Coverage-Optimized Retrieval David McSherry Explicit vs Implicit Profiling - A Case-Study in Electronic Programme Guides Derry O' Sullivan, Barry Smyth, and David Wilson Constraints; A Simulated Annealing Approach to the Travelling Tournament Problem A. Anagnostopoulos, L. Michel, P. Van Hentenryck, and Y. Vergados Grid-based Sensor DCSP R. Béjar, C. Domshlak, C. Fernàndez, C. Gomes, B. Selman, and M. Valls Dynamic Vehicle Routing with Stochastic Requests Russell Bent and Pascal Van Hentenryck Solving Finite Domain Constraint Hierarchies by Local Consistency and Tree Search Stefano Bistarelli, Philippe Codognet, H. K. C. Hui, and Jimmy Lee Splitting the atom: A new approach to Neighbourhood Interchangeability in Constraint Satisfaction Problems James Bowen and Chavalit Likitvivatanavong Efficient Representation of Adhoc Constraints Kenil C. K. Cheng, Jimmy H. M. Lee, and Peter J. Stuckey Propagation Redundancy for Permutation Channels C. W. Choi, J. H. M. Lee, and P. J. Stuckey Channeling Constraints and Value Ordering in the QuasiGroup Completion Problem Ivàn Dotú, Alvaro del Val, and Manuel Cebrián Making the Breakout Algorithm Complete Using Systematic Search Carlos Eisenberg and Boi Faltings Sampling Combinatorial Spaces Using Biased Random Walks Jordan Erenrich and Bart Selman Finite Domain Constraint Solver Learning Arnaud Lallouet, Thi-Bich-Hanh Dao, Andreï Legtchenko, and AbdelAli Ed-Dbali Applying interchangeability techniques to the distributed breakout algorithm Adrian Petcu and Boi Faltings Temporal Reasoning with Preferences and Uncertainty N. Yorke-Smith, K. B. Venable, and F. Rossi EVOC: A Music Generating System using Genetic Algorithms Timothy Weale and Jennifer Seitzer Knowledge Representation; BDIOCTL: Obligations and the Specification of Agent Behavior Jan Broersen, Mehdi Dastani, and Leendert van der Torre Prolegomenon to a Theory of Conservative Belief Revision James P. Delgrande, Abhaya C. Nayak and Maurice Pagnucco Extending DTGOLOG with Options A. Ferrein, Ch. Fritz, and G. Lakemeyer Indirect and Conditional Sensing in the Event Calculus Jeremy Forth Proactive Dialogue for Interactive Knowledge Capture Jihie Kim and Yolanda Gil Coherence of Laws Rex Kwok, Norman Y. Foo, and Abhaya C. Nayak An Epistemic Logic for Arbitration Churn-Jung Liau Constructing utility models from observed negotiation actions Angelo Restificar and Peter Haddawy Engineering a complex ontology with time Jorge Santos and Steffen Staab A Logic-Based Algorithm for Image Sequence Interpretation and Anchoring Paulo Santos and Murray Shanahan Information Retrieval & Data Mining; Learning Consumer Photo Categories for Semantic Retrieval Joo-Hwee Lim and Jesse S. Jin Intelligent Multimodal Stream Processing Mark Maybury Collaborative Web Search Barry Smyth, Evelyn Balfe, Peter Briggs, Maurice Coyle, and Jill Freyne A Statistical Model for Flexible String Similarity Atsuhiro Takasu Mining Video Associations for Efficient Database Management Xingquan Zhu and Xindong Wu Machine Learning; A Learning Algorithm for Localizing People Based on Wireless Signal Strength that Uses Labeled and Unlabeled Data Mary Berna, Brennan Sellner, Brad Lisien, Sebastian Thrun, Geoffrey Gordon, and Frank Pfenning Learning to Compete in Heterogeneous Web Search Environments Rinat Khoussainov and Nicholas Kushmerick Approximate Policy Iteration using Large-Margin Classifiers Michail G. Lagoudakis and Ronald Parr Active Learning with Ensembles for Image Classification H. Liu, A. Mandvikar, P. Foschi, and K. Torkkola Item Selection Strategies for Collaborative Filtering Rachael Rafter and Barry Smyth Modular self-organization for a long-living autonomous agent Bruno Scherrer Towards a Theoretical Framework for Ensemble Classification Alexander K. Seewald Multiple-Goal Reinforcement Learning with Modular Sarsa(0) Nathan Sprague and Dana Ballard Integrating Background Knowledge into Text Classification Sarah Zelikovitz and Haym Hirsh Parametric Distance Metric Learning with Label Information Zhihua Zhang, James T. Kwok, and Dit-Yan Yeung Multiagents; Network Meta-Reasoning for Information Assurance in Mobile Agent Systems Donovan Artz, Max Peysakhov, and William Regli Towards Cooperative Negotiation for Decentralized Resource Allocation in Autonomic Computing Systems Craig Boutilier, Rajarshi Das, Jeffrey O. Kephart, and William E. Walsh A Formalization of Equilibria for Multiagent Planning Michael Bowling, Rune Jensen, and Manuela Veloso Bidding Marginal Utility in Simultaneous Auctions Amy Greenwald NoA - A Normative Agent Architecture Martin J. Kollingbaum and Timothy J. Norman A heuristic model for concurrent bi-lateral negotiations in incomplete information settings Thuc Duong Nguyen and Nicholas R. Jennings Imitation Learning of Team-play in Multiagent System based on Hidden Markov Modeling Itsuki Noda Virtual World as Interface for Human-Robot Interaction Eric Normand and Sheila Tejada Learning Algorithms for Software Agents in Uncertain and Untrusted Market Environments Thomas Tran and Robin Cohen A Multi-Agent Computational Linguistic Approach to Speech Recognition Michael Walsh, Robert Kelly, Gregory M. P. O'Hare, Julie Carson-Berndsen, and Tarek Abu-Amer Natural Language; The Knowledge Required to Interpret Noun Compounds James Fan, Ken Barker, and Bruce Porter Improving Word Sense Disambiguation in Lexical Chaining Michel Galley and Kathleen McKeown A Revised Algorithm for Latent Semantic Analysis Xiangen Hu, Zhiqiang Cai, Max Louwerse, Andrew Olney, Phanni Penumatsa, Art Graesser, and TRG Identifying Synonyms among Distributionally Similar Words Dekang Lin, Shaojun Zhao, Lijuan Qin, and Ming Zhou A Logic Prover for Text Processing Dan Moldovan and Christine Clark Inducing criteria for lexicalization parts of speech using the Cyc KB Tom O'Hara, Michael Witbrock, Bjørn Aldag, Stefano Bertolo, Nancy Salay, Jon Curtis, and Kathy Panton Neural Networks; Neural Executive Attentional Control in Robots Jason Garforth, Sue McHale, and Anthony Meehan Boosting Face Identification in Airports Liu Jiang Jimmy and Kia-Fock Loe Action Selection for Single- and Multi-Robot Tasks Using Cooperative Extended Kohonen Maps Kian Hsiang Low, Wee Kheng Leow and Marcelo H. Ang Jr. Artificial Neural Network for Sequence Learning Sorin Moga and Philippe Gaussier Planning; Comparison of Different Abstractions for Pathfinding on Maps Yngvi Björnsson, Markus Enzenberger, Robert Holte, Jonathan Schaeffer, and Peter Yap Multiagent Planning with Partially Ordered Temporal Plans Michael Brenner Recognizing Plan/Goal Abandonment Christopher W. Geib and Robert P. Goldman Automated Generation of Understandable Contingency Plans Max Horstmann and Shlomo Zilberstein A Planning Algorithm for Predictive State Representations Masoumeh T. Izadi and Doina Precup Parallelizing State Space Plans Online Romeo Sanchez Nigenda and Subbarao Kambhampati A lookahead strategy for solving large planning problems Vincent Vidal Using Available Memory to Transform Graphplan's Search Terry Zimmerman and Subbarao Kambhampati Search; Lookahead Pathologies for Single Agent Search Vadim Bulitko, Lihong Li, Russ Greiner, and Ilya Levner Real-Time Strategy Games: A New AI Research Challenge Michael Buro Multiple Agents Moving Target Search Mark Goldenberg, Alexander Kovarsky, Xiaomeng Wu, and Jonathan Schaeffer Delayed Duplicate Detection Richard E. Korf A Portfolio Approach to Algorithm Selection Kevin Leyton-Brown, Eugene Nudelman, Galen Andrew, Jim McFadden, and Yoav Shoham A New Node Centroid Algorithm for Bandwidth Minimization Andrew Lim, Brian Rodrigues, and Fei Xiao Combining Two Local Search Approaches to Hypergraph Partitioning Arathi Ramani and Igor Markov Vision & Robotics; A New Content Based Image Retrieval Method Based on a Sketch-Driven Interpretation of Line Segments Marco Anelli, Alessandro Micarelli, and Enver Sangineto Towards Pervasive Robotics Artur M. Arsenio A Visual-Sensor Model for Mobile Robot Localisation Matthias Fichtner and Axel Großmann Improving Speech Recognition on a Mobile Robot Platform through the use of Top-Down Visual Queues Robert J. Ross, R. P. S. O'Donoghue and G. M. P. O'Hare Comparing image-based localization methods Robert Sim and Gregory Dudek Quantum Computation and Image Processing: New Trends in Artificial Intelligence S. E. Venegas-Andraca and S. Bose Exhibition Program: The exhibition will be held in the Chichen-Itza Hall on the bottom level of the Acapulco Convention Center, Tuesday, August 12 through Thursday, August 14. Admittance is restricted to badged conference attendees. Exhibits Only registration is available at the onsite registration desk on the first level of the Acapulco Convention Center. EXHIBIT HOURS Tuesday, August 12 10:00 AM – 6:00 PM Wednesday, August 13 10:00 AM – 6:00 PM Thursday, August 14 10:00 AM – 4:30 PM EXHIBITORS ActivMedia Robotics, LLC AI Topics - the AAAI Pathfinder Applied AI Systems, Inc. European Coordination Committee for Artificial Intelligence (ECCAI) Franz Inc. iRobot Corporation The MIT Press Morgan Kaufmann Publishers, an imprint of Elsevier NASA Ames Research Center Naval Research Laboratory Springer-Verlag New York, Inc. University of Alberta, Alberta Ingenuity Centre for Machine Learning BOOTH #101 ActivMedia Robotics, LLC 19 Columbia Drive Amherst, NH 03031 USA robots@activmedia.com BOOTH #106 AI Topics - the AAAI Pathfinder Webmaster: Jon Glick Website: www.aaai.org/aitopics E-mail: aitopics03@aaai.org AI TOPICS has something for everyone and that means that you have a great reason to visit our exhibit. Enjoy a guided tour of our flagship AI TOPICS website: a dynamic online library for students, teachers, journalists, and others in need of introductory information about what artificial intelligence is and what AI scientists do. Check out our AI ALERT newsletter, peruse our "AI in the news" column in AI Magazine, and spend some time just exploring & enjoying our many exciting resources. If you already know what we do, then please use this opportunity to let us know how we are doing by stopping by to share your comments, concerns, ideas and suggestions. BOOTH #113 Applied AI Systems, Inc. 3232 Carp Road, RR 2 Carp, Ontario K0A 1L0 Canada Applied AI Systems, Inc. (AAI) is an R&D company dedicated to intelligent robotics based on New AI (e.g., Subsumption Architecture, Evolutionary Robotics, Embodied Computation). We also represent K-Team SA and Cyberbotics SA throughout the world. At our booth we will be demonstrating Khepera II, Koala, and OCT-1c robots and Webots simulation software, along with some of the many options and accessories. Knowledgeable research engineers will be available to discuss the robots and application areas. Video of other larger robots and their application such as transportation for the elderly, intelligent wheelchairs for the disabled, and movement of heavy materials autonomously in construction or farming industry will be shown. BOOTH #104 European Coordinating Committee for Artificial Intelligence (ECCAI) 1 Michaelson Square Livingston EH54 7DP United Kingdom ECCAI: The European Coordinating Committee for Artificial Intelligence (ECCAI) is the umbrella organisation for the national AI societies throughout Europe. ECCAI brings together 27 member AI societies from 25 countries, from Russia in the east to Portugal in the west. The aggregate membership is over 5,000 AI practitioners. The ECCAI stand will display information on these societies, their activities and AI Conferences organised in many of the European countries. ECCAI also organises ECAI, the bi-annual European Conference on Artificial Intelligence, the largest AI conference in Europe. ECAI-04 will be in Valencia, Spain in August 2004. BOOTH #121 Franz Inc. 555 12th Street, Suite 1450 Oakland, CA 94611 USA (510) 452-2000 Franz Inc. produces Allegro CL®, a complete, cross-platform development environment powered by the Common Lisp Object System. Its dynamic object-oriented technology allows developers to create leading edge, mission-critical applications that are robust, and easy to evolve and deploy. Ideal for Dynamic Servers, Manufacturing Scheduling and Control, Knowledge Management and more. BOOTH #103 The MIT Press 5 Cambridge Center Cambridge, MA 02142 http://mitpress.mit.edu The MIT Press is one of the leading publishers in the field of Artificial Intelligence. We are pleased to offer a wide range of our publications at a conference discount of 20%. BOOTH #116 iRobot Corporation 37 Wilton Road Milford, NH 03055 888-7ROBOTS or 603-654-3400 Inspire. Encourage. Enable. iRobot's team of dedicated engineers, software developers and production specialists embrace creativity, innovative thinking and cutting-edge technology to design and build a family of versatile, rugged, fully integrated mobile robot systems. The revolutionary Mobility “Robot Integration Software and rFLEX” Robot Control Architecture drive the entire family of research robot platforms, providing seamless, top-to-bottom integration along with clear, intuitive migration paths among platforms. iRobot's mission is to provide robot development tools that inspire, encourage and enable advances in robotics. Stop by to see and these great red machines in actions. www.irobot.com BOOTH #107 Morgan Kaufmann Publishers 340 Pine Street San Francisco, CA 94104 415-392-2665 Morgan Kaufmann Publishers, an imprint of Elsevier Science, publishes a distinguished list of titles in artificial intelligence. This year we are pleased to announce the publication of Constraint Processing by Rina Dechter, and the 7th volume in the prestigious series, Foundations of Genetic Algorithms. In addition to our extensive backlist, we will be displaying draft manuscripts of forthcoming graduate level texts. BOOTH #102 Naval Research Laboratory 4555 Overlook Ave SW Washington, DC 20745 202 767-2685 NRL's Navy Center for Applied Research in Artificial Intelligence (NCARAI) presents work in several areas of AI. These areas include computer vision, human computer interaction, multi-modal multimedia communication, natural language understanding, case-based reasoning, spatial reasoning, and machine learning of cooperative control for multi-robot systems. Results from these research areas are being integrated with the mobile robotics effort to develop intelligent robots, which use adjustable autonomy and adaptation to perform a variety of tasks given input from a natural user interface. Current research will be demonstrated through NRL's participation in the joint GRACE robot entry in the AAAI Challenge. BOOTH #117 Springer-Verlag New York, Inc. 175 Fifth Avenue New York, NY 10010 USA info@springer-ny.com +1-212-460-1500 Springer-Verlag is known for publishing essential books and journals in artificial intelligence. Stop by our booth and save 20% on all our titles. BOOTH #105 University of Alberta Alberta Ingenuity Centre for Machine Learning 2-21 Athabasca Hall Edmonton, Alberta T6G 2E8 Canada The Trading Agent Competition (TAC’03): Come and watch the latest trading agent technologies developed by AI teams from around the world as they compete with one another. This year’s edition of TAC features two competitions: TAC Classic: Travel agents compete with one another while trying to put together travel packages that maximize the utilities of their customers. TAC SCM: This is a brand new competition that revolves around a dynamic supply chain trading scenario where PC manufacturers compete against one another for customer orders and supplies. The game is played over a simulated period of 250 days. You can follow in real time how agents are doing, looking at their order books, inventory positions, bank accounts, etc. Registration: Conference registration will take place in the Huitzuco Room on the first level of the Acapulco Convention Center, beginning Saturday, August 9. Registration hours are Saturday, August 9 7:30 AM – 6:00 PM Sunday, August 10 7:30 AM – 6:00 PM Monday, August 11 7:30 AM – 6:00 PM Tuesday, August 12 8:00 AM – 6:00 PM Wednesday, August 13 8:30 AM – 6:00 PM Thursday, August 14 8:30 AM – 6:00 PM Friday, August 15 8:30 AM – 12:00 PM VISA, MasterCard, American Express, government purchase orders, traveler’s checks, and Mexican currency will be accepted. We cannot accept foreign currency or checks drawn on foreign banks. Only Mexican pesos will be accepted as cash payment. Registration Fees; Your IJCAI-03 program registration includes admission to all technical paper sessions, invited talks and panels, the IJCAI-03 Exhibition, the IJCAI-03 opening ceremony and reception, the IJCAI-03 conference proceedings, and the IAAI-03 conference and proceedings. Students must present proof of full-time student status to qualify for student rate. Onsite technical fees are Onsite Regular $8,250 Mexican Pesos Onsite Student $2,575 Mexican Pesos Tutorial Program; August 10 – 11 Registrants for the IJCAI-03 technical program are encouraged to participate in the tutorial program at the fees listed below. Prices quoted are per tutorial. Your tutorial program registration includes admittance to one tutorial, the IJCAI-03 Exhibition, and one tutorial syllabus. Prices quoted are per tutorial. A maximum of four may be taken due to parallel schedules. Onsite tutorial fees are Onsite Regular $2,525 Mexican Pesos Onsite Student $1,135 Mexican Pesos It is also possible to attend tutorials without registering for the IJCAI technical program at the following fees Tutorial Only Regular $3,095 Mexican Pesos Tutorial Only Student $1,285 Mexican Pesos Workshop Program; August 9 – 11 Workshop registration is limited to those active participants determined by the organizer prior to the conference. All IJCAI-03 workshop participants must be registered for the IJCAI-03 technical program. An additional workshop fee is required for each workshop attended. Registration onsite for a workshop is possible with the prior permission of the corresponding workshop organizer. Your workshop registration includes admittance to one workshop and the working notes for that workshop (if available). One-Day Workshop Regular Fee $875 Mexican Pesos Two-Day Workshop Regular Fee $1,600 Mexican Pesos One-Day Workshop Student Fee $720 Mexican Pesos Two-Day Workshop Student Fee $1,235 Mexican Pesos IJCAI-03 Banquet; August 13 The IJCAI-03 Banquet will be held at the Hyatt Regency Acapulco (see page 16). Banquet Fee $520 Mexican Pesos Accompanying Persons Accompanying persons are entitled to attend the Official Opening Ceremony, the Opening Reception and visit the IJCAI-03 Exhibition. Accompanying person Fee $775 Mexican Pesos Exhibition; Admission to the exhibition hall programs is included in the technical program registration. For individuals interested in admittance to the exhibit hall only, an exhibits only registration is available in onsite registration. The fee is $105 Mexican Pesos per person and $50 Mexican Pesos for children. Exhibit hall programs include vendor exhibits, the AAAI Mobile Robot Competition and Exhibition, the AAAI Intelligent Systems Demonstrations and the Trading Agents Competition. The AAAI Mobile Robot Competition and Exhibition: The Twelfth AAAI Robot Competition and Exhibition will be held in the Chichen-Itza Hall of the Acapulco Convention Center, and will be open to registered conference attendees during exhibit hours. The Robot Competition and Exhibition brings together teams from colleges, universities and other research laboratories to compete, and also to demonstrate state-of-the-art research in robotics and AI. The goals of the Competition and Exhibition are to * Foster the sharing of research ideas and technology * Allow research groups to showcase their achievements * Encourage students to enter the fields of robotics and AI * Increase awareness of the field COMPETITION The competition allows teams to show off their best attempts at solving common tasks in a competitive environment. Teams compete for place awards as well as for technical innovation awards, which reward particularly interesting solutions to problems. There will be three contest events this year: Robot Host, Robot Rescue, and the Robot Challenge. EXHIBITION The exhibition gives researchers an opportunity to demonstrate state-of-the-art research in a less structured environment. Exhibits are scheduled throughout the exhibition hall hours. WORKSHOP The robot events culminate with a workshop where participants describe the research behind their entries. GENERAL CHAIRS Bruce Maxwell, Swarthmore College, and Bill Smart, Washington University at Saint Louis CHALLENGE CHAIR Ashley Stroupe, Carnegie Mellon University RESCUE COMPETITION COCHAIRS Jenn Casper, American Standard Robotics, Brian Weiss, NIST, and Adam Jacoff, NIST HOST COMPETITION CHAIR Tom Lauwers, Carnegie Mellon University EXHIBITION CHAIR Dan Stormont, Utah State University MOBILE ROBOT WORKSHOP CHAIR Magda Bugajska, Naval Research Laboratory Schedule; (All events will take place in Chichen-Itza Hall on the lower level of the Acapulco Convention Center, except where noted.) TUESDAY, AUGUST 12 10:00 am – 6:00 pm Robot Exhibition Robot Rescue Robot Host: Chichen-Itza, and outside technical sessions WEDNESDAY, AUGUST 13 10:00 am – 1:00 pm Robot Rescue Robot Exhibition 10:00 am - 6:00 pm Robot Host: Chichen-Itza and outside technical sessions Robot Challenge: Throughout convention center THURSDAY, AUGUST 14 10:00 am - 3:00 pm Robot Rescue Robot Exhibition Robot Host Robot Challenge: Throughout convention center 3:30 pm - 4:00 pm Robot Parade and Awards Ceremony FRIDAY, AUGUST 15 9:00 am - 3:30 pm Robot Workshop (by invitation only): Cholula 9 Team Participants; ALCOR GROUP: ROBOT RESCUE Fiora Pirri, Massimiliano Cialente, Andrea Carbone, Ivo Mentuccia, Marco Pirrone, Massimo Romano, Sandro Storri, Giorgio Ugazio, DIS – Las Sapienza University of Rome (Italy) AURORA ROBOTICS: ROBOT RESCUE, EXHIBITION Zain Asgar, Eliot Estrine, and Chris Fisher, Eden Prairie High School BLUE SWARM 2.5: ROBOT RESCUE Dan Stormont, Asti Bhatt, Brandon Boldt, and Scott Skousen, Utah State University CEDRA: ROBOT RESCUE Ali Meghdari, Center of Excellence in Design, Robotics & Automation GRACE TEAM: ROBOT CHALLENGE Reid Simmons, Allison Bruce, Dani Goldberg, Mike Montemerlo, Rashmi Patel, and Brennan Sellner, Carnegie Mellon University; Alan Schultz, William Adams, Magda Bugajska, Matt MacMahon, Jessica Mink, Dennis Perzanowski, Stephanie Rosenthal, and Scott Thomas, Naval Research Laboratory; Bruce Maxwell, Swarthmore College; David Kortenkamp, Scott Bell, Tod Milam, and Bryn Wolfe, Metrica, Inc.; and Ian Horswill and Robert Zubek, Northwestern University INEEL: ROBOT RESCUE Douglas Few and David Bruemmer, Idaho National Engineering and Environmental Laboratory KEYSTONE RESCUE: ROBOT RESCUE Jacky Baltes, University of Manitoba MARIO AND CO: ROBOT RESCUE Bruce Maxwell, Nick Ward, Fritz Heckel, and Oliver Hsu, Swarthmore College STONY BROOK ROBOT DESIGN TEAM: ROBOT CHALLENGE, ROBOT HOST, EXHIBITION Diana David, Zion Adika, Vitaly Bokser, Zeynep Altinbas, Richard Spillane, Divya Dinesh, Nga Lai, Edmond Hakimian, and Liu Yang, Stony Brook University UNDERGRADUATE ROBOTICS TEAM: ROBOT RESCUE, ROBOT HOST, EXHIBITION Thomas Kollar, Jonathan Schmid, Eric Meisner, Diana Calarese, Jenine Turner, Chiquita Purav, Dasun Peramunage, and Micha Elsner, University of Rochester UNIVERSITY OF NEW ORLEANS ROBOTICS TEAM: ROBOT RESCUE Sheila Tejada, Andy Cristina, Priscilla Goodwyn, Eric Normand, Ryan O'hara, Seema Sharma, and Shahrukh Tarapore, University of New Orleans WASHINGTON UNIVERSITY TEAM: ROBOT CHALLENGE, EXHIBITION Bill Smart, Zachary Byers, Michael Dixon, Nik Melchior, Ashwin Srinivas, and Joe Tucek, Washington University Preliminary Demonstration Schedule; Tuesday, August 12, 10:00 - 10:30 am Booth D1 Broadcast News Navigator (BNN) Mark Maybury, MITRE Corporation (USA) Booth D3 GSTP: A Temporal Reasoning System Supporting Multi-Granularity Temporal Constraints Claudio Bettini, Sergio Mascetti and Vincenzo Pupillo, University of Milan (Italy) 3:30 - 4:00 pm Booth D2 Comparing Different Cognitive Paradigms with a Virtual Laboratory Carlos Gershenson, Centrum Leo Apostel, Vrije Universiteit Brussel (Belgium) Booth D5 Liaison Agents for Distributed Space Operations D. Schreckenghost, P. Bonasso, D. Kortenkamp, C. Martin, T. Milam, C. Thronesbery, NASA Johnson Space Center, Texas Robotics & Automation Laboratories (TRACLabs), (USA) Wednesday, August 13, 10:00 - 10:30 am Booth D9 Writer's Aid: Using a Planner in a Collaborative Interface T. Babaian, Bentley College; B.J. Grosz, and S.M. Shieber, Harvard University (USA) Booth D6 Sensible Agent Technology Improving Coordination and Communication in Biosurveillance Domains K. S. Barber, D. Faith, K. Fullam, T. Graser, D. Han, J. Jeong, J. Kim, D. Lam, R. McKay, M. Pal, J. Park, M. Vanzin, The Laboratory for Intelligent Processes and Systems, University of Texas at Austin (USA) 2:00 - 5:30 pm IJCAI-03 Technical Poster session, Exhibit Hall All demos available part-time Thursday, August 14, 10:00 - 10:30 am Booth D8 Towards Domain-Independent, Task-Oriented, Conversational Adequacy Darsana Josyula, Michael L. Anderson and Don Perlis, University of Maryland (USA) Booth D4 Interactive Spoken Simulation Control and Conversational Tutoring Karl Schultz, Center for the Study of Language and Information - Stanford University (USA) 3:30 - 4:00 pm Booth D7 TAGA: Travel Market Framework in Agentcities Youyong Zuo, University of Maryland, Baltimore County (USA) Booth D10 Autonomous Science on the EO 1 Spacecraft Steve Chien, Jet Propulsion Laboratory (USA) Intelligent Systems Demonstrations: This year marks the first year for the Intelligent Systems Demonstration program at IJCAI. This program showcases state-of-the-art AI implementations and provides AI researchers with an opportunity to show their research in action. The program is intended to highlight innovative contributions to the science of AI with an emphasis on the benefits to be gained from developing and using implemented systems in AI research. This year's demonstrations include web technologies, intelligent agents, reasoning engines, and collaborative and conversational systems, in domains ranging from space exploration to travel agencies to writing technical papers. System builders will be on hand to present their work, and audience interaction with the systems is encouraged as much as possible. Demonstrations will be available during morning and afternoon breaks in the technical program, as well as during the poster session on Wednesday (please see schedule below). Demonstrations are also available either on demand or by appointment, so please stop by the Exhibit Hall and find out what people are doing. The Intelligent Systems Demonstrations will be held in Chichen-Itza Hall of the Acapulco Convention Center and will be open to registered conference attendees during exhibit hours. IJCAI-05 Edinburgh, Scotland: July 31 – August 5, 2005 IJCAI-05, the Nineteenth International Joint Conference on Artificial Intelligence, will be held July 31 – August 15, 2005 in Edinburgh, Scotland. This is just prior to the world-renowned Edinburgh International Arts Festival. We are looking forward to having the conference back in the United Kingdom after more than 30 years. It is sponsored by the International Joint Conference on Artificial Intelligence (IJCAI). Fausto Giunchiglia, University of Trento, will be the IJCAI-05 Conference Chair, and Leslie Pack Kaelbling, MIT, will be the IJCAI-05 Program Chair. Rob Milne, Intelligent Applications, Ltd., will be the Local Arrangements Chair. For further information, contact one of the following; Fausto Giunchiglia Conference Chair, IJCAI-05 Department of Information and Communication Technology University of Trento 38050 Provo, Trento Italy fausto@dit.unitn.it Leslie Pack Kaelbling Massachusetts Institute of Technology NE43-765 200 Technology Square Cambridge, MA 01239-4307 lpk@ai.mit.edu Dr. Robert Milne Intelligent Applications, Ltd. 1 Michaelson Square Livingston, W. Lothian, EH54 7DP Scotland, UK rmilne@bcs.org.uk Dr. Ramasamy Uthurusamy IJCAI-Secretary-Treasurer: Information Systems and Services General Motors Corporation Mail Code 482-B29-D84 200 Renaissance Center Detroit, MI 48265-2000 USA samy@gm.com General Information: ADMISSION Each conference attendee will receive a name badge upon registration. This badge is required for admittance to the technical, tutorial, exhibit, IAAI, or workshop programs. Smoking, drinking, and eating are not allowed in any of the technical, tutorial, workshop, and IAAI rooms. ADMINISTRATIVE OFFICES The IJCAI offices will be in the Chilapa rooms on the main level of the Acapulco Convention Center. BANKING AND CURRENCY EXCHANGE FACILITIES Foreign currency can be exchanged into pesos in banks, major hotels, airports and exchange houses. Banks are generally open from 9:00 AM – 2:30 PM on weekdays. Exchange houses are open longer and offer quicker services. CURRENCY Mexican peso. The exchange rate fluctuates daily. Approximate rates of exchange at the beginning of June were: 1 American Dollar = 10.73 Mexican Pesos 1 Australian Dollar = 7.06 Mexican Pesos 1 British Pound = 17.84 Mexican Pesos 1 Canadian Dollar = 7.89 Mexican Pesos 1 Euro = 12.55 Mexican Pesos 1 Indian Rupee = .23 Mexican Pesos 1 Japanese Yen = .09 Mexican Pesos CAREER INFORMATION A bulletin board for job opportunities in the artificial intelligence industry will be made available in the registration area on the first level of the Acapulco Convention Center. Attendees are welcome to post job descriptions of openings at their company or institution. CHILD CARE Babysitting and childcare services are available through the Hyatt Regency Acapulco. Arrangements can be made with the concierge or when making hotel reservations. The rates are approximately $93 Mexican Pesos for the first hour, and $52 Mexican Pesos for the following hours. This information is for your convenience, and does not represent an endorsement or recommendation by IJCAI-03 and its sponsors. COPY SERVICES Copy service is available at Office Max near the Acapulco Convention Center. It is located at Av. Costera Miguel Aleman #2328, Col. Club Deportivo, Sector Lomas C.P. 39926. The hours are Monday-Sunday from 8:00 am – 10:00 pm. Phone: +52 7444 813865 CREDIT CARDS Mastercard, Visa and American Express, and travelers checks are accepted at most establishments. It is recommended that you make major purchases with a credit card because you automatically receive the bank rate of exchange. GENERAL BUSINESS HOURS Most stores are open from 10:00 AM – 10:00 PM daily in the hotel zone. Stores downtown may close between 2:00 and 4:00 PM and on Sundays. HOUSING For information regarding hotel reservations, please contact the hotels directly. INFORMATION DESK An information desk and message board will be staffed during registration hours, Saturday – Friday, August 9 – 15. It is located near the registration area on the first level of the Acapulco Convention Center. INTERNET ROOM Internet access will be provided in the Huitzuco Room on the first level of the Acapulco Convention Center. The room will be open from 8:00 AM - 6:00 PM, August 9 – 12, 8:30 AM – 6:00 PM, August 13 – 14, and 8:30 AM - 12:00 PM, August 15. As a courtesy, please limit your access time to 5-10 minutes if others are waiting to use the service. LANGUAGE Spanish is the official language of Mexico. English is widely spoken and understood. LIST OF ATTENDEES A list of preregistered attendees of the conference will be available for review at the IJCAI-03 registration area on the first level of the Acapulco Convention Center. Attendee lists will not be distributed. MAIL Post offices are open from 8:00 AM – 6:00 PM, Monday through Friday. Package and courier services – both local and international such as Federal Express, Estafeta and DHL, have offices in Acapulco. MESSAGE CENTER See Information Desk. PARKING Parking is available at the Acapulco Convention Center. There is no charge for parking. PHONE CALLS Public phones (LADATEL) in Mexico require a phone card, easily available at almost any establishment, in denominations of 20 pesos to 100 pesos. Many U.S. long-distance phone companies have access numbers in order to use your phone card. Calls may be less expensive than direct-dialed calls from your hotel room. PRESS All members of the media are requested to register in the Press Room, in the Huitzuco Room on the first level of the Acapulco Convention Center. Press badges will only be issued to individuals with approved credentials. The Press Room will be open during the following hours. Sunday, August 10 8:00 AM – 5:00 PM Monday, August 11 8:00 AM – 5:00 PM Tuesday, August 12 8:00 AM – 5:00 PM Wednesday, August 13 8:30 AM – 5:00 PM Thursday, August 14 8:30 AM – 5:00 PM An IJCAI-03 volunteer will be on duty during press room hours to assist the members of the press and media. PRINTED MATERIALS Display tables for the distribution of promotional and informational materials of interest to conference attendees will be located in the registration area on the first level of the Acapulco Convention Center. PROCEEDINGS Each registrant for the IJCAI-03 technical program and for IAAI-03 will receive a ticket with the registration materials for one copy of each of the conference proceedings. Proceedings tickets must be redeemed during registration hours at the proceedings counter in onsite registration, Saturday, August 9 – Friday, August 15. Neither Morgan Kaufmann nor AAAI will be able to ship proceedings after the conference. All proceedings must be claimed onsite. Extra IJCAI-03 proceedings may be purchased onsite at the Morgan Kaufmann/Elsevier booth in the exhibit hall. Extra IAAI-03 proceedings may be purchased onsite in onsite registration. RESTAURANTS Lunches are not included in the registration fee. Coffee and tea will be served mornings and afternoons at several stations near the conference rooms. A cafeteria is located on the first level of the Acapulco Convention Center and is open from 11:00 AM – 4:00 PM. “Toks” restaurant is across from the Acapulco Convention and offers a variety of inexpensive, quick meal options. There are also several restaurants in downtown Acapulco. SPEAKER READY ROOM The Speaker Ready Room will be located in Cholula B on the bottom level of the Acapulco Convention Center. This room has audiovisual equipment to assist speakers with their presentations. It is important that speakers visit this room to organize their materials. The room will be open from 8:00 AM – 5:00 PM Saturday, August 9 – Thursday, August 14 and 8:00 AM – 12:00 PM, Friday, August 15. TAXES There is a 15 percent Value Added Tax (IVA), usually already included in the sales price, on all retail items except medicine. TELEPHONES Public telephones for domestic and international calls are located on the main level of the Acapulco Convention Center. TIPPING In general, a tip of 15 percent is given to waiters, waitresses, hairdressers, taxi drivers, etc. Bellhops, doormen, porters, etc., at hotels, airports and railway stations are generally paid $1.00 per item of luggage. TRANSPORTATION Taxi service is widely available throughout Acapulco. It is best to decide on a fare before the trip. The following fares are approximate. TAXI Taxis are available at the Acapulco International Airport. The fare from the airport to downtown Acapulco is approximately $165 Mexican Pesos. The fare from the Hyatt Regency Acapulco to the convention center is approximately $41 Mexican Pesos. TUTORIAL SYLLABI Extra copies of the IJCAI-03 tutorial syllabi will be available for purchase at onsite registration on the first level of the Acapulco Convention Center, beginning Monday, August 11. Supplies are limited. Preregistration tutorial syllabi tickets may be redeemed in the tutorial rooms. DISCLAIMER Disclaimer: In offering Hyatt Regency Acapulco, Camino Real Diamante, the Casa Inn, Acapulco Convention Center, Convention Center Group and all other service providers, (hereinafter referred to as "Supplier(s)") for the International Joint Conference on Artificial Intelligence, the Innovative Applications Conference, and the Conference on Uncertainty in Artificial Intelligence, IJCAI-03 sponsors act only in the capacity of agent for the Suppliers which are the providers of the service. Because the IJCAI-03 sponsors have no control over the personnel, equipment or operations of providers of accommodations or other services included as part of the IJCAI-03, IAAI-03, or UAI 2003 program, IJCAI-03 sponsors assume no responsibility for and will not be liable for any personal delay, inconveniences or other damage suffered by conference participants which may arise by reason of (1) any wrongful or negligent acts or omissions on the part of any Supplier or its employees, (2) any defect in or failure of any vehicle, equipment or instrumentality owned, operated or otherwise used by any Supplier, or (3) any wrongful or negligent acts or omissions on the part of any other party not under the control, direct or otherwise, of the IJCAI-03 sponsors. Meetings: IJCAI ANNUAL BUSINESS MEETING Thursday, August 14, 12:45 - 1:30 PM, in Cholula 1 of the Acapulco Convention Center. This meeting is open to all attendees. IJCAI EXECUTIVE COMMITTEE MEETING Wednesday, August 13, 1:30 - 5:00 PM, in the Huichol Room, 23rd floor, of the Hyatt Regency Hotel. IJCAI-03 PROGRAM AND POSTER COMMITTEE DINNER Tuesday, August 12, 7:00 - 10:00 PM, at local restaurant, TBA IJCAI TRUSTEES MEETING Sunday, August 10, 9:00 AM - 5:00 PM, in the Hornos Room, 1st floor, of the Hyatt Regency Acapulco. A continuation will take place Thursday, August 14, 8:30 AM - 12:00 PM in the same location. AAAI ANNUAL BUSINESS MEETING Wednesday, August 13, 12:45 -1:15 PM, in Cholula 1 of the Acapulco Convention Center. AAAI EXECUTIVE COUNCIL MEETING Monday, August 11, 9:00 AM - 5:00 PM, in the Huichol Room, 23rd floor, of the Hyatt Regency Acapulco. AAAI FELLOWS DINNER Tuesday, August 12, 7:30 - 10:00 PM, in the Numero Uno Ballroom, 23rd floor, of the Hyatt Regency Acapulco. AI JOURNAL EDITORIAL BOARD MEETING Tuesday, August 12, 12:30 - 2:00 PM, in the Huichol Room, 23rd floor, of the Hyatt Regency Acapulco. Lunch will be served. ECCAI FELLOWS BREAKFAST Wednesday, August 13, 7:00 - 8:30 AM, in the Maya Room, 23rd floor, of the Hyatt Regency Acapulco. INTERNATIONAL SOCIETY MEETING Thursday, August 14, 2:00 - 4:00 PM, in the Caleta Room, 1st floor, of the Hyatt Regency Acapulco. IAAI-03 PROGRAM COMMITTEE LUNCH Tuesday, August 12, 12:45 - 2:00 PM, Pipos Restaurant IFIP TC12 MEETING Tuesday, August 12, 2:00 - 5:00 PM, in Olinala C of the Acapulco Convention Center.