PROGRAMME IJCAI – 0 5 NINETEENTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE EDINBURGH, SCOTLAND 30 JULY – 5 AUGUST 2005 www.ijcai-05.org Sponsored by: INTERNATIONAL JOINT CONFERENCES ON ARTIFICIAL INTELLIGENCE (IJCAI) Hosted by: THE BRITISH COMPUTER SOCIETY SPECIALIST GROUP ON ARTIFICIAL INTELLIGENCE In Collaboration with: THE SCHOOL OF INFORMATICS, UNIVERSITY OF EDINBURGH In Partnership with: SCOTTISH ENTERPRISE AND THE BRITISH COMPUTER SOCIETY IJCAI – 0 5 WELCOME TO IJCAI-05 Dear Attendees, We are very pleased to welcome you all to IJCAI-05 and Edinburgh. We have put together an excellent technical program and exciting social events. We hope you will find IJCAI-05 to be a pleasant experience through significant technical and social interactions with your fellow AI researchers and practitioners from around the world. Edinburgh, the capital city of Scotland, is a city filled with historical sights and stories and hosts the world-famous Edinburgh International Festival immediately after IJCAI-05. It will be a very busy but enjoyable week. IJCAI-05, the Nineteenth International Joint Conference on Artificial Intelligence, is sponsored by the International Joint Conferences on Artificial Intelligence (IJCAI) and hosted by The British Computer Society Specialist Group on Artificial Intelligence and the School of Informatics, The University of Edinburgh and in Partnership with the British Computer Society and Scottish Enterprise. IJCAI sponsors biennial conferences on Artificial Intelligence, which are the premier 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, Washington, USA (2001) and Acapulco, Mexico (2003). IJCAI-07 will be held in Hyderabad, India during January 6-12, 2007. CONFERENCE OFFICIALS IJCAI-05 CONFERENCE COMMITTEE Conference Chair: Fausto Giunchiglia University of Trento (Italy) Assistant to Conference Chair: Elisabetta Nones University of Trento (Italy) Programme Chair: Leslie Pack Kaelbling Massachusetts Institute of Technology (USA) Assistant to Programme Chair: Teresa Coates Cataldo Massachusetts Institute of Technology (USA) Local Arrangements Chairs: Ann Macintosh Napier University (UK) Max Bramer University of Portsmouth (UK) Secretary-Treasurer: Ramasamy Uthurusamy General Motors Corporation (USA) Poster Track Chair: Alessandro Saffiotti Örebro University (Sweden) Tutorial Chair: Robert Givan Purdue University (USA) Workshop Chair: Carlos Guestrin Carnegie Mellon University (USA) LOCAL ARRANGEMENTS COMMITTEE: Sarit Kraus, Bar Ilan University (Israel) Regina Barzilay, Massachusetts Institute of Chairs: Ann Macintosh, Napier University and Tuomas Sandholm, Carnegie Mellon University Technology (USA) BCS-SGAI Vice Chair (USA) Ronen Brafman, Ben Gurion University (Israel) Max Bramer, University of Portsmouth and BCS- Rajeev Sangal, International Institute of Gerd Brewka, University of Leipzig (Germany) SGAI Chair Information Technology (India) Marco Cadoli, Universitá di Roma “La Sapienza” Ken Satoh, National Institute of Informatics (Italy) Eduardo Alonso, City University (Japan) Henrik Christensen, KTH Stockholm (Sweden) Ken Baird, University of Edinburgh Bruce Spencer, University of New Brunswick Susan Craw, The Robert Gordon University (UK) (Canada) Alan Bundy, University of Edinburgh Adnan Darwiche, University of California at Los Geoff Webb, Monash University (Australia) Frans Coenen, University of Liverpool Angeles (USA) Christopher Welty, IBM Watson Research Center Simon Colton, Imperial College Rina Dechter, University of California at Los (USA) Angeles (USA) Richard Ellis, Stratum Management Thierry Declerck, Deutsches Forschungszentrum Adrian Hopgood, Nottingham Trent University für Künstliche Intelligenz GmbH (Germany) Bob Howlett, University of Brighton IJCAI-05 PROGRAMME COMMITTEE: Luc DeRaedt, Institut für Informatik Freiburg Michael Rovatsos, University of Edinburgh Chair: Leslie Pack Kaelbling, Massachusetts (Germany) Alun Preece, University of Aberdeen Institute of Technology (USA) Pedro Domingos, University of Washington (USA) Patrick Prosser, University of Glasgow Thomas Eiter, Technische Universität Wien Nigel Shadbolt, University of Southampton Senior Programme Committee: (Austria) Austin Tate, University of Edinburgh Hector Geffner, Institucion Catalana de Recerca i Boi Faltings, Swiss Federal Institute of Technology Andrew Tuson, City University Estudis Avancats (ICREA) (Spain) (Switzerland) Ian Watson, University of Auckland Henry Kautz, University of Washington (USA) Nir Friedman, Hebrew University (Israel) Bonnie Webber, University of Edinburgh Stuart Russell, University of California Berkeley Ian Gent, University of St Andrews (UK) Richard Wheeler, University of Edinburgh (USA) Amy Greenwald, Brown University (USA) Geraint Wiggins, University of London Yoav Shoham, Stanford University (USA) Russ Greiner, University of Alberta Edmonton Junichi Tsujii, University of Tokyo (Japan) (Canada) Joerg Hoffmann, Max-Planck-Institut für Advisory Committee: Toby Walsh, University of New South Wales (Australia) Informatik (Germany) Ivan Bratko, Jozef Stefan Institute (Slovenia) Benjamin Kuipers, The University of Texas at Eugene Freuder, University College, Cork (Ireland) Austin (USA) Programme Committee: Marco Gori, University of Siena (Italy) Nicholas Kushmerick, University College Dublin Agnar Aamodt, Norwegian University of Science Werner Horn, Medical University Vienna (Austria) (Ireland) and Technology (Norway) Craig Knoblock, University of Southern California Jérôme Lang, Université Paul Sabatier (France) Fahiem Bacchus, University of Toronto (Canada) (USA) IJCAI – 0 5 Kevin Leyton-Brown, University of British Poster Committee: Former Conference Chair Trustees: Columbia (Canada) Maria Alpuente-Frasnedo, Technical University of Michael P. Georgeff, Georgeff International Inc Hang Li, Microsoft Research Asia (Peoples Valencia (Spain) (Australia) Republic of China) Franz Baader, TU Dresden (Germany) C. Raymond Perrault, SRI International (USA) Fangzhen Lin, Hong Kong University of Science Salem Benferhat, CRIL, Universite d’Artois Wolfgang Wahlster, German Research Centre for and Technology (Hong Kong) (France) AI (Germany) Diane Litman, University of Pittsburgh (USA) Daniel Borrajo, Universidad Carlos III de Madrid Barbara J. Grosz, Harvard University (USA) Yuji Matsumoto, Nara Institute of Science and (Spain) Wolfgang Bibel, Technische Hochschule Darmstadt Technology (Japan) Amílcar Cardoso, University of Coimbra (Portugal) (Germany) Andrew McCallum, University of Massachusetts, Marco Dorigo, IRIDIA, Université Libre de Alan Bundy, University of Edinburgh (UK) Amherst (USA) Bruxelles (Belgium) Alan Mackworth, University of British Columbia Sheila McIlraith, University of Toronto Christian Freksa, CoSy, University of Bremen (Canada) (Canada) (Germany) Patrick J. Hayes, IHMC-UWF (USA) Pedro Meseguer, González Institut d’Investigació Johannes Fürnkranz, TU Darmstadt (Germany) D. Raj Reddy, Carnegie Mellon University (USA) en Intelligència Artificial (IIIA) (Spain) Hans Gellersen, Lancaster University (UK) Erik Sandewall, Linkoeping University (Sweden) Daniele Nardi, Universitá di Roma “La Sapienza” Lluis Godo, IIIA CSIC (Spain) (Italy) Alistair D. C. Holden (deceased), formerly Takashi Hashimoto, JAIST (Japan) University of Washington (USA) Hwee Tou Ng, National University of Singapore (Singapore) Anthony Hunter, University College London (UK) Max B. Clowes (deceased), formerly University of Sussex (UK) David Parkes, Harvard University (USA) Lewis Johnson, University of Southern California (USA) Donald E. Walker (deceased), formerly Bellcore Ronald Parr, Duke University (USA) Judy Kay, University of Sydney (Australia) (USA) Maria-Teresa Pazienza, Universita di Roma Tor Woodrow W. Bledsoe (deceased), formerly Vergata (Italy) Sven Koenig, University of Southern California (USA) University of Texas at Austin (USA) David Poole, University of British Columbia Saul Amarel (deceased), formerly Rutgers (Canada) Louisa Lam, Hong Kong Institute of Education (China) University (USA) James Rehg, Georgia Institute of Technology (USA) Lori Levin, LTI, Carnegie Mellon University (USA) Former Programme Chair Trustees: Jeffrey Rosenschein, The Hebrew University of Pedro Lima, Institute for Systems and Robotics Jerusalem (Israel) (Portugal) Bernhard Nebel, Albert-Ludwigs-Universität (Germany) Francesca Rossi, University of Padova (Italy) Mary Lou Maher, University of Sydney (Australia) Thomas Dean, Brown University (USA) Marie Christine Rousset, University of Paris-Sud Teruko Mitamura, LTI, Carnegie Mellon University (France) (USA) Martha E. Pollack, University of Michigan (USA) Norman Sadeh, Carnegie Mellon University (USA) Kenichi Morita, Hiroshima University (Japan) Chris S. Mellish, University of Aberdeen (UK) Taisuke Sato, Tokyo Institute of Technology David Musliner, Honeywell Laboratories (USA) Ruzena Bajcsy, University of Pennsylvania (USA) (Japan) Simon Parsons, University of New York (USA) John Mylopoulos, University of Toronto (Canada) L. Enrique Sucar,