IJCAI-05 Programme

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, Instituto Tecnológico y de Gabriella Pasi, Consiglio Nazionale delle Ricerche N. S. Sridharan, FMC Corporation (USA) Estudios Superiores de Monterrey (Mexico) (Italy) John McDermott, Carnegie Mellon University Michael Thielscher, Dresden University of Don Perlis, University of Maryland (USA) (USA) Technology (Germany) Henri Prade, CNRS (France) Aravind Joshi, University of Pennsylvania (USA) Moshe Vardi, Rice University (USA) Chris Price, University of Wales Aberystwyth (UK) Alan Bundy, University of Edinburgh (UK) Manuela Veloso, Carnegie Mellon University Dieter Schmalstieg, Graz University of Technology Roger Schank, Yale University (USA) (USA) (Austria) Bruce Buchanan, Stanford University (USA) Michael Wellman, University of Michigan (USA) Stuart Shapiro, University at Buffalo (USA) Raj Reddy, Carnegie Mellon University (USA) Mary-Anne Williams, The University of JeongYon Shim, Kangnam University (Korea) Patrick Winston, Massachusetts Institute of Technology, Sydney (Australia) Barry Smyth, University College Dublin (Ireland) Technology (USA) Michael Wooldridge, University of Liverpool (UK) Kay Chen Tan, National University of Singapore Carl Hewitt, Massachusetts Institute of Kenji Yamanishi, NEC Corporation (Japan) (Singapore) Technology (USA) Roland Yap, National University of Singapore Monique Thonnat, INRIA (France) Nils Nilsson, Stanford University (USA) (Singapore) John Tsotsos, Centre for Vision Research, York David C. Cooper, (UK) Makoto Yokoo, Kyushu University (Japan) University (Canada) Ray Reiter (deceased), formerly University of Shlomo Zilberstein, University of Massachusetts, Weixiong Zhang, Washington University in St. Toronto (Canada) Amherst (USA) Louis (USA) Donald E. Walker (deceased), formerly Bellcore (USA)

IJCAI-05 POSTER TRACK COMMITTEE: IJCAI ORGANISATION CORPORATE SPONSORSHIP Chair: Alessandro Safﬁotti, University of Trustees: IJCAI-05 gratefully acknowledges the generous Örebro (Sweden) President: Anthony G. Cohn, University of Leeds contributions of the following organisations: (UK) Senior Poster Committee: Luigia Carlucci Aiello, Università di Roma “La BCS Sapienza” (Italy) Ajith Abraham, Chung Ang University (Korea) Scottish Enterprise Fausto Giunchiglia, University of Trento (Italy) Shlomo Argamon, Illinois Institute of Technology Scottish Enterprise Edinburgh & Lothians/ (USA) Georg Gottlob, Technische Universität Wien Edinburgh Convention Bureau Ltd. Samy Bengio, IDIAP Research Institute (Austria) QinetiQ (Switzerland) Leslie Pack Kaelbling, Massachusetts Institute of BT Giuseppe De Giacomo, DIS, Università di Roma Technology (USA) “La Sapienza” (Italy) Hector Levesque, University of Toronto (Canada) Foresight Ali A. Ghorbani, University of New Brunswick Ramon López de Mántaras, Artificial Intelligence Microsoft Research (Canada) Research Institute of the CSIC (Spain) ERCIM Carla Gomes, Cornell University (USA) Manuela M. Veloso, Carnegie Mellon University Sermatech Intelligent Applications Rada Mihalcea, University of North Texas (USA) (USA) IBM Gerhard Sagerer, University of Bielefeld women@CL (Germany) Secretariat: Constraint Network Support/CoLogNet Ian Watson, University of Auckland (New Ramasamy Uthurusamy, General Motors Intel Zealand) Corporation (USA) Google IJCAI – 0 5

IJCAI-05 AWARDS • Yuhong Guo, Russell Greiner, and Dale Schuurmans of the University of Alberta, Canada for their paper titled Learning The IJCAI-05 Award for Research Excellence and the Computers and Coordination Classifiers [to be presented at 1530 hours Thursday Thought Award are awarded by the IJCAI Board of Trustees, upon 4 August] and to recommendation by the IJCAI-05 Awards Selection Committee, • Jonathan Schaeffer, Yngvi Björnsson, Neil Burch, Akihiro which consists this year of Kishimoto, Martin Müller, Robert Lake, Paul Lu, and Steve Luigia Carlucci Aiello (Chair), Università di Roma “La Sapienza” Sutphen of the University of Alberta, Canada for their paper (Italy) titled Solving Checkers [to be presented at 1030 hours Tuesday 2 Ruzena Bajcsy, University of California at Berkeley (USA) August] Malik Ghallab, LAAS-CNRS (France) Henry Kautz, University of Washington (USA) Hector Levesque, University of Toronto (Canada). PROGRAMME GUIDE

The IJCAI Awards Selection Committee receives advice from The IJCAI-05 Conference is composed of various complementary members of the IJCAI-05 Awards Review Committee, who comment programmes: on the accuracy of the nomination material and provide additional • The Technical Programme, Tues 2 - Fri 5 Aug 2005, including the information about the nominees. The IJCAI-05 Awards Review technical paper presentations by top scientists in the field, invited Committee is the union of the former Trustees of IJCAI, the IJCAI- speakers and award winners. 05 Advisory Committee, the Program Chairs of the last three • The Technical Poster Programme, Tues 2 Aug from 1730-1930 hrs IJCAI conferences, and the past recipients of the IJCAI Award for • The Tutorial Programme, Sat 30 - Sun 31 Jul Research Excellence and the IJCAI Distinguished Service Award, with • The Workshop Programme, Saturday 30 Jul - Mon 1 Aug nominees excluded. • The Technology Exchange Exhibition and Trading Agents Competition, Tues 2 - Fri 5 Aug IJCAI-05 Award for Research Excellence The IJCAI Award for Research Excellence is presented at IJCAI conferences to a scientist who has carried out a program of CO-LOCATING EVENTS consistently high quality AI research, yielding several substantial results. Previous recipients have been John McCarthy (1985), Allen There are a number of co-locating events to be held prior to and Newell (1989), Marvin Minsky (1991), Raymond Reiter (1993), after IJCAI-05. A full listing can be found on the web site Herbert Simon (1995), Aravind Joshi (1997), Judea Pearl (1999), www.ijcai-05.org Donald Michie (2001) and Nils Nilsson (2003). Special sessions of short invited talks given by representatives The winner of the 2005 IJCAI Award for Research Excellence from the co-locating events are scheduled for 1030 hours on is Professor Geoffrey Hinton, who holds a Canada Research Chair Tuesday 2 August and Wednesday 3 August. at the University of Toronto and directs the program in Neural Computation and Adaptive Perception at the Canadian Institute for Advanced Research. Professor Hinton is recognised for his SGAI: THE SPECIALIST GROUP ON fundamental work in the areas of computational neuroscience ARTIFICIAL INTELLIGENCE and cognitive neuroscience, and its impact on Machine Learning and Artificial Intelligence. In particular, he has made pioneering SGAI (www.bcs-sgai.org) is the national AI society responsible for contributions in defining a computational theory of perceptual hosting IJCAI-05. It is part of the British Computer Society and inference, distributed representations and learning in neural has been a member of ECCAI since 1992. SGAI was founded networks. Prof. Hinton will present his Research Excellence Lecture in 1980 by British AI pioneer Donald Michie and has played a on Thursday, August 4 2005 at 1745 hours in the Pentland substantial role in the development of the field in Britain over the Auditorium. last 25 years. It is probably best known for its long-running annual series of conferences (AI-200x) held in Cambridge each December Donald E. Walker Distinguished Service Award and as the host of the annual BCS prize competition for ‘Progress The IJCAI Distinguished Service Award was established in 1979 by towards Machine Intelligence’. SGAI is proud to have been given the IJCAII Trustees to honour senior scientists in AI for contributions the opportunity in its 25th anniversary year to bring IJCAI back to and service to the field during their careers. Previous recipients Britain for the first time since 1971. The conference represents the have been Bernard Meltzer (1979), Arthur Samuel (1983), Donald culmination of a great deal of planning and hard work for many Walker (1989), Woodrow Bledsoe (1991), Daniel G. Bobrow (1993), people. We hope you enjoy it. Wolfgang Bibel (1999), Barbara Grosz (2001) and Alan Bundy Max Bramer, Chair SGAI (2003). Ann Macintosh, Vice-Chair SGAI 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 IJCAII organisation as a EDINBURGH, SCOTLAND Secretary-Treasurer. At IJCAI-05, the Donald E. Walker Distinguished Service Award Edinburgh, the Capital City of Scotland is a city filled with historical will be given to Raj Reddy, Mozah Bint Nasser University Professor of sights and stories. The Old Town was developed from the 11th Computer Science and Robotics in the School of Computer Science century, originally within defensive walls, around the rock on at Carnegie Mellon University. As a pioneering researcher in AI and whose peak is situated the famed Edinburgh Castle. From here, the Human-Computer Interaction, Professor Reddy is recognised for historic Royal Mile sweeps down to the Palace of Holyrood House, his outstanding service to the AI community as President of AAAI, the Queen’s official royal residence in Scotland. The new Scottish Conference Chair of IJCAI-79, and his leadership and promotion of Parliament building is also situated near Holyrood House at the AI internationally. bottom of the Royal Mile. There are also many art galleries located around the city. IJCAI-05 Distinguished Paper Awards Princes Street and George Street are the main shopping areas The IJCAI-05 Distinguished Paper Awards will be given to in the city centre and there are a large number of restaurants in the • Doug Downey, Oren Etzioni, and Stephen Soderland city centre. An essential guide of Edinburgh is included in participant of the University of Washington, USA for their paper titled A bags to provide further information about the city. Probabilistic Model of Redundancy in Information Extraction [to be presented at 1530 hours on Tuesday 2 August] Edinburgh International Festival The world-famous Edinburgh International Festival (www.eif.co.uk) and Fringe (www.edfringe.com) start on 6 August 2005. IJCAI – 0 5

CONFERENCE AT A GLANCE

Day Morning Afternoon Evening

Saturday Registration 30 July Workshops Tutorials

Sunday Registration 31 July Workshops Tutorials

Monday Registration Opening Ceremony & Reception 1 August Workshops

Tuesday Registration Technical Poster Session 2 August Technical Programme Technology Exchange and Exhibition, TAC

Wednesday Registration Conference Banquet 3 August Technical Programme Technology Exchange and Exhibition, TAC

Thursday Registration Research Excellence Award Lecture 4 August Technical Programme Technology Exchange and Exhibition, TAC

Friday Registration 5 August Technical Programme Technology Exchange and Exhibition, TAC

TUTORIAL PROGRAMME

The tutorials will be held at the University of Edinburgh. Tutorial Chair: Robert Givan

SATURDAY 30 JULY

0900 - 1230

T1 Grammar Induction: Techniques and Applications Adam Ferguson G19

T2 Automated Reasoning in First-Order Logic Adam Ferguson G17

T3 Techniques for Computing and Using Bounds for Combinatorial Optimization Problems Adam Ferguson G13

T4 Reductions for Machine Learning Adam Ferguson G10

1400 - 1730

T5 Constraint Processing Adam Ferguson G17

T6 Representation, Inference and Learning in Relational Probabilistic Languages Adam Ferguson G10

T7 Planning: Techniques for Efﬁcient State-Space Traversal Adam Ferguson G13

T8 Preference Models and Applications Adam Ferguson G19

0900 - 1730

T9 Representation and Learning in Robots and Animals (Day 1 of 2) David Hume Tower Faculty Room North

SUNDAY 31 JULY

0900 – 1730

T9 Representation and Learning in Robots and Animals (Day 2 of 2) David Hume Tower Faculty Room North

T10 Principles of AI Problem Solving David Hume Tower Faculty Room South

0900 – 1230

T11 Text Analytics: Theory and Practice Adam Ferguson G19

T12 Multiagent Planning: a Survey of Research and Applications Adam Ferguson G10

T13 Models of Argumentation and Dialogue in AI Adam Ferguson G13

1400 - 1730

T14 Collaborative Multiagent Systems Adam Ferguson G10

T15 Modelling Language Origins and Evolution Adam Ferguson G13

T16 Market Clearing Algorithms Adam Ferguson G17

T17 Distributed Constraint Reasoning Adam Ferguson G19

IJCAI – 0 5

WORKSHOP PROGRAMME The workshops will take place at the University of Edinburgh from Saturday 30 July to Monday 1 August 2005.

Workshop Chair: Carlos Guestrin

SATURDAY 30 JULY

W2 Agents Applied in Health Care David Hume Tower Faculty Room Antonio Moreno South W3 Agents in Real-Time and Dynamic Environments William Robertson Building G01 Ubbo Visser W5 Computational Creativity William Robertson Building G02 Pablo Gervás, Tony Veale and Alison Pease W6 Computational Models of Natural Argument William Robertson Building G03 Chris Reed W7 Conﬁguration William Robertson Building G04 Deitmar Jannach W8 Distributed Constraint Reasoning William Robertson Building G08 Amnon Meisels W14 Knowledge and Reasoning for Answering Questions William Robertson Building G09 Farah Benemara, Patrick Saint-Dizier and Marie-Francine Moens W17 Modelling Others from Observations William Robertson Building G11 Christopher Geib and Gal Kaminka W19 Model-Based Systems David Hume Tower Conference Claudia Picardi Room W24 Reasoning with Uncertainty in Robotics William Robertson Building G10 Nikos Vlassis, Geoff Gordon and Joelle Pineau

SUNDAY 31 JULY

W1 Advances in Preference Handling (Day 1 of 2) William Robertson Building G01 Ronan Brafman and Ulrich Junker W4 AI and Autonomic Communications William Robertson Building G03 Roy Sterritt W9 Game Theoretic and Decision Theoretic Agents William Robertson Building G10 Piotr Gmytrasiewicz and Simon Parsons W10 Grammatical Inference Applications: Successes and Future Challenges William Robertson Building G04 Colin de la Higuera and Menno Van Zaanen W18 Modelling and Solving Problems with Constraints William Robertson Building G02 Zeynep Kiziltan W20 Multi-Agent Information Retrieval and Recommender Systems David Hume Tower Conference Esma Aimeur Room W25 Reasoning, Representation and Learning in Computer Games William Robertson Building G08 David W. Aha, Héctor Muñoz-Avila and Michael Van Lent W26 Spatial and Temporal Reasoning William Robertson Building G09 Hans W. Guesgen W29 Modelling and Retrieval of Context (Day 1 of 2) William Robertson Building G11 Stefan Schulz, David B. Leake and Thomas R. Roth-Berghofer

MONDAY 1 AUGUST

W1 Advances in Preference Handling (Day 2 of 2) William Robertson Building G01 Ulrich Junker W11 Intelligent Techniques for Web Personalization David Hume Tower Conference Sarabjot Singh Anand and Bamshad Mobasher Room W12 Knowledge Management and Organisational Memories William Robertson Building G09 Rose Dieng-Kuntz and Nada Matta W13 Knowledge and Reasoning in Practical Dialogue Systems William Robertson Building G10 Ingrid Zukerman, Jan Alexandersson and Arne Jönsson W15 Logic and Communication in Multi-Agent Systems William Robertson Building G03 Alessio Lomuscio and Wiebe van der Hoek W22 Neural-Symbolic Learning and Reasoning William Robertson Building G04 Artur d’Avila Garcez, Jeff Elman and Pascal Hitzler W23 Nonmonotonic Reasoning, Action and Change William Robertson Building G02 Leora Morgenstern and Maurice Pagnucco W27 Trading Agent Design and Analysis David Hume Tower Faculty Room Michael Wellman and Sverker Janson North W28 Graduate Career Development Workshop for Women in Computing Research David Hume Tower Faculty Room Ursula Martin South W29 Modelling and Retrieval of Context (Day 2 of 2) William Robertson Building G11 Stefan Schulz, David B. Leake and Thomas R. Roth-Berghofer W30 Planning and Learning in a Priori Unknown or Dynamic Domains William Robertson Building G08 Vadim Bulitko and Sven Koenig IJCAI – 0 5

INVITED SPEAKERS

Prof Andrew Blake Microsoft Research Cambridge, UK “Visual Tracking of Objects in Motion”

Prof Adnan Darwiche Computer Science Department, University of California at Los Angeles “The Quest for Efficient Probabilistic Inference”

Prof Nir Friedman School of Computer Science and Engineering, Hebrew University, Jerusalem “Understanding Molecular Regulatory Mechanisms”

Prof Alison Gopnik Department of Psychology, University of California at Berkeley “Babies and Bayes Nets: Causal Inference in Computers and Children”

Prof Stephen Jacobsen University of Utah, and Sarcos Research Corporation “Designing Robots: From Artificial Limbs to Powerful, Energetic, Autonomous Humanoids”

Dr Kevin Knight USC/Information Sciences Institute “What’s New in Statistical Machine Translation”

Prof Bart Selman Department of Computer Science, Cornell University “The Next Generation of Automated Reasoning Methods”

Prof Daniel Wolpert Institute of Neurology, University College London “Probabilistic Models of Human Sensorimotor Control” IJCAI – 0 5

TECHNICAL PROGRAMME

The IJCAI-05 Technical Programme will be held in the Edinburgh International Conference Centre. Programme Chair: Leslie Pack Kaelbling

TUESDAY 2ND AUGUST

Time Pentland Sidlaw Fintry Tinto Moorfoot Kilsyth Harris Carrick Ochil

9:00 - 10:00 Invited Speaker: Alison Gopnik, Session Chair: Judea Pearl

10:30 - 12:30 Game Search, Relational Learning, Reasoning About Action 1, Satisﬁability, Session Chair: Discourse Modeling and Planning Under Uncertainty, Vision, User Interface and Modeling, Reports from Co-Located Session Chair: Toby Walsh Session Chair: Pedro Domingos Session Chair: Bart Selman Temporal Reasoning, Session Chair: Carlos Guestrin Session Chair: Enrique Sucar Session Chair: Ingrid Zukerman Events 1, Shlomo Zilberstein Session Chair: Hwee Tou Ng Session Chair: Alan Bundy

Solving Checkers; J. Schaeffer, Generative Modeling with Updating Action Domain DPLL with a Trace: From SAT to Temporal Context Representation Probabilistic Reasoning for Plan Combining Structural Dynamically Constructed Bayes International Conference Y. Björnsson, N. Burch, Failure in PRISM; Taisuke Sato, Descriptions; Thomas Eiter, Knowledge Compilation; and Reasoning; Dan Moldovan, Robustness; Steve R. Schaffer, Descriptions and Image-based Nets for Multi-Domain Sketch on Artiﬁcial Intelligence in A. Kishimoto, M. Müller, Yoshitaka Kameya and Esra Erdem, Michael Fink and Jinbo Huang and Christine Clark and Bradley J. Clement and Representations for Image, Understanding; Education; Gord McCalla R. Lake, P. Lu and S. Sutphen Neng-Fa Zhou Ján Senko Adnan Darwiche Sanda Harabagiu Steve A. Chien Object, and Scene Recognition; Christine Alvarado and Nicolas Do Huu, Williams Randall Davis Paquier and Raja Chatila

Game-Tree Search with View Learning for Statistical Semantics for a useful fragment Three Truth Values for the SAT TimeML-Compliant Text Analysis Planning with Continuous 2D Shape Classiﬁcation and Clinical-Reasoning Skill European Workshop on Natural Combinatorially Large Belief Relational Learning: With an of the situation calculus; and MAX-SAT Problems; for Temporal Reasoning; Resources in Stochastic Domains; Retrieval; Graham McNeill and Acquisition through Intelligent Language Generation; States; Austin Parker, Application to Mammography; Gerhard Lakemeyer and Frédéric Lardeux, Branimir Boguraev and Mausam, Emmanuel Benazera, Sethu Vijayakumar Group Tutoring; Ehud Reiter Dana Nau and Jesse Davis, Elizabeth Burnside, Hector J. Levesque Frédéric Saubion and Rie Kubota Ando Ronen Brafman, Siriwan Suebnukarn and V. S. Subrahmanian Inês Dutra, David Page, Jin-Kao Hao Nicolas Meuleau and Peter Haddawy Raghu Ramakrishnan, Eric A. Hansen Vítor Santos Costa and Jude Shavlik

Efficient belief-state AND-OR A Simple-Transition Model for Planning with Loops; A Simple Model to Generate Viewing Referring Expression Proactive Algorithms for Inferring Image Templates from A Live-User Evaluation of International Conference on search, with application to Relational Sequences; Alan Fern Hector J. Levesque Hard Satisfiable Instances; Generation as Search; Scheduling with Probabilistic Classification Decisions; Collaborative Web Search; Uncertainty in AI; Kriegspiel; Stuart Russell and Ke Xu, Frédéric Boussemart, Bernd Bohnet and Robert Dale Durations; J. Christopher Beck Arnab Dhua and Florin Cutzu Barry Smyth, Evelyn Balfe, Faheim Bacchus Jason Wolfe Fred Hemery and and Nic Wilson Oisin Boydell, Keith Bradley, Christophe Lecoutre Peter Briggs, Maurice Coyle and Jill Freyne

Why Minimax Works: An Inferring Useful Heuristics Representing Flexible Temporal Phase Transitions of Dominating Automatic Evaluation of Conditional Planning in the Compound Effects of Top-down You Are Wrong! - Automatic International Workshop on Alternative Explanation; from the Dynamics of Iterative Behaviors in the Situation Clique Problem and Their Text Coherence: Models and Discrete Belief Space; and Bottom-up Influences on Detection of Interaction Errors Description Logics; Carsten Lutz Mitja Lustrek, Matjaz Gams, Relational Classifiers; Calculus; Alberto Finzi and Implications to Heuristics in Representations; Mirella Lapata Jussi Rintanen Visual Attention During Action from Brain Waves; Pierre W. and Ivan Bratko Aram Galstyan and Fiora Pirri Satisfiability Search; and Regina Barzilay Recognition; Bassam Khadhouri Ferrez and José del R. Millán Paul R. Cohen Joseph Culberson, Yong Gao and Yiannis Demiris and Calin Anton

Symposium on Abstraction, Reformulation and Approximation; Berthe Choueiry

Workshop on Automated Reasoning; Jacques Fleuriot

12:30 - 14:00 Lunch Break

14:00 - 15:00 Invited Speaker: Andrew Blake, Session Chair: David Hogg

15:30 - 17:30 Information Extraction, Learning and Knowledge, Reasoning About Action 2, Local Search, Quantiﬁed CSP, Markov Decision Processes, Robot Perception and Learning, Bayesian and Theoretical Session Chair: Session Chair: Lorenza Saitta Session Chair: Michael Session Chair: Bart Selman Session Chair: Adnan Darwiche Session Chair: Jeff Rosenschein Session Chair: Raja Chatila Learning, Andrew McCallum Thielscher Session Chair: Dan Roth

A Probabilistic Model of Exploiting Background Tractable Reasoning with Efficient Stochastic Local Search The Complexity of Quantified Stationary Deterministic Policies Maintaining Coherent Perceptual Exploiting Informative Priors Redundancy in Information Knowledge for Knowledge- Incomplete First-Order for MPE Solving; Frank Hutter, Constraint Satisfaction Problems for Constrained MDPs with Information Using Anchoring; for Bayesian Classification and Extraction; Doug Downey, Intensive Subgroup Discovery; Knowledge in Dynamic Systems Holger H. Hoos and under Structural Restrictions; Multiple Rewards, Costs and Amy Loutfi, Silvia Coradeschi Regression Trees; Oren Etzioni and Martin Atzmueller, Frank Puppe with Context-Dependent Actions; Thomas Stützle Georg Gottlob, Gianluigi Greco Discount Factors; Dmitri Dolgov and Alessandro Saffiotti Nicos Angelopoulos and Stephen Soderland and Hans-Peter Buscher Yongmei Liu and and Francesco Scarcello and Edmund Durfee James Cussens Hector J. Levesque

Shallow Semantics for Relation Training without data: Goal Change; Steven Shapiro, The COMPSET Algorithm for QCSP-Solve: A Solver for Bounded Policy Iteration for Relational Object Maps for Generalization Error of Linear Extraction; Sanda Harabagiu, Knowledge Insertion into RBF Yves Lespérance and Subset Selection; Yaniv Hamo Quantiﬁed Constraint Decentralized POMDPs; Mobile Robots; Neural Networks in an Empirical Cosmin Adrian Bejan and Neural Networks; Ken McGarry Hector J. Levesque and Shaul Markovitch Satisfaction Problems; Daniel S. Bernstein, Benson Limketkai, Lin Liao and Bayes Approach; Paul Morarescu and Stefan Wermter Ian P. Gent, Peter Nightingale Eric A. Hansen and Dieter Fox Shinichi Nakajima and and Kostas Stergiou Shlomo Zilberstein Sumio Watanabe

Semantic annotation of A flexible and robust similarity From knowledge-based Applying Local Search to Extracting Certificates from Solving POMDPs with Learning Forward Models for Generalization Bounds for unstructured and ungrammatical measure based on contextual programs to graded belief- Disjunctive Temporal Problems; Quantified Boolean Formulas; Continuous or Large Discrete Robots; Anthony Dearden and Weighted Binary Classification text; Matthew Michelson and probability; Hui Wang and based programs, part II: off-line Michael D. Moffitt and Marco Benedetti Observation Spaces; Jesse Hoey Yiannis Demiris with Applications to Statistical Craig A. Knoblock Werner Dubitzky reasoning; Noël Laverny and Martha E. Pollack and Pascal Poupart Verification; Vu Ha and Jérôme Lang Tariq Samad

Semantic Argument Unsupervised Learning of Iterated Belief Change: A A Model for Generating Random Algebraic Markov Decision Learning Partially Observable Phase Transitions within Classiﬁcation Exploiting Semantic Relations between Transition System Approach; Quantiﬁed Boolean Formulas; Processes; Patrice Perny, Olivier Deterministic Action Models; Grammatical Inference; Argument Interdependence; Concepts of a Molecular Aaron Hunter and Hubie Chen and Yannet Interian Spanjaard and Paul Weng Eyal Amir Nicolas Pernot, Antoine Zheng Ping Jiang, Jia Li and Biology Ontology; Massimiliano James P. Delgrande Cornuéjols and Michèle Sebag Hwee Tou Ng Ciaramita, Aldo Gangemi, Esther Ratsch, Jasmin Saric and Isabel Rojas IJCAI – 0 5

Time Pentland Sidlaw Fintry Tinto Moorfoot Kilsyth Harris Carrick Ochil

9:00 - 10:00 Invited Speaker: Alison Gopnik, Session Chair: Judea Pearl

Symposium on Abstraction, Reformulation and Approximation; Berthe Choueiry

Workshop on Automated Reasoning; Jacques Fleuriot

12:30 - 14:00 Lunch Break

14:00 - 15:00 Invited Speaker: Andrew Blake, Session Chair: David Hogg

WEDNESDAY 3RD AUGUST

Time Pentland Sidlaw Fintry Tinto Moorfoot Kilsyth Harris Carrick Ochil

9:00 - 10:00 Invited Speaker: Nir Friedman, Session Chair: Craig Boutilier

10:30 - 12:30 Logic and Probability, Reinforcement learning, Search, Description Logic, Learning for Parsing, Structure in CSPs, Swarm Robotics, Knowledge Engineering and Reports from Co-Located Events Session Chair: David Poole Session Chair: Ronen Brafman Session Chair: Makoto Yokoo Session Chair: Session Chair: Mirela Lapata Session Chair: Pedro Meseguer Session Chair: Raja Chatila Applications, and ECCAI Award, Peter Patel-Schneider Session Chair: Alankar Karol Session Chair: Shlomo Zilberstein Encoding formulas with partially Reinforcement Learning in Limited Discrepancy Beam Pushing the EL Envelope; Learning and Inference over A Uniﬁed Theory of Structural Collective AI: context awareness Analysis and Veriﬁcation of ECCAI Dissertation Award Talk: constrained weights in a POMDPs Without Resets; Search; David Furcy and Franz Baader, Sebastian Brandt Constrained Output; Tractability for Constraint via communication; Qualitative Models of Genetic Symmetry Breaking Ordering possibilistic-like many-sorted Eyal Even-Dar, Sven Koenig and Carsten Lutz Vasin Punyakanok, Dan Roth, Satisfaction and Spread Cut S. Kornienko, O. Kornienko Regulatory Networks: A Model- Constraints; Zeynep Kiziltan propositional logic; Sham M. Kakade and Wen-tau Yih and Dav Zimak Decomposition; David Cohen, and P. Levi Checking Approach; Salem Benferhat and Yishay Mansour Peter Jeavons and Grégory Batt, Delphine Ropers, Henri Prade Marc Gyssens Hidde de Jong, Johannes Geiselmann, Radu Mateescu, Michel Page and Dominique Schneider

Asymptotic Conditional Concurrent Hierarchical Decentralized Search in On the Interaction between A Two-Stage Method for Breaking symmetries in all Building Patterned Structures Supervaluation Semantics for an Answer Set Programming: Probability in Modal Logic: A Reinforcement Learning; Networks Using Homophily and Inverse Features and Path- Active Learning of Statistical different problems; with Robot Swarms; Inland Water Feature Ontology; Advances in Theory and Probabilistic Reconstruction of Bhaskara Marthi, Stuart Russell, Degree Disparity; functional Dependencies in Grammars; Markus Becker and Jean-François Puget Justin Werfel, Yaneer Bar-Yam Paulo Santos, Brandon Bennett Implementation Workshop; Nonmonotonic Logic; David Latham and Özgür Simsek and David Jensen Description Logics; David Toman Miles Osborne and Radhika Nagpal and Georgios Sakellariou Vladimir Lifschitz Riccardo Rosati and Carlos Guestrin and Grant Weddell Georg Gottlob

Lifted First-Order Probabilistic Learning against opponents with AND/OR Branch-and-Bound for Ordering Heuristics for Redundancy-free Island Parsing Structural Symmetry Breaking; Efﬁcient Distributed “Hormone” Cohesion, coupling and the AI in Medicine Europe; Inference; bounded memory; Rob Powers Graphical Models; Description Logic Reasoning; of Word Graphs; Bernd Kiefer Meinolf Sellmann and Graph Gradients; meta-theory of actions; Jim Hunter and Silvia Miksch Rodrigo de Salvo Braz, and Yoav Shoham Radu Marinescu and Dmitry Tsarkov and Ian Horrocks Pascal Van Hentenryck Esben Hallundbæk Østergaard Andreas Herzig and Eyal Amir and Dan Roth Rina Dechter Ivan Varzinczak

BLOG: Probabilistic Models with Two-Sided Bandits and the A Formal Investigation of Theory of Alignment Generators Cognitive Modelling of Event International Workshop on Unknown Objects; Brian Milch, Dating Market; Sanmay Das and Mapping Language for and Applications to Statistical Ordering Reasoning in Imagistic Adaptive Multimedia Retrieval; Bhaskara Marthi, Stuart Russell, Emir Kamenica Terminological Knowledge; Machine Translation; Domains; Laura S. Mastella, Joemon Jose, Marcin Detyniecki David Sontag, Daniel L. Ong Luciano Seraﬁni, Raghavendra Udupa U. and Mara Abel, Luís C. Lamb and and Andreas Nuernberger and Andrey Kolobov Heiner Stuckenschmidt and Hemanta K. Maji Luiz F. De Ros Holger Wache

Trading Agent Competition; Michael Wellman

12:30 - 14:00 Lunch Break

14:00 - 15:00 Invited Speaker: Adnan Darwiche, Session Chair: Hector Geffner

15:30 - 17:30 Constraint Programming, Spatio-Temporal Learning, Ontologies, Graphical Models, Natural Language 1, Real-Time and Robot Planning, Complexity of Reasoning 1, Qualitative and Spatial Session Chair: Eugene Freuder Session Chair: Peter Stone Session Chair: Session Chair: Stuart Russell Session Chair: Ray Mooney Session Chair: Ronen Brafman Session Chair: Thomas Eiter Reasoning, Deborah McGuiness Session Chair: Brandon Bennett

Propagating Logical Location-Based Activity A Tableaux Decision Procedure Identiﬁability of Path-Speciﬁc Learning Strategies for Open- LRTA*(k); Carlos Hernández and Propositional Abduction is Scale-Based Monotonicity Combinations of Constraints; Recognition using Relational for SHOIQ; Ian Horrocks and Effects; Chen Avin, Ilya Shpitser Domain Natural Language Pedro Meseguer Almost Always Hard; Analysis in Qualitative Modelling Fahiem Bacchus and Toby Walsh Markov Networks; Lin Liao, Ulrike Sattler and Judea Pearl Question Answering; Gustav Nordh and with Flat Segments; Dieter Fox and Henry Kautz Eugene Grois and Bruno Zanuttini Martin Brooks, Yuhong Yan and David C. Wilkins Daniel Lemire

The Range and Roots A Hybrid Discriminative/ Aspects of Distributed and Sensitivity Analysis in Markov The Necessity of Syntactic Robust Planning with (L)RTDP; Parameterized Compilability; Model Compilation for Real-Time Constraints: Specifying Counting Generative Approach for Modular Ontology Reasoning; Networks; Hei Chan and Parsing for Semantic Role Olivier Buffet and Hubie Chen Planning and Diagnosis with and Occurrence Problems; Modeling Human Activities; Luciano Seraﬁni, Alex Borgida Adnan Darwiche Labeling; Vasin Punyakanok, Douglas Aberdeen Feedback; Anthony Barrett Christian Bessiere, Jonathan Lester, and Andrei Tamilin Dan Roth and Wen-tau Yih Emmanuel Hebrard, Tanzeem Choudhury, Brahim Hnich, Zeynep Kiziltan Nicky Kern, Gaetano Borriello and Toby Walsh and Blake Hannaford

The Rules of Constraint A Multi-Objective Multi-Modal Computational ontologies of Probabilistic Reasoning with Extraction of Hierarchies Based Optimized Execution of Scalability Study of Peer-to-Peer A Motion Closed World Modelling; Alan M. Frisch, Optimization Approach for parthood, componenthood, and Hierarchically Structured on Inclusion of Co-occurring Action Chains Using Learned Consequence Finding; Assumption; Fusun Yaman, Chris Jefferson, Bernadette Mining Stable Spatio-Temporal containment; Thomas Bittner Variables; Rita Sharma and Words with Frequency Performance Models of Abstract P. Adjiman, P. Chatalic, Dana Nau and Martínez-Hernández and Patterns; Michèle Sebag, and Maureen Donnelly David Poole Information; Eiko Yamamoto, Actions; Freek Stulp and F. Goasdoué M.-C. Rousset and V. S. Subrahmanian Ian Miguel Nicolas Tarrisson, Kyoko Kanzaki and Michael Beetz L. Simon Olivier Teytaud, Julien Lefevre Hitoshi Isahara and Sylvain Baillet

Bin-Completion Algorithms for Mining Spatial Object Reasoning with Inconsistent AND/OR Cutset Conditioning; Learning to Understand Web Site Real-Time Path Planning for The Inferential Complexity of Going Far, Logically; Multicontainer Packing and Associations for Scientiﬁc Data; Ontologies; Zhisheng Huang, Robert Mateescu and Update Requests; Humanoid Robot Navigation; Bayesian and Credal Networks; Fusun Yaman, Dana Nau and Covering Problems; Hui Yang, Frank van Harmelen and Rina Dechter William W. Cohen, Einat Jens-Steffen Gutmann, Cassio Polpo de Campos and V. S. Subrahmanian Alex S. Fukunaga and Srinivasan Parthasarathy and Annette ten Teije Minkov, and Anthony Tomasic Masaki Fukuchi and Fabio Gagliardi Cozman Richard E. Korf Sameep Mehta Masahiro Fujita IJCAI – 0 5

Time Pentland Sidlaw Fintry Tinto Moorfoot Kilsyth Harris Carrick Ochil

9:00 - 10:00 Invited Speaker: Nir Friedman, Session Chair: Craig Boutilier

Trading Agent Competition; Michael Wellman

12:30 - 14:00 Lunch Break

14:00 - 15:00 Invited Speaker: Adnan Darwiche, Session Chair: Hector Geffner

THURSDAY 4TH AUGUST

Time Pentland Sidlaw Fintry Tinto Moorfoot Kilsyth Harris Carrick Ochil

9:00 - 10:00 Invited Spaker: Daniel Wolpert, Session Chair: Stuart Russell

10:30 - 12:30 Belief Revision, Feature Selection and Cost Answer Set Programming, Constraint Optimization, Natural Language 2, Temporal Probabilistic Inference, Game Theory, Learning Subjective Session Chair: Fangzhen Lin Sensitivity, Session Chair: Gerd Brewka Session Chair: Norman Sadeh Session Chair: Ingrid Zukerman Session Chair: Carlos Guestrin Session Chair: Makoto Yokoo Representations, Session Chair: Pedro Domingos Session Chair: Stuart Russell

Iterated Belief Revision, Revised; Feature Selection Based on the On Solution Correspondences The Backbone of the Travelling Analogy Generation with An MCMC Approach to Solving Leaf-Value Tables for Pruning Combining Memory and Yi Jin and Michael Thielscher Shapley Value; Shay Cohen, in Answer-Set Programming; Salesperson; Philip Kilby, HowNet; Tony Veale Hybrid Factored MDPs; Non-Zero-Sum Games; Landmarks with Predictive State Eytan Ruppin and Gideon Dror Thomas Eiter, Hans Tompits and John Slaney and Toby Walsh Branislav Kveton and Nathan Sturtevant Representations; Stefan Woltran Milos Hauskrecht Michael R. James, Britton Wolfe and Satinder Singh

Solving Logic Program Conﬂict InterActive Feature Selection; A Uniform Integration of Higher- A Novel Local Search Algorithm Word Sense Disambiguation with Continuous Time Particle A Logical Model of Nash Using Predictive Representations through Strong and Weak Hema Raghavan, Omid Madani Order Reasoning and External for the Traveling Salesman Distribution Estimation; Filtering; Brenda Ng, Avi Pfeffer Bargaining Solution; to Improve Generalization in Forgettings; Yan Zhang, and Rosie Jones Evaluations in Answer-Set Problem that Exploits Backbones; Yee Seng Chan and and Richard Dearden Dongmo Zhang Reinforcement Learning; Norman Foo and Kewen Wang Programming; Thomas Eiter, Weixiong Zhang and Hwee Tou Ng Eddie J. Rafols, Mark B. Ring, Giovambattista Ianni, Moshe Looks Richard S. Sutton and Roman Schindlauer and Brian Tanner Hans Tompits

Revision of Partially Ordered ROCCER: an Algorithm for Possibilistic Stable Models; Bounded Search and Symbolic A Machine Learning Approach to Self Adaptive Particle Filter; Learning Payoff Functions in Temporal-Difference Networks Information: Axiomatization, Rule Learning Based on ROC Pascal Nicolas, Laurent Garcia Inference for Constraint Identiﬁcation and Resolution of Alvaro Soto Inﬁnite Games; with History; Brian Tanner and Semantics and Iteration; Analysis; Ronaldo C. Prati and and Igor Stéphan Optimization; One-Anaphora; Hwee Tou Ng, Yevgeniy Vorobeychik, Richard S. Sutton Salem Benferhat, Peter A. Flach Martin Sachenbacher and Yu Zhou, Robert Dale and Michael P. Wellman and Sylvain Lagrue and Odile Papini Brian C. Williams Mary Gardiner Satinder Singh

Quota and Gmin Merging Repairing Concavities in ROC Declarative and Computational A Scalable Method for Measuring Semantic Similarity Maximum A Posteriori Path The Role of Clustering on the Learning Subjective Operators; Patricia Everaere, Curves; Peter A. Flach and Properties of Logic Programs Multiagent Constraint by Latent Relational Analysis; Estimation with Input Trace Emergence of Efﬁcient Social Representations for Planning; Sébastien Konieczny and Shaomin Wu with Aggregates; Optimization; Adrian Petcu and Peter D. Turney Perturbation: Algorithms and Conventions; Dana Wilkinson, Pierre Marquis Francesco Calimeri, Boi Faltings Application to Credible Rating of Josep M. Pujol, Jordi Delgado, Michael Bowling and Ali Ghodsi Wolfgang Faber, Nicola Leone Human Routines; Ramon Sangüesa and and Simona Perri Daniel W. Wilson and Andreas Flache Matthai Philipose

12:30 - 14:00 Lunch Break

14:00 - 15:00 Invited Speaker: Bart Selman, Session Chair: Hector Levesque

15:30 - 17:30 Ensemble Methods in Learning, Heuristic Search, Logical Reasoning, Arc Consistency, Grounding Language in the Multi-Agent Systems, Learning 1, Probablistic Reasoning and Session Chair: Session Chair: Pedro Meseguer Session Chair: Thomas Eiter Session Chair: Zeynep Kiziltan World, Session Chair: Norman Sadeh Session Chair: Peter Stone Applications, Andrew McCallum Session Chair: Ehud Reiter Session Chair: Rina Dechter

Learning Coordination Dual Lookups in Pattern Discovering Classes of Strongly Reducing Checks and Revisions Automatic Text-to-Scene Multi-agent Coordination using Learning with Labeled Sessions; Affine Algebraic Decision Classifiers; Yuhong Guo, Databases; Ariel Felner, Equivalent Logic Programs; in Coarse-grained MAC Conversion in the Traffic Local Search; Boi Faltings and Rong Jin and Huan Liu Diagrams (AADDs) and their Russell Greiner and Uzi Zahavi, Jonathan Schaeffer Fangzhen Lin and Yin Chen Algorithms; D. Mehta and Accident Domain; Quang Huy Nguyen Application to Structured Dale Schuurmans and Robert C. Holte M. R. C. van Dongen Richard Johansson, Anders Probabilistic Inference; Berglund, Magnus Danielsson Scott Sanner and and Pierre Nugues David McAllester

A Novel Approach to Model A New Approach to Strong Equivalence for Logic Optimal and Suboptimal A Probabilistic Framework Distributive and Collective Evolino: Hybrid Neuroevolution/ Optimal Nonmyopic Value Generation for Heterogeneous Multiobjective A* Search; Programs with Preferences; Singleton Arc Consistency for Recognizing Intention in Readings in Group Protocols; Optimal Linear Search for of Information in Graphical Data Classiﬁcation; Rong Jin L. Mandow and Wolfgang Faber and Algorithms; Christian Bessiere Information Graphics; Silvia Rossi, Sanjeev Kumar and Sequence Learning; Models - Efﬁcient Algorithms and and Huan Liu J. L. Pérez de la Cruz Kathrin Konczak and Romuald Debruyne Stephanie Elzer, Sandra Philip R. Cohen Jürgen Schmidhuber, Theoretical Limits; Carberry, Ingrid Zukerman, Daan Wierstra and Andreas Krause and Daniel Chester, Nancy Green Faustino Gomez Carlos Guestrin and Seniz Demir

Stacked Sequential Learning; Choosing between heuristics and Equivalence in Abductive Logic; A Greedy Approach to Establish Maps for Verbs: The Relation Efﬁciency and envy-freeness in Ranking Cases with Decision A Decision-Theoretic Approach William W. Cohen and strategies: an enhanced model Katsumi Inoue and Singleton Arc Consistency; Between Interaction Dynamics fair division of indivisible goods: Trees: a Geometric Method that to Task Assistance for Persons Vitor R. Carvalho for decision-making; Chiaki Sakama Christophe Lecoutre and and Verb Use; Paul R. Cohen, logical representation and Preserves Intelligibility; with Dementia; Jennifer Boger, Shavit Talman, Rotem Toister Stéphane Cardon Clayton T. Morrison and complexity; Sylvain Bouveret Isabelle Alvarez and Pascal Poupart, Jesse Hoey, and Sarit Kraus Erin Cannon and Jérôme Lang Stephan Bernard Craig Boutilier, Geoff Fernie and Alex Mihailidis

Sequential Genetic Search for Improved Knowledge Acquisition Measuring conﬂict and Existential arc consistency: More on the Power of Demand Accurate and Low-cost Location Ensemble Feature Selection; for High-Performance Heuristic agreement between two Getting closer to full arc Queries in Combinatorial Estimation Using Kernels; Alexey Tsymbal, Search; J. P. Bekmann and prioritized belief bases; consistency in weighted CSPs; Auctions: Learning Atomic Jeffrey Junfeng Pan, Mykola Pechenizkiy and Achim Hoffmann Guilin Qi, Weiru Liu and Simon de Givry, Federico Heras, Languages and Handling James T. Kwok, Qiang Yang and Pádraig Cunningham David A. Bell Matthias Zytnicki and Incentives; Sébastien Lahaie, Yiqiang Chen Javier Larrosa Florin Constantin and David C. Parkes

17:45 - 19:00 Research Excellence Lecture: Geoffrey Hinton IJCAI – 0 5

Time Pentland Sidlaw Fintry Tinto Moorfoot Kilsyth Harris Carrick Ochil

9:00 - 10:00 Invited Spaker: Daniel Wolpert, Session Chair: Stuart Russell

12:30 - 14:00 Lunch Break

14:00 - 15:00 Invited Speaker: Bart Selman, Session Chair: Hector Levesque

17:45 - 19:00 Research Excellence Lecture: Geoffrey Hinton IJCAI – 0 5

FRIDAY 5TH AUGUST

Time Pentland Sidlaw Fintry Tinto Moorfoot Kilsyth Harris Carrick Ochil

9:00 - 10:00 Invited Speaker: Stephen Jacobsen, Session Chair: Dieter Fox

10:30 - 12:30 Nonmonotonic Reasoning, Learning 2, Constraint Satisfaction 1, Learning in Music and the Web, Text Categorization, Decision Theory in Multi-Agent Philosophical Foundations, Session Chair: Gerd Brewka Session Chair: Jeremy Wyatt Session Chair: Toby Walsh Session Chair: Susan Craw Session Chair: William Cohen Systems, Session Chair: Session Chair: Jeff Rosenschein Alessandro Safﬁotti

A Model-Theoretic Counterpart Semi-Supervised Regression with Complete MCS-Based Search: Learning to Play Like the Great Beyond TFIDF Weighting for Sequential-Simultaneous The Altricial-Precocial Spectrum of Loop Formulas; Joohyung Lee Co-Training; Zhi-Hua Zhou and Application to Resource Pianists; Asmir Tobudic and Text Categorization in the Vector Information Elicitation in Multi- for Robots; Aaron Sloman and Ming Li Constrained Project Scheduling; Gerhard Widmer Space Model; Pascal Soucy and Agent Systems; Gal Bahar and Jackie Chappell Philippe Laborie Guy W. Mineau Moshe Tennenholtz

Minimal and Absent Information Unsupervised Dimensionality Identifying Conflicts in Signal-to-Score Music Feature Generation for Text Regret-based Utility Elicitation Attribution of Knowledge to in Contexts; Floris Roelofsen and Estimation and Manifold Overconstrained Temporal Transcription using Graphical Categorization Using World in Constraint-based Decision Artificial Agents and their Luciano Serafini Learning in high-dimensional Problems; Mark H. Liffiton, Models; Emir Kapanci and Knowledge; Evgeniy Gabrilovich Problems; Craig Boutilier, Principals; Samir Chopra and Spaces by Tensor Voting; Michael D. Moffitt, Avi Pfeffer and Shaul Markovitch Relu Patrascu, Pascal Poupart Laurence White Philippos Mordohai and Martha E. Pollack and and Dale Schuurmans Gérard Medioni Karem A. Sakallah

Reasoning under inconsistency: Partial and Vague Knowledge for Counting Solutions of CSPs: A Topic and Role Discovery in A Probabilistic Learning On Maximal Classes of Utility PsychSim: Modeling Theory of the forgotten connective; Similarity Measures; Structural Approach; Social Networks; Method for XML Annotation of Functions for Efﬁcient one-to- Mind with Decision-Theoretic Sébastien Konieczny, Timo Steffens Gilles Pesant Andrew McCallum, Documents; Boris Chidlovskii one Negotiation; Agents; David V. Pynadath and Jérôme Lang and Andrés Corrada-Emmanuel and and Jérôme Fuselier Yann Chevaleyre, Ulle Endriss Stacy C. Marsella Pierre Marquis Xuerui Wang and Nicolas Maudet

Reconstructing an Agent’s State Abstraction Discovery Learning Web Page Scores On the Axiomatic Foundations of Building the Semantic Web Epistemic State from from Irrelevant State Variables; by Error Back-Propagation; Ranking Systems; Alon Altman Tower from RDF Straw; Observations; Richard Booth Nicholas K. Jong and Michelangelo Diligenti, and Moshe Tennenholtz Peter F. Patel-Schneider and Alexander Nittka Peter Stone Marco Gori and Marco Maggini

12:30 - 14:00 Lunch Break

14:00 - 15:00 Invited Speaker: Kevin Knight, Session Chair: Johanna Moore

15:30 - 17:30 Causality and Belief Change, Learning and Plan Recognition, Constraint Satisfaction 2, Planning, Learning Language Semantics, Complexity of Reasoning 2, Case-based reasoning, Session Chair: Enrique Sucar Session Chair: Claude Sammut Session Chair: Ian Miguel Session Chair: Session Chair: Mirela Lapata Session Chair: Fangzhen Lin Session Chair: Susan Craw Michael Thielscher

Propositional Argumentation and Fast and Complete Symbolic Value Ordering for Finding All Integrating Planning and Automatic Semantic Role Generalized Amazons is Stepwise Nearest Neighbor Causal Reasoning; Plan Recognition; Solutions; Barbara M. Smith and Temporal Reasoning for Domains Labeling for Chinese Verbs; PSPACE-Complete; Discriminant Analysis; Alexander Bochman Dorit Avrahami-Zilberbrand and Paula Sturdy with Durations and Time Nianwen Xue and Timothy Furtak, Masashi Kiyomi, Xipeng Qiu and Lide Wu Gal A. Kaminka Windows; Alfonso Gerevini, Martha Palmer Takeaki Uno and Michael Buro Alessandro Saetti and Ivan Serina

Compiling Bayesian Networks Combining Learning Constraints Optimal Refutations for Abstraction-based Action Meaning development versus The computational complexity Cho-k-NN: A Method for with Local Structure; and Numerical Regression; Constraint Satisfaction Problems; Ordering in Planning; predeﬁned meanings in of dominance and consistency Combining Interacting Pieces Mark Chavira and Dorian Suc and Ivan Bratko Tudor Hulubei and Maria Fox, Derek Long and language evolution models; in CP-nets; Judy Goldsmith, of Evidence in Case-Based Adnan Darwiche Barry O’Sullivan Julie Porteous Paul Vogt Jérôme Lang, Miroslaw Learning; Eyke Hüllermeier Truszczynski and Nic Wilson

First-Order Logical Filtering; Stereotype Extraction with Resolution in Max-SAT and its Over-Subscription Planning with Robust Ontology Acquisition Data Complexity of Reasoning Automating the Discovery of Afsaneh Shirazi and Eyal Amir Default Clustering; Julien Velcin relation to local consistency in Numeric Goals; J. Benton, from Machine-Readable in Very Expressive Description Recommendation Knowledge; and Jean-Gabriel Ganascia weighted CSPs; Javier Larrosa Minh B. Do and Dictionaries; Eric Nichols, Logics; Ullrich Hustadt, David McSherry and and Federico Heras Subbarao Kambhampati Francis Bond and Boris Motik and Ulrike Sattler Christopher Stretch Daniel Flickinger

Inverse Resolution as Belief Decision Diagrams for the Automated Composition of Web Sophia: A novel approach for Change; Maurice Pagnucco and Computation of Semiring Services by Planning at the Textual Case-based Reasoning; David Rajaratnam Valuations; Nic Wilson Knowledge Level; M. Pistore, David Patterson, Niall Rooney, A. Marconi, P. Bertoli and Vladimir Dobrynin and P. Traverso Mykola Galushka IJCAI – 0 5

Time Pentland Sidlaw Fintry Tinto Moorfoot Kilsyth Harris Carrick Ochil

9:00 - 10:00 Invited Speaker: Stephen Jacobsen, Session Chair: Dieter Fox

12:30 - 14:00 Lunch Break

14:00 - 15:00 Invited Speaker: Kevin Knight, Session Chair: Johanna Moore

IJCAI-05 TECHNICAL POSTER SESSION Knowledge Representation and Reasoning

The IJCAI-2005 Poster Session will be held on Tuesday 2 Abduction with Hypotheses Confirmation August from 17:30 to 19:00. The posters will be situated in the Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello and exhibition area in the Cromdale Hall on Level -2 of the Edinburgh Paolo Torroni International Conference Centre and will be displayed for the duration of the conference. A language for functional interpretation of model based simulation Poster Chair: Alessandro Saffiotti Jonathan Bell, Neal Snooke and Chris Price

A Non-monotonic Logic for Specifying and Querying Preferences Ai and Cognitive Architectures Guido Boella and Leendert van der Torre

Motivated Agents A Multidimensional Semantic Framework for Adaptive Hypermedia Kathryn Kasmarik, William Uther and Mary-Lou Maher Systems Francesca Carmagnola, Federica Cena, Cristina Gena and Ilaria Using AI and simulations to design and control space habitats Torre David Kortenkamp and Scott Bell Explaining Search Results A Universal Measure of Intelligence for Artificial Agents Maurice Coyle and Barry Smyth Shane Legg and Marcus Hutter A Cognitive Model of Visual Analogical Problem-Solving Transfer It’s About Time Jim Davies, Ashok K. Goel and Nancy J. Nersessian Neil Madden and Brian Logan An Architecture for Proof Planning Systems Automation Intelligence for the Smart Environment Louise A. Dennis G. Michael Youngblood, Edwin O. Heierman, Lawrence B. Holder and Diane J. Cook Explaining preferences with argument positions Sylvie Doutre, Trevor Bench-Capon and Paul E. Dunne

Constraint Satisfaction and Search Heuristics for Hard ASP Programs Wolfgang Faber, Nicola Leone and Francesco Ricca Allocation and Scheduling for MPSoCs via decomposition and no- good generation Incremental Diagnosis of Discrete-Event Systems Luca Benini, Davide Bertozzi, Alessio Guerri and Michela Milano Alban Grastien, Marie-Odile Cordier and Christine Largouët

Minimizing a Makespan Under Uncertainty Reflection Patterns for Interactive Knowledge Capture Jérôme Fortin, Pawel Zielinski, Didier Dubois and Hélène Fargier Jihie Kim

Scaling up WA* with Commitment and Diversity A Unified Framework of Propositional Knowledge Base Revision and David Furcy and Sven Koenig Update Based on State Transition Models Yasuo Kudo and Tetsuya Murai A Covering Problem for Hypercubes Jörg Hoffmann and Sebastian Kupferschmid Redesign Support Framework based on Hierarchical Multiple Models I. López-Arévalo, A. Rodríguez-Martínez, A. Aldea, R. Bañares- Predicate-Oriented Isomorphism Elimination in Model Finding Alcántara and L. Jiménez Xiangxue Jia and Jian Zhang Knowledge Based Approach for Mechanically Verifying Security Maintaining Arc Consistency using Adaptive Domain Ordering Protocols Chavalit Likitvivatanavong, Yuanlin Zhang, James Owen, and Eugene Xiaoqi Ma, Xiaochun Cheng and Rachel McCrindle C. Freuder Capturing and Reusing Case-Based Context for Image Retrieval Combination of Local Search Strategies for Rotating Workforce Dympna O’Sullivan, Eoin McLoughlin, Michela Bertolotto and David Scheduling Problem C. Wilson Nysret Musliu Dependency Calculus Reasoning in a General Point Relation Algebra Corrective Explanation for Interactive Constraint Satisfaction Marco Ragni and Alexander Scivos Barry O’Sullivan, Barry O’Callaghan and Eugene C. Freuder Compact Propositional Encodings of First-Order Theories CSP Search with Responsibility Sets and Kernels Deepak Ramachandran and Eyal Amir Igor Razgon and Amnon Meisels Computationally Grounded Model of BDI-Agents Hypertree-decomposition via Branch-decomposition Kaile Su, Abdul Sattar, Kewen Wang and Guido Governatori Marko Samer The Ontology Revision Improving Tree Decomposition Methods With Function Filtering Yu Sun and Yuefei Sui Martí Sánchez, Javier Larrosa and Pedro Meseguer A CLP-Based, Diagnosticity-Driven System for Concept Combinations Streamlining Local Search for Spatially Balanced Latin Squares Georgios Tagalakis, Daniela Ferrari and Mark T. Keane Casey Smith, Carla Gomes and Cesar Fernandez Proof General / Eclipse: A Generic Interface for Interactive Proof Daniel Winterstein, David Aspinall and Christoph Lüth IJCAI – 0 5

Learning and Information Extraction Question Classification by Structure Induction Menno van Zaanen, Luiz Augusto Pizzato and Diego Mollá Using Learned Browsing Behavior Models to Recommend Relevant Web Pages An Inductive Database for Mining Temporal Patterns in Event Tingshao Zhu, Russ Greiner, Gerald Häubl, Kevin Jewell and Bob Sequences Price Alexandre Vautier, Marie-Odile Cordier and René Quiniou

A Study of Selection Noise in Collaborative Web Search Discovering Time Differential Law Equations Containing Hidden Oisín Boydell, Barry Smyth, Cathal Gurrin and Alan F. Smeaton State Variables and Chaotic Dynamics Takashi Washio, Fuminori Adachi and Hiroshi Motoda Image Retrieval and Disambiguation for Encyclopedic Web Search Atsushi Fujii and Tetsuya Ishikawa Learning Global Models Based on Distributed Data Abstractions Xiaofeng Zhang and William K. Cheung Learning Complex Event Descriptions by Abstraction Ugo Galassi, Attilio Giordana, Lorenza Saitta and Marco Botta Multi-agent Systems Conditional Visuomotor Learning and Viability Theory Fadila Hadj-Bouziane, Hélène Frankowska, Martine Meunier and Language Learning in Multi-Agent Systems Driss Boussaoud Martin Allen, Claudia V. Goldman and Shlomo Zilberstein

fMRI Analysis via One-class Machine Learning Techniques On the Evolution of Memory Size in the Minority Game (extended David R. Hardoon and Larry M. Manevitz abstract) Ricardo M. Araújo and Luis C. Lamb Adaptive Support Vector Machine for Time-Varying Data Streams Using Martingale Achieving Allocatively-Efficient and Strongly Budget-Balanced Shen-Shyang Ho and Harry Wechsler Mechanisms in the Network Flow Domain for Bounded-Rational Agents Automatic Hypertext Keyphrase Detection Yoram Bachrach and Jeffrey S. Rosenschein Daniel Kelleher and Saturnino Luz The Evolution of Artificial Social Systems Relational Learning for Email Task Management Guido Boella and Leendert van der Torre Rinat Khoussainov and Nicholas Kushmerick Fast convergence to satisfying distributions A Fast Normalized Maximum Likelihood Algorithm for Multinomial Teddy Candale and Sandip Sen Data Petri Kontkanen and Petri Myllymäki A rule language for modelling and monitoring social expectations in multi-agent systems Using Neutral Examples for Learning Polarity Stephen Cranefield Moshe Koppel and Jonathan Schler A Framework for Communication Planning on Mobile Devices Transfer in Learning by Doing Joseph B. Kopena and William C. Regli Bill Krueger, Tim Oates, Tom Armstrong, Paul Cohen and Carole Beal Trust No One: Evaluating Trust-based Filtering for Recommenders Supervised Local Tangent Space Alignment for Classification John O’Donovan and Barry Smyth Hongyu Li, Wenbin Chen and I-Fan Shen Inter-Agent Communication: A Cost-Reduction Approach Using an Active Cost-Sensitive Learning Autonomous Mobile Mailbox Dragos D. Margineantu Armin Stranjak, Igor Cavrak and Mario Zagar

Automatic learning of domain model for personalized hypermedia Coalitional Games in Open Anonymous Environments applications Makoto Yokoo, Vincent Conitzer, Tuomas Sandholm, Naoki Ohta and Hermine Njike, Thierry Artières, Patrick Gallinari, Julien Blanchard Atsushi Iwasaki and Guillaume Letellier Value-Centric Trust Model with Improved Familiarity Measurement Kernels on Prolog Ground Terms Jie Zhang and Ali A. Ghorbani Andrea Passerini and Paolo Frasconi

A Learning Scheme for Generating Expressive Music Performances of Jazz Standards Natural Language and User Interfaces Rafael Ramirez and Amaury Hazan Towards More Intelligent Mobile Search Incorporating a folding rule into inductive logic programming Karen Church, Mark T. Keane and Barry Smyth David A. Rosenblueth An Inference Model for Semantic Entailment in Natural Language Development of new techniques to improve Web search Rodrigo de Salvo Braz, Roxana Girju, Vasin Punyakanok, Dan Roth David Sánchez and Antonio Moreno and Mark Sammons

Intimate Learning: A Novel Approach for Combining Labelled and Discovering Inconsistency through Examination Dialogues Unlabelled Data Paul E. Dunne, Sylvie Doutre and Trevor Bench-Capon Zhongmin Shi and Anoop Sarkar A Probabilistic Lexical Approach to Textual Entailment Collective Object Identification Oren Glickman, Ido Dagan and Moshe Koppel Parag Singla and Pedro Domingos IJCAI – 0 5

Structural Representation and Matching of Articulatory Speech An On-Line Time Warping Algorithm for Tracking Musical Structures based on the Evolving Transformation System (ETS) Performances Formalism Simon Dixon Alexander Gutkin and David Gay Path-Planning for Autonomous Training on Robot Manipulators in Sentence Extraction for Legal Text Summarisation Space Ben Hachey and Claire Grover Froduald Kabanza, Roger Nkambou and Khaled Belghith

Fault-Tolerant Context-Based Interpretation of Mathematical Growth of Motor Coordination in Early Robot Learning Formulas M. H. Lee and Q. Meng Helmut Horacek and Magdalena Wolska Measuring the Cost of Robotic Communication MDL-based Acquisition of Substitutability Relationships between Avi Rosenfeld, Gal A Kaminka and Sarit Kraus Discourse Connectives Ben Hutchinson An Heuristic Search based Approach for Moving Objects Tracking Elena Sánchez-Nielsen and Mario Hernández-Tejera Can we assign attitudes to a computer based on its beeps?—Toward an effective method for making humans empathize with artificial 3-D Interpretation of Single Line Drawings agents Kenji Shoji, Fubito Toyama and Juichi Miyamichi Takanori Komatsu SVM-based Obstacles Recognition for Road Vehicle Applications Correspondence-guided Synchronous Parsing of Parallel Corpora M.A. Sotelo, J. Nuevo, D. Fernandez, I. Parra, L.M. Bergasa, Jonas Kuhn M. Ocana and R. Flores

Naturalness of an Utterance Based on the Automatically Retrieved Detecting and locating faults in the control software of autonomous Commonsense mobile robots Rafal Rzepka, Yali Ge, and Kenji Araki Gerald Steinbauer and Franz Wotawa

Induction of Syntactic Collocation Patterns from Generic Syntactic Learning discontinuities for switching between local models Relations Marc Toussaint and Sethu Vijayakumar Violeta Seretan

Evaluating an NLG System using Post-Editing Uncertainty Somayajulu G. Sripada, Ehud Reiter and Lezan Hawizy Model minimization by linear PSR Online Support System for Mediator Education Masoumeh T.Izadi and Doina Precup Takahiro Tanaka, Yoshiaki Yasumura, Daisuke Katagami and Katsumi Nitta Using core beliefs for point-based value iteration Masoumeh T. Izadi, Ajit V. Rajwade and Doina Precup Appropriate Microplanning Choices for Low-Skilled Readers Sandra Williams and Ehud Reiter Approximating Pseudo-Boolean Functions on Non-Uniform Domains R.F. Lax, Guoli Ding, Peter P. Chen and J.Chen

Planning A Modal Logic for Reasoning about Possibilistic Belief Fusion Churn-Jung Liau and Tuan-Fang Fan Mixed-Initiative Activity Planning for Mars Rovers John Bresina, Ari Jónsson, Paul Morris and Kanna Rajan Networked Distributed POMDPs: A Synergy of Distributed Constraint Optimization and POMDPs Planning with graded fluents and actions Ranjit Nair, Pradeep Varakantham, Milind Tambe and Makoto Yokoo Marta Cialdea, Carla Limongelli, Andrea Orlandini and Valentina Poggioni Coping with exceptions in multiclass ILP problems using possibilistic logic Automated Adaptive Support for Task and Information Prioritizing Mathieu Serrurier and Henri Prade Tjerk de Greef and Peter-Paul van Maanen

Planning for Weakly-Coupled Partially Observable Stochastic Games AnYuan Guo and Victor Lesser IJCAI-05 TECHNOLOGY EXCHANGE AND EXHIBITION Multi-Agent Assumption-Based Planning Damien Pellier and Humbert Fiorino The Technology Exchange and Exhibition will be held in the Cromdale Hall on Level -2 of the Edinburgh International Open-World Planning for Story Generation Conference Centre from Tuesday 2 August until Friday 5 August. Mark O. Riedl and R. Michael Young The exhibition will comprise a host of displays designed to showcase current products, publications, research and applications in artificial Disjunctive Temporal Planning with Uncertainty intelligence. Admission is restricted to registered participants and K. Brent Venable and Neil Yorke-Smith badges must be worn.

Exhibition Opening Hours: Robotics and Perception Tuesday 2 August 1000 - 1900 hours Wednesday 3 August 1000 - 1800 hours Talking Robots: a Fully Autonomous Implementation of the Talking Thursday 4 August 1000 - 1800 hours Heads Friday 5 August 1000 - 1530 hours Jean-Christophe Baillie and Matthieu Nottale IJCAI – 0 5

Exhibitors STAND NUMBER 5 • Taylor & Francis Cambridge University Press • European Coordination Committee for Artificial Intelligence Shaftesbury Road, Cambridge, CB2 2RU (ECCAI) www.cambridge.org • Elsevier Cambridge University Press is the printing and publishing house • Cambridge University Press of the University of Cambridge and has grown to become one • Oxford University Press of the largest academic and professional publishers, publishing • WWW2006 Conference over 2,000 books and 150 journals a year, which are sold in • AKT: Advanced Knowledge Technologies 200 countries. Cambridge University Press publishes across the • Springer-Verlag GmbH whole range of computer science. Our titles range from guides for • BT professional programmers on software development, testing and • Scottish Enterprise implementation, through to a wide range of textbooks and research • The British Computer Society monographs. Visit our stand at IJCAI 2005 to receive a 20% • The MIT Press discount on displayed titles. • IOS Press

STAND NUMBER 6 STAND NUMBER 1 Oxford University Press Taylor & Francis Great Clarendon Street, Oxford, OX2 6DP 4 Park Square, Milton Park, Abingdon, Oxfordshire OX14 4RN www.oxfordjournals.org www.taylorandfrancisgroup.com Tel: 01865 354458 Tel: 020 7017 6000 Contact: Linda Hann Fax: 020 7017 6714 Email: [email protected] Email: [email protected] Oxford Journals is part of the world’s largest university press, so Contact: Angela Dickinson unlike many commercial publishers we’re motivated by quality, not Taylor & Francis are one of the World’s leading publishers and have profit. Our goal is to bring the highest quality research to the widest been publishing high quality scientific, academic and professional possible audience. Our commitment is reflected in the standard of books and journals since 1798. With recent acquisitions Taylor our portfolio of more than 180 titles, our service, and the value for and Francis have build up an established portfolio of Computing money we offer. Our collections in the sciences include many of the & Artificial Intelligence titles, serving the international scientific most authoritative journals in print and online. community with high quality peer-reviewed scientific articles.

STAND NUMBER 7 STAND NUMBER 2 WWW2006 Conference European Coordination Committee Email: [email protected] for Artiﬁcial Intelligence (ECCAI) Tel: 02380 594479 c/o Werner Horn, Department of Medical Cybernetics and AI, Fax: 02380 592865 Freyung 6/2, A-1010 Vienna, Austria http://www2006.org/ www.eccai.org Since the first international WWW Conference in 1994, this [email protected] prestigious event, organized by the International World Wide Web ECCAI, the European Coordinating Committee for Artificial Conference Committee (IW3C2), has provided the annual public Intelligence, was established in July 1982 as a representative body forum for communicating research and development of Web for the European Artificial Intelligence community. Its aim is to infrastructure and applications, and W3C initiatives. The fifteenth promote the study, research and application of Artificial Intelligence conference comes to the UK for the first time and will be held from in Europe. 22 to 26 May 2006 at the Edinburgh International Conference ECCAI’s members are currently 26 national European AI societies. Centre. WWW2006 will have around 2,000 delegates, including ECCAI’s activities include the organization of the European researchers or developers from institutions and technical companies Conference on AI (ECAI) in each even year and the Advanced from around the world and managers from the financial, service Course on AI (ACAI) in each odd year. Both events are hosted by a and public sectors attracted to the sector-based themed days. national AI society.

STAND NUMBER 8 STAND NUMBER 3 AKT: Advanced Knowledge Technologies Elsevier Director: Professor Nigel Shadbolt, School of Electronics and Radarweg 29, 1043 NX Amsterdam, The Netherlands Computer Science, University of Southampton, SO17 1BJ www.elsevier.com Email: [email protected] A world leading, multiple-media publisher of scientific, technical Tel: 023 8059 3523 and health information products and services, with 7,000 employees www.aktors.org in 73 locations around the globe. Elsevier publishes more than Advanced Knowledge Technologies (AKT) is a multi-million pound 20,000 products and services, including journals, books, electronic six-year Interdisciplinary Research Collaboration between five top- products, services, databases and portals serving the global ranked UK university departments. It is tackling one of the major scientific, technical and medical (STM) communities. Elsevier’s challenges of our time - information overload. AKT is providing computer science department publishes some 110 high quality integrated technologies and services to get the right content to the international journals and 50 books per year. right place, at the right time, in the right form. The Semantic Web, a projected extension to the WWW, provides AKT’s technological basis, allowing a unified framework within which many approaches to the problem can be integrated. AKT is tackling the whole lifecycle of capture, modelling, retrieval, publishing, reuse, and maintenance of knowledge. IJCAI – 0 5

STAND NUMBER 9 Edinburgh-Stanford Link Springer-Verlag GmbH 2 Buccleuch Place, Edinburgh, EH8 9LW Tiergartenstr. 17, 69121 Heidelberg, Germany Tel: 0131 651 3157 Tel: +49 (0) 62 21-4 87-0 Fax: 0131 650 4587 Fax: +49 (0) 62 21-4 87-83 36 Contact: Nick Wright www.springeronline.com E-mail: [email protected] Springer is one of the most renowned scientific publishing The Edinburgh-Stanford Link is a £6m research, training companies in the world. Its publications cover subjects ranging and commercialisation initiative, specialising in speech and from the natural sciences, mathematics, engineering and computer language technology. The initiative links the UK’s top academic science to medicine, humanities, economics and law. Springer’s computer science research group, the University of Edinburgh, authors are highly qualified experts. They include a large number with the world’s most entrepreneurial, Stanford University in of Nobel prizewinners and more are added every year. Springer California. Part-funded by Scottish Enterprise, the Link exploits the publishes more than 3,400 new books each year and 1.250 commercial potential of this research by transferring knowledge journals, most of which are also available in electronic form. and skills into new or existing companies. The Link also runs several technology entrepreneurship courses, as well as serving as the commercialisation vehicle for around 100 research staff STAND NUMBER 10 investigating human computer interaction (HCI) at the University of British Telecommunications (BT) Edinburgh. The Intelligent Systems Research Centre - ISRC BT Group Chief Technology Office Tel: +44 (0) 1473 605450 STAND NUMBER 12 Email: [email protected] The British Computer Society MLB 1 / PP12, Orion Building 1 Sanford Street, Swindon SN1 1HJ Contact: Dr. Nader Azarmi, Adastral Park, Martlesham Heath www.bcs.org.uk Ipswich IP5 3RE UK The British Computer Society is the leading professional body for www.bt.com the IT industry. With members in over 100 countries the BCS is The ISRC is a BT Group CTO’s centre of Artificial Intelligence the professional and learned Society in the field of computers and research and innovation. The Centre focuses on AI technologies information systems. such as intelligent optimisation, soft computing, knowledge The Society is responsible for setting standards for the IT profession. management, software agents and P2P computing. It is also leading the change in public perception and appreciation The ISRC aims to develop novel intelligent software systems and of the economic and social importance of professionally technologies in order to radically improve the way an organisation/ managed IT projects and programmes. The Society advises, enterprise operates and employs its mission critical processes, informs and persuades industry and government on successful IT systems and resources; and technologically enable the provision and implementation. management of future ICT networks and innovative services. The BCS is determined to promote IT as the profession of the 21st During the IJCAI-05 Technology Exchange and Exhibition event, century. a number of the ISRC’s AI research products (SPIDA, iOpt) and applications will be demonstrated. STAND NUMBER 16 The MIT Press STAND NUMBER 11 The MIT Press Contact Person: Robert Prior, Executive Editor Scottish Enterprise Email: [email protected] The Scottish Enterprise Stand will be occupied by Talentscotland. 55 Hayward Street, Cambridge, MA 02142 , USA com on Tuesday and Wednesday and by Edinburgh-Stanford Link on London Ofﬁce contact: Judith Bullent Thursday and Friday. [email protected] http://mitpress.mit.edu Talentscotland.com The MIT Press publishes distinguished trade books, monographs The Alba Centre, The Alba Campus, Livingston, and textbooks in core and innovative areas of artificial and West Lothian, EH54 7EG computational intelligence. New titles include Introduction to Tel: 01506 407 000 Machine Learning by Ethem Alpaydin, Autonomous Agents by Fax: 01506 407 001 George Bekey, and Principles of Robot Motion by Howie Choset et E-mail: [email protected] al. Talentscotland.com – Living and Working in Scotland A wide range of our new and backlist titles will be available to Consider a career in Scotland – a country with a great reputation purchase at 20% discount, and our Acquisition Editor and marketing for its scientific excellence and one of the most vibrant life sciences personnel will be available during the conference to talk to you. communities in Europe. Scotland has a wide range of companies and research institutes interested in skilled scientists and engineers who are ready for a real career challenge. STAND NUMBER 19 Talentscotland.com provides a wealth of information on: IOS Press • where to find a great job in Scotland Nieuwe Hemweg 6B, 1013 BG Amsterdam, The Netherlands • company and academic activities 0031 20 688 3355 • the excellent lifestyle www.iospress.nl • and practical advice to help you make the move. IOS Press is a rapidly expanding Scientific, Technical, Medical, and For more information visit www.talentscotland.com. Register for job Professional publishing house established in 1987 in Amsterdam, alerts and regular life sciences news from Scotland. The Netherlands. IOS Press focuses on a broad range of subject Talentscotland.com is managed by Scottish Enterprise. areas including Artificial Intelligence. IOS Press publishes next to 6 AI journal titles, 10-15 books a year in its series Frontiers in Artificial intelligence and Applications, which covers all aspects of theoretical and applied artificial intelligence research in the form of monographs, doctoral dissertations, textbooks, handbooks and proceedings volumes. IJCAI – 0 5

EXHIBITION FLOOR PLAN EXIT

LIFT BABY ROOM EXIT

EXIT Catering Point 3 6 7 8 9 10 11 12 6 2 2 2 6 6 6 6 3 3 3 3 3 3 9 9 9 FA 3 3 3

2 OPEN STORE AREA USED BOTTLES 5 2 EXTINGUISHERS 4 R ESCALATO

REFUSE STORE AND SKIP

2 3 Catering LINE OF LEVEL 1 Trading Agents BALCONY OVER 4 Point Competition

8 20.25

2 2 2 4 EXTINGUISHERS 1 3 FA

6 FA

EXIT 3 3 4 19 16 2 Catering 2 Point 6 6 SWITCH 8 ETC. EXIT FA

KITCHEN DOORS

TRADING AGENTS COMPETITION VENUES

On Tuesday 2 August, the 2005 Trading Agent Competition (TAC) The University of Edinburgh, will conduct its Semi-final Round in the Technology Exchange and Appleton Tower, Exhibition in the Cromdale Hall of the EICC, with Finals taking place 11 Crichton Street, the following day. TAC-05 presents challenging market games in Edinburgh, EH8 9LE the domains of travel shopping and supply chain management. The Tel: 00 44 (0) 131 650 1000 exhibit will feature live games with running commentary, and posters and demonstrations from participating teams. The workshops and tutorials will take place at Appleton Tower and surrounding University buildings. The University of Edinburgh created the School of Informatics to bring together research and teaching in Computer Science, Cognitive Science and Artificial REGISTRATION Intelligence and provide a foundation for interdisciplinary studies bringing a new perspective to research and scholarship across the Registration for workshops and tutorials will take place at Appleton University. The School of Informatics is the UK’s biggest research Tower, University of Edinburgh at the following times: group in this area. Saturday 30 July 0800 to 1700 hours Sunday 31 July 0800 to 1700 hours Monday 1 August 0800 to 1000 hours Edinburgh International Conference Centre, The Exchange, Edinburgh, EH3 8EE Please note that participants attending the workshops and/or Tel: 00 44 (0) 131 300 3000 tutorials should collect their conference materials when they register Fax: 00 44 (0) 131 300 3030 at the University of Edinburgh. The IJCAI-05 Conference Sessions will be held at Edinburgh Registration for the conference will take place in the Strathblane Hall International Conference Centre (EICC), situated in the city centre. of the EICC and will be open at the following times: The EICC’s striking circular design has made it one of Edinburgh’s Monday 1 August 1400 to 1800 hours most distinctive landmarks. The centre has hosted many high profile Tuesday 2 August 0800 to 1900 hours conferences and events since opening in 1995. As you would Wednesday 3 August 0800 to 1800 hours expect from a world-class venue, the technical, presentation and Thursday 4 August 0800 to 1800 hours communications facilities are modern, efficient and adaptable. Friday 5 August 0800 to 1700 hours IJCAI – 0 5

GENERAL INFORMATION Speakers The Speakers’ Preview Area will be in the Lomond Foyer on Level Catering and Exhibition 0 of the EICC. Speakers should visit this area, preferably 2 hours The IJCAI-05 Technology Exchange and Exhibition will be held in prior to the start of their session, to organise the material for their the Cromdale Hall of the EICC from Tuesday 2 August to Friday 5 presentation. The room will be open from 1400 to 1800 hours August. All participants are invited to visit the exhibition. on Monday 1 August and from 0800 to 1800 hours from Tuesday onwards. Coffee and tea will be served in the exhibition hall at the following times from Tuesday to Friday: Telephones 1000 – 1030 Public telephones for domestic and international calls are located in 1530 – 1600 the Strathblane Hall on Level 0 of the EICC.

Lunch is not included in the registration fee, however lunch can be purchased in the EICC or from a nearby food outlet. Participants are not permitted to bring any food or drink into the EICC building. SOCIAL PROGRAMME

Message Board MONDAY 1 AUGUST 2005 Messages and news for the Conference participants will be published on a message board next to the Conference registration IJCAI-05 Ofﬁcial Opening Ceremony desk. 1815 - 1915 hours The Opening Ceremony will be held in the Pentland Suite on Level Participant Badges 3 of the Edinburgh International Conference Centre and will be For security purposes, participant badges must be worn at all times. chaired by Fausto Giunchiglia, IJCAI-05 Conference Chair. This will be followed by the opening reception at Edinburgh Castle. General Assistance Please go to the IJCAI-05 registration desk if you have any queries. Welcome Reception at Edinburgh Castle 1930 - 2130 hours Currency The IJCAI-05 Welcome Reception will be held in the stunning Currency exchanges are available at all major UK airports including surroundings of Edinburgh Castle. There will be time to view the Glasgow and Edinburgh and in Edinburgh Waverley Train Station. various places of interest within the Castle including the Honours of Scotland - Scotland’s Crown Jewels. Drinks and canapés will Participants will also be able to exchange currency in most be served. Complimentary for all participants and registered Edinburgh city centre banks. accompanying guests. Dress: Informal Credit Cards Most credit cards are accepted in the UK. However it is best to pay cash in smaller shops. WEDNESDAY 3 AUGUST 2005

Banking Hours IJCAI-05 Banquet Normally Monday to Friday 0900 to 1700 hours. 1930 - 2300 hours The Royal Museum, Chambers Street Shopping The IJCAI-05 Banquet will be held in the Main Hall of the Royal Opening hours: Monday to Friday 0900 to 1700 hours Museum, one of the National Museums of Scotland. The foundation Late night shopping on Thursdays until 1930 or 2000 hours. stone of the building was laid by Prince Albert in 1861 and the building was completed in 1888. The Museum comprises 36 Language Galleries housing an extensive and varied collection ranging from The official language of the Conference will be ENGLISH – there will Dolly the Sheep to coins and medals that once belonged to Mary be no simultaneous translation in conference sessions. Queens of Scots. The pre-dinner drinks reception will be held on the balcony. Business Service Centre Dinner will be followed by dancing to a traditional Scottish ceilidh. The EICC’s business centre offers facilities including fax machine, Cost: (£58.75 (£50 + £8.75 VAT) PC/printer and photocopier. Secretarial services are also available. Dress: Informal

Cybercafé and Internet Access There will be an IJCAI-05 cybercafé for participants in the Technology Exchange and Exhibition in the Cromdale Hall of the EICC. Internet access is also possible through the EICC’s wireless facilities. Please ask for a voucher at the registration desks.

Parking There are five car parks all within two to five minutes’ walking distance from the EICC. Please view the website for detailed information about car parking – www.eicc.co.uk

Transport Taxi service is an easy way to travel around Edinburgh. All black taxis use meters to record the cost of the journey. When using private hire taxis it is best to agree an approximate fare at the start of the journey.

Press The press desk will be located in the Strathblane Hall on Level 0 of the EICC. IJCAI – 0 5

TOURS SONY RESEARCH: QRIO ROBOT TECHNICAL Unfortunately all accompanying guest tours had to be cancelled DEMONSTRATION due to lack of interest. Participants will be refunded for any tours Pentland Auditorium booked. Wednesday 3 August, 1745 hours If you would like to participate in an independent tour we would Friday 5 August, 1000 hours suggest that you book with Scottish Tours. These can be booked SONY Research Japan will present its most online at http://www.scottishtours.co.uk. cutting-edge robot, QRIO, in a technical Alternatively tours can be booked at the St Andrews Bus Station demonstration highlighting the latest research. or at the Tourist Information Centre at Waverley Station. The QRIO will show its capabilities in navigating telephone number for information is 0871 200 8008. in a complex environment with various obstacles and different floor levels, and will also present its basic perception technologies like face learning and detection, sound source localisation, and speech recognition, finally entertaining the IJCAI-05 SPECIAL MEETINGS AND EVENTS audience by playing soccer and a dance performance.

IJCAI Trustees Meeting Sunday 31 July, 0900 – 1800 hours and Thursday 4 August, 0830 – 1200 hours in Room A5 on the first floor at the Apex International IJCAI-07 HYDERABAD, INDIA Hotel, 31-35 Grassmarket, Edinburgh. January 6 - 12, 2007 ECCAI Board Meeting Sunday 31 July, 1000 – 1800 hours in Room 4.01 in the David IJCAI-07, the Twentieth International Joint Conference on Artificial Hume Tower at the University of Edinburgh. Intelligence will be held January 6 - 12, 2007 in Hyderabad, India. It is sponsored by the International Joint Conferences on Artificial ECCAI Fellows Lunch Intelligence (IJCAI). The Indian AI community is looking forward Monday 1 August, 1200 – 1400 hours in Room G10 in the Adam to hosting the first IJCAI in India. Hyderabad is among the largest Ferguson Building at The University of Edinburgh. metropolises of India and is the capital of the State of Andhra Pradesh. It has the atmosphere of an Arabian Nights fairy tale with AI Journal Steering Committee Meeting elegant palaces, erstwhile stately homes and crowded bazaars. Tuesday 2 August, 0700 – 0900 hours at the Apex European Hotel, Hyderabad can be easily reached through air, rail & road and is 90 Haymarket Terrace, Edinburgh. well connected to almost all the cities of India and abroad. More details are at http://www.ijcai-07.org AI Journal Editorial Board Meeting Tuesday 2 August, 1230 – 1400 hours at the Apex European Hotel, For further information, please contact one of the following: 90 Haymarket Terrace, Edinburgh. Ramon López de Mántaras IFIP Technical Committee 12 Meeting Conference Chair, IJCAI-07 Tuesday 2 August, 1530 – 1730 hours in the Ochil Room on Level 1 Research Professor of the Spanish Council of the EICC. for Scientific Research (CSIC) Artificial Intelligence Research Institute ECCAI General Assembly Campus of the Universitat Autonoma de Barcelona Tuesday 2 August, 1730 – 2000 hours in the Harris Room on Level 08193 Bellaterra, Catalonia, Spain 1 of the EICC. [email protected]

IJCAI Executive Committee Meeting Manuela M. Veloso Wednesday 3 August, 1330 – 1800 hours in the Ochil Room on Program Chair, IJCAI-07 Level 1 of the EICC. Professor of Computer Science Carnegie Mellon University, 5000 Forbes Ave. Pittsburgh PA 15213 IJCAI Business Meeting USA Thursday 4 August, 1245 – 1330 hours in the Ochil Room on Level [email protected] 1 of the EICC. The meeting is open to all attendees. Rajeev Sangal and Harish Mehta International AI Societies Meeting Local Arrangements Co-Chairs, IJCAI-07 Thursday 4 August, 1530 – 1730 hours in the Ochil Room on Level 1 of the EICC. Rajeev Sangal Director, International Institute of Information Technology The Business of AI Gachibowli, Hyderabad 500019, India Carrick Room [email protected] Friday 5 August 2005 A new one-day event will take place on Friday highlighting how Harish Mehta companies are trying to commercialise from Artificial Intelligence Chairman & Managing Director - Onward Technologies Ltd. Technology. The day will comprise invited panel speakers who are 62 MIDC 13 Street, Andheri (East), Mumbai 400 093, India building a business based on AI technology. Each will describe the [email protected] technology they are using and the business they are building. This will provide a forum to get an overview of how AI is being used in Ramasamy Uthurusamy business and the issues in building a business using AI. Participation IJCAI Secretary-Treasurer is open to all conference participants but will be limited to the first Information Systems and Services 40 who sign-up for the event. General Motors Corporation MC 482-B27-D84 200 Renaissance Center, Detroit, MI 48265, USA [email protected] IJCAI-05 gratefully acknowledges the generous support from all the corporate sponsors.

IBM Research Google