17 E uropean C onference on A rtificial Intelligence

Transcription

17th European Conference on Artificial Intelligence
Riva del Garda, ITALY
28 August - 1 September 2006
http://ecai2006.itc.it
Organized by:
ECCAI European Coordinating Committee for Artificial Intelligence
and
AI*IA Associazione Italiana per l’Intelligenza Artificiale
Hosted by:
ITC-irst - Centro per la Ricerca Scientifica e Tecnologica
|
ECAI 2006
ECAI 2006 17th European Conference on Artificial Intelligence
ITC-irst
Istituto Trentino di Cultura - Centro per la Ricerca Scientifica e Tecnologica
via Sommarive, 18 POVO - Tn (Italy)
Information
Fax
++39 0461 314 501
Email [email protected]
Web http://ecai2006.itc.it
Grafical Design Ornella Mich
Cover picture
Istituto di Istruzione Superiore “Don Milani - Depero” Rovereto (Italy);
Visual: Maurizio Cesarini
Maps
Sandro De Feo and Cu Nguyen
Printed
Università di Trento - Italy
ECAI 2006
|
Contents
Welcome
ECAI 2006 Committees
Tutorials
Workshops
Gender and Science Event
AI*IA Event
STAIRS 2006
STAIRS Programme
ECAI Technical Sessions
Demo Programme
Posters
Invited Talks
Social Programme
General Information
Conference at a Glance
Riva del Garda Map
Conference Sites Map
ECCAI Member Societies
5
5
8
10
12
14
16
18
20
28
31
35
38
39
40
42
43
44
|
ECAI 2006
|
ECAI 2006
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 Chair
Program Chair
Organizing Committee Chairs
PAIS Chair
STAIRS Chairs
Poster Chair
Workshop Chair
Silvia Coradeschi
Gerhard Brewka
Anna Perini
Paolo Traverso
Mugur Tatar
Pavlos Peppas
Anna Perini
Jerome Lang
Toby Walsh
Örebro University, Sweden
Univ. of Leipzig, Germany
SRA, ITC-irst, Trento, Italy
Daimler-Chrysler AG, Berlin, Germany
Univ. of Patras, Greece
SRA, ITC-irst, Trento, Italy,
CNRS - Toulouse IRIT, France
Univ. of New South Wales, Australia
Carola Dori
Susana Otero Diaz
Emanuela Silvestris
Alessandro Tuccio
Giampaolo Avancini
Ornella Mich
Manuela Speranza
Monique Calisti
Rosella Gennari
Marco Pistore
Micaela Vettori
Chiara Ghidini
Angelo Susi
Diego Sona
Sriharsha Veeramachaneni
Loris Penserini
Paolo Massa
Rosella Gennari
Gaetano Calabrese
ITC-irst, Trento, Italy
ITC, Trento, Italy
ITC, Trento, Italy
SSI, ITC-irst, Trento, Italy,
TCC, ITC-irst, Trento, Italy
Whitestein Tech., Zurich, Switzerlans
KRDB, CS Faculty, FUB, Italy
DIT, Trento Univ., Italy
ITC, Trento, Italy
KRDB, CS Faculty, FUB, Italy
ORGANIZING COMMITTEE
Secretarial office
Treasurer
Technical support chair
Printing & publicity co-chairs
Sponsorship co-chairs
Volunteer & Student scholarship
Workshop & Tutorial co-chairs
STAIRS local chair
DEMO local chair
Web masters
|
ECAI 2006
AREA CHAIRS
ADVISORY COMMITTEE
Franz Baader
TU Dresden, Germany
Christian Bessiere
Montpellier University., France
Susanne Biundo
Ulm University, German)y
Ronen Brafman
Ben Gurion University, Israel
Padraig Cunningham
Trinity College, Ireland
Thomas Eiter
KBS, TU Vienna, Austria
Boi Faltings
Federal Inst. of Tech., Switzerland
Peter Flach
Bristol University, Great Britain
PROGRAMM COMMITTEES
ECAI 2006 Papers
Amir Eyal
Andre Elisabeth
Ardissono Liliana
Arkin Ronald
Avesani Paolo
Aylett Ruth
Baral Chitta
Bartak Roman
Bauer Mathias
Baumgartner Peter
Beetz Michael
Bench-Capon Trevor
Ben-Eliyahu-Zohary Rachel
Benferhat Salem
Bennett Brandon
Berthold Michael
Bistarelli Stefano
Blockeel Hendrik
Bolshakova Nadia
Bonet Blai
Bordini Rafael
Borrajo Daniel
Boström Henrik
Brazdil Pavel
Bridge Derek
Buccafurri Francesco
Cadoli Marco
Calvanese Diego
Canu Stephane
Carroll John
Castillo Luis
Cazenave Tristan
Cerquides Jesús
Cesta Amedeo
Cetnarowicz Krzysztof
Cimatti Alessandro
Clark Stephen
Cordier Marie-Odile
Cornuéjols Antoine
Cox Anna
Crucianu Michel
Damásio Carlos
De Raedt Luc
De Roeck Anne
De Vos Marina
Declerck Thierry
Delgrande James
Denecker Marc
Dignum Frank
Dimopoulos Yannis
Dix Jürgen
Dolgov Dmitri
Domshlak Carmel
Drogoul Alexis
Dunne Paul
Edelkamp Stefan
Eklundh Jan-Olof
El Fallah Seghrouchni Amal
Elooma Tapio
Endriss Ulle
Erdem Esra
Estival Dominique
Faber Wolfgang
Johannes Fürnkranz TU Darmstadt, Germany
Hector Geffner
Universitat Pompeu Fabra, Spain
Malik Ghallab
LAAS - CNRS, France
Enrico Giunchiglia
DIST, Genova University, Italy
Lluis Godo
IIA-CSIC, Spain
Vaclav Hlavac
Center Machine Perception, Czech
Barbara Keplicz
T.U. Czechia, Warsaw U., Poland
Sarit Kraus
UMIACS, USA, Bar Ilan U., Israel
Falcone Rino
Feelders Ad
Felsberg Michael
Fink Michael
Focacci Filippo
Foo Norman
Förstner Wolfgang
Fox Maria
Freksa Christian
Frisch Alan
Furbach Uli
Gabaldon Alfredo
Gama Joao
Gelfond Michael
Gentile Claudio
Giordano Laura
Gleizes Marie-Pierre
Gore Rajeev
Granvilliers Laurent
Greco Gianluigi
Grieser Gunter
Haindl Michal
Hansen Eric
Haslum Patrik
Hassas Salima
Helmert Malte
Henocque Laurent
Hernandez-Orallo Jose
Hertzberg Joachim
Herzig Andreas
Hickey Ray
Hnich Brahim
Hobbs Jerry
Hoffmann Jörg
Hogg David
Hotho Andreas
Howes Andrew
Hüllermeier Eyke
Hunter Anthony
Ianni Giovambattista
Ingrand Felix
Jamroga Wojtek
Janhunen Tomi
Jennings Nicholas
Jonsson Peter
Junker Ulrich
Jussien Narendra
Kakas Antonis
Kern-Isberner Gabriele
Kersting Kristian
Kisiel-Dorohinicki Marek
Kiziltan Zeynep
Klette Reinhard
Koehler Jana
Koenig Sven
Kohlhase Michael
Kok Joost
Kosecka Jana
Koubarakis Manolis
Kovacs Tim
Kramer Stefan
Laborie Philippe
Lachiche Nicolas
Lakemeyer Gerhard
Lapata Mirella
Larrañaga Pedro
Bernhard Nebel
Freiburg University, Germany
Ilkka Niemelä
Helsinki U. of Technology, Finland
Francesca Rossi
Padova University, Italy
Donia Scott
Open University, Great Britain
Michele Sebag
LRI, Paris Sud University, France
Niels Taatgen
U. of Groningen, Netherlands
Pietro Torasso
Torino University, Italy
Mike Wooldridge
Liverpool University, Great Britain
Larrosa Bondia Javier
Laugier Christian
Laumond Jean-Paul
Le Berre Daniel
Lecoutre Christophe
Leite João
Levine John
Liberatore Paolo
Lomuscio Alessio
Long Derek
Lukasiewicz Thomas
Lutz Carsten
Madden Michael
Malerba Donato
Markovitch Shaul
Marques-Silva Joao
Marquis Pierre
Matwin Stan
Maver Jasna
McCluskey Lee
Meisels Amnon
Mellish Chris
Meseguer Pedro
Meuleau Nicolas
Meyer John-Jules
Miguel Ian
Milano Michela
Möller Ralf
Moral Serafín
Morik Katharina
Morisset Benoit
Neveu Bertrand
Nielsen Thomas
Nuijten Wim
Onaindia Eva
O’Sullivan Barry
Palopoli Luigi
Patterson David
Pearce David
Pechoucek Michal
Peebles David
Penczek Wojciech
Perron Laurent
Petit Thierry
Pfahringer Bernhard
Pfeifer Gerald
Pianesi Fabio
Pitt Jeremy
Piwek Paul
Prakken Henry
Prestwich Steve
Prosser Patrick
Provan Gregory
Refanidis Ioannis
Renz Jochen
Riedmiller Martin
Rintanen Jussi
Rosati Riccardo
Rosenschein Jeffrey
Rueher Michel
Ruml Wheeler
Sabbadin Regis
Saffiotti Alessandro
Sagerer Gerhard
Saitta Lorenza
Sakama Chiaki
Wolfgang Bibel
Technische U. Darmstadt, Germany
Tony Cohn
University of Leeds, UK
Werner Horn
Austrian Research I. for AI, Austria
Ramon Lopez de Mantaras
CSIC, Bellaterra, Spain
Lorenza Saitta
Univ. del Piemonte Orientale, Italy
Oliviero Stock
Wolfgang Wahlster
DFKI GmbH, Germany
Sattler Ulrike
Scarcello Francesco
Schaub Torsten
Scheffer Tobias
Schiex Thomas
Schoppek Wolfgang
Sebban Marc
Selman Bart
Shani Guy
Sierra Carles
Simmons Reid
Simon Laurent
Slaney John
Son Tran Cao
Staab Steffen
Stergiou Konstantinos
Stocco Andrea
Straccia Umberto
Struss Peter
Studený Milan
Stumptner Markus
Suzuki Einoshin
Svoboda Tomas
Sziranyi Tamas
Tacchella Armando
Theseider Duprè Daniele
Thiebaux Sylvie
Thielscher Michael
Tinelli Cesare
Tompits Hans
Torroni Paolo
Traverso Paolo
Trucco Emanuele
Truszczynski Mirek
Tsymbal Alexey
Turner Hudson
Urbas Leon
Vallduvi Enric
van Beek Peter
van der Hoek Wiebe
van Eijk Rogier
van Noord Gertjan
van Rijn Hedderik
van Someren Maarten
Venable Kristen Brent
Verbrugge Rineke
Verdejo Felisa
Verfaillie Gérard
Vermeir Dirk
Vidal Jose M
Vidal Vincent
Wallace Richard
Wallach Dieter
Walsh Toby
Wang Kewen
Widmer Gerhard
Wiering Marco
Williams Mary-Anne
Wilson Nic
Wolter Frank
Woltran Stefan
Wölfl Stefan
Wotawa Franz
Wrobel Stefan
Yadgar Osher
You Jia-Huai
ECAI’06 Posters
Hubie Chen
Eyke Huellermeier
Frédéric Koriche
Weiru Liu
Nicolas Maudet
Maurice Pagnucco
Helena Sofia Pinto
Pearl Pu
Alessandro Saffiotti
Alessandro Sperduti
Leendert van der Torre
Laure Vieu
PAIS 2006
Josep Lluis Arcos
Joachim Baumeister
Riccardo Bellazzi
Bertrand Braunschweig
Pádraig Cunningham
Floriana Eposito
Boi Faltings
Gerhard Fleischanderl
Oliviero Stock
Kilian Stoffel
Louise Trave-Massuyes
Franz Wotawa
STAIRS 2006
Eyal Amir
Anbulagan
Grigoris Antoniou
Silvia Coradeschi
Alessandro Cucchiarelli
Jim Delgrande
Sofoklis Efremidis
Norman Foo
Rosella Gennari
Dina Goren-Bar
Renata Guizzardi
Costas Koutras
Ornella Mich
Dunja Mladenic
Leora Morgenstern
Abhaya Nayak
Antreas Nearchou
Eva Onaindia
Mehmet Orgun
Maurice Pagnucco
Loris Penserini
Mikhail Prokopenko
Jochen Renz
Panagiotis Rondogiannis
Andrea Sboner
Torsten Schaub
Luca Spalazzi
Steffen Staab
Geoff Sutcliffe
Armando Tacchella
Valentina Tamma
Thanassis Tiropanis
Isabel Trancoso
George Vouros
Renata Wassermann
Mary-Anne Williams
Nirmalie Wiratunga
ECAI 2006
|
Corporate Sponsorships
ECAI 2006 gratefully acknowledges the generous contribution
of the following organizations:
Provincia Autonoma di Trento
Università degli Studi di Trento
KRDB - Faculty of Computer Science, Free Univ. of Bozen
Elsevier
IOS Press
Springer
Cambridge Journals Online
Comune di Riva del Garda
Riva del Garda - FiereCongressi
Musicstrands
MetalSystem Group
Savannah Simulations
|
ECAI 2006
Invited Tutorials
TIME
WHEN
WHERE
TITLE
14:00 - 17:30
August 28
Sala Presidenza
TU01
09:00 - 12:30
August 29
Sala Presidenza
TU02 Uncertainty in Knowledge
14:00 - 17:30
August 29
Sala Presidenza
TU03
14:00 - 17:30
August 29
Sala Meeting
TU04
Palacongressi
Palacongressi
Palacongressi
Palacongressi
LECTURER
AI Planning: the model- Hector Geffner (UPF Barcelona,
based approach to intelligent be- Spain)
havior and a lab for representation
and reasoning techniques
Representation and Reasoning
Didier Dubois (IRIT, France)
Everything You Always Franz Baader
Wanted to Know About Description Germany)
Logics, But Were Afraid to Ask
Your Ontology Engineer
(TU
Situated Agent Teams: Gal A. Kaminka
University, Israel)
Getting Robots to Cooperate
Dresden,
(Bar
Ilan
ECAI 2006
|
Invited Tutorials
LECTURER
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 domainindependent 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
techniques
Planning 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 deterministic 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 estimators, constraint propagation, variable elimination, and the
like. In all cases, knowledge that is implicit in the description 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 belongs 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 reasoning 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, representation and processing of imprecise and uncertain information in reasoning, 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 particular, 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 published 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 logicbased knowledge representation formalisms, which can be
used to represent the conceptual knowledge of an application 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 reasoning 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 lightweight 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, robotics, 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, supervising 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 papers.
Situated Agent Teams: Getting Robots to Cooperate
Teams of situated agents are common in real-world and research domains, ranging from simulated pilots in commercial
applications, through synthetic players in RoboCup competitions 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, attempting 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 architectures for teamwork and coordination.
10|
ECAI 2006
WORKSHOPS
Monday, August 28th
LOCATION
TITLE
ORGANIZERS
Sala 300 A
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
Floriana Grasso (University of Liverpool, UK)
Rodger Kibble (University of London, UK)
Chris Reed (University of Dundee, UK)
Full day
Sala 300 B
W4 Contexts and Ontologies: Theory, Practice
Pavel Shvaiko (University of Trento, Italy)
Jerome Euzenat (INRIA RhÆone-Alpes, France
Alain 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 Belvedere
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 Meeting
W12 Coordination, Organization, Institutions and
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 A
W14 Computational Creativity
Simon Colton (Imperial College, UK)
Alison Pease (University of Edinburgh, UK)
Full day
Liceo
W15 Knowledge Management and Organizational
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, Austria
Mathias 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
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 B
W23
Luciana Bordoni (ENEA UDA/Advisor, Italy)
Massimo Zancanaro (ITC-IRST, Italy)
Antonio Krueger (University of Muenster, Germany)
Full day
Liceo
W24
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 B
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 A
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
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
Palacongressi
Palacongressi
Palacongressi
Palacongressi
Palacongressi
Palacongressi
Palacongressi
Palacongressi
(CMNA 6)
and Applications (C&O’06)
Norms in agent systems (COIN’06)
Memories
2006)
Intelligent Technologies
Heritage Exploitation
Distributed
Problems
for
Constraint
Cultural
Satisfaction
Ubiquitous Computing (SWUMA’06)
ECAI 2006
|11
Tuesday, August 29th
WORKSHOPS
LOCATION
TITLE
ORGANIZERS
Sala 300 A
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
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 Belvedere
W11 Artificial Intelligence Techniques for Ambient
Juan Carlos Augusto (University of Ulster, U.K. )
Daniel Shapiro (Applied Reactivity, Inc.,U.S.A.)
Full day
Sala 100 A
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, Austria
Mathias 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
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
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
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 A
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
Steven Prestwich (University College Cork, Ireland)
Brahim Hnich (Izmir University of Economics, Turkey)
Full day
Sala Stampa B
W35 Planning, Learning and Monitoring with
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-
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
Palacongressi
Palacongressi
Palacongressi
Palacongressi
Palacongressi
(MoChArt-2006)
Intelligence (AITAmI’06)
(BESAI 2006)
Modelling (AIAI’06)
structures of knowledge (WIGSK’06)
Constraints
Uncertainty and Dynamic Worlds
Enhanced
Educational
Technology
and
Development and Evaluation of Robust Spoken
Dialogue Systems
12|
ECAI 2006
GENDER and SCIENCE
In 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 towards 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
WHO
17:30 - 18:30
28 August
Sala 1000 A
Invited talk
Marina Calloni (University
of
Milano-Bicocca,
and
International
Network
for
Research on Gender) (English
only)
28 August
Cortile Rocca del Castello Social Program
20:30 - 22:00
Palacongressi
Mario Pirovano (English and
Grammelot).
ECAI 2006
|13
GENDER and SCIENCE
Monday, August 28th
WHAT
WHO
ABSTRACT
Invited talk
Marina Calloni
Science, knowledge and gender: challenges for
a social Europe
Science, knowledge and gender: challenges
for a social
Europe
Social
Program
Mistero Buffo, a
theater piece by
Dario Fo
Marina 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 fellow 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, collaborating with universities, research centres, NGO’s and
supra-national institutions.
She has widely published books and papers in several 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.
Mario Pirovano
Since 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 century theatre.
In his artistic career Pirovano switches from the
Italian public square to the most prestigious theatres, passing easily from the dialects of the Po valley 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 prophetic flavour which, through the genius of Dario
Fo, links us up with the popular theatre tradition going back to the Middle Ages.
After the World War Second the main interest of
European countries was reconciliation and the establishment of peaceful and democratic governments
both at the national and international level.
Yet not only politics and economy but also education, 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 enlarging 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 order 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.
A bit of history
The term mystery was already used in the 2nd and
3rd century A.D. to indicate a religious play or spectacle. The theatre in fact, especially the grotesque
theatre, has always been the first means of popular
expression and communication, but also of provocation 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 performances of the great exponents of Grammelot.
Dario Fo says:
“Mario Pirovano is a self-taught actor of great expressive quality. For years he came to listen to my
performances and followed the lessons and demonstrations 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”.
14|
ECAI 2006
AI*IA event
The 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, followed 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 B
Palacongressi
ECAI 2006
|15
AI*IA Event
TIME
08:30 - 10:00
SALA 300 B - Palacongressi
Presentation of the association awards - Consegna dei premi dell’associazione
Talk by the New Graduate Award Winner - Relazione vincitore premio neolaureati
Talk by the New PhD Award Winner - Relazione vincitore premio neodottori ricerca
Talk 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
16|
ECAI 2006
STAIRS 2006
STAIRS 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
08:30 - 08:45
Sala 1000 A Palacongressi
09:45 - 10:00
10:00 - 10:30
10:30 - 12:30
13:30 - 15:15
15:15 - 15:30
August 28th
08:45 - 09:45
Palameeting
WHAT
Opening remarks
Invited Talk
Poster Announcement
Posters - Coffee break
Paper Session I
Paper Session II
Poster Announcement
WHO
Chiara Ghidini
chair Chiara Ghidini
chair Paolo Massa
15:30 - 16:00
Palameeting
16:00 - 17:30
Paper Session III
chair Pavlos Peppas
Invited Talk
Poster Announcement
Paper Session IV
Paper Session V
Poster Announcement
Paper Session VI
Social Event
Patrick Doherty
08:30 - 09:30
10:00 - 10:30
10:30 - 12:30
13:30 - 15:15
15:15 - 15-30
15:30 - 16:00
16:00 - 17:30
20:45
August 29th
09:30 - 10:00
Palameeting
Palameeting
Spiaggia degli Ulivi
chair Loris Penserini
chair Diego Sona
chair Angelo Susi
ECAI 2006
|17
STAIRS Invited TALKS
WHEN
WHO
ABSTRACT
28/08
Chiara Ghidini
ITC-irst Trento, taly
Writing a good grant proposal:
guidelines and tips
Dr. Ghidini is a senior research Scientist at ITC-irst. Her
research interests include several areas of Distributed
Knowledge Representation, such as: knowledge representation formalisms, logicbased agents and multiagent systems, context-based reasoning, and information 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 multiagent 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 distributed 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 workshop 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 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, guidelines 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 tutorials, and my experience and personal view on the subject.
Patrick Doherty
LinkÖping University, Sweden
Artificial Intelligence and Unmanned
Aerial Vehicles
29/08
Patrick 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, autonomous aerial robotics systems, and software architectures for autonomous systems.
His research team is one of the internationally leading
groups in the areas of automated planning and unmanned aerial vehicle research. He and his students
have developed TALplanner, an award winning taskbased planner in international competitions.
They are also currently developing technologies for a
fully deployed autonomous unmanned helicopter platform and have recently developed the LINKMAV, an
award winning micro-UAV.
The 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 representation disciplines. For both military and civilian applications, there is a desire to develop more sophisticated
UAV platforms where the emphasis is placed on intelligent capabilities and their integration in complex network-centric command and control frameworks. Platform
specific distributed hybrid software architectures should
support the integration of deliberative, reactive and control functionalities in addition to a UAV’s integration with
larger network centric systems.
In my talk I will present some of the research currently being 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 techniques 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 emergency services assistance.
The talk will include video demonstrations of both single
and multi-platform missions and a possible live demonstration of a micro-UAV, the LINKMAV, developed in our
group.
18|
ECAI 2006
STAIRS 2006
Monday, August 28th
TIME
LOCATION
WHAT
08:30 - 08:45
Sala 1000 A
Opening Remarks
PAPERS
Sala 1000 A
Invited Talk: Chiara Ghidini
Sala 1000 A
Poster Announcement
10:00 - 10:30
Palameeting
Coffee Break
10:30 - 12:30
Sala 1000 A
Paper Session I
Knowledge Representation
chair Chiara Ghidini
Palacongressi
08:45 - 09:45
Palacongressi
09:45 - 10:00
Palacongressi
Palacongressi
and posters
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
13:30 - 15:15
Lunch break
Sala 1000 A
Palacongressi
Paper Session II
Information Retrieval
chair 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.
Sala 1000 A
Poster Announcement
15-30 - 16:00
Palameeting
Coffee Break
16:00 - 17:30
Sala 1000 A
Paper Session III
Information Systems
chair Pavlos Peppas
15:15 - 15:30
Palacongressi
Palacongressi
and posters
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
TIME
LOCATION
WHAT
08:30 - 09:30
Sala 1000 A
Invited Talk: Patrick Doherty
PAPERS
Sala 1000 A
Poster Announcement
10:00 - 10:30
Palameeting
Coffee Break
10:30 - 12:30
Sala 1000 A
Paper Session IV
Agents
chair Loris Penserini
Palacongressi
09:30 - 10:00
Palacongressi
Palacongressi
and posters
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
13:30 - 15:15
Lunch break
Sala 1000 A
Palacongressi
Paper Session V
Semantic Web &
Learning
chair Diego Sona
A Comparison of Web Service Interface
Machine 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.
Sala 1000 A
Poster Announcement
15:30 - 16:00
Palameeting
Coffee Break
16:00 - 17:30
Sala 1000 A
Paper Session VI
Scheduling
&
Learning
chair Angelo Susi
15:15 - 15:30
Palacongressi
Palacongressi
and posters
Solving Fuzzy PERT Using Gradual Real
Machine Numbers; Jérôme Fortin and Didier Dubois.
Jürgen Kuster and Dietmar Jannach.
Approaches
to
Efficient
ResourceConstrained Project Rescheduling;
Unsupervised Word Sense Disambiguation
Based on Web & Bayes Rule; Ioannis P
Klapaftis and Suresh Manandhar.
20|
ECAI 2006
TECHNICAL sessions
TIME
WHEN
WHERE
18:00 - 19:00
Palacongressi
09:00 - 17:30
Wednesday, August 30th
Palacongressi
09:00 - 17:30
Thursday, August 31st
Palacongressi
09:00 - 12:30
Friday, September 1st
Palacongressi
ECAI 2006
|21
TIME
WHAT
18:00 - 19:00
Invited Talk: Fausto Giunchiglia
22|
ECAI 2006
TIME
WHAT
09:00
Invited Talk: Cynthia Breazeal
10:00
Coffee break
ROOM >>> Sala 100 Palacongressi
10:30
Sala 1000 A Palacongressi Sala 300 B Palacongressi
CS1Constraint Satisfaction KR1 Reasoning
KR9 Satisfiability
Last conflict based Reasoning; Causation as Production; John
Christophe Lecoutre, Lakhdar Bell
Sais, Sébastien Tabary, Vincent
Vidal
Resolving Conflicts in Action
Descriptions; Thomas. Eiter,
Minion: Lean, Fast Constraint Esra Erdem, Michel Fink, Ján
Solving; Ian Gent, Christopher Senko
Jefferson, Ian Miguel
Reasoning with Inconsistencies
Evaluating ASP and commercial in Propositional Peer-to-Peer
solvers on the CSPLib; Marco Inference Systems; Philippe
Cadoli, Toni Mancini, Davide Chatalic, Gia Hien Nguyen,
Micaletto, Fabio Patrizi
Marie-Christine Rousset
Extracting MUSes; Eric Grégoire,
Bertrand Mazure, Cédric Piette
Bridging the Gap between
Informal and Formal Guideline
Representations;
Andreas
Seyfang, Silvia Miksch, Mar
Marcos, J. Wittenberg, Cristina
Polo-Conde, Kitty Rosenbrand
12:30
Boolean Propagation Based on
Literals for Quantified Boolean
Formulae; Igor Stéphan
Solving Optimization Problems
with DLL; Enrico Giunchiglia,
Marco Maratea
CS2Constraint Propagation KR2 Preferences
KR10 DLs/Ontologies
Beyond
Singleton
Arc An Efficient Upper Approximation
Consistency; Marc Van Dongen for Conditional Preference; Nic
Wilson
Maintaining Generalized Arc
Consistency on General n-ary R e f e r e n c e - d e p e n d e n t
Boolean Constraints; Kenil Qualitative Models for Decision
Cheng, Roland Yap
Making
under
Uncertainty;
Patrice Perny, Antoine Rolland
Inverse Consistencies for Nonbinary Constraints; Konstantinos Preference representation with
Stergiou, Toby Walsh
3-points interval; Meltem Ozturk,
Alexis Tsoukias
General Concept Inclusions
in Fuzzy Description Logics;
George
Stoilos,
Umberto
Straccia, George Stamou, Jeff
Pan
CS3 Modelling
KR11 Modal Logics
Discovering Missing Background
Knowledge in Ontology Matching;
Fausto
Giunchiglia,
Pavel
Shvaiko, Mikalai Yatskevich
Conceptual hierarchies matching: an approach based on discovery of implication rules between concepts; Jérôme David,
F.Guillet, R. Gras, Henri Briand
Coffee break
16:00
KR3 Decision Making
Compact Representation of Decision with uncertainties, feaSets of Binary Constraints; sibilities, and utilities: towards
Jussi Rintanen
a unified algebraic framework;
Cédric Pralet, Gérard Verfaillie,
Symmetry Breaking using Value Thomas Schiex
Precedence; Toby Walsh
Possibilistic Influence Diagrams;
GARCIA,
Regis
Automatic Generation of Implied Laurent
Constraints; John Charnley, Sabbadin
Simon Colton, Ian Miguel
An Axiomatic Approach in
Qualitative Decision Theory
with Binary Possibilistic Utility;
Paul Weng
17:30
A Solver for QBFs in Nonprenex
Form; Stefan Woltran, Uwe Egly,
Martina Seidl
Lunch break
14:00
15:30
End of sessions
Modal logics for communicating 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
ECAI 2006
|23
WHAT
TIME
Invited Talk: Cynthia Breazeal
09:00
Coffee break
ML1 Supervised Learning
Sala 1000 B Palacongressi
Sala Belvedere Palacongressi
DAI1 Multi-agent Systems CM1
Human
Interaction
A Real generalization of discrete Testing the limits of emergent
AdaBoost; R. Nock, F. Nielsen behavior in MAS using learning
of cooperative behavior; Jordan
A Unified Model for Multilabel Kidney, Jörg Denzinger
Classification and Ranking;
Klaus
Brinker,
Johannes On the Inability of Gathering
Fürnkranz, Eyke Huellermeier
by
Asynchronous
Mobile
Robots with Initial Movements;
Learning from Concept-Drifting Katreniakova Jana, Katreniak
Spatial-Temporal Data through Branislav
Selective Support
Vectors
Propagation; Yilian Qin, Zoran Verifying Interlevel Relations
Obradovic
within Multi-Agent Systems;
Alexei Sharpanskykh, Jan Treur
Argument Based Rule Learning;
M. Mozina, J. Zabkar, I. Bratko Emergence control in cognitive and autonomous agent
systems; Caroline Chopinaud,
Amal El Fallah Seghrouchni,
Patrick Taillibert
<<< ROOM
10:30
Computer
Imitation of intentional behaviour; Bart Jansen
Evaluating Interaction Initiation
in Virtual Environments using
Humanoid Agents; Christopher
Peters
Dramatization meets information presentation; Vincenzo
Lombardo
Relation between web site colour and site credibility: A probabilistic modelling approach;
Eleftherios
Papachristos,
Nikolaos
Tselios,
Nikolaos
Avouris
Lunch break
ML2
Learning
Reinforcement
10:00
DAI2Agent Communication CM2 AI and Creativity
12:30
14:00
Tracking the Lexical Zeitgeist
Least Squares SVM for Least Towards ACL semantics based with WordNet and Wikipedia;
Squares TD Learning; Tobias on commitments and penalties; Tony Veale
Florence Dupin de Saint-Cyr,
Jung, Daniel Polani
Leila Amgoud
Cognitive
Situated
Agents
Learn to Name Action; Julien
Learning by Automatic Option
Discovery from Conditionally A New Semantics for the Poudade, Lionel Landwerlin,
Terminating Sequences; Sertan FIPA Agent Communication Paroubek Patrick
Girgin, Faruk Polat, Reda Alhajj Language based on Social
Attitudes;
Benoit
Gaudou,
Andreas Herzing, Dominique An architecture for Interactive
Musical Agents; David MurrayStrategic Farsighted Learning Longin, Matthias Nickles
Rust, Alan Smaill, Michael
in Competitive Multi-Agent; P.
Edwards
Jan ‘t Hoen, S. Bohte, Han La
Computational
Opinions;
Felix
poutre
Fischer, Matthias Nickles
Coffee break
ML3Information Extraction DAI3 Applications
CM3 Neuroscience/Human
experimentation
Efficient Knowledge Acquisition
for
Extracting
Temporal
Relations; Son Pham, Achim
Hoffmann
Background default knowledge and causality ascriptions;
Jean-François Bonnefon, Rui
Da Silva Neves, Didier Dubois,
Henri Prade
Automatic term categorization by extracting knowledge
from the Web; Leonardo
Rigutini, Ernesto Di Iorio, Marco
Ernandes, Marco Maggini
Flexible Provisioning of Service
Workflows; Sebastian Stein,
Nicholas R. Jennings, Terry
Payne
15:30
16:00
Advanced Policy Explanations;
Piero Bonatti, Daniel Olmedilla, Comparing sets of positive and
Joachim Peer
negative arguments: Empirical
assessment of seven qualitative
Self-Organizing
Multiagent rules; Jean-François Bonnefon,
Approach to Optimization in Hélène Fargier
Acquisition
of
Entailment Positioning Problems; Sana
Knowledge from Text; Viktor Moujahed, Olivier Simonin, A similarity and fuzzy logicPekar
Abderrafiâa Koukam, Khaled based approach to cerebral catGhédira
egorisation; Julien Erny, Henri
Prade, Josette Pastor
End of sessions
17:30
24|
ECAI 2006
TIME
WHAT
09:00
Invited Talk: Wolfang Wahlster
10:00
Coffee break
ROOM >>> Sala 100 Palacongressi
10:30
12:30
CS4 Search
Sala 1000 A Palacongressi Sala 300 A Palacongressi
KR4 Reasoning
Robotics
Extracting MUCs from Constraint Improving Bound Propagation;
Networks;
Fred
Hemery, Bozhena Bidyuk, Rina Dechter
Christophe Lecoutre, Lakhdar
Sais, Frederic Boussemart
On Probing and Multi-Threading
in Platypus; Jean Gressmann,
Guiding
Search
using Tomi Janhunen, Robert Mercer,
Constraint-level
Advice; Torsten Schaub, Richard Tichy,
Radoslaw Szymanek, Barry Sven Thiele
O’Sullivan
Representing Relative Direction
Pessimistic Heuristics Beat as Binary Relation of Oriented
Optimistic Ones in Real-Time Points; Reinhard Moratz
Search; Aleksander Sadikov,
Ivan Bratko
Using Occlusion Calculi to
Interpret Digital Images; David
A study on the short-term pro- Randell, Mark Witkowski
hibition mechanisms in tabu
search; Luca Di Gaspero, Marco
Chiarandini, Andrea Schaerf
Situation
Assessment
for
Sensor-based
Recovery
Planning; Abdelbaki Bouguerra,
Lars
Karlsson,
Alessandro
Saffiotti
CS5
PL1 Classical Planning
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
Lunch break
14:00
Distributed/Multi-objective CP
KR5 Belief Revision
Interleaving
belief
revision
Distributed
Log-based and reasoning; Fariba Sadri,
Reconciliation; Youssef Hamadi, Francesca Toni
Yek Chong
On the logic of theory change:
Search
for
Compromise Relations between incision and
Solutions in Multiobjective State selection functions; Gabriele
Space Graphs; Lucie Galand, Kern-Isberner, Marcelo Falappa,
Patrice Perny
Eduardo Ferme
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
Asynchronous
Forward- Elaborating domain descrip- of planning; Marco Baioletti,
Bounding
for
Distributed tions; Andreas Herzig, Laurent Alfredo
Milani,
Valentina
Constraints Optimization; Amir Perrussel, Ivan Varzinczak
Poggioni, Silvia Suriani
Gershman, Amnon Meisels,
Roie Zivan
15:30
Coffee break
CS6
16:00
Optimization
Constraint
KR6 Uncertainty
Compiling possibilistic knowlDynamic Orderings for AND/ edge bases; Salem Benferhat,
OR Branch-and-Bound Search Henri Prade
in Graphical Models; Radu
Marinescu, Rina Dechter
Merging possibilistic networks;
Salem Benferhat
Random Subset Optimization;
Boi Faltings, Quang Huy Knowledge Engineering for
Nguyen
Bayesian
Networks:
How
Common
Are
Noisy-MAX
Multi-Objective Propagation in Distributions in Practice?; Adam
Constraint Programming; Javier Zagorecki, Marek Druzdzel
Larrosa, Emma Rollon
17:30
End of Sessions
PL2 MDPs/Incomplete Inf.
Mean field approximation of the
Policy Iteration algorithm for
graph-based Markov decision
processes; Nathalie Peyrard,
Regis Sabbadin
Approximate
linear-programming algorithms for graph-based
Markov decision processes;
Forsell Nicklas, Regis Sabbadin
Strong Cyclic Planning under
Partial Observability; Piergiorgio
Bertoli, Alessandro Cimatti,
Marco Pistore
ECAI 2006
|25
WHAT
TIME
Invited Talk: Wolfgang Wahlster
09:00
Coffee break
Sala Belvedere Palacongressi
Sala 1000 B Palacongressi Sala 300 B Palacongressi
NL1 Disambiguation
DAI4 Negotiation
MSDA: Wordsense discrimination using context vectors
and attributes; Abdulrahman
Almuhareb, Massimo Poesio
An Automated Agent for Bilateral
Negotiation
with
Bounded
Rational Agents with Incomplete
Information; Raz Lin, Sarit
Kraus, Jonathan Wilkenfeld,
Integrating
Domain
and James Barry
Paradigmatic
Similarity
for
Unsupervised Sense Tagging; A logic-based framework to
Roberto Basili, Marco Cammisa, compute Pareto agreements in
Alfio Gliozzo
one-shot bilateral negotiation;
Tommaso Di Noia, Eugenio Di
Disambiguating
Personal Sciascio, Francesco Donini,
Names on the Web using Azzurra Ragone
Automatically Extracted Key
Phrases; Danushka Bollegala
Alternating-Offers Bargaining
under One-Sided Uncertainty
on Deadlines; Francesco Di
Giunta, Nicola Gatti
10:00
<<< ROOM
10:30
PAIS 1
Natural 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
Coordination through Inductive
Meaning
Negotiation;
Applying
Trip@dvice
Alessandro Agostini
Recommendation Technology to
www.visiteurope.com; Venturini
Adriano, Francesco Ricci
Lunch break
NL2 Parsing
DAI5 Argumentation
Shallow
Semantic
Parsing Arguing
with
Confidential
Based on FrameNet, VerbNet Information; Nir Oren, Timothy
and
PropBank;
Ana-Maria Norman, Alun Preece
Giuglea, Alessandro Moschitti
Contouring
of
Knowledge
History-Based Inside-Outside for Intelligent Searching for
Algorithm;
Heshaam
Feili, Arguments; Anthony Hunter
Gholam-Reza Ghassem-Sani
Mediation in the Framework of
Semantic Tree Kernels to classify Morphologic; Isabelle Bloch,
Predicate Argument Structures; Ramon Pino-Perez, Carlos
Alessandro
Moschitti, Uzcategui
Bonaventura Coppola, Daniele
Pighin, Roberto Basili
PAIS 2
14:00
Diagnosing 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
Coffee break
ECAI 2006
DAI6 Coalitions
Dissertation Award Talk
h. 16:00 - 16:45
Reaching
Agreements
for
Coalition Formation through
Machine Learning Based on Derivation of Agents’ Intentions;
Attribute Interactions; Aleks Samir Aknine, Onn Shehory
Jakulin
Coalition Structure Generation
in Task-Based Settings; Dung
Dang, Nicholas R. Jennings
12:30
PAIS 3
15:30
16:00
A 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
Strengthening
Admissible
Coalitions; Guido Boella, Luigi
Sauro, Leendert van der Torre
End of sessions
17:30
26|
ECAI 2006
Friday, September, 1st
TIME
WHAT
09:00
Invited Talk: Hector Levesque
10:00
Coffee break
ROOM >>>
10:30
Sala 100 Palacongressi
Sala 1000 A Palacongressi Sala 1000 B Palacongressi
CS7 Preferences
KR7 Logic Programming
Return of the JTMS: Preferences
Orchestrate Conflict Learning
and Solution Synthesis; Ulrich
Junker, Olivier Lhomme
Logic Programs with Multiple A learning classifier approach
Chances; Francesco Buccafurri, to tomography; Kees Joost
Gianluca Caminiti, Domenico Batenburg
Rosaci
Depth Ordering and FigureAbductive Logic Programming Ground Segregation derived
in the Clinical Management of from Illusory Contour Perception;
HIV/AIDS; Oliver Ray, Athos Marcus Hund
Antoniades, Antonis Kakas,
Ioannis Demetriades
Graph Neural Networks for
Object Localization; Gabriele
Approximating Extended Answer Monfardini, Vincenzo Di Massa,
Sets; Davy Van Nieuwenborgh, Franco Scarselli, Marco Gori
Stijn Heymans, Dirk Vermeir
Preference-based Inconsistency
Proving: When the Failure of the
Best Is Sufficient; Ulrich Junker
Enhancing constraints manipulation in semiring-based formalisms; Stefano Bistarelli, Fabio
Gadducci
Modular
Equivalence
for
Normal Logic Programs; Emilia
Oikarinen, Tomi Janhunen
12:30
End of Conference
Perception
ECAI 2006
|27
Friday September, 1st
WHAT
Time
Invited Talk: Hector Levesque
09:00
Coffee break
Sala 300 B Palacongressi
10:00
<<< ROOM
10:30
DAI8 Auctions/Game theory DAI7 Agent Programming/BDI
Heuristic Bidding Strategies for Goal Types in Agent Programming;
Multiple Heterogeneous Auctions; Mehdi Dastani, Birna van Riemsdijk,
David Yuen, Andrew Byde, John-Jules Meyer
Nicholas R. Jennings
Programming Agents with Emotions;
Auction Mechanisms for efficient Mehdi Dastani, John-Jules Meyer
Advertisment Selection on Public
Display; Terry Payne, Esther Are Parallel BDI Agents Really
David, Nicholas R. Jennings, Better?; Huiliang Zhang, Huang Shell
Matthew Sharifi
Ying
Boolean games revisited; Marie- Dynamic Control of Intention Priorities
Christine
Lagasquie-Schiex, of Human-like Agents; Huiliang
Jerome Lang, Elise Bonzon, Bruno Zhang, Huang Shell Ying
Zanuttini
Cheating is not playing; Bruno
Beaufils, Philippe Mathieu
End of Conference
12:30
28|
ECAI 2006
DEMO Programme
The 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
Palameeting
17:30 - 19:30
August 31st
Palameeting
ECAI 2006
|29
DEMO Programme
TIME
17:30 - 19:30
Thursday, August 31th
Character-based guided tours: the DramaTour Project
R. Damiano, C. Galia, V. Lombardo, F. Nunnari
OntoCoref: Ontology-based Co-reference Chaining
T. C. Lech, M. Gulliksen, K. de Smedt
Explicit Passive Analysis in Electronic Catalogs
D. Portabella Clotet, M. Rajman
From Supporting Individuals to Supporting Small Groups in the Museum Evolution of a Adaptive Museum Guide
D. GorenBar, A. Gorfinkel, S. Jbara, T. Kuflik, J. Sheidin, C. Rocchi, O. Stock, M. Zancanaro
ProVotE: Building the e-Voting System for Trentino
A. Villafiorita and R. Tiella
SAMMIE System: Multimodal In-Car Dialogue
T. Becker
Auctioning Substitutable Goods
A. Giovannucci, J. Cerquides, J. A. Rodriguez-Aguilar, M. Mateos
RAT: A tool for Formal Analysis of Requirements
R. Bloem, I. Pill, R. Cavada, A. Cimatti, M. Roveri, S. Semprini, A. Tchaltsev
ST-Tool: A CASE Tool for Security Requirements Engineering
P. Giorgini, F. Massacci, J. Mylopoulos, C. Qin, A. Siena, N. Zannone
iAgree: a system for proposal-based negotiation among intelligent agents
M. Cadoli, G. Chella, T. Mancini
ASTRO: Supporting Web Service Development by Automated Composition, Monitoring and Verification
M. Trainotti, M. Pistore
The WITAS UAV Ground System Interface Demonstration with a Focus on Motion and Task Planning
M. Wzorek, P. Doherty (a flying helicopter demostration on Thursday only)
Demonstration of the MarkIT Automated Essay Grading System
B. Williams, H. Dreher
CONOISE-G: Agent-Based Virtual Organisations
J. 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 Environments
M. Laclavik, M. Babik, Z. Balogh, E. Gatial, L. Hluchy
A Tropos Model-Driven Development Environment
D. 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 Systems
J. 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 System
R. 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 Platform
M. Bozzano, C. Jochim, and F. Tapparo
WebCrow: a web-based crossword solver
M. Gori, G. Angelini, M. Ernandes (An open competition on Wednesday. http://webcrow.dii.unisi.it )
30|
ECAI 2006
ECAI 2006
|31
POSTERS
TIME
WHEN
WHERE
17:30 - 19:30
August 30th
Palameeting
17:30 - 19:30
August 31st
Palameeting
32|
ECAI 2006
POSTERS
Time
PALAMEETING
17: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
Wall
Using 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 Bistarelli
A 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 Sedki
On 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
Louis
Adaptive Multi-Agent Programming in GTGolog; Alberto Finzi, Thomas Lukasiewicz
Formalizing Complex Task Libraries in Golog; Alfredo Gabaldon
Automated Deduction for Logics of Default Reasoning; Laura Giordano, Valentina Gliozzi,
Nicola Olivetti, Gian Luca Pozzato
Reasoning about Motion Patterns; Björn Gottfried
Applying OPRMs to Recursive Probability Models; Catherine Howard, Markus Stumptner
Variable Forgetting in Preference Relations over Propositional Domains; Jerome Lang, Philippe
Besnard, Pierre Marquis
Two Orthogonal Biases for Choosing the Intensions of Emerging Concepts in Ontology
Refinement; Francesca Lisi, Floriana Esposito
Computing Possible and Necessary Winners from Incomplete Partially-Ordered Preferences;
Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh
What’s a Head without a Body? Torsten Schaub, Christian Anger, Martin Gebser, Tomi
Janhunen
Irrelevant Updates of Nonmonotonic Knowledge Bases; Jan Sefranek, Jozef Siska
Decision 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 Stumptner
Logic Profiling for Multicriteria Rating on Web Pages; Alessandra Mileo
An Empirical Analysis of the Complexity of Model-Based Diagnosis; Gregory Provan
The Incompleteness of Planning with Volatile External Information; Tsz-Chiu Au, Dana Nau
Cost-Optimal Symbolic Planning with State Trajectory and Preference Constraints; Stefan
Edelkamp
A 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 Shanahan
Aliasing Maps for Robot Global Localization; Emanuele Frontoni, Primo Zingaretti
On Interfacing with an Ubiquitous Robotic System; Donatella Guarino, Alessandro Saffiotti
Leaf Classification using Navigation-Based Skeletons; Georgios Sakellariou, Murray
Shanahan
ECAI 2006
Thursday, August, 31st
TIME
|33
POSTERS
PALAMEETING
17:30 - 19:30 Distributed AI/Agents
Machine Learning
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 Sangiovanni
Benefits of Combinatorial Auctions with Transformability Relationships; Giovannucci Andrea,
Jesus Cerquides, Juan Antonio Rodríguez-Aguilar
Count-as Conditionals, Classification and Context; Guido Boella, Leendert van der Torre
Fair Distribution of Collective Obligations; Guido Boella, Leendert van der Torre
Proactive Identification of a Physician’s Information Needs; Loes Braun, Floris Wiesman, Jaap
van den Herik, Arie Hasman
Acyclic Argumentation: Attack = Conflict + Preference; Souhila Kaci, Leendert van der Torre,
Emil Weydert
Semantic Knowledge Model and Architecture for Agents in Discrete Environments; Michal
Laclavik, Zoltan Balogh, Marian Babik, Emil Gatial, Ladislav Hluchy
Partial Local FriendQ Multiagent Learning: Application to Team Automobile Coordination
Problem; Julien Laumonier, Brahim Chaib-draa
Mutual 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 WebDirectories; Shlomo Berkovsky, Dan Goldwasser, Tsvi Kuflik, Francesco Ricci
Calibrating 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ères
Stream Clustering Based on Kernel Density Estimation; Stefano Lodi, Gianluca Moro, Claudio
Sartori
Version Space Learning for Possibilistic Hypotheses; Henri Prade, Mathieu Serrurier
Ensembles of Grafted Trees; Juan Rodriguez, Jesus Maudes
A Compression-Based Method for Stemmatic Analysis; Teemu Roos, Tuomas Heikkilä, Petri
Myllymäki
Patch 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
Natural Language
Processing
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 Mandl
Soft 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 Suriyawongkul
Phonetic Spelling and Heuristic Search; Benno Stein, Daniel Curatolo
PAIS
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 Botti
Verification of Medical Guidelines using Task Execution with Background Knowledge; Arjen
Hommersom, Perry Groot, Peter Lucas, Michael Balser, Jonathan Schmitt
34|
ECAI 2006
ECAI 2006
|35
INVITED Talks
TIME
WHEN
18:00 - 19:00
August 29
09:00 - 10:00
09:00 - 10:00
09:00 - 10:00
WHERE
WHO
WHAT
Sala 1000 A
Fausto Giunchiglia
Università di Trento, Italy
Managing Diversity in
Knowledge
August 30th
Sala 1000 A
Cynthia Breazeal
MIT Media Lab.
USA
Socially Intelligent Robots
August 31st
Sala 1000 A
Wolfgang Wahlster
Univ. des Saarlandes
DFKI, Saarbrücken,
Germany
September 1st
Sala 1000 A
Hector Levesque
The Truth about Defaults
University of Toronto,
Canada
th
Palacongressi
Palacongressi
Palacongressi
Palacongressi
MA.
SmartWeb: Getting Answers
on the Go
36|
ECAI 2006
Invited TALKS
WHEN
WHO
ABSTRACT
29/08
Fausto Giunchiglia
Università di Trento, Italy
Managing Diversity in Knowledge
Cynthia Breazeal
MIT Media Lab. MA. USA
Socially Intelligent Robots
We are facing an unforeseen growth of the complexity of (data,
content and) knowledge. Here we talk of complexity meaning the
Currently: Professor of Computer Science at the University size, the sheer numbers, the spatial and temporal pervasiveness
of Trento, Department of Information and Communication of knowledge, and the unpredictable dynamics of knowledge
Technology, ECCAI Fellow. Born: 13/02/1958.
change, unknown at design time but also at run time. The obvious
Scientific interests: My research has covered many different, example is the Web and all the material, also multimedia, which is
but very related areas, among them: knowledge representa- continuously made available on line.
tion, context and reasoning with context, knowledge manage- Our goal in this talk is to propose a novel approach which deals
ment and peer-to-peer knowledge management, agent oriented with this level of complexity and that, hopefully, will overcome
software engineering, formal methods, theorem proving, model some of the scalability issues shown by the existing data and
checking.
knowledge representation technology. The key idea is to propose
I have covered all the spectrum from theory (formal logics) to a bottom-up approach where diversity is considered as a feature
technology transfer. Lately, I have become interested in how which must be maintained and exploited and not as a defect that
research results go to the market and produce innovation.
must be absorbed in some general schema. The proposed soAcademic and scientific track: around fifty journal papers; around lution amounts to making a paradigm shift from the view where
two hundred publications overall; more than thirty invited talks knowledge is mainly assembled by combining basic building
in international events; program or conference chair of around blocks to a view where new knowledge is obtained by the design
ten international events, among them: IJCAI 2005, Mobiquitous or run-time adaptation of existing knowledge. Typically, we will
2004, Context 2003, AOSE 2002, Coopis 2001, KR&R 2000, build knowledge on top of a landscape of existing highly interconFLOC 1999; program committee member of many conferences nected knowledge parts. Knowledge will no longer be produced
and workshops in, e.g., Artificial Intelligence, data bases, agents, ab initio, but more and more as adaptations of other, existing
information systems, formal methods, automates reasoning, knowledge parts, often performed in runtime as a result of a
semantic web; editor or editorial board member of around ten process of evolution. This process will not always be controlled
journals, among them: Journal of Autonomous Agents and or planned externally but induced by changes perceived in the
Multi-agent Systems, Journal of applied non Classical Logics, environment in which systems are embedded. The challenge is to
Journal of Software Tools for Technology Transfer, Journal of develop design methods and tools that enable effective design by
harnessing, controlling and using the effects of emergent knowlArtificial Intelligence Research.
Scientific and Academic management positions (selected edge properties. This leads to the proposal of developing adaplist): ECCAI Fellow, Member of the ECCAI Fellows Selection tive and, when necessary, self-adaptive knowledge systems and
Committee, IJCAI Board of Trustees member (01-11), President to the proposal of developing a new methodology for knowledge
of IJCAI (05-07), President of KR, Inc. (02-04), Advisory Board engineering and management, that we call “Managing Diversity in
member of KR, Inc., Steering Committee member of the Knowledge by Adaptation”.
We will present and discuss the ideas above considering, as an
CONTEXT conference.
More details can be found at the URL: http://www.dit.unitn. example, the use of ontologies in the formalization of knowledge
(for instance in the SemanticWeb).
it/~fausto
30/08
No longer restricted to the factory floor or hazardous environments, autonomous robots are making their way into human enCynthia Breazeal is an Associate Professor of Media Arts and vironments.
Sciences at the MIT Media Lab where she is director of the Although current commercial examples of domestic robots are
Robotic Life Group and holds the LG Group career develop- more akin to toys, smart appliances, or supervised tools, the
need to help ordinary people as capable partners and interact
ment chair.
She has been building autonomous robots for over a decade with them in a socially appropriate manner poses new challenges
ranging from insect-like planetary micro-rovers, to robotic envi- and opens new opportunities for robot applications in the home,
ronments, to highly expressive and socially intelligent humanoid office, school, entertainment locales, healthcare institutions, and
more. Many of these applications require robots to play a longrobots.
She is a pioneer of the areas of human- robot interaction and term role in people’s daily lives.
sociable robotics, and leading in the scientific pursuit and tech- Developing robots with social and emotional intelligence is a
nological innovation necessary to create machines that under- critical step towards enabling them to be intelligent and capable
in their interactions with humans, intuitive to communicate with
stand and engage people in social and affective terms.
She received her B.S. (1989) in Electrical and Computer people, able to work cooperatively with people, and able to learn
Engineering from the University of California at Santa Barbara, quickly and effectively from natural human instruction.
and her S.M (1993) and Sc.D. (2000) in Electrical Engineering This talk presents recent progress in these areas and outlines
and Computer Science from the Massachusetts Institute of several “grand challenge” problems of social robotics.
Technology.
Specific research projects and applications are highlighted to ilHer graduate and postdoctoral research was carried out at the lustrate how robots with social capabilities are being developed
MIT Artificial Intelligence Lab where she participated in the de- to learn, assist, entertain, or otherwise benefit their human counvelopment of some of the world’s most famous robots including terparts.
the upper torso humanoid robot, Cog, and the sociable robot,
Kismet.
ECAI 2006
|37
Invited TALKS
WHEN
WHO
31/08
Wolfgang Wahlster
SmartWeb: Getting Answers on the Go
appeal of being able to ask a spoken question to a moUniv. des Saarlandes DFKI, Saarbrücken, The
bile internet terminal and receive an audible answer immediGermany
ately has been renewed by the broad availability of alwaysWolfgang 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 consortium on spontaneous speech translation (1993-2000), the
SmartKom consortium on multimodal dialog systems (19992003) and currently serves as the Scientific Director of the
SmartWeb consortium on mobile multimodal access to semantic 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 interfaces, user modeling, ambient intelligence, embodied conversational 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).
01/09
Hector Levesque
University 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 representation 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.
ABSTRACT
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 answering 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 effort 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 infotainment 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.
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 conditions 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 language, that we call O3L.
Finally, we will present first steps towards a proof theory (with axioms and rules of inference) for O3L. Among other things, this allows
us to present ordinary sentence-by-sentence derivations that correspond to different sorts of default reasoning.
This is joint work with Gerhard Lakemeyer.
38|
Social Programme
> TUESDAY 29 August 2006
ECAI 2006 Official Opening Ceremony
17:30 - 18:00
The Opening Ceremony will be held in Palacongressi - Sala
1000 A and will be chaired by Silvia Coradeschi.
WELCOME RECEPTION
The 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 Competition
18:30 - 20:00
> THURSDAY 31 August 2006
Webcrow Competition Award Presentation
18:30
Palameeting
ECAI 2006 Conference Dinner
20:30
Hotel Du Lac et Du Parc, Riva del Garda
ECAI 2006
ECAI 2006
|39
GENERAL INFORMATION
Registration office
It is located in Palacongressi.
Opening times
Sunday, 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/Lunch
Coffee and tea will be served in the Palameeting at the following 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.
Language
The official language of the Conference will be ENGLISH - there
will be no simultaneous translation in conference sessions.
Internet Access
Internet 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.
Speakers
The Speakers’ Preview area may be booked at the registration
office.
Cash Dispenser
A cash dispenser is available inside the conference centre,
ground floor.
40|
ECAI 2006
CONFERENCE AT A GLANCE
SUNDAY
MONDAY
TUESDAY
WEDNESDAY
THURSDAY
FRIDAY
27 Aug
28 Aug
29 Aug
30 Aug
31 Aug
1 Sep
ECAI 2006
|41
20:45
20:30
20:00
19:30
19:00
18:30
18:00
17:30
17:00
16:00
15:30
14:00
13:30
12:30
10:30
10:00
09:00
08:30
08:00
CONFERENCE AT A GLANCE
DAI7
DAI8
FRIDAY
Sep 1
Invited
Talk by
Hector
Levesque
Perception
KR7
CS7
REGISTRATION
THURSDAY
Aug 31
Invited
Talk by
Wolfgang
Wahlster
PAIS 1
PAIS 2
PAIS 3
DAI4
DAI5
DAI6
NL1
NL2
Robotics
PL1
DEMOS
Dissertation
Award Talk
Webcrow
Competition
Award
Presentation
PL2
KR4
KR5
KR6
CS4
CS5
CS6
Conference
DINNER
POSTERS
REGISTRATION
WEDNESDAY
Aug 30
Invited
Talk by
Cynthia
Breazeal
CM1
CM2
CM3
DAI1
DAI2
DAI3
ML1
ML2
ML3
KR9
KR10
KR11
KR1
KR2
KR3
CS1
CS2
CS3
DEMOS
ECCAI General Assembly
Webcrow
Competition
POSTERS
TU04
TU02
TU03
TU03
Workshops
Workshops
Workshops
Workshops
STAIRS
2006
STAIRS
2006
STAIRS
2006
ECAI 2006 OPENING
TUESDAY
Aug 29
TU04
TU02
STAIRS
2006
Invited Talk by
F.Giunchiglia
STAIRS 2006
Social Event
REGISTRATION
AI*IA Event
WELCOME RECEPTION
MONDAY
Aug 28
REGISTRATION
Workshops
Workshops
STAIRS
2006
STAIRS
2006
TU01
TU01
Workshops
Workshops
STAIRS
2006
STAIRS
2006
Gender&Science
Invited Talk by
M.Calloni
Gender&Science
Social Event:
Mistero Buffo
SUNDAY
Aug 27
REGISTRATION
20:45
20:30
20:00
19:30
19:00
18:30
18:00
17:30
17:00
16:00
15:30
14:00
13:30
12:30
10:30
10:00
09:00
08:30
08:00
REGISTRATION
42|
Riva del Garda MAP
ECAI 2006
ECAI 2006
Conference Sites MAP
PALACONGRESSI - PALAMEETING
LICEO
|43
44|
ECAI 2006
ECCAI Member Societies
Currently, 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
Számítógéptudományi Társaság)
for
Computing
Sciences
(Neumann
János
Ö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)
46|
NOTES
ECAI 2006
ECAI 2006
|47
ECAI 2006 gratefully acknowledges the generous support from all the sponsors.
Comune di Riva del Garda

17 E uropean C onference on A rtificial Intelligence

Transcription

Documents pareils

Press Conferences

DI MI DO FR SA SO MO DI MI DO FR SA SO MO DI MI DO FR SA SO

Grundschule Münchehof - Schulferien

Poster Electrodes_FF Poster Electrodes_HIRES

Kalender 2016 Bayern

ABFALLKALENDER 2016 2. Halbjahr Gemeinde Wichtrach Tag Tag

Trieste 2011

Un caloroso benvenuto nel centro per i giovani e la formazione St

1 QIGONG - Kurstermine 1. Aikido

Renzo Piano AUDITORIUM – PARCO DELLA MUSICA