ECAI 2010: 19th European Conference on Artificial Intelligence

1184 Pages·2010·27.23 MB·English

by  H. Coelho, R. Studer, M. Wooldridge

ECAI 2010
Frontiers in Artificial Intelligence and Applications
FAIA covers all aspects of theoretical and applied artificial intelligence research in the form of monographs, doctoral dissertations,
textbooks, handbooks and proceedings volumes. The FAIA series contains several sub-series, including “Information Modelling and
Knowledge Bases” and “Knowledge-Based Intelligent Engineering Systems”. It also includes the biennial ECAI, the European Conference
on Artificial Intelligence, proceedings volumes, and other ECCAI – the European Coordinating Committee on Artificial Intelligence –
sponsored publications. An editorial panel of internationally well-known scholars is appointed to provide a high quality selection.
Series Editors:
J. Breuker, N. Guarino, J.N. Kok, J. Liu, R. López de Mántaras,
R. Mizoguchi, M. Musen, S.K. Pal and N. Zhong
Volume 215
Recently published in this series
Vol. 214. I.-O. Stathopoulou and G.A. Tsihrintzis, Visual Affect Recognition
Vol. 213. L. Obrst, T. Janssen and W. Ceusters (Eds.), Ontologies and Semantic Technologies for Intelligence
Vol. 212. A. Respício et al. (Eds.), Bridging the Socio-Technical Gap in Decision Support Systems – Challenges for the Next Decade
Vol. 211. J.I. da Silva Filho, G. Lambert-Torres and J.M. Abe, Uncertainty Treatment Using Paraconsistent Logic – Introducing
Paraconsistent Artificial Neural Networks
Vol. 210. O. Kutz et al. (Eds.), Modular Ontologies – Proceedings of the Fourth International Workshop (WoMO 2010)
Vol. 209. A. Galton and R. Mizoguchi (Eds.), Formal Ontology in Information Systems – Proceedings of the Sixth International Conference
(FOIS 2010)
Vol. 208. G.L. Pozzato, Conditional and Preferential Logics: Proof Methods and Theorem Proving
Vol. 207. A. Bifet, Adaptive Stream Mining: Pattern Learning and Mining from Evolving Data Streams
Vol. 206. T. Welzer Družovec et al. (Eds.), Information Modelling and Knowledge Bases XXI
Vol. 205. G. Governatori (Ed.), Legal Knowledge and Information Systems – JURIX 2009: The Twenty-Second Annual Conference
Vol. 204. B. Apolloni, S. Bassis and C.F. Morabito (Eds.), Neural Nets WIRN09 – Proceedings of the 19th Italian Workshop on Neural
Nets
Vol. 203. M. Džbor, Design Problems, Frames and Innovative Solutions
Vol. 202. S. Sandri, M. Sànchez-Marrè and U. Cortés (Eds.), Artificial Intelligence Research and Development – Proceedings of the 12th
International Conference of the Catalan Association for Artificial Intelligence
Vol. 201. J.E. Agudo et al. (Eds.), Techniques and Applications for Mobile Commerce – Proceedings of TAMoCo 2009
Vol. 200. V. Dimitrova et al. (Eds.), Artificial Intelligence in Education – Building Learning Systems that Care: From Knowledge
Representation to Affective Modelling
Vol. 199. H. Fujita and V. Mařík (Eds.), New Trends in Software Methodologies, Tools and Techniques – Proceedings of the Eighth
SoMeT_09
Vol. 198. R. Ferrario and A. Oltramari (Eds.), Formal Ontologies Meet Industry
Vol. 197. R. Hoekstra, Ontology Representation – Design Patterns and Ontologies that Make Sense
Vol. 196. F. Masulli, A. Micheli and A. Sperduti (Eds.), Computational Intelligence and Bioengineering – Essays in Memory of Antonina
Starit
Vol. 195. A. Boer, Legal Theory, Sources of Law and the Semantic Web
Vol. 194. A. Petcu, A Class of Algorithms for Distributed Constraint Optimization
Vol. 193. B. Apolloni, S. Bassis and M. Marinaro (Eds.), New Directions in Neural Networks – 18th Italian Workshop on Neural Networks:
WIRN 2008
Vol. 192. M. Van Otterlo (Ed.), Uncertainty in First-Order and Relational Domains
Vol. 191. J. Piskorski, B. Watson and A. Yli-Jyrä (Eds.), Finite-State Methods and Natural Language Processing – Post-proceedings of the
7th International Workshop FSMNLP 2008
Vol. 190. Y. Kiyoki et al. (Eds.), Information Modelling and Knowledge Bases XX
Vol. 189. E. Francesconi et al. (Eds.), Legal Knowledge and Information Systems – JURIX 2008: The Twenty-First Annual Conference
Vol. 188. J. Breuker et al. (Eds.), Law, Ontologies and the Semantic Web – Channelling the Legal Information Flood
Vol. 187. H.-M. Haav and A. Kalja (Eds.), Databases and Information Systems V – Selected Papers from the Eighth International Baltic
Conference, DB&IS 2008
Vol. 186. G. Lambert-Torres et al. (Eds.), Advances in Technological Applications of Logical and Intelligent Systems – Selected Papers
from the Sixth Congress on Logic Applied to Technology
ISSN 0922-6389 (print)
ISSN 1879-8314 (online)
ECAI 2010
19th European Conference on Artificial Intelligence
16–20 August 2010, Lisbon, Portugal
Including
Prestigious Applications of Artificial Intelligence (PAIS-2010)
Proceedings
Edited by
Helder Coelho
Faculty of Science, University of Lisbon, Portugal
Rudi Studer
Karlsruhe Institute of Technology, Germany
and
Michael Wooldridge
Department of Computer Science, University of Liverpool, United Kingdom
Organized by the European Coordinating Committee for Artificial Intelligence (ECCAI)
Hosted by the Faculty of Science, University of Lisbon, Portugal
Amsterdam • Berlin • Tokyo • Washington, DC
© 2010 The authors and IOS Press.
All rights reserved. No part of this book may be reproduced, stored in a retrieval system, or transmitted,
in any form or by any means, without prior written permission from the publisher.
ISBN978-1-60750-605-8(print)
ISBN978-1-60750-606-5(online)
Library of Congress Control Number: 2010931072
Publisher
IOS Press BV
Nieuwe Hemweg 6B
1013 BG Amsterdam
Netherlands
fax: [phone]
e-mail: [email protected]
Distributor in the USA and Canada
IOS Press, Inc.
4502 Rachael Manor Drive
Fairfax, VA 22032
USA
fax: [phone]
e-mail: [email protected]
LEGAL NOTICE
The publisher is not responsible for the use which might be made of the following information.
PRINTED IN THE NETHERLANDS
ECAI 2010 v
H. Coelho et al. (Eds.)
IOS Press, 2010
© 2010 The authors and IOS Press. All rights reserved.
Introduction
I am delighted to have the honour to introduce the Proceedings of the Nineteenth European Conference on Artifi-
cial Intelligence (ECAI-2010), including the proceedings of the Sixth Conference on Prestigious Applications of
Intelligent Systems (PAIS-2010).
Artificial Intelligence (AI) is a central topic in contemporary computer science and informatics. The fruits of
fifty years of AI research have benefited application domains as disparate as industrial systems control and medi-
cine. The milestone events in AI research are increasingly regarded as milestones in human scientific and techno-
logical development: from the first chess playing program to defeat a reigning world champion under standard
chess tournament rules, to the first robot to autonomously traverse 150 miles of rough terrain. Techniques, results,
and concepts developed under the banner of AI research have proved to be of fundamental importance in areas such
as economics, philosophy, linguistics, psychology, and logical analysis. And of course, AI remains a topic of per-
ennial fascination in popular culture.
Initiated in 1974, the biennial European Conference on Artificial Intelligence (ECAI) is Europe’s premier ar-
chival venue for presenting scientific results in AI. Organised by the European Coordinating Committee for AI
(ECCAI), the ECAI conference provides an opportunity for researchers to present and hear about the very best
research in contemporary AI. As well as a full programme of technical papers, ECAI-2010 features the Prestigious
Applications of Intelligent Systems conference (PAIS), the Starting AI Researcher Symposium (STAIRS), and an
extensive programme of workshops, tutorials, and invited speakers.
Some 607 papers were submitted to ECAI-2010, with the largest areas of submission being Knowledge Repre-
sentation & Reasoning, Multi-Agent Systems, and Machine Learning. After review by the international programme
committee, 135 full papers were accepted for presentation, with further papers being accepted as short pa-
pers/posters. Overall, the acceptance rate for full papers was approximately 22%.
Acknowledgments: Many thanks to Gerd Brewka for his continual encouragement and sound advice. Dave
Shield at Liverpool maintained the web submission site, and without his support, my life would have been much,
much, much more difficult over the past six months.
Michael Wooldridge
University of Liverpool, UK
June 2010
This page intentionally left blank
vii
Conference Organization Sponsorship & Support
Organizing Body
General Chair
• Helder Coelho (Portugal) • ECCAI – European Coordinating Committee for
Artificial Intelligence (http://www.eccai.org/)
ECAI Program Chair
• Michael Wooldridge (UK) Sponsors:
• Agreement Technologies
• APPIA (Portuguese Association for Artificial
PAIS Program Chair
• Rudi Studer (Germany) Intelligence)
• Artificial Intelligence Journal (Elsevier)
Workshop Chair • FC/UL (Faculty of Science, University of Lisbon)
• Ulle Endriss (The Netherlands) • FLAD (Fundação Luso-Americana)
• LabMAg (Laboratory of Agent Modelling)
STAIRS Co-Chairs • PRIMAVERA Business Software Solutions
• Asunción Gómez Pérez (Spain) • SISCOG (Sistemas Cognitivos)
• Thomas Agotnes (Norway)
Local Organization Co-Chairs
• Luis Antunes (Portugal)
• João Balsa (Portugal)
Finance Co-Chairs
• Luis Antunes (Portugal)
• João Balsa (Portugal)
Sponsorship Co-Chairs
• Pedro Henriques (Portugal)
• Paulo Novais (Portugal)
Printing, Publicity & Webmaster Chair
• Cesar Analide (Portugal)
Infrastructure Co-chairs
• Luis Correia (Portugal)
• Luis Moniz (Portugal)
Volunteer & Student Scholarships Chair
• Paulo Trigo (Portugal)
Local Workshop & Tutorial Chair
• Paulo Urbano (Portugal)
Local STAIRS & PAIS chair
• Graça Gaspar (Portugal)
viii
Invited Plenary Speakers Invited Tutorial Speakers
Ian Horrocks (UK) Sarit Kraus (Israel)
OWL: a Reasonable Ontology Language? Automated agents that interact proficiently with
people: cooperative and competitive settings
Manuela Veloso (USA)
Joao Marques-Silva (Ireland)
Autonomous Mobile Robots Coexisting with
Humans in Indoor Environments Boolean Satisfiability & Optimization Algorithms
& Applications
Judea Pearl (USA)
Paul E. Dunne (UK)
The Logic of Causes and Counterfactuals
Argumentation in AI
Christos Papadimitriou (USA)
Rina Dechter (USA)
Computing Nash equilibria: The plot thickens
Advances in Search and Inference for Graphical
Models
Ulle Endriss (The Netherlands)
Computational Social Choice
Ilkka Niemelä (Finland)
Answer set programming
ix
ECAI Area Chairs • Bahamonde, Antonio
• Baroni, Pietro
• Baader, Franz (Germany) • Bartak, Roman
• Beetz, Michael (Germany) • Bazzan, Ana
• Blockeel, Hendrik (Belgium) • Bechhofer, Sean
• Bosch, Antal van den (Netherlands) • Bejar, Ramon
• Brazdil, Pavel (Portugal) • Bench-Capon, Trevor
• Declerck, Thierry (Germany) • Benferhat, Salem
• van der Gaag, Linda (Netherlands) • Bennett, Brandon
• Geffner, Hector (Spain) • Bentahar, Jamal
• Harmelen, Frank van (Netherlands) • Berendt, Bettina
• Hunter, Anthony (UK) • Bergmann, Ralph
• Ingrand, Felix (France) • Besnard, Philippe
• Kraus, Sarit (Israel) • Bessiere, Christian
• Lang, Jerome (France) • Bienvenu, Meghyn
• Lukasiewicz, Thomas (Austria) • Bistarelli, Stefano
• Marquis, Pierre (France) • Bjornsson, Yngvi
• Meseguer, Pedro (Spain) • Bloch, Isabelle
• Meyer, John-Jules (Netherlands) • Bontcheva, Kalina
• Mladenic, Dunja (Slovenia) • Booth, Richard
• Plaza, Enric (Spain) • Bordini, Rafael
• Poesio, Massimo (UK) • Botea, Adi
• Refanidis, Ioannis (Greece) • Bouma, Gosse
• Rosenschein, Jeffrey S. (Israel) • Bouveret, Sylvain
• Rossi, Francesca (Italy) • Brandt, Felix
• Sierra, Carles (Spain) • Bratko, Ivan
• Thielscher, Michael (Germany) • Bridge, Derek
• Wilson, Nic (Ireland) • Broersen, Jan
• Wolter, Frank (UK) • Brown, Ken
• Brugali, Davide
• Buffet, Olivier
ECAI Program Committee • Bui, Hung
• Buitelaar, Paul
• Agotnes, Thomas • Calvanese, Diego
• Aha, David • Camacho, Rui
• Alami, Rachid • Caminada, Martin
• Alechina, Natasha • Carreras, Xavier
• Alexandersson, Jan • Cayrol, Claudette
• Alfonseca, Enrique • Cazenave, Tristan
• Althoff, Klaus-Dieter • Cesa-Bianchi, Nicolo
• Altman, Alon • Cesta, Amedeo
• Amgoud, Leila • Charpillet, Francois
• Amir, Eyal • Chen, Hubie
• Ansotegui, Carlos • Chevaleyre, Yann
• Arcos, Josep Lluis • Cholvy, Laurence
• Artale, Alessandro • Cimiano, Philipp
• Au, Tsz-Chiu • Clark, Alexander
• Bachrach, Yoram • Cohen, David
x
• Coles, Amanda • Fanizzi, Nicola
• Cortellessa, Gabriella • Fargier, Helene
• Cortes, Juan • Fatima, Shaheen
• Cozman, Fabio G. • Feldman, Ronen
• Craw, Susan • Ferber, Jacques
• Cuenca Grau, Bernardo • Ferri, Cesar
• Cunningham, Padraig • Fierens, Daan
• Cussens, James • Finzi, Alberto
• d’Amato, Claudia • Fisher, Michael
• d’Aquin, Mathieu • Flach, Peter
• Daelemans, Walter • Fortuna, Blaz
• Daniel, Borrajo • Frank, Anette
• Dastani, Mehdi • Fratini, Simone
• David, Esther • Frisch, Alan
• de Campos, Luis • Fromont, Elisa
• De Cooman, Gert • Funk, Peter
• De Giacomo, Giuseppe • Furbach, Uli
• De La Clergerie, Eric • Gama, Joao
• de Pablo Sanchez, Cesar • Gangemi, Aldo
• de Silva, Lavindra • Garriga, Gemma
• Dearden, Richard • Gavanelli, Marco
• Debenham, John • Ghani, Rayid
• Decker, Keith • Ghidini, Chiara
• Delany, Sarah Jane • Giacomin, Massimiliano
• Delgrande, James • Gini, Maria
• Della Valle, Emanuele • Girju, Roxana
• Di Noia, Tommaso • Giunchiglia, Enrico
• Diaz-Agudo, Belen • Godo, Lluis
• Dignum, Frank • Gomes, Carla
• Dignum, Virginia • Gonzales, Christophe
• Dimopoulos, Yannis • Gonzalez Calero, Pedro A.
• Dix, Juergen • Governatori, Guido
• Dixon, Clare • Grabisch, Michel
• Donini, Francesco • Gretton, Charles
• Doutre, Sylvie • Grobelnik, Marko
• Dovier, Agostino • Grossi, Davide
• Driessens, Kurt • Haarslev, Volker
• Dubois, Didier • Habrard, Amaury
• Dunne, Paul • Halpin, Harry
• Dzeroski, Saso • Harrenstein, Paul
• Edelkamp, Stefan • Haslum, Patrik
• Eiter, Thomas • Heflin, Jeff
• Elkind, Edith • Helmert, Malte
• Endriss, Ulle • Hernandez, Nathalie
• Engel, Yagil • Hernandez Gardiol, Natalia
• Erdem, Esra • Hernandez-Orallo, Jose
• Esteva, Marc • Hertzberg, Joachim
• Euzenat, Jerome • Herzig, Andreas
• Evans, Roger • Hindriks, Koen