Riva del Garda, ITALY European Conference on Artificial...

Riva del Garda, ITALY28 August - 1 September 2006

http://ecai2006.itc.it

Organized by: ECCAI European Coordinating Committee for Artificial Intelligence andAI*IA Associazione Italiana per l’Intelligenza Artificiale

Hosted by: ITC-irst - Centro per la Ricerca Scientifica e Tecnologica

17th

Eur

opea

n C

onfe

renc

e o

n A

rtific

ial I

ntel

ligen

ce

ECAI 20062|

ECAI 2006 17th European Conference on Artificial IntelligenceITC-irst Istituto Trentino di Cultura - Centro per la Ricerca Scientifica e Tecnologicavia Sommarive, 18 POVO - Tn (Italy)

Information Fax ++39 0461 314 501Email [email protected] http://ecai2006.itc.it

Grafical Design Ornella MichCover picture Istituto di Istruzione Superiore “Don Milani - Depero” Rovereto (Italy); Visual: Maurizio CesariniMaps Sandro De Feo and Cu NguyenPrinted Università di Trento - Italy

ECAI 2006 |3

Contents

WelcomeECAI 2006 Committees

TutorialsWorkshops

Gender and Science EventAI*IA Event

STAIRS 2006STAIRS Programme

ECAI Technical SessionsDemo Programme

PostersInvited Talks

Social ProgrammeGeneral Information

Conference at a GlanceRiva del Garda Map

Conference Sites MapECCAI Member Societies

5 5 8101214161820283135383940424344

ECAI 20064|

ECAI 2006 |5 WELCOME TO ECAI 2006

We are very pleased to welcome you all to ECAI 2006 in Riva del Garda, Trentino.This year’s conference—the 17th European Conference on Artificial Intelligence—coincides with the 50th anniversary of the Dartmouth Summer School. This 2 month meeting, taking place in summer 1956, marks the beginning of Artificial Intelligence as a research field. Over the years, the field has evolved into a well-established scientific discipline.ECAI 2006 comprises an excellent technical program, organized in six tracks, including a special one devoted to PAIS, the conference on Prestigious Applications of Intelligent Systems. The program also includes two posters sessions. Well-known invited speakers cover areas such as AI for knowledge management, Robotics, Web and Default Reasoning.ECAI 2006 also introduces a novelty: system demonstrations of more than 20 research prototypes and applications.Besides the main conference, we also have 31 workshops and four invited tutorials covering very important AI topics, from planning, knowledge representation and reasoning to agent teams.Co-located with ECAI 2006 are STAIRS 2006 - the third European Starting AI Researcher Symposium, the AI*IA - Associazione Italiana per l’Intelligenza Artificiale - annual event, and a Gender and Science event. This is a novelty for ECAI following recent trends of many important scientific conferences.We invite you all to enjoy the conference as we explore the forefront of our field. We also invite you to enjoy the attractions offered by this beautiful region of Italy. As you will certainly see, Riva del Garda offers beautiful surroundings. It is also within reach of important Italian cultural and historical sites. A conference as diverse as ECAI requires the efforts of many volunteers. Thank you, members of the ECAI 2006 program and organizing committees, and sponsors! Our very special thanks go to a person who is no longer with us, Rob Milne, who initially was chair of ECAI 2006. He shaped this conference from the beginning, and we did our best to organize ECAI 2006 in his spirit.

August 2006 Gerhard Brewka, Silvia Coradeschi, Anna Perini, Paolo Traverso

ECAI 2006 Chairs

General ChairProgram ChairOrganizing Committee Chairs

PAIS ChairSTAIRS Chairs

Poster ChairWorkshop Chair

Silvia CoradeschiGerhard BrewkaAnna PeriniPaolo TraversoMugur TatarPavlos PeppasAnna PeriniJerome LangToby Walsh

Örebro University, SwedenUniv. of Leipzig, GermanySRA, ITC-irst, Trento, ItalySRA, ITC-irst, Trento, ItalyDaimler-Chrysler AG, Berlin, GermanyUniv. of Patras, GreeceSRA, ITC-irst, Trento, Italy, CNRS - Toulouse IRIT, FranceUniv. of New South Wales, Australia

ORGANIZING COMMITTEE

Secretarial office

Treasurer Technical support chairPrinting & publicity co-chairs

Sponsorship co-chairs

Volunteer & Student scholarship

Workshop & Tutorial co-chairs

STAIRS local chairDEMO local chairWeb masters

Carola DoriSusana Otero DiazEmanuela SilvestrisAlessandro TuccioGiampaolo AvanciniOrnella MichManuela SperanzaMonique CalistiRosella GennariMarco PistoreMicaela VettoriChiara GhidiniAngelo SusiDiego SonaSriharsha VeeramachaneniLoris PenseriniPaolo MassaRosella GennariGaetano Calabrese

ITC-irst, Trento, ItalyITC-irst, Trento, ItalyITC-irst, Trento, ItalyITC, Trento, ItalyITC, Trento, ItalySSI, ITC-irst, Trento, Italy,TCC, ITC-irst, Trento, ItalyWhitestein Tech., Zurich, SwitzerlansKRDB, CS Faculty, FUB, Italy DIT, Trento Univ., ItalyITC, Trento, ItalySRA, ITC-irst, Trento, ItalySRA, ITC-irst, Trento, ItalySRA, ITC-irst, Trento, ItalySRA, ITC-irst, Trento, ItalySRA, ITC-irst, Trento, ItalySRA, ITC-irst, Trento, ItalyKRDB, CS Faculty, FUB, ItalySRA, ITC-irst, Trento, Italy

ECAI 20066|AREA CHAIRS

Franz Baader TU Dresden, GermanyChristian Bessiere Montpellier University., France Susanne Biundo Ulm University, German)yRonen Brafman Ben Gurion University, IsraelPadraig Cunningham Trinity College, IrelandThomas Eiter KBS, TU Vienna, AustriaBoi Faltings Federal Inst. of Tech., SwitzerlandPeter Flach Bristol University, Great Britain

Johannes Fürnkranz TU Darmstadt, GermanyHector Geffner Universitat Pompeu Fabra, SpainMalik GhallabLAAS - CNRS, FranceEnrico Giunchiglia DIST, Genova University, ItalyLluis Godo IIA-CSIC, SpainVaclav HlavacCenter Machine Perception, CzechBarbara Keplicz T.U. Czechia, Warsaw U., PolandSarit Kraus UMIACS, USA, Bar Ilan U., Israel

Bernhard Nebel Freiburg University, GermanyIlkka Niemelä Helsinki U. of Technology, FinlandFrancesca Rossi Padova University, ItalyDonia ScottOpen University, Great BritainMichele SebagLRI, Paris Sud University, FranceNiels TaatgenU. of Groningen, NetherlandsPietro Torasso Torino University, ItalyMike WooldridgeLiverpool University, Great Britain

ADVISORY COMMITTEE

Wolfgang BibelTechnische U. Darmstadt, Germany Tony Cohn University of Leeds, UK Werner Horn Austrian Research I. for AI, AustriaRamon Lopez de Mantaras CSIC, Bellaterra, Spain Lorenza Saitta Univ. del Piemonte Orientale, Italy Oliviero Stock ITC-irst, Trento, ItalyWolfgang Wahlster DFKI GmbH, Germany

PROGRAMM COMMITTEES

ECAI 2006 PapersAmir EyalAndre ElisabethArdissono LilianaArkin RonaldAvesani PaoloAylett RuthBaral ChittaBartak RomanBauer MathiasBaumgartner PeterBeetz MichaelBench-Capon TrevorBen-Eliyahu-Zohary RachelBenferhat SalemBennett BrandonBerthold MichaelBistarelli StefanoBlockeel HendrikBolshakova NadiaBonet BlaiBordini RafaelBorrajo DanielBoström HenrikBrazdil PavelBridge DerekBuccafurri FrancescoCadoli MarcoCalvanese DiegoCanu StephaneCarroll JohnCastillo LuisCazenave TristanCerquides JesúsCesta AmedeoCetnarowicz KrzysztofCimatti AlessandroClark StephenCordier Marie-OdileCornuéjols AntoineCox AnnaCrucianu MichelDamásio CarlosDe Raedt LucDe Roeck AnneDe Vos MarinaDeclerck ThierryDelgrande JamesDenecker Marc Dignum Frank Dimopoulos Yannis Dix JürgenDolgov DmitriDomshlak CarmelDrogoul AlexisDunne PaulEdelkamp StefanEklundh Jan-OlofEl Fallah Seghrouchni AmalElooma TapioEndriss UlleErdem EsraEstival DominiqueFaber Wolfgang

Falcone RinoFeelders AdFelsberg MichaelFink MichaelFocacci FilippoFoo NormanFörstner WolfgangFox MariaFreksa ChristianFrisch AlanFurbach UliGabaldon AlfredoGama JoaoGelfond MichaelGentile ClaudioGiordano LauraGleizes Marie-PierreGore RajeevGranvilliers LaurentGreco GianluigiGrieser GunterHaindl MichalHansen EricHaslum PatrikHassas SalimaHelmert MalteHenocque LaurentHernandez-Orallo JoseHertzberg JoachimHerzig AndreasHickey RayHnich BrahimHobbs JerryHoffmann JörgHogg DavidHotho AndreasHowes AndrewHüllermeier EykeHunter AnthonyIanni GiovambattistaIngrand FelixJamroga WojtekJanhunen TomiJennings Nicholas Jonsson PeterJunker UlrichJussien NarendraKakas AntonisKern-Isberner GabrieleKersting KristianKisiel-Dorohinicki MarekKiziltan ZeynepKlette ReinhardKoehler JanaKoenig SvenKohlhase MichaelKok JoostKosecka JanaKoubarakis ManolisKovacs Tim Kramer StefanLaborie PhilippeLachiche NicolasLakemeyer GerhardLapata MirellaLarrañaga Pedro

Larrosa Bondia JavierLaugier ChristianLaumond Jean-PaulLe Berre DanielLecoutre ChristopheLeite JoãoLevine JohnLiberatore PaoloLomuscio AlessioLong DerekLukasiewicz ThomasLutz CarstenMadden MichaelMalerba DonatoMarkovitch ShaulMarques-Silva JoaoMarquis PierreMatwin StanMaver JasnaMcCluskey LeeMeisels AmnonMellish ChrisMeseguer PedroMeuleau NicolasMeyer John-JulesMiguel IanMilano MichelaMöller RalfMoral SerafínMorik KatharinaMorisset BenoitNeveu BertrandNielsen ThomasNuijten WimOnaindia EvaO’Sullivan BarryPalopoli LuigiPatterson DavidPearce DavidPechoucek MichalPeebles DavidPenczek WojciechPerron LaurentPetit ThierryPfahringer BernhardPfeifer GeraldPianesi FabioPitt JeremyPiwek PaulPrakken HenryPrestwich SteveProsser PatrickProvan GregoryRefanidis IoannisRenz JochenRiedmiller MartinRintanen JussiRosati RiccardoRosenschein JeffreyRueher MichelRuml WheelerSabbadin RegisSaffiotti AlessandroSagerer GerhardSaitta LorenzaSakama Chiaki

Sattler UlrikeScarcello FrancescoSchaub TorstenScheffer TobiasSchiex ThomasSchoppek WolfgangSebban MarcSelman BartShani GuySierra CarlesSimmons ReidSimon LaurentSlaney JohnSon Tran CaoStaab SteffenStergiou KonstantinosStocco AndreaStraccia UmbertoStruss PeterStudený MilanStumptner MarkusSuzuki EinoshinSvoboda TomasSziranyi TamasTacchella ArmandoTheseider Duprè DanieleThiebaux SylvieThielscher MichaelTinelli CesareTompits HansTorroni PaoloTraverso PaoloTrucco EmanueleTruszczynski MirekTsymbal AlexeyTurner HudsonUrbas LeonVallduvi Enricvan Beek Petervan der Hoek Wiebevan Eijk Rogiervan Noord Gertjanvan Rijn Hedderikvan Someren MaartenVenable Kristen BrentVerbrugge RinekeVerdejo FelisaVerfaillie GérardVermeir DirkVidal Jose MVidal VincentWallace RichardWallach DieterWalsh TobyWang KewenWidmer GerhardWiering MarcoWilliams Mary-AnneWilson NicWolter FrankWoltran StefanWölfl StefanWotawa FranzWrobel StefanYadgar OsherYou Jia-Huai

ECAI’06 PostersHubie ChenEyke HuellermeierFrédéric KoricheWeiru LiuNicolas MaudetMaurice PagnuccoHelena Sofia PintoPearl PuAlessandro SaffiottiAlessandro SperdutiLeendert van der TorreLaure Vieu

PAIS 2006Josep Lluis ArcosJoachim BaumeisterRiccardo BellazziBertrand BraunschweigPádraig CunninghamFloriana EpositoBoi FaltingsGerhard FleischanderlOliviero StockKilian StoffelLouise Trave-MassuyesFranz Wotawa

STAIRS 2006Eyal AmirAnbulaganGrigoris AntoniouSilvia CoradeschiAlessandro CucchiarelliJim DelgrandeSofoklis EfremidisNorman FooRosella GennariDina Goren-BarRenata GuizzardiCostas KoutrasOrnella MichDunja MladenicLeora MorgensternAbhaya NayakAntreas NearchouEva OnaindiaMehmet OrgunMaurice PagnuccoLoris PenseriniMikhail ProkopenkoJochen RenzPanagiotis RondogiannisAndrea SbonerTorsten SchaubLuca SpalazziSteffen StaabGeoff SutcliffeArmando TacchellaValentina TammaThanassis TiropanisIsabel TrancosoGeorge VourosRenata WassermannMary-Anne WilliamsNirmalie Wiratunga

ECAI 2006 |7

Corporate SponsorshipsECAI 2006 gratefully acknowledges the generous contribution of the following organizations:

Provincia Autonoma di TrentoUniversità degli Studi di TrentoKRDB - Faculty of Computer Science, Free Univ. of Bozen Elsevier IOS PressSpringer Cambridge Journals OnlineComune di Riva del GardaRiva del Garda - FiereCongressiMusicstrands MetalSystem GroupSavannah Simulations

ECAI 20068|

Invited Tutorials

TIME WHEN WHERE TITLE LECTURER14:00 - 17:30 August 28 Sala Presidenza

PalacongressiTU01 AI Planning: the model-based approach to intelligent be-havior and a lab for representation and reasoning techniques

Hector Geffner (UPF Barcelona, Spain)

09:00 - 12:30 August 29 Sala PresidenzaPalacongressi

TU02 Uncertainty in Knowledge Representation and Reasoning

Didier Dubois (IRIT, France)

14:00 - 17:30 August 29 Sala PresidenzaPalacongressi

TU03 Everything You Always Wanted to Know About Description Logics, But Were Afraid to Ask Your Ontology Engineer

Franz Baader (TU Dresden, Germany)

14:00 - 17:30 August 29 Sala MeetingPalacongressi

TU04 Situated Agent Teams: Getting Robots to Cooperate

Gal A. Kaminka (Bar Ilan University, Israel)

ECAI 2006 |9

Invited TutorialsLECTURER ABSTRACT

TU01 Hector Geffner (UPF Barcelona, Spain)Hector Geffner got his Ph.D in UCLA with a dissertation on plausible reasoning that was co-winner of the 1990 Association for Computing Machinery (ACM) Dissertation Award. Then he worked at the IBM T.J. Watson Research Center in New York and at the Universidad Simon Bolivar in Caracas. He currently holds a joint appointment at ICREA and at the Universitat Pompeu Fabra, both in Barcelona, Spain. He is interested in models of learning and cognition, and is known mainly for his work on domain-independent planning and problem solving where the the automatic recognition and exploitation of the structure of problems is crucial for their solution.

AI Planning: the model-based approach to intelligent behavior and a lab for representation and reasoning techniquesPlanning is concerned with the development of solvers for a wide range of problems involving the selection of actions for achieving goals. In these problems, actions may be de-terministic or not, full or partial sensing may be available or not, costs may be associated with actions, states, or both, and so no. A range of closely related state-models is used to make sense of these various classes of problems and their (optimal) solutions, while planning algorithms aim to compute such solutions (plans) efficiently. In the last few years, significant progress has been made in planning research, resulting in algorithms that can produce plans effectively in a variety of settings. The key component in these algorithms is inference in the form of heuristic esti-mators, constraint propagation, variable elimination, and the like. In all cases, knowledge that is implicit in the descrip-tion of a planning problem is made explicit in order to focus the search for plans, in certain cases, bypassing the need to search altogether. In this tutorial, I will review the most common planning models and the ideas underlying current planning algorithms, placing emphasis on the challenges ahead.

TU02 Didier Dubois (IRIT, France) Didier Dubois is a Research Advisor at IRIT, the Computer Science Department of Paul Sabatier University in Toulouse, France and be-longs to the French National Centre for Scientific Resarch (CNRS). He holds a Doctorate in Engineering from ENSAE, Toulouse (1977), a Doctorat d’Etat from Grenoble University (1983) and an Honorary Doctorate from the Faculté Polytechnique de Mons, Belgium (1997). He is the co-author, with Henri Prade, of two books on fuzzy sets and possibility theory, and several edited volumes on uncertain rea-soning and fuzzy sets. Also with Henri Prade, he coordinated the HANDBOOK of FUZZY SETS series published by Kluwer (7 volumes, 1998-2000) including the book Fundamentals of Fuzzy Sets. He has contributed more that 150 technical journal papers on uncertainty theories and applications. He is an Editor-in-Chief of the journal Fuzzy Sets and Systems, an Advisory Editor of the IEEE Transactions on Fuzzy Systems, and a member of the Editorial Board of several technical journals, such as the International Journal on Approximate Reasoning, and Information Sciences among others. He is a former president of the International Fuzzy Systems Association (1995-1997). He received the 2002 Pioneer Award of the IEEE Neural Network Society, and the 2005 IEEE TFS Outstanding Paper Award. His topics of interest range from Artificial Intelligence to Operations Research and Decision Sciences, with emphasis on the modelling, representa-tion and processing of imprecise and uncertain information in reason-ing, risk analysis and problem-solving tasks.

Uncertainty in Knowledge Representation and Reasoning Rather than focusing on a single approach (like possibility theory), the tutorial aims at providing a coherent picture of several topics which have received considerable attention in the uncertainty field in recent years. After the discussion of a typology of imperfect information (uncertainty, variability, indiscernibility, fuzziness, contradiction), we will discuss the following topics and their relationships: - uncertainty due to lack of knowledge: subjective probability and possibility theory - qualitative representations of uncertainty: from classical logic to kappa functions- possibilistic logic vs fuzzy logic: degree of truth vs. degree of uncertainty- basics of random sets, upper/lower probability, evidence theory - conditional probability and conditioning outside probability - basic modes of information fusion

TU03 Franz Baader (TU Dresden, Germany)Franz Baader received his Ph.D. in Computer Science from the University of Erlangen in 1989. From 1989-1993 he was a senior researcher at the German Research Center for AI (DFKI) in Kaiserslautern and Saarbrücken. In 1993 he was appointed as associate professor for computer science at RWTH Aachen, and in 2002 as full professor for computer science at TU Dresden. His research interests include knowledge representation (in particu-lar, description logics, nonmonotonic logics, and modal logics) and automated deduction (in particular, unification theory, term rewriting systems, and combination of constraint solving methods). He has pub-lished about 140 books and refereed articles in major journals and conferences. In particular, he is co-editor of The Description Logic Handbook and co-author of four of its chapters.

Everything You Always Wanted to Know About Description Logics, But Were Afraid to Ask Your Ontology Engineer Description Logics (DLs) are a successful family of logic-based knowledge representation formalisms, which can be used to represent the conceptual knowledge of an applica-tion domain in a structured and formally well-understood way. They are employed in various application domains, such as natural language processing, configuration, and databases, but their most notable success so far is the adoption of the DL-based language OWL as standard ontology language for the semantic web.This tutorial concentrates on designing and analyzing rea-soning procedures for DLs. After a short introduction and a brief overview of the research of the last 15 years, it will on the one hand present approaches for reasoning in expressive DLs, which are the foundation for reasoning in OWL. On the other hand, it will consider tractable reasoning in a more light-weight DL, which is employed in bio-medical ontologies.

TU04 Gal A. Kaminka (Bar Ilan University, Israel) Gal Kaminka is a senior lecturer at the computer science department at Bar Ilan University (Israel). His research expertise includes behavior and plan recognition, robot-ics, multi-agent systems, teamwork and coordination, and modeling social behavior. He has received his PhD from the University of Southern California, and spent two years as a post-doctorate fellow at Carnegie Mellon University. Today, Dr. Kaminka leads the MAVERICK group at Bar Ilan, supervis-ing close to 20 MSc and PhD students--the biggest computer science group in Israel. He was awarded an IBM faculty award and top places at international robotics competitions, and is a (co-)author of over 40 technical pa-pers.

Situated Agent Teams: Getting Robots to Cooperate Teams of situated agents are common in real-world and re-search domains, ranging from simulated pilots in commercial applications, through synthetic players in RoboCup competi-tions and computer games, to teams of unmanned vehicles moving in formation or covering an area together. Through the last 10 years, different teamwork mechanisms have been proposed, covering different challenges of joint decision-making in such dynamic, complex, domains. This tutorial will pull these different efforts together, attempt-ing to synthesize a coherent framework for situated teamwork, draw conclusions as to lessons learned, and point the way to promising future prospects in this exciting area of research.In doing so, I will bring to bear my 10 years of experience in building virtual and physical robot teams in a numerous domains and applications, and in developing generic archi-tectures for teamwork and coordination.

ECAI 200610|

WORKSHOPS Monday, August 28th

LOCATION TITLE ORGANIZERSSala 300 APalacongressi

W1 Advances in Preference Handling Ulrich Junker (ILOG S.A., France)Werner Kießling (University of Augsburg, Germany)

Full day

Liceo W2 Computational Models of Natural Argument (CMNA 6)

Floriana Grasso (University of Liverpool, UK)Rodger Kibble (University of London, UK)Chris Reed (University of Dundee, UK)

Full day

Sala 300 BPalacongressi

W4 Contexts and Ontologies: Theory, Practice and Applications (C&O’06)

Pavel Shvaiko (University of Trento, Italy) Jerome Euzenat (INRIA RhÆone-Alpes, FranceAlain Leger (France Telecom R&D, France)Deborah L. McGuiness (Stanford University, USA)Holger Wache (Vrije Universiteit Amsterdam, Netherlands)

Full day

Liceo W6 Ubiquitous User Modelling (UbiqUM 2006) Shlomo Berkovsky (University of Haifa, Israel)Dominik Heckmann (German Res. Center for Artificial Intelligence, Germany) Antonio Krüger (University of Münster, Germany)Tsvi Kuflik (University of Haifa, Israel)

Full day

Sala BelvederePalacongressi

W10 Agents Applied in Health Care Antonio Moreno (University Rovira i Virgili, Tarragona, Spain)Ulises Cortés (University of Catalonia, Barcelona, Spain)Roberta Annicchiarico (Hospital Santa Lucia, Italy)John Nealon (Oxford Brookes University, Oxford, UK)

Full day

Sala MeetingPalacongressi

W12 Coordination, Organization, Institutions and Norms in agent systems (COIN’06)

Guido Boella (University of Torino, Italy)Olivier Boissier (ENS, Saint-Etienne, France)Eric Matson (Wright State University, Dayton, OH, USA)Javier Vázquez-Salceda (Univ. Politècnica de Catalunya, Barcelona, Spain)

Full day

Liceo W13 Spatial and Temporal Reasoning Hans W. Guesgen (University of Aucklan, New Zealand)Gérard Ligozat (LIMSI, Paris-Sud University, France)Jochen Renz (National ICT Australia, Australia)Rita V. Rodriguez (NSF, USA)

Full day

Sala 100 APalacongressi

W14 Computational Creativity Simon Colton (Imperial College, UK)Alison Pease (University of Edinburgh, UK)

Full day

Liceo W15 Knowledge Management and Organizational Memories

Jean Paul Barthès (Université de Technologie de Compiègne, France) Rose Dieng-Kuntz (INRIA Sophia Antipolis, France) Knut Hinkelmann (University of Applied Sciences Solothurn,Switzerland) Ann Macintosh (International Teledemocracy Centre, UK) Nada Matta (Université de Technologie de Troyes, France)Ulrich Reimer (Bauer & Partner, Switzerland)Carla Simone (Universita’ di Milano Bicocca, Italy)

Full day

Liceo W16 Configuration Carsten Sinz (Johannes Kepler University Linz, Austria)Albert Haag (SAP AG, Germany)Claire Bagley (Oracle Corporation, USA)Alexander Felfernig (Universität Klagenfurt, Austria)Esther Gelle (ABB Corporate Research AG, Switzerland)Barry O Sullivan (University College Cork, Ireland)

Full day

Liceo W17 Recommender Systems Alexander Felfernig (University Klagenfurt , Klagenfurt, Austria)Markus Zanker (University Klagenfurt , Klagenfurt, AustriaMathias Bauer (mineway GmbH, Germany)Gerhard Friedrich (University Klagenfurt, Austria)Francesco Ricci (ITC-irst, Italy)Lars Schmid-Thieme (University of Freiburg, Germany)

Full day

Liceo W21 New Trends in Real-Time AI (NTeRTAIn 2006)

Vicente J. Botti Navarro (Universidad Politécnica de Valencia, Spain) Carlos Carrascosa (Universidad Politécnica de Valencia, Spain)Ana Garcia-Fornes (Universidad Politécnica de Valencia, Spain) Andres Terrasa (Universidad Politécnica de Valencia, Spain)

Full day

Sala Stampa BPalacongressi

W23 Intelligent Technologies for Cultural Heritage Exploitation

Luciana Bordoni (ENEA UDA/Advisor, Italy) Massimo Zancanaro (ITC-IRST, Italy) Antonio Krueger (University of Muenster, Germany)

Full day

Liceo W24 Distributed Constraint Satisfaction Problems

Christian Bessiere (LIRMM, France)Boi Faltings (CEPFL, Switzerland)Youssef Hamadi (Microsoft Research, UK)Ammon Meisels (Ben-Gurion University, Israel)Pedro Meseguer (IIIA, Spain)Marius Silaghi (Florida Institute of Technology, USA)Makoto Yokoo (Kyushu University, Japan)

Full day

Sala 100 BPalacongressi

W29 AI for Service Composition Marco Pistore (University of Trento, Italy) Jose Luis Ambite (USC Information Sciences Institute, USA) Jim Blythe (USC Information Sciences Institute, USA) Jana Koehler (IBM Research Laboratory, Switzerland) Sheila McIlraith (University of Toronto, Canada) Biplav Srivastava (IBM Research Laboratory, India)

Full day

Sala Stampa APalacongressi

W30 Evolutionary Computation ((EC)2AI) Stefano Cagnoni (University of Parma, Italy)Pierre Collet (Univ. Littoral, France) Giuseppe Nicosia (University of Catania, Italy)Leonardo Vanneschi (University of Milan Bicocca, Italy)

Full day

Liceo W31 Model Based Systems (MBS-06) Franz Wotawa (Technische Universitaet Graz, Graz, Austria)Bert Bredeweg (UNiversity of Amsterdam, The Netherlands)Marie-Odile Cordier (IRISA CAmpus de Beaulieu, France)Bernard Peischl (Technische Universitaet Graz, Austria)Claudia Picardi (University of Turin, Italy)Paulo Salles (Universidade de Brasilia, Brasil)Neal Snooke (University of Wales, UK)

Full day

Liceo W33 Semantic Web Technology for Mobile and Ubiquitous Computing (SWUMA’06)

Terry Payne (University of Southampton, UK)Valentina Tamma (University of Southampton, UK)

Full day

Liceo W34 Formal Approaches to Multiagent Systems Barbara Dunin-Keplicz (Warsaw University, Poland)Rineke Verbrugge (University of Groningen, NL)

Full day

ECAI 2006 |11

Tuesday, August 29th WORKSHOPSLOCATION TITLE ORGANIZERSSala 300 APalacongressi

W1 Advances in Preference Handling Ulrich Junker (ILOG S.A., France)Werner Kießling (University of Augsburg, Germany)

Full day

Liceo W2 Computational Models of Natural Argument (CMNA6)

Floriana Grasso (University of Liverpool, UK)Rodger Kibble (University of London, UK)Chris Reed (University of Dundee, UK)

Full day

Liceo W5 Model Checking and Artificial Intelligence (MoChArt-2006)

Stefan Edelkamp (University Dortmund, Germany) Alessio Lomuscio (University College London, UK)

Full day

Liceo W8 Neural-Symbolic Learning and Reasoning (NeSy’06)

Artur d’Avila Garcez (City University London, UK)Pascal Hitzler (University Karlsruhe, Germany)Guglielmo Tamburrini (Università di Napoli, Italy)

Full day

Liceo W9 Text-Based Information Retrieval (TIR-06) Benno Stein (Bauhaus University Weimar, Germany)Odej Kao (University of Paderborn, Germany)

Full day

Sala BelvederePalacongressi

W11 Artificial Intelligence Techniques for Ambient Intelligence (AITAmI’06)

Juan Carlos Augusto (University of Ulster, U.K. )Daniel Shapiro (Applied Reactivity, Inc.,U.S.A.)

Full day

Sala 100 APalacongressi

W14 Computational Creativity Simon Colton (Imperial College, UK)Alison Pease (University of Edinburgh, UK)

Full day

Liceo W16 Configuration Carsten Sinz (Johannes Kepler University Linz, Austria)Albert Haag (SAP AG, Germany)Claire Bagley (Oracle Corporation, USA)Alexander Felfernig (Universität Klagenfurt, Austria)Esther Gelle (ABB Corporate Research AG, Switzerland)Barry O Sullivan (University College Cork, Ireland

Morning

Liceo W17 Recommender Systems Alexander Felfernig (University Klagenfurt , Klagenfurt, Austria)Markus Zanker (University Klagenfurt , Klagenfurt, AustriaMathias Bauer (mineway GmbH, Germany)Gerhard Friedrich (University Klagenfurt, Austria)Francesco Ricci (ITC-irst, Italy)Lars Schmid-Thieme (University of Freiburg, Germany)

Full day

Liceo W18 Context Representation and Reasoning (CRR 2006)

Chiara Ghidini (ITC-irst, Italy)Luciano Serafini (ITC-irst, Italy)Paolo Bouquet (University of Trento, Italy)

Full day

Liceo W20 Binding Environmental Sciences and AI (BESAI 2006)

Mihaela Oprea (University Petroleum-Gas from Ploiesti, Romania )Miquel Sànchez-Marrè (University of Catalonia, Catalonia)Franz Wotawa (Graz University of Technology, Austria )

Full day

Liceo W22 Abduction and Induction in AI and Scientific Modelling (AIAI’06)

Peter Flach (University of Bristol, UK)Antonis Kakas (University of Cyprus, Cyprus)Lorenzo Magnani (University of Pavia, Italy)Oliver Ray (Imperial College London, UK

Full day

Liceo W26 Inference methods based on graphical structures of knowledge (WIGSK’06)

Nic Wilson (University College Cork, Ireland) Adnan Darwiche (University of California, USA)Rina Dechter (University of California, USA)Helene Fargier (Paul Sabatier University, France) Juerg Kohlas (University of Friburg, Switzerland)Jerome Mengin (Paul Sabatier University, France)Gerard Verfaillie (ONERA, France)

Full day

Sala Stampa APalacongressi

W28 AI techniques in healthcare: evidence based guidelines and protocols

Annette ten Teije (Vrije Universiteit, The Netherlands)Peter Lucas (Radboud University, The Netherlands) Silvia Miksch (Vienna University of Technology & Danube University Krems, Austria)

Full day

Liceo W32 Modelling and Solving Problems with Constraints

Steven Prestwich (University College Cork, Ireland)Brahim Hnich (Izmir University of Economics, Turkey)

Full day

Sala Stampa BPalacongressi

W35 Planning, Learning and Monitoring with Uncertainty and Dynamic Worlds

Adi Botea (University of Alberta, Canada) Olivier Buffet (National ICT Australia)Marina Zanella (Università di Brescia, Italy)

Full day

Liceo W37-38 Combined Workshop on Language-Enhanced Educational Technology and Development and Evaluation of Robust Spoken Dialogue Systems

Charles Callaway (UNiversity of Edinburgh, UK)Andrea Corradini (University of Potsdam, Germany)Joern Kreutel (Semantic Edge GmbH, Germany)Johanna Moore (University of Edinburgh, UK)Manfred Stede (University of Potsdam, Germany)

Full day

ECAI 200612|

GENDER and SCIENCEIn the spirit of the gender mainstreaming policy of EU followed by several scientific conferences worldwide, in 2006 ECAI hosts a Gender and Science event, namely, the invited talk on “Science, knowledge and gender: challenges for a social Europe” by Marina Calloni, Full Professor at the University of Milano-Bicocca and Director of the International Network for Research on Gender.The event aims at soliciting the public debate on the role of gender in science and the more active participation of women and men alike in science, in an enlarged and social Europe.The organiser of the talk is Gender & Science, a group of women with different research expertise and a common concern to-wards gender issues in science. The group has been active since 2000 and is strongly supported by the ITC-irst research centre (http://genere.itc.it).After the talk, the participants will have the chance to attend an unique performance in English and Grammelot by Mario Pirovano, in the striking, magical atmosphere of Riva del Garda Castle.The gender and science event is supported by the Local Authority for Equal Opportunities, the City of Riva del Garda, and by the Trentino theater agency.

TIME WHEN WHERE WHAT WHO17:30 - 18:30 28 August Sala 1000 A

PalacongressiInvited talk Marina Calloni (University

of Milano-Bicocca, and International Network for Research on Gender) (English only)

20:30 - 22:00 28 August Cortile Rocca del Castello Social Program Mario Pirovano (English and Grammelot).

ECAI 2006 |13

GENDER and SCIENCEMonday, August 28th

WHAT WHO ABSTRACT

Invited talk

Science, knowl-edge and gen-der: challenges for a social Europe

Marina CalloniMarina Calloni is full professor of social and political philosophy at the national University of Milano-Bicocca in Milan, and Director of the “International Network for Research on Gender”. She received a Ph.D. in Philosophy at the University of Pavia, and a Ph.D. in Social and Political Science at the European University Institute in Florence. She was fel-low at the University of Frankfurt and senior researcher at the Gender Institute of the London School of Economics in London. She was visiting professor at the Universities of Bremen (Germany), Vienna (Austria), Lugano (Switzerland), Hannover (Germany), Tirana (Albania), Beijing (China), Kurume (Japan), Riga (Latvia), Lødź (Poland), Budapest (Hungary). She was member of the Enwise Expert Group, supported by the DG “Research” – Unit “Women and Science” of the European Commission, in order to report on the situation of women scientists in the Eastern and Central European countries and the Baltic States. She is now director of a project supported by the Unesco on “Gender stereotypes in the Balkan countries”. She is director of the research on “Genocides and Crimes of War”, supported by the Italian Ministry of Education, University and Research.She participated and participating in several national and international researches and cross borders networks, col-laborating with universities, research centres, NGO’s and supra-national institutions.She has widely published books and papers in sev-eral languages and countries. Among her last books: I dilemmi dell’aborto. Il bene, il giusto e le differenze, Roma: Donzelli, in print; Gender Studies, Democracy and Justice, Kurume: University of Kurume (Japan), in print; with L. Cedroni, Elette con riserva, in print; (ed)., Violenza senza leggi. Genocidi e crimini di guerra nell’età globale, Torino: Utet, 2006.

Science, knowledge and gender: challenges for a social Europe

After the World War Second the main interest of European countries was reconciliation and the es-tablishment of peaceful and democratic governments both at the national and international level. Yet not only politics and economy but also educa-tion, research and science are basic matters for the institution of fair societies. This issue has became more evident in the last two decades with an enlarg-ing European Union and the recognition that science without a gender perspective is blind.Taking as a background the debate on the social and public meaning of science in Europe, the paper aims at considering the following issues: 1) science as a crucial matter for the constitution of a more inclusive European democracy; 2) EU policies as interested in fulfilling the gap between science and society in a knowledge-based society; 3) gender mainstreaming as a new EU approach to equal opportunities in or-der to face the under-representation of women in the scientific domain; 4) the case of two studies issued by the European Commission: The Etan (European Technology Assessment Network on Women and Science) and the Enwise (Enlarge Women in Science towards East) reports (focused respectively on women scientists in Western and in post-socialist countries) as examples for challenging the traditional notion of science and a male dominated scientific system, starting from a gender perspective.

Social Program

Mistero Buffo, a theater piece by Dario Fo

Mario PirovanoSince 1983 Mario Pirovano has taken part in all the works produced by Dario Fo and Franca Rame either as an actor or as assistant producer, stage director or simultaneous translator. In 1991, whilst continuing to follow the tours of the two artists, Pirovano himself began to perform on stage the one-man-show “Comic Mystery Play” which is now considered a classic of twentieth cen-tury theatre. In his artistic career Pirovano switches from the Italian public square to the most prestigious the-atres, passing easily from the dialects of the Po val-ley into Italian, Spanish and English. His mimicry, humane passion and personal warmth unfailingly enchant audiences of every kind.Pirovano presents a show with a mocking and pro-phetic flavour which, through the genius of Dario Fo, links us up with the popular theatre tradition go-ing back to the Middle Ages.

A bit of history

The term mystery was already used in the 2nd and 3rd century A.D. to indicate a religious play or spec-tacle. The theatre in fact, especially the grotesque theatre, has always been the first means of popular expression and communication, but also of provoca-tion and the stirring up of ideas. Jesters performed in market-squares, courtyards and sometimes even in churches. Together with the players of the Commedia dell’Arte, known as comici dell’arte, they were the inventors of the Grammelot, a term of French origin coined by the buffoons, clowns and jesters. These players made full use of Grammelot gesturing, constrained by their situation as travellers in the midst of people speaking various languages, or by censorship laws which prohibited them from using language: they could at most mime or utter meaningless sounds. Stories from the tradition of those comici dell’arte” have come down to us, telling us of the performanc-es of the great exponents of Grammelot.

Dario Fo says:“Mario Pirovano is a self-taught actor of great ex-pressive quality. For years he came to listen to my performances and followed the lessons and demon-strations I gave to young actors. Eventually he had pumped me of all the tricks and know-how of the trade to the extent that he was capable of performing alone with great success. I found him exceptional. Above all he didn’t take me off, he didn’t mimic me. And I can guarantee that you will be pleased”.

ECAI 200614|

AI*IA eventThe Italian Association for Artificial Intelligence organizes regular conferences on even years. Because ECAI 2006 is in Italy this year, the AI*IA event has been organized to coincide, taking place on August 29 in Riva del Garda. 2006 is an important year for artificial intelligence because 50 years have passed since the 1956 Dartmouth Summer School, considered the birthday of artificial intelligence.The AI*IA day is divided into three parts: talks by winners of the association awards and Italian celebration of 50 years of AI, fol-lowed by a meeting of AI*IA members.

In tutti gli anni pari l’Associazione Italiana per l’Intelligenza Artificiale organizza un suo convegno. A causa della concomitanza con l’ECAI 2006 che si svolge in Italia, l’evento AI*IA si tiene co-locato con l’ECAI nella giornata del 29 Agosto 2006 a Riva del Garda. Il 2006 è inoltre un anno importante per l’intelligenza artificiale perchè sono passati 50 anni dalla scuola estiva di Dartmouth del 1956 che viene considerata come la data di nascita dell’intelligenza artificiale.La giornata prevede 3 momenti distinti, le relazioni dei vincitori dei premi dell’associazione, la celebrazione dei 50 anni di IA in Italia, mentre nel pomeriggio si svolgerà l’assemblea dei soci.

TIME WHEN WHERE

08:30 - 17:00 29 August Sala 300 BPalacongressi

ECAI 2006 |15

AI*IA EventTuesday, August 29th

TIME SALA 300 B - Palacongressi08:30 - 10:00 Presentation of the association awards - Consegna dei premi dell’associazione

Talk by the New Graduate Award Winner - Relazione vincitore premio neolau-reatiTalk by the New PhD Award Winner - Relazione vincitore premio neodottori ri-cercaTalk by the Marco Somalvico Award Winner - Relazione vincitore premio Marco Somalvico

10:00 - 10:30 Coffee Break

10:30 - 12:30 Italian celebration of the 50th anniversary of AI - Celebrazione di 50 anni di IA in Italia

12:30 - 14:00 Lunch

14:00 - 17:00 Meeting of Association members - Assemblea Soci Associazione

ECAI 200616|

STAIRS 2006STAIRS 2006 is the third European Starting AI Researcher Symposium, an international meeting aimed at AI researchers, from all countries, at the beginning of their career: PhD students or people holding a PhD for less than one year.

TIME WHEN WHERE WHAT WHO08:30 - 08:45

Augu

st 2

8th

Sala 1000 A Palacongressi

Opening remarks08:45 - 09:45 Invited Talk Chiara Ghidini09:45 - 10:00 Poster Announcement10:00 - 10:30 Palameeting Posters - Coffee break10:30 - 12:30


Paper Session I chair Chiara Ghidini13:30 - 15:15 Paper Session II chair Paolo Massa15:15 - 15:30 Poster Announcement15:30 - 16:00 Palameeting Posters - Coffee break16:00 - 17:30 Sala 1000 A Palacongressi Paper Session III chair Pavlos Peppas

08:30 - 09:30

Augu

st 2

9th

Sala 1000 A PalacongressiInvited Talk Patrick Doherty

09:30 - 10:00 Poster Announcement10:00 - 10:30 Palameeting Posters - Coffee break10:30 - 12:30


Paper Session IV chair Loris Penserini13:30 - 15:15 Paper Session V chair Diego Sona15:15 - 15-30 Poster Announcement15:30 - 16:00 Palameeting Posters - Coffee break16:00 - 17:30 Sala 1000 A Palacongressi Paper Session VI chair Angelo Susi20:45 Spiaggia degli Ulivi Social Event

ECAI 2006 |17

STAIRS Invited TALKSWHEN WHO ABSTRACT

28/08 Chiara GhidiniITC-irst Trento, talyDr. Ghidini is a senior research Scientist at ITC-irst. Her research interests include several areas of Distributed Knowledge Representation, such as: knowledge repre-sentation formalisms, logic- based agents and multi-agent systems, context-based reasoning, and informa-tion management. Dr. Ghidini completed her Dottorato di Ricerca in Ingegneria Informatica (PhD in Computer Science Engineering) at the University of Rome “La Sapienza” in 1998. In September 1998 she joined the Centre for Agent Research and Development (CARD) at the Manchester Metropolitan University, working on frameworks for the logical specification and execution of agents and multi-agent systems, and between January 2000 and May 2003 she was a lecturer at the Department of Computer Science, University of Liverpool where she joined the Logic and Computation group. She has published a number of conference and journal papers in the areas of context-based reasoning, logics for agent-based and multi-agent systems, and distrib-uted knowledge representation and reasoning. She has contributed to the organization of several international conferences. She chaired the Fourth International and Interdisciplinary Conference on Modelling and Using Context (CONTEXT’03), the First Annual International Conference on Mobile and Ubiquitous Systems: Networking and Services (MobiQuitous’04) and the the second european work-shop on multi-agent systems (EUMAS’04). She is Steering Committee chair of the sixth International and Interdisciplinary Conference on Modelling and Using Context (CONTEXT’07). Dr. Ghidini is involved in several National and European projects.

Writing a good grant proposal: guidelines and tipsWriting a good grant proposal is a time-consuming and difficult task.You must first clearly describe a specific problem found in your community or area of interest, design a plan that will address it, and then describe the plan in detail for the grant maker (funding source). In this talk I will go trough a number of suggestions, guide-lines and tips for dealing with this difficult task. I will also present an overview of some founding source. The talk is mainly aimed at young researchers and people with little experience in proposal writing. It is based on several funder’s guidelines, grant proposal writing tutori-als, and my experience and personal view on the sub-ject.

29/08 Patrick DohertyLinkÖping University, SwedenPatrick Doherty is a Professor of Computer Science at the Department of Computer and Information Science (IDA), LinkÖping University, Sweden. He serves as Director of the Artificial Intelligence and Integrated Computer Systems Division at IDA, heads the Knowledge Processing Laboratory. He is Program Director for LinkLab, a new center for Future Aviation Systems, which is a joint venture between Saab Aero Systems and LinkÖping University. His current research interests include formal knowledge representation and approximate reasoning, automated planning, reasoning about action and change, autono-mous aerial robotics systems, and software architec-tures for autonomous systems. His research team is one of the internationally leading groups in the areas of automated planning and un-manned aerial vehicle research. He and his students have developed TALplanner, an award winning task-based planner in international competitions. They are also currently developing technologies for a fully deployed autonomous unmanned helicopter plat-form and have recently developed the LINKMAV, an award winning micro-UAV.

Artificial Intelligence and Unmanned Aerial VehiclesThe emerging area of intelligent unmanned aerial vehicle (UAV) research has shown rapid development in recent years and offers a great number of research challenges within the artificial intelligence and knowledge represen-tation disciplines. For both military and civilian applica-tions, there is a desire to develop more sophisticated UAV platforms where the emphasis is placed on intel-ligent capabilities and their integration in complex net-work-centric command and control frameworks. Platform specific distributed hybrid software architectures should support the integration of deliberative, reactive and con-trol functionalities in addition to a UAV’s integration with larger network centric systems.In my talk I will present some of the research currently be-ing pursued and results achieved in our group at Linkšping University, Sweden.The talk will focus on artificial intelligence techniques used in our UAV systems and the support for these tech-niques provided by the software architecture developed for our UAV platform, a Yamaha RMAX helicopter.Additional focus will be placed on some of the planning and execution monitoring functionality developed for our applications in the areas of photogrammetry and emer-gency services assistance. The talk will include video demonstrations of both single and multi-platform missions and a possible live demon-stration of a micro-UAV, the LINKMAV, developed in our group.

ECAI 200618|

STAIRS 2006

Monday, August 28th

TIME LOCATION WHAT PAPERS08:30 - 08:45 Sala 1000 A

PalacongressiOpening Remarks

08:45 - 09:45 Sala 1000 A Palacongressi

Invited Talk: Chiara Ghidini


Poster Announcement

10:00 - 10:30 Palameeting Coffee Break and posters


Paper Session IKnowledge Representationchair Chiara Ghidini

Updating in Credal Nets; Alessandro Antonucci, Marco Zaffalon, Jaime Ide and Fabio Cozman. Binarization Algorithms for Approximate

On Generalizing the AGM Postulates; Giorgos Flouris, Dimitris Plexousakis and Grigoris Antoniou.

The Two-Variable Situation Calculus; Yian Gu and Mikhail Soutchanski.

Base Belief Change and Optimized Recovery; Frances Johnson and Stuart Shapiro.

12:30 - 13:30 Lunch break


Paper Session IIInformation Retrievalchair Paolo Massa

Knowledge Base Extraction for Fuzzy Diagnosis of Mental Retardation Level; Alessandro G. Di Nuovo.

Tuning the Feature Space for Content-Based Music Retrieval; Aleksandar Kovacevic and Branko Milosavljevic.

Personalizing Trust in Online Auctions; John O’Donovan, Vesile Evrim, Barry Smyth and Dennis McLeod.


Poster Announcement

15-30 - 16:00 Palameeting Coffee Break and posters


Paper Session IIIInformation Systemschair Pavlos Peppas

An Hybrid Soft Computing Approach for Automated Computer Design; Alessandro G. Di Nuovo, Maurizio Palesi and Davide Patti.

FUNEUS: A neurofuzzy approach based on fuzzy adaline neurons; Constantinos Koutsojannis and Ioannis Hatzilygeroudis.

Empirical Evaluation of Scoring Methods; Luca Pulina.

ECAI 2006 |19

STAIRS 2006

Tuesday, August 29th

TIME LOCATION WHAT PAPERS08:30 - 09:30 Sala 1000 A

PalacongressiInvited Talk: Patrick Doherty


Poster Announcement



Paper Session IVAgentschair Loris Penserini

Josef Kittler, Mikhail Shevchenko and David Windridge. Cognitive learning with automatic goal acquisition

Semantics of Alan; Francesco Pagliarecci.

A Compact Argumentation System for Agent System Specification; Insu Song and Guido Governatori.

Social Responsibility among deliberative agents; Paolo Turrini, Mario Paolucci and Rosaria Conte.

12:30 - 13:30 Lunch break


Paper Session VSemantic Web & Machine Learningchair Diego Sona

A Comparison of Web Service Interface Similarity Measures; Natallia Kokash.

Repairing Composite Web Services; Laure Bourgois.

Relational Descriptive Analysis of Gene Expression; Igor Trajkovski, Filip Zelezny, Nada Lavrac and Jakub Tolar.


Poster Announcement



Paper Session VIScheduling & Machine Learningchair Angelo Susi

Solving Fuzzy PERT Using Gradual Real Numbers; Jérôme Fortin and Didier Dubois.

Jürgen Kuster and Dietmar Jannach. Approaches to Efficient Resource-Constrained Project Rescheduling;

Unsupervised Word Sense Disambiguation Based on Web & Bayes Rule; Ioannis P Klapaftis and Suresh Manandhar.

ECAI 200620|

TECHNICAL sessions

TIME WHEN WHERE

18:00 - 19:00 Tuesday, August 29th Palacongressi09:00 - 17:30 Wednesday, August 30th Palacongressi09:00 - 17:30 Thursday, August 31st Palacongressi09:00 - 12:30 Friday, September 1st Palacongressi

ECAI 2006 |21

Tuesday, August 29th

TIME WHAT18:00 - 19:00 Invited Talk: Fausto Giunchiglia Sala 1000 A Palacongressi

ECAI 200622|Wednesday, August 30th

TIME WHAT09:00 Invited Talk: Cynthia Breazeal Sala 1000 A Palacongressi10:00 Coffee break

ROOM >>> Sala 100 Palacongressi Sala 1000 A Palacongressi Sala 300 B Palacongressi10:30

CS1Constraint Satisfaction

Last conflict based Reasoning; Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal

Minion: Lean, Fast Constraint Solving; Ian Gent, Christopher Jefferson, Ian Miguel

Evaluating ASP and commercial solvers on the CSPLib; Marco Cadoli, Toni Mancini, Davide Micaletto, Fabio Patrizi

KR1 Reasoning

Causation as Production; John Bell

Resolving Conflicts in Action Descriptions; Thomas. Eiter, Esra Erdem, Michel Fink, Ján Senko

Reasoning with Inconsistencies in Propositional Peer-to-Peer Inference Systems; Philippe Chatalic, Gia Hien Nguyen, Marie-Christine Rousset

Bridging the Gap between Informal and Formal Guideline Representations; Andreas Seyfang, Silvia Miksch, Mar Marcos, J. Wittenberg, Cristina Polo-Conde, Kitty Rosenbrand

KR9 Satisfiability

Extracting MUSes; Eric Grégoire, Bertrand Mazure, Cédric Piette

A Solver for QBFs in Nonprenex Form; Stefan Woltran, Uwe Egly, Martina Seidl

Boolean Propagation Based on Literals for Quantified Boolean Formulae; Igor Stéphan

Solving Optimization Problems with DLL; Enrico Giunchiglia, Marco Maratea

12:30 Lunch break14:00 CS2Constraint Propagation

Beyond Singleton Arc Consistency; Marc Van Dongen

Maintaining Generalized Arc Consistency on General n-ary Boolean Constraints; Kenil Cheng, Roland Yap

Inverse Consistencies for Non-binary Constraints; Konstantinos Stergiou, Toby Walsh

KR2 Preferences

An Efficient Upper Approximation for Conditional Preference; Nic Wilson

R e f e r e n c e - d e p e n d e n t Qualitative Models for Decision Making under Uncertainty; Patrice Perny, Antoine Rolland

Preference representation with 3-points interval; Meltem Ozturk, Alexis Tsoukias

KR10 DLs/Ontologies

General Concept Inclusions in Fuzzy Description Logics; George Stoilos, Umberto Straccia, George Stamou, Jeff Pan

Discovering Missing Background Knowledge in Ontology Matching; Fausto Giunchiglia, Pavel Shvaiko, Mikalai Yatskevich

Conceptual hierarchies match-ing: an approach based on dis-covery of implication rules be-tween concepts; Jérôme David, F.Guillet, R. Gras, Henri Briand

15:30 Coffee break16:00 CS3 Modelling

Compact Representation of Sets of Binary Constraints; Jussi Rintanen

Symmetry Breaking using Value Precedence; Toby Walsh

Automatic Generation of Implied Constraints; John Charnley, Simon Colton, Ian Miguel

KR3 Decision Making

Decision with uncertainties, fea-sibilities, and utilities: towards a unified algebraic framework; Cédric Pralet, Gérard Verfaillie, Thomas Schiex

Possibilistic Influence Diagrams; Laurent GARCIA, Regis Sabbadin

An Axiomatic Approach in Qualitative Decision Theory with Binary Possibilistic Utility; Paul Weng

KR11 Modal Logics

Modal logics for communicat-ing rule-based agents; Natasha Alechina, Mark Jago, Brian Logan

Knowing Minimum/ Maximum $n$ Formulae; Thomas Agotnes, Natasha Alechina

CTL Model Update: Semantics, Computations, and Implementation; Yulin Ding, Yan Zhang

17:30 End of sessions

ECAI 2006 |23Wednesday, August 30th

WHAT TIME

Sala 1000 A Palacongressi Invited Talk: Cynthia Breazeal 09:00

Coffee break 10:00

Sala 300 A Palacongressi Sala 1000 B Palacongressi Sala Belvedere Palacongressi <<< ROOM

ML1 Supervised Learning

A Real generalization of discrete AdaBoost; R. Nock, F. Nielsen

A Unified Model for Multilabel Classification and Ranking; Klaus Brinker, Johannes Fürnkranz, Eyke Huellermeier

Learning from Concept-Drifting Spatial-Temporal Data through Selective Support Vectors Propagation; Yilian Qin, Zoran Obradovic

Argument Based Rule Learning; M. Mozina, J. Zabkar, I. Bratko

DAI1 Multi-agent Systems

Testing the limits of emergent behavior in MAS using learning of cooperative behavior; Jordan Kidney, Jörg Denzinger

On the Inability of Gathering by Asynchronous Mobile Robots with Initial Movements; Katreniakova Jana, Katreniak Branislav

Verifying Interlevel Relations within Multi-Agent Systems; Alexei Sharpanskykh, Jan Treur

Emergence control in cogni-tive and autonomous agent systems; Caroline Chopinaud, Amal El Fallah Seghrouchni, Patrick Taillibert

CM1 Human Computer Interaction

Imitation of intentional behav-iour; Bart Jansen

Evaluating Interaction Initiation in Virtual Environments using Humanoid Agents; Christopher Peters

Dramatization meets informa-tion presentation; Vincenzo Lombardo

Relation between web site co-lour and site credibility: A proba-bilistic modelling approach; Eleftherios Papachristos, Nikolaos Tselios, Nikolaos Avouris

10:30

Lunch break 12:30

ML2 Reinforcement Learning

Least Squares SVM for Least Squares TD Learning; Tobias Jung, Daniel Polani

Learning by Automatic Option Discovery from Conditionally Terminating Sequences; Sertan Girgin, Faruk Polat, Reda Alhajj

Strategic Farsighted Learning in Competitive Multi-Agent; P. Jan ‘t Hoen, S. Bohte, Han La poutre

DAI2Agent Communication

Towards ACL semantics based on commitments and penalties; Florence Dupin de Saint-Cyr, Leila Amgoud

A New Semantics for the FIPA Agent Communication Language based on Social Attitudes; Benoit Gaudou, Andreas Herzing, Dominique Longin, Matthias Nickles

Computational Opinions; Felix Fischer, Matthias Nickles

CM2 AI and Creativity

Tracking the Lexical Zeitgeist with WordNet and Wikipedia; Tony Veale

Cognitive Situated Agents Learn to Name Action; Julien Poudade, Lionel Landwerlin, Paroubek Patrick

An architecture for Interactive Musical Agents; David Murray-Rust, Alan Smaill, Michael Edwards

14:00

Coffee break 15:30

ML3Information Extraction

Efficient Knowledge Acquisition for Extracting Temporal Relations; Son Pham, Achim Hoffmann

Automatic term categoriza-tion by extracting knowledge from the Web; Leonardo Rigutini, Ernesto Di Iorio, Marco Ernandes, Marco Maggini

Acquisition of Entailment Knowledge from Text; Viktor Pekar

DAI3 Applications

Flexible Provisioning of Service Workflows; Sebastian Stein, Nicholas R. Jennings, Terry Payne

Advanced Policy Explanations; Piero Bonatti, Daniel Olmedilla, Joachim Peer

Self-Organizing Multiagent Approach to Optimization in Positioning Problems; Sana Moujahed, Olivier Simonin, Abderrafiâa Koukam, Khaled Ghédira

CM3 Neuroscience/Human experimentation

Background default knowl-edge and causality ascriptions; Jean-François Bonnefon, Rui Da Silva Neves, Didier Dubois, Henri Prade

Comparing sets of positive and negative arguments: Empirical assessment of seven qualitative rules; Jean-François Bonnefon, Hélène Fargier

A similarity and fuzzy logic-based approach to cerebral cat-egorisation; Julien Erny, Henri Prade, Josette Pastor

16:00

End of sessions 17:30

ECAI 200624|

Thursday, August 31st

TIME WHAT09:00 Invited Talk: Wolfang Wahlster Sala 1000 A Palacongressi10:00 Coffee break

ROOM >>> Sala 100 Palacongressi Sala 1000 A Palacongressi Sala 300 A Palacongressi10:30

CS4 Search

Extracting MUCs from Constraint Networks; Fred Hemery, Christophe Lecoutre, Lakhdar Sais, Frederic Boussemart

Guiding Search using Constraint-level Advice; Radoslaw Szymanek, Barry O’Sullivan

Pessimistic Heuristics Beat Optimistic Ones in Real-Time Search; Aleksander Sadikov, Ivan Bratko

A study on the short-term pro-hibition mechanisms in tabu search; Luca Di Gaspero, Marco Chiarandini, Andrea Schaerf

KR4 Reasoning

Improving Bound Propagation; Bozhena Bidyuk, Rina Dechter

On Probing and Multi-Threading in Platypus; Jean Gressmann, Tomi Janhunen, Robert Mercer, Torsten Schaub, Richard Tichy, Sven Thiele

Representing Relative Direction as Binary Relation of Oriented Points; Reinhard Moratz

Using Occlusion Calculi to Interpret Digital Images; David Randell, Mark Witkowski

Robotics

Situation Assessment for Sensor-based Recovery Planning; Abdelbaki Bouguerra, Lars Karlsson, Alessandro Saffiotti

Plan-Based Configuration of a Group of Robots; Robert Lundh, Lars Karlsson, Alessandro Saffiotti

Learning Behaviors Models for Robot Execution Control; Guillaume Infantes, Felix Ingrand, Malik Ghallab

12:30 Lunch break14:00 CS5 Distributed/Multi-ob-

jective CP

Distributed Log-based Reconciliation; Youssef Hamadi, Yek Chong

Search for Compromise Solutions in Multiobjective State Space Graphs; Lucie Galand, Patrice Perny

Asynchronous Forward-Bounding for Distributed Constraints Optimization; Amir Gershman, Amnon Meisels, Roie Zivan

KR5 Belief Revision

Interleaving belief revision and reasoning; Fariba Sadri, Francesca Toni

On the logic of theory change: Relations between incision and selection functions; Gabriele Kern-Isberner, Marcelo Falappa, Eduardo Ferme

Elaborating domain descrip-tions; Andreas Herzig, Laurent Perrussel, Ivan Varzinczak

PL1 Classical Planning

Approximation Properties of Planning Benchmarks; Malte Helmert, Robert Mattmüller, Gabi Röger

Unified Definition of Heuristics for Classical Planning; Jussi Rintanen

A Multivalued logic model of planning; Marco Baioletti, Alfredo Milani, Valentina Poggioni, Silvia Suriani

15:30 Coffee break16:00 CS6 Constraint

Optimization

Dynamic Orderings for AND/OR Branch-and-Bound Search in Graphical Models; Radu Marinescu, Rina Dechter

Random Subset Optimization; Boi Faltings, Quang Huy Nguyen

Multi-Objective Propagation in Constraint Programming; Javier Larrosa, Emma Rollon

KR6 Uncertainty

Compiling possibilistic knowl-edge bases; Salem Benferhat, Henri Prade

Merging possibilistic networks; Salem Benferhat

Knowledge Engineering for Bayesian Networks: How Common Are Noisy-MAX Distributions in Practice?; Adam Zagorecki, Marek Druzdzel

PL2 MDPs/Incomplete Inf.

Mean field approximation of the Policy Iteration algorithm for graph-based Markov decision processes; Nathalie Peyrard, Regis Sabbadin

Approximate linear-program-ming algorithms for graph-based Markov decision processes; Forsell Nicklas, Regis Sabbadin

Strong Cyclic Planning under Partial Observability; Piergiorgio Bertoli, Alessandro Cimatti, Marco Pistore

17:30 End of Sessions

ECAI 2006 |25

Thursday, August 31st

WHAT TIME

Sala 1000 A Palacongressi Invited Talk: Wolfgang Wahlster 09:00

Coffee break 10:00

Sala Belvedere Palacongressi Sala 1000 B Palacongressi Sala 300 B Palacongressi <<< ROOM

NL1 Disambiguation

MSDA: Wordsense discrimi-nation using context vectors and attributes; Abdulrahman Almuhareb, Massimo Poesio

Integrating Domain and Paradigmatic Similarity for Unsupervised Sense Tagging; Roberto Basili, Marco Cammisa, Alfio Gliozzo

Disambiguating Personal Names on the Web using Automatically Extracted Key Phrases; Danushka Bollegala

DAI4 Negotiation

An Automated Agent for Bilateral Negotiation with Bounded Rational Agents with Incomplete Information; Raz Lin, Sarit Kraus, Jonathan Wilkenfeld, James Barry

A logic-based framework to compute Pareto agreements in one-shot bilateral negotiation; Tommaso Di Noia, Eugenio Di Sciascio, Francesco Donini, Azzurra Ragone

Alternating-Offers Bargaining under One-Sided Uncertainty on Deadlines; Francesco Di Giunta, Nicola Gatti

Coordination through Inductive Meaning Negotiation; Alessandro Agostini

PAIS 1Natural and intuitive multimodal dialogue for In-Car Applications: The SAMMIE System; Tilman Becker, Ciprian Gerstenberger, Ivana Kruijff-Korbayova, Andreas Korthauer, Manfred Pinkal, Michael Pitz, Peter Poller, Jan Schehl

Software Companion, the MEXAR Support to Space Mission Planners; Amedeo Cesta, Gabriella Cortellessa, Simone Fratini, Angelo Oddi, Nicola Policella

ECUE: A Spam Filter that Uses Machine Learning to Track Concept Drift; Sarah J. Delany, Padraig Cunningham

Applying Trip@dvice Recommendation Technology to www.visiteurope.com; Venturini Adriano, Francesco Ricci

10:30

Lunch break 12:30

NL2 Parsing

Shallow Semantic Parsing Based on FrameNet, VerbNet and PropBank; Ana-Maria Giuglea, Alessandro Moschitti

History-Based Inside-Outside Algorithm; Heshaam Feili, Gholam-Reza Ghassem-Sani

Semantic Tree Kernels to classify Predicate Argument Structures; Alessandro Moschitti, Bonaventura Coppola, Daniele Pighin, Roberto Basili

DAI5 Argumentation

Arguing with Confidential Information; Nir Oren, Timothy Norman, Alun Preece

Contouring of Knowledge for Intelligent Searching for Arguments; Anthony Hunter

Mediation in the Framework of Morphologic; Isabelle Bloch, Ramon Pino-Perez, Carlos Uzcategui

PAIS 2Diagnosing Highly Configurable Products - Troubleshooting Support for Airbus Final Assembly Line; Andreas Junghanns, Mugur Tatar

Model-Based Failure Analysis with RODON; Karin Lunde, Ruediger Lunde, B. Muenker

K n o w l e d g e - b a s e d Recommenders: Technologies and Experiences from Projects; Alexander Felfernig, Klaus Isak, Christian Russ

14:00

Coffee break 15:30ECAI 2006 Dissertation Award Talkh. 16:00 - 16:45

Machine Learning Based on Attribute Interactions; Aleks Jakulin

DAI6 Coalitions

Reaching Agreements for Coalition Formation through Derivation of Agents’ Intentions; Samir Aknine, Onn Shehory

Coalition Structure Generation in Task-Based Settings; Dung Dang, Nicholas R. Jennings

Strengthening Admissible Coalitions; Guido Boella, Luigi Sauro, Leendert van der Torre

PAIS 3A Client/Server User-Based Collaborative Filtering Algorithm: Model and Implementation; Sylvain Castagnos, Anne Boyer

Web-Based Tools for Codification with Medical Ontologies in Switzerland; Thorsten Kurz, Kilian Stoffel

16:00

End of sessions 17:30

ECAI 200626|

Friday, September, 1st

TIME WHAT09:00 Invited Talk: Hector Levesque Sala 1000 A Palacongressi10:00 Coffee break

ROOM >>> Sala 100 Palacongressi Sala 1000 A Palacongressi Sala 1000 B Palacongressi10:30

CS7 Preferences

Return of the JTMS: Preferences Orchestrate Conflict Learning and Solution Synthesis; Ulrich Junker, Olivier Lhomme Preference-based Inconsistency Proving: When the Failure of the Best Is Sufficient; Ulrich Junker

Enhancing constraints manipu-lation in semiring-based formal-isms; Stefano Bistarelli, Fabio Gadducci

KR7 Logic Programming

Logic Programs with Multiple Chances; Francesco Buccafurri, Gianluca Caminiti, Domenico Rosaci

Abductive Logic Programming in the Clinical Management of HIV/AIDS; Oliver Ray, Athos Antoniades, Antonis Kakas, Ioannis Demetriades

Approximating Extended Answer Sets; Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir

Modular Equivalence for Normal Logic Programs; Emilia Oikarinen, Tomi Janhunen

Perception

A learning classifier approach to tomography; Kees Joost Batenburg

Depth Ordering and Figure-Ground Segregation derived from Illusory Contour Perception; Marcus Hund

Graph Neural Networks for Object Localization; Gabriele Monfardini, Vincenzo Di Massa, Franco Scarselli, Marco Gori

12:30 End of Conference

ECAI 2006 |27

Friday September, 1st

WHAT Time

Sala 1000 A Palacongressi Invited Talk: Hector Levesque 09:00

Coffee break 10:00

Sala 300 B Palacongressi Sala 300 A Palacongressi <<< ROOM

DAI8 Auctions/Game theory

Heuristic Bidding Strategies for Multiple Heterogeneous Auctions; David Yuen, Andrew Byde, Nicholas R. Jennings

Auction Mechanisms for efficient Advertisment Selection on Public Display; Terry Payne, Esther David, Nicholas R. Jennings, Matthew Sharifi

Boolean games revisited; Marie-Christine Lagasquie-Schiex, Jerome Lang, Elise Bonzon, Bruno Zanuttini

Cheating is not playing; Bruno Beaufils, Philippe Mathieu

DAI7 Agent Programming/BDI

Goal Types in Agent Programming; Mehdi Dastani, Birna van Riemsdijk, John-Jules Meyer

Programming Agents with Emotions; Mehdi Dastani, John-Jules Meyer

Are Parallel BDI Agents Really Better?; Huiliang Zhang, Huang Shell Ying

Dynamic Control of Intention Priorities of Human-like Agents; Huiliang Zhang, Huang Shell Ying

10:30

End of Conference 12:30

ECAI 200628|

DEMO ProgrammeThe system demonstrations sessions present the latest Artificial Intelligence systems in an informal setting. The session on Thursday August 31st is open to general public.

TIME WHEN WHERE

17:30 - 19:30 August 30th Palameeting17:30 - 19:30 August 31st Palameeting

ECAI 2006 |29

DEMO Programme TIME Wednesday, August 30th

Thursday, August 31th

17:30 - 19:30 Character-based guided tours: the DramaTour ProjectR. Damiano, C. Galia, V. Lombardo, F. Nunnari

OntoCoref: Ontology-based Co-reference ChainingT. C. Lech, M. Gulliksen, K. de Smedt

Explicit Passive Analysis in Electronic CatalogsD. Portabella Clotet, M. Rajman

From Supporting Individuals to Supporting Small Groups in the Museum Evolution of a Adaptive Museum GuideD. GorenBar, A. Gorfinkel, S. Jbara, T. Kuflik, J. Sheidin, C. Rocchi, O. Stock, M. Zancanaro

ProVotE: Building the e-Voting System for TrentinoA. Villafiorita and R. Tiella

SAMMIE System: Multimodal In-Car DialogueT. Becker

Auctioning Substitutable GoodsA. Giovannucci, J. Cerquides, J. A. Rodriguez-Aguilar, M. Mateos

RAT: A tool for Formal Analysis of RequirementsR. Bloem, I. Pill, R. Cavada, A. Cimatti, M. Roveri, S. Semprini, A. Tchaltsev

ST-Tool: A CASE Tool for Security Requirements EngineeringP. Giorgini, F. Massacci, J. Mylopoulos, C. Qin, A. Siena, N. Zannone

iAgree: a system for proposal-based negotiation among intelligent agentsM. Cadoli, G. Chella, T. Mancini

ASTRO: Supporting Web Service Development by Automated Composition, Monitoring and VerificationM. Trainotti, M. Pistore

The WITAS UAV Ground System Interface Demonstration with a Focus on Motion and Task PlanningM. Wzorek, P. Doherty (a flying helicopter demostration on Thursday only)

Demonstration of the MarkIT Automated Essay Grading SystemB. Williams, H. Dreher

CONOISE-G: Agent-Based Virtual OrganisationsJ. Patel, W. T .L. Teacy, N. R. Jennings, M. Luck, S. Chalmers, N. Oren, T.J. Norman, A. Preece, P. M. D. Gray, G. Sherclif, P. J. Stockreisser, J. Shao, W. A. Gray, N. J. Fiddian

Semantic Knowledge Model and Architecture for Agents in Discrete EnvironmentsM. Laclavik, M. Babik, Z. Balogh, E. Gatial, L. Hluchy

A Tropos Model-Driven Development EnvironmentD. Bertolini, L. Delpero, J. Mylopoulos, A. Novikau, A. Orler, L. Penserini, A. Perini, A. Susi, B. Tomasi

An Electronic Institutions Development Environment for Open Multiagent SystemsJ. Ll. Arcos, G. Cuni’, D. dela Cruz, M. Esteva, B. Rosell, J. A. Rodriguez Aguilar, C. Sierra

A Web-based Interface to a Multi-lingual Phrase-based Translation SystemR. Cattoni, N. Bertoldi, M. Cettolo, B. Chen, M. Federico

Agent-based Prototype of the Dynamic Engineering Design Process Performance Management System (DEDP-PMS)V.Samoylov, Prof. V.Gorodetsky, V.Ermolayev, E.Jentzsch, O.Karsayev, N.Keberle, W.-E.Matzke, R.Sohinus

The FSAP/NuSMV-SA Safety Analysis PlatformM. Bozzano, C. Jochim, and F. Tapparo

WebCrow: a web-based crossword solverM. Gori, G. Angelini, M. Ernandes (An open competition on Wednesday. http://webcrow.dii.unisi.it )

ECAI 200630|

ECAI 2006 |31

POSTERS

TIME WHEN WHERE

17:30 - 19:30 August 30th Palameeting17:30 - 19:30 August 31st Palameeting

ECAI 200632|

POSTERS Wednesday, August 30th

Time PALAMEETING17:30 - 19:30 Cognitive Modeling

Constraints and Search

Knowledge Representation and Reasoning

Model Based Reasoning

Planning and Scheduling

Robotics/Perception

Agents with Anticipatory Behaviors: To Be Cautious in a Risky Environment; Cristiano Castelfranchi, Rino Falcone, Michele Piunti AI and Music: Toward a Taxonomy of Problem Classes; Oliver Kramer, Benno Stein, Jürgen WallUsing Emotions for Behaviour-Selection Learning; Maria Malfaz, Miguel Ángel Salichs

Efficient Handling of Complex Local Problems in Distributed Constraint Optimization; David Burke, Kenneth Brown Visualization for Analyzing Trajectory-Based Metaheuristic Search Algorithms; Steven Halim, Roland Yap, Hoong Chuin Lau Bipolar Preference Problems; Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Stefano BistarelliA Connectivity Constraint using Bridges; Patrick Prosser, Chris Unsworth

Finding Instances of Deduction and Abduction in Clinical Experimental Transcripts; Maria Amalfi, Katia Lo Presti, Alessandro Provetti, Franco Salvetti A Semantics for Active Logic; Mikael Asker, Jacek Malec An Alternative Inference for Qualitative Choice Logic; Salem Benferhat, Daniel Le Berre, Karima SedkiOn the Existence of Answer Sets in Normal Extended Logic Programs; Martin Caminada, Chiaki Sakama Smoothed Particle Filtering for Dynamic Bayesian Networks; Theodore Charitos Goal Revision for a Rational Agent; Célia da Costa Pereira, Andrea Tettamanzi, Leila Amgoud A Redundancy-based Method for Relation Instantiation from the Web; Viktor de Boer, Maarten van Someren, Bob J. Wielinga Norms with Deadlines in Dynamic Deontic Logic; Robert Demolombe, Philippe Bretier, Vincent LouisAdaptive Multi-Agent Programming in GTGolog; Alberto Finzi, Thomas LukasiewiczFormalizing Complex Task Libraries in Golog; Alfredo GabaldonAutomated Deduction for Logics of Default Reasoning; Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato Reasoning about Motion Patterns; Björn GottfriedApplying OPRMs to Recursive Probability Models; Catherine Howard, Markus StumptnerVariable Forgetting in Preference Relations over Propositional Domains; Jerome Lang, Philippe Besnard, Pierre MarquisTwo Orthogonal Biases for Choosing the Intensions of Emerging Concepts in Ontology Refinement; Francesca Lisi, Floriana EspositoComputing Possible and Necessary Winners from Incomplete Partially-Ordered Preferences; Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby WalshWhat’s a Head without a Body? Torsten Schaub, Christian Anger, Martin Gebser, Tomi JanhunenIrrelevant Updates of Nonmonotonic Knowledge Bases; Jan Sefranek, Jozef SiskaDecision Making in Large-Scale Domains: A Case Study; Mikhail Soutchanski, Huy Pham, John Mylopoulos Towards a Logic of Agency and Actions with Duration; Nicolas Troquard, Laure Vieu

Better Debugging through More Abstract Observations; Wolfgang Mayer, Markus StumptnerLogic Profiling for Multicriteria Rating on Web Pages; Alessandra MileoAn Empirical Analysis of the Complexity of Model-Based Diagnosis; Gregory Provan

The Incompleteness of Planning with Volatile External Information; Tsz-Chiu Au, Dana NauCost-Optimal Symbolic Planning with State Trajectory and Preference Constraints; Stefan EdelkampA Cooperative Distributed Problem Solving Technique for Large Markov Decision Processes; Abdel-Illah Mouaddib Integrating Off-line and On-line Schedulers; Riccardo Rasconi, Nicola Policella, Amedeo Cesta Environment-Driven Skeletal Plan Execution for the Medical Domain; Peter Votruba, Andreas Seyfang, Michael Paesold, Silvia Miksch Time Constrained VRP: An Agent Environment-Perception Model; Mahdi Zargayouna

On Packing 2D Irregular Shapes; Alexandros Bouganis, Murray ShanahanAliasing Maps for Robot Global Localization; Emanuele Frontoni, Primo ZingarettiOn Interfacing with an Ubiquitous Robotic System; Donatella Guarino, Alessandro SaffiottiLeaf Classification using Navigation-Based Skeletons; Georgios Sakellariou, Murray Shanahan

ECAI 2006 |33

Thursday, August, 31st POSTERSTIME PALAMEETING17:30 - 19:30 Distributed AI/Agents

Machine Learning

Natural Language Processing

PAIS

Search Better and Gain More: Investigating New Graph Structures for Multi-Agent Negotiations; Samir Aknine An Argumentation-Based Framework for Designing Dialogue Strategies; Leila Amgoud, Nabil Hameurlain A Multiagent System for Scheduling Activities Onboard a Space System; Francesco Amigoni, Simone Faré, Michelle Lavagna, Guido SangiovanniBenefits of Combinatorial Auctions with Transformability Relationships; Giovannucci Andrea, Jesus Cerquides, Juan Antonio Rodríguez-AguilarCount-as Conditionals, Classification and Context; Guido Boella, Leendert van der TorreFair Distribution of Collective Obligations; Guido Boella, Leendert van der TorreProactive Identification of a Physician’s Information Needs; Loes Braun, Floris Wiesman, Jaap van den Herik, Arie HasmanAcyclic Argumentation: Attack = Conflict + Preference; Souhila Kaci, Leendert van der Torre, Emil WeydertSemantic Knowledge Model and Architecture for Agents in Discrete Environments; Michal Laclavik, Zoltan Balogh, Marian Babik, Emil Gatial, Ladislav HluchyPartial Local FriendQ Multiagent Learning: Application to Team Automobile Coordination Problem; Julien Laumonier, Brahim Chaib-draaMutual Enrichment for Agents Through Nested Belief Change: A Semantic Approach; Thomas Meyer, Laurent Perrussel, Jean-Marc Jean-Marc Multi-Agent Least-Squares Policy Iteration; Victor Palmer

Meta-clustering Gene Expression Data with Positive Tensor Factorizations; Liviu Badea, Doina Tilivea Identifying Inter-Domain Similarities through Content-Based Analysis of Hierarchical Web-Directories; Shlomo Berkovsky, Dan Goldwasser, Tsvi Kuflik, Francesco RicciCalibrating Probability Density Forecasts with Multi-objective Search; Michael Carney, Padraig Cunningham Term-Weighting in Information Retrieval using Genetic Programming: A Three Stage Process; Ronan Cummins, Colm O’Riordan Adaptation Knowledge Discovery from a Case Base; Mathieu d’Aquin, Fadi Badra, Lafrogne Sandrine, Jean Lieber, Amedeo Napoli, Laszlo Szathmary Polynomial Conditional Random Fields for Signal Processing; Trinh-Minh-Tri Do, Thierry ArtièresStream Clustering Based on Kernel Density Estimation; Stefano Lodi, Gianluca Moro, Claudio Sartori Version Space Learning for Possibilistic Hypotheses; Henri Prade, Mathieu SerrurierEnsembles of Grafted Trees; Juan Rodriguez, Jesus Maudes A Compression-Based Method for Stemmatic Analysis; Teemu Roos, Tuomas Heikkilä, Petri MyllymäkiPatch Learning for Incremental Classifier Design; Rudy Sicard, Thierry Artieres, Eric Petit Version Space Support Vector Machines; Evgueni Smirnov, Ida Sprinkhuizen-Kuyper, Georgi Nalbantov, Stijn Vanderlooy Meta-Typicalness Approach to Reliable Classification; Evgueni Smirnov, Stijn Vanderlooy, Ida Sprinkhuizen-Kuyper Text Sampling and Re-sampling for Imbalanced Authorship Identification Cases; Efstathios Stamatatos Is Web Genre Identification Feasible? Benno Stein, Sven Meyer zu Eissen

Adaptive Context-Based Term (Re)Weighting: An Experiment on Single-Word Question Answering; Marco Ernandes, Giovanni Angelini, Marco Gori, Leonardo Rigutini, Franco Scarselli How to Analyze Free Text Descriptions for Recommending TV Programmes? Bernd Ludwig, Stefan MandlSoft Uncoupling of Markov Chains for Permeable Language Distinction: A New Algorithm; Richard Nock, Pascal Vaillant, Frank Nielsen, Claudia Henry Tools for Text Mining over Biomedical Literature; Fabio Rinaldi, Gerold Schneider, Kaarel Kaaljurand, Michael Hess SUMMaR: Combining Linguistics and Statistics for Text Summarization; Manfred Stede, Heike Bieler, Stefanie Dipper, Arthit SuriyawongkulPhonetic Spelling and Heuristic Search; Benno Stein, Daniel Curatolo

CBR-TM: A new Case-Based Reasoning System for Help-Desk Environments; Juan Angel García-Pardo, Stella Heras Barbera, Rafael Ramos-Garijo, Alberto Palomares, Vicente Julián, Miguel Rebollo, Vicent BottiVerification of Medical Guidelines using Task Execution with Background Knowledge; Arjen Hommersom, Perry Groot, Peter Lucas, Michael Balser, Jonathan Schmitt

ECAI 200634|

ECAI 2006 |35

INVITED Talks

TIME WHEN WHERE WHO WHAT18:00 - 19:00 August 29th Sala 1000 A

PalacongressiFausto GiunchigliaUniversità di Trento, Italy

Managing Diversity in Knowledge

09:00 - 10:00 August 30th Sala 1000 APalacongressi

Cynthia BreazealMIT Media Lab. MA. USA

Socially Intelligent Robots

09:00 - 10:00 August 31st Sala 1000 APalacongressi

Wolfgang WahlsterUniv. des Saarlandes DFKI, Saarbrücken, Germany

SmartWeb: Getting Answers on the Go

09:00 - 10:00 September 1st Sala 1000 APalacongressi

Hector LevesqueUniversity of Toronto, Canada

The Truth about Defaults

ECAI 200636|

Invited TALKSWHEN WHO ABSTRACT

29/08 Fausto GiunchigliaUniversità di Trento, ItalyCurrently: Professor of Computer Science at the University of Trento, Department of Information and Communication Technology, ECCAI Fellow. Born: 13/02/1958.Scientific interests: My research has covered many different, but very related areas, among them: knowledge representa-tion, context and reasoning with context, knowledge manage-ment and peer-to-peer knowledge management, agent oriented software engineering, formal methods, theorem proving, model checking. I have covered all the spectrum from theory (formal logics) to technology transfer. Lately, I have become interested in how research results go to the market and produce innovation.Academic and scientific track: around fifty journal papers; around two hundred publications overall; more than thirty invited talks in international events; program or conference chair of around ten international events, among them: IJCAI 2005, Mobiquitous 2004, Context 2003, AOSE 2002, Coopis 2001, KR&R 2000, FLOC 1999; program committee member of many conferences and workshops in, e.g., Artificial Intelligence, data bases, agents, information systems, formal methods, automates reasoning, semantic web; editor or editorial board member of around ten journals, among them: Journal of Autonomous Agents and Multi-agent Systems, Journal of applied non Classical Logics, Journal of Software Tools for Technology Transfer, Journal of Artificial Intelligence Research.Scientific and Academic management positions (selected list): ECCAI Fellow, Member of the ECCAI Fellows Selection Committee, IJCAI Board of Trustees member (01-11), President of IJCAI (05-07), President of KR, Inc. (02-04), Advisory Board member of KR, Inc., Steering Committee member of the CONTEXT conference.More details can be found at the URL: http://www.dit.unitn.it/~fausto

Managing Diversity in Knowledge

We are facing an unforeseen growth of the complexity of (data, content and) knowledge. Here we talk of complexity meaning the size, the sheer numbers, the spatial and temporal pervasiveness of knowledge, and the unpredictable dynamics of knowledge change, unknown at design time but also at run time. The obvious example is the Web and all the material, also multimedia, which is continuously made available on line. Our goal in this talk is to propose a novel approach which deals with this level of complexity and that, hopefully, will overcome some of the scalability issues shown by the existing data and knowledge representation technology. The key idea is to propose a bottom-up approach where diversity is considered as a feature which must be maintained and exploited and not as a defect that must be absorbed in some general schema. The proposed so-lution amounts to making a paradigm shift from the view where knowledge is mainly assembled by combining basic building blocks to a view where new knowledge is obtained by the design or run-time adaptation of existing knowledge. Typically, we will build knowledge on top of a landscape of existing highly intercon-nected knowledge parts. Knowledge will no longer be produced ab initio, but more and more as adaptations of other, existing knowledge parts, often performed in runtime as a result of a process of evolution. This process will not always be controlled or planned externally but induced by changes perceived in the environment in which systems are embedded. The challenge is to develop design methods and tools that enable effective design by harnessing, controlling and using the effects of emergent knowl-edge properties. This leads to the proposal of developing adap-tive and, when necessary, self-adaptive knowledge systems and to the proposal of developing a new methodology for knowledge engineering and management, that we call “Managing Diversity in Knowledge by Adaptation”. We will present and discuss the ideas above considering, as an example, the use of ontologies in the formalization of knowledge (for instance in the SemanticWeb).

30/08 Cynthia BreazealMIT Media Lab. MA. USA

Cynthia Breazeal is an Associate Professor of Media Arts and Sciences at the MIT Media Lab where she is director of the Robotic Life Group and holds the LG Group career develop-ment chair. She has been building autonomous robots for over a decade ranging from insect-like planetary micro-rovers, to robotic envi-ronments, to highly expressive and socially intelligent humanoid robots. She is a pioneer of the areas of human- robot interaction and sociable robotics, and leading in the scientific pursuit and tech-nological innovation necessary to create machines that under-stand and engage people in social and affective terms. She received her B.S. (1989) in Electrical and Computer Engineering from the University of California at Santa Barbara, and her S.M (1993) and Sc.D. (2000) in Electrical Engineering and Computer Science from the Massachusetts Institute of Technology. Her graduate and postdoctoral research was carried out at the MIT Artificial Intelligence Lab where she participated in the de-velopment of some of the world’s most famous robots including the upper torso humanoid robot, Cog, and the sociable robot, Kismet.

Socially Intelligent Robots

No longer restricted to the factory floor or hazardous environ-ments, autonomous robots are making their way into human en-vironments.Although current commercial examples of domestic robots are more akin to toys, smart appliances, or supervised tools, the need to help ordinary people as capable partners and interact with them in a socially appropriate manner poses new challenges and opens new opportunities for robot applications in the home, office, school, entertainment locales, healthcare institutions, and more. Many of these applications require robots to play a long-term role in people’s daily lives. Developing robots with social and emotional intelligence is a critical step towards enabling them to be intelligent and capable in their interactions with humans, intuitive to communicate with people, able to work cooperatively with people, and able to learn quickly and effectively from natural human instruction. This talk presents recent progress in these areas and outlines several “grand challenge” problems of social robotics. Specific research projects and applications are highlighted to il-lustrate how robots with social capabilities are being developed to learn, assist, entertain, or otherwise benefit their human coun-terparts.

ECAI 2006 |37

Invited TALKSWHEN WHO ABSTRACT

31/08 Wolfgang WahlsterUniv. des Saarlandes DFKI, Saarbrücken, GermanyWolfgang Wahlster is the Director and CEO of the German Research Center for Artificial Intelligence and a Professor of Computer Science at Saarland University, Germany. He was the Scientific Director of the VERBMOBIL consor-tium on spontaneous speech translation (1993-2000), the SmartKom consortium on multimodal dialog systems (1999-2003) and currently serves as the Scientific Director of the SmartWeb consortium on mobile multimodal access to se-mantic web services (2004-2008). He has published more than 170 technical papers and 7 books on language technology and intelligent user interfaces. His current research includes multimodal and perceptive user in-terfaces, user modeling, ambient intelligence, embodied con-versational agents, smart navigation systems, semantic web services, and resource-adaptive cognitive technologies. Prof. Wahlster was the Conference Chair for IJCAI-93, the ECAI-96 Programme Chair and the Programme Co-Chair of ACL/EACL-97. He has served as the Chair of ECCAI, from 1996-2000. In 2000, he was the President of the Association for Computational Linguistics (ACL). Professor Wahlster has received numerous honors and awards for his research contributions: AAAI Fellow, ECCAI Fellow, GI Fellow, Fritz Winter Award (1991), IST Prize (1995), honorary doctoral degrees from Linkoeping University and Darmstadt University of Technology, Beckurts Award (2000) and German Future Prize, a highly prestigious German presidential award (2001).

SmartWeb: Getting Answers on the Go The appeal of being able to ask a spoken question to a mo-bile internet terminal and receive an audible answer immedi-ately has been renewed by the broad availability of always-on Web access, which allows users to carry the internet in their pockets. Ideally, a multimodal dialogue system that uses the Web as its knowledge base would be able to answer a broad range of spoken questions. Practically, the size and dynamic nature of the Web and the fact that the content of most web pages is encoded in natural language makes this an extremely difficult task. Recent progress in semantic web technology is enabling innovative open-domain question an-swering engines that use the entire Web as their knowledge base and offer much higher retrieval precision than current web search engines. Our SmartWeb system is based on the fortunate confluence of three major research efforts that have the potential of forming the basis for the next generation of Web-based answer engines. The first effort is the semantic Web, which provides the formalisms, tools and ontologies for the explicit markup of the content of Web pages; the second effort is the development of semantic Web services, which results in a Web where programs act as autonomous agents to become the producers and consumers of information and enable automation of transactions. The third important ef-fort is information extraction from huge volumes of rich text corpora available on the web exploiting language technology and machine learning.SmartWeb provides a context-aware user interface, so that it can support the mobile user in different roles, e.g. as a car driver, a motor biker, a pedestrian or a sports spectator. One of the demonstrators of SmartWeb is a personal guide for the 2006 FIFA world cup in Germany, that provides mobile info-tainment services to soccer fans, anywhere and anytime. This talk presents the anatomy of SmartWeb and explains the distinguishing features of its multimodal interface and its answer engine. In addition, the talk gives an outlook on the French-German mega project Quaero and its relation to SmartWeb.

01/09 Hector LevesqueUniversity of Toronto, Canada

Hector Levesque received his Ph.D. from the University of Toronto in 1981. After graduation, he accepted a position at the Fairchild Lab for AI Research in Palo Alto, and then joined the faculty at the University of Toronto where he has remained since 1984. Dr. Levesque has published over 60 research papers, and is the co-author of a recent textbook on knowledge representa-tion and reasoning. In 1985, he received the Computers and Thought Award given by IJCAI. He is a founding fellow of the AAAI, and was a co-founder of the International Conference on Principles of Knowledge Representation and Reasoning. In 2001, Dr. Levesque was the Conference Chair of IJCAI-01, and served as President of the Board of Trustees of IJCAI from 2001 to 2003.

The Truth about Defaults Virtually all of the work on defaults in AI has concentrated on default reasoning: given a theory T containing facts and defaults of some sort, we study how an ideal agent should reason with T, typically in terms of constructs like fixpoints, or partial orders, or nonmonotonic entailment relationships. In this talk, we investigate a different question: under what condi-tions should we consider the theory T to be true, or believed to be true, or all that is believed to be true? By building on truth in this way, we end up with a logic of defaults that is classical, that is, a logic with an ordinary monotonic notion of entailment. And yet default reasoning emerges naturally from these ideas. We will show how to characterize the default logic of Reiter and the autoepistemic logic of Moore in purely truth-theoretic terms. We will see that the variant proposed by Konolige is in fact a link between the two, and that all three fit comfortably within a single logical lan-guage, that we call O3L. Finally, we will present first steps towards a proof theory (with axi-oms and rules of inference) for O3L. Among other things, this allows us to present ordinary sentence-by-sentence derivations that cor-respond to different sorts of default reasoning. This is joint work with Gerhard Lakemeyer.

ECAI 200638|

Social Programme

> TUESDAY 29 August 2006

ECAI 2006 Official Opening Ceremony17:30 - 18:00 The Opening Ceremony will be held in Palacongressi - Sala 1000 A and will be chaired by Silvia Coradeschi.

WELCOME RECEPTIONThe ECAI 2006 Welcome Reception will be held in Piazza Catena, Riva del Garda, directly after the invited talk by F. Giunchiglia.

> WEDNESDAY 30 August 2006

Webcrow Competition18:30 - 20:00

> THURSDAY 31 August 2006

Webcrow Competition Award Presentation18:30Palameeting

ECAI 2006 Conference Dinner20:30Hotel Du Lac et Du Parc, Riva del Garda

ECAI 2006 |39

GENERAL INFORMATIONRegistration officeIt is located in Palacongressi.Opening timesSunday, August 27, 15:30 - 18:00 Monday, August 28 to Thursday, August 31, 08:00 - 18:00 Friday, September 1, 08:00 - 12:30

Coffee/LunchCoffee and tea will be served in the Palameeting at the follow-ing times from Monday to Friday:

10:00 - 10:30 15:30 - 16:00

Lunch is not included in the registration fee, however lunch can be purchased in the Palacongressi bar, located on the first floor of the Conference Centre, or from a nearby food outlet.

LanguageThe official language of the Conference will be ENGLISH - there will be no simultaneous translation in conference sessions.

Internet AccessInternet access is possible through the Conference Centre’s wireless facilities. Please ask for a voucher at the Internet desk. ID or passport must be shown.

SpeakersThe Speakers’ Preview area may be booked at the registration office.

Cash DispenserA cash dispenser is available inside the conference centre, ground floor.

ECAI 200640|

CONFERENCE AT A GLANCE

SUNDAY 27 Aug MONDAY 28 Aug TUESDAY 29 Aug WEDNESDAY 30 Aug THURSDAY 31 Aug FRIDAY 1 Sep

ECAI 2006 |41

08:0

0

08:3

0

09:0

0

10:0

0

10:3

0

12:3

0

13:3

0

14:0

0

15:3

0

16:0

0

17:0

0

17:3

0

18:0

0

18:3

0

19:0

0

19:3

0

20:0

0

20:3

0

20:4

5

FRID

AYS

ep 1

Invited Talk by Hector

Levesque

DAI7

DAI8

Perception

KR7

CS7

REGISTRATION

THU

RSD

AYA

ug 3

1

Invited Talk by

Wolfgang Wahlster

PAIS 1 PAIS 2 PAIS 3DEMOS

ConferenceDINNER

DAI4 DAI5 DAI6

NL1 NL2 Dissertation Award Talk

Webcrow Competition

Award PresentationRobotics PL1 PL2

KR4 KR5 KR6POSTERS

CS4 CS5 CS6

REGISTRATION

WE

DN

ESD

AYA

ug 3

0

Invited Talk byCynthia

Breazeal

CM1 CM2 CM3DEMOS

DAI1 DAI2 DAI3

ML1 ML2 ML3 ECCAI General Assembly

KR9 KR10 KR11 Webcrow Competition

KR1 KR2 KR3POSTERS

CS1 CS2 CS3

REGISTRATION

TUES

DAY

Aug

29

AI*IA Event

EC

AI 2

006

OP

EN

ING

Invited Talk by F.Giunchiglia WELCOME RECEPTION

STA

IRS

200

6 S

ocia

l Eve

nt

TU04 TU04

TU02 TU02 TU03 TU03

Workshops Workshops Workshops Workshops

STAIRS 2006

STAIRS 2006

STAIRS 2006

STAIRS 2006

REGISTRATION

MO

ND

AYA

ug 2

8

TU01 TU01

Gender&ScienceInvited Talk by M.Calloni

Gender&ScienceSocial Event: Mistero Buffo

Workshops Workshops Workshops Workshops

STAIRS 2006

STAIRS 2006

STAIRS 2006

STAIRS 2006

REGISTRATION

SUN

DAY

Aug

27

REGISTRATION

08:0

0

08:3

0

09:0

0

10:0

0

10:3

0

12:3

0

13:3

0

14:0

0

15:3

0

16:0

0

17:0

0

17:3

0

18:0

0

18:3

0

19:0

0

19:3

0

20:0

0

20:3

0

20:4

5

CONFERENCE AT A GLANCE

ECAI 200642|

Riva del Garda MAP

ECAI 2006 |43

Conference Sites MAPPALACONGRESSI - PALAMEETING

LICEO

ECAI 200644|

ECCAI Member SocietiesCurrently, the following AI societies are members of ECCAI, the European Coordinating Committee for Artificial Intelligence

ACIA (Spain) Catalan Association for Artificial Intelligence (Associació Catalana d’Intelligència Artificial).

ADUIS (Ukrain) Association of Developers and Users of Intelligent Systems.

AEPIA (Spain) Spanish Association for Artificial Intelligence (Asociación Española para la Inteligencia Artificial)

AFIA (France) French Association for Artificial Intelligence (Association Française pour l’Intelligence Artificielle)

AIAI (Ireland) Artificial Intelligence Association of Ireland

AIIA (Italy) Italian Association for Artificial Intelligence (Associazione Italiana per l’Intelligenza Artificiale)

AISB (United Kingdom) Society for the Study of Artificial Intelligence and the Simulation of Behaviour

APPIA (Portugal) Portuguese Association for Artificial Intelligence (Associação Portuguesa para a Inteligência Artificial)

BAIA (Bulgaria) Bulgarian Artificial Intelligence Association

BCS-SGAI (United Kingdom) British Computer Society Specialist Group on Artificial Intelligence BNVKI (Belgium/Netherlands) Belgian-Dutch Association for Artificial Intelligence (Belgisch- Nederlandse Vereniging voor Kunstmatige Intelligentie)

CSKI (Czech Republic) Czech Society for Cybernetics and Informatics (Ceská spolecnost pro kybernetiku a informatiku)

DAIS (Denmark) Danish Artificial Intelligence Society

EETN (Greece) Hellenic Artificial Intelligence Association FAIS (Finland) Finnish Artificial Intelligence Society (Suomen Tekoälyseura ry)

GI/KI (Germany) German Informatics Association (Gesellschaft für Informatik; Sektion KI e.V.)

IAAI (Israel) Israeli Association for Artificial Intelligence

LANO (Latvia) Latvian National Organisation of Automatics (Latvijas Automatikas Nacionala Organizacija)

ECAI 2006 |45

LIKS-AIS (Lithuania) Lithuanian Computer Society--Artificial Intelligence Section (Lietuvos Kompiuterininku Sajunga)

NJSZT (Hungary) John von Neumann Society for Computing Sciences (Neumann János Számítógéptudományi Társaság) ÖGAI (Austria) Austrian Society for Artificial Intelligence (Österreichische Gesellschaft für Artificial Intelligence)

RAAI (Russia) Russian Association for Artificial Intelligence

SAIS (Sweden) Swedish Artificial Intelligence Society

SGAICO (Switzerland) Swiss Group for Artificial Intelligence and Cognitive Science (Schweizer Informatiker Gesellschaft) SLAIS (Slovenia) Slovenian Artificial Intelligence Society (Slovensko drustvo za umetno inteligenco) SSKI SAV (Slovak Republic) Slovak Society for Cybernetics and Informatics at Slovak Academy of Sciences (Slovenská spolocnost pre kybernetiku a informatiku pri Slovenskej akadémii vied)

ECAI 200646|

NOTES

ECAI 2006 |47

ECAI 2006 gratefully acknowledges the generous support from all the sponsors.

Comune di Riva del Garda

Riva del Garda, ITALY European Conference on Artificial...

Documents

Transcript of Riva del Garda, ITALY European Conference on Artificial...