ECAI 2010: 19th European Conference on Artificial Intelligence PDF
Preview ECAI 2010: 19th European Conference on Artificial Intelligence
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: +31 20 687 0019 e-mail: [email protected] Distributor in the USA and Canada IOS Press, Inc. 4502 Rachael Manor Drive Fairfax, VA 22032 USA fax: +1 703 323 3668 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
The list of books you might like
