Computational Logic in Multi-Agent Systems: 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014. Proceedings PDF
Preview Computational Logic in Multi-Agent Systems: 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014. Proceedings
Nils Bulling Leendert van der Torre Serena Villata Wojtek Jamroga Wamberto Vasconcelos (Eds.) 4 Computational Logic 2 6 8 AI in Multi-Agent Systems N L 15th International Workshop, CLIMA XV Prague, Czech Republic, August 18–19, 2014 Proceedings 123 Lecture Notes in Artificial Intelligence 8624 Subseries of Lecture Notes in Computer Science LNAISeriesEditors RandyGoebel UniversityofAlberta,Edmonton,Canada YuzuruTanaka HokkaidoUniversity,Sapporo,Japan WolfgangWahlster DFKIandSaarlandUniversity,Saarbrücken,Germany LNAIFoundingSeriesEditor JoergSiekmann DFKIandSaarlandUniversity,Saarbrücken,Germany Nils Bulling Leendert van der Torre Serena Villata Wojtek Jamroga Wamberto Vasconcelos (Eds.) Computational Logic in Multi-Agent Systems 15th International Workshop, CLIMA XV Prague, Czech Republic, August 18-19, 2014 Proceedings 1 3 VolumeEditors NilsBulling ClausthalUniversityofTechnology Adolph-Römer-Strasse2A,38678Clausthal-Zellerfeld,Germany E-mail:[email protected] LeendertvanderTorre WojtekJamroga UniversityofLuxembourg,CampusKirchberg 6,rueRichardCoudenhove-Kalergi,1359Luxembourg,Luxembourg E-mail:{leon.vandertorre,wojtek.jamroga}@uni.lu SerenaVillata InriaSophiaAntipolis-Méditerranée 2004,routedesLucioles-BP93,06902SophiaAntipolisCedex,France E-mail:[email protected] WambertoVasconcelos UniversityofAberdeen,MestonBuilding OldAberdeen,AberdeenAB243UE,UK E-mail:[email protected] ISSN0302-9743 e-ISSN1611-3349 ISBN978-3-319-09763-3 e-ISBN978-3-319-09764-0 DOI10.1007/978-3-319-09764-0 SpringerChamHeidelbergNewYorkDordrechtLondon LibraryofCongressControlNumber:2014944725 LNCSSublibrary:SL7–ArtificialIntelligence ©SpringerInternationalPublishingSwitzerland2014 Thisworkissubjecttocopyright.AllrightsarereservedbythePublisher,whetherthewholeorpartof thematerialisconcerned,specificallytherightsoftranslation,reprinting,reuseofillustrations,recitation, broadcasting,reproductiononmicrofilmsorinanyotherphysicalway,andtransmissionorinformation storageandretrieval,electronicadaptation,computersoftware,orbysimilarordissimilarmethodology nowknownorhereafterdeveloped.Exemptedfromthislegalreservationarebriefexcerptsinconnection withreviewsorscholarlyanalysisormaterialsuppliedspecificallyforthepurposeofbeingenteredand executedonacomputersystem,forexclusiveusebythepurchaserofthework.Duplicationofthispublication orpartsthereofispermittedonlyundertheprovisionsoftheCopyrightLawofthePublisher’slocation, inistcurrentversion,andpermissionforusemustalwaysbeobtainedfromSpringer.Permissionsforuse maybeobtainedthroughRightsLinkattheCopyrightClearanceCenter.Violationsareliabletoprosecution undertherespectiveCopyrightLaw. Theuseofgeneraldescriptivenames,registerednames,trademarks,servicemarks,etc.inthispublication doesnotimply,evenintheabsenceofaspecificstatement,thatsuchnamesareexemptfromtherelevant protectivelawsandregulationsandthereforefreeforgeneraluse. Whiletheadviceandinformationinthisbookarebelievedtobetrueandaccurateatthedateofpublication, neithertheauthorsnortheeditorsnorthepublishercanacceptanylegalresponsibilityforanyerrorsor omissionsthatmaybemade.Thepublishermakesnowarranty,expressorimplied,withrespecttothe materialcontainedherein. Typesetting:Camera-readybyauthor,dataconversionbyScientificPublishingServices,Chennai,India Printedonacid-freepaper SpringerispartofSpringerScience+BusinessMedia(www.springer.com) Preface Inthisvolume,wepresenttheproceedingsofthe15thInternationalWorkshopon ComputationalLogicinMulti-AgentSystems(CLIMAXV),heldduringAugust 18–19,2014,in Prague,CzechRepublic, and co-locatedwith the 21stEuropean Conference on Artificial Intelligence (ECAI). Multi-agent systems are systems of interacting autonomous agents or com- ponents that can perceive and act upon their environment to achieve their in- dividual goals as well as joint goals. Research on such systems integrates many technologies and concepts in artificial intelligence and other areas of comput- ing as well as other disciplines. Over recent years, the agent paradigm gained popularity, due to its applicability to a full spectrum of domains, from search engines to educational aids to electronic commerce and trade, e-procurement, recommendation systems, simulation and routing, to mention only some. Computationallogicprovidesawell-defined,general,andrigorousframework for studying syntax, semantics, and procedures for various tasks by individual agents, as well as for interaction amongst agents in multi-agent systems, for implementations, environments, tools, and standards, and for linking together specification and verification of properties of individual agents and multi-agent systems. The purpose of the CLIMA workshops is to provide a forum for discussing techniques, based on computational logic, for representing, programming and reasoning about agents and multi agent systems in a formal way. CLIMA XV closely followed the format established by its predecessors,with regularproceedingsandtwospecialsessions:LogicsforGames,StrategicReason- ing,andSocialChoice,organizedbyWojtekJamroga,andLogicsforAgreement Technologies organizedby Wamberto Vasconcelos. Strategic reasoning occurs in many multi-agent scenarios. This is evident in theoreticalapproachestoMAS,aswellasinpracticalsolutionsused,forexample, in computer games, IT infrastructures for e-voting procedures, social network services, etc. The Special Session on Logics for Games, Strategic Reasoning, and Social Choice was intended to be a forum to discuss how formal logic can contribute to our understanding, modeling, and analysis of strategic behavior, and how the metaphors of game and social interaction can help in constructing and using logical formalisms. A growingnumber of computer systems are based on softwareagents, which actonbehalfofhumans.Theseagentsarebecomingincreasinglyresponsiblefor complex tasks delegated to them, interacting with each other in sophisticated ways so as to forge agreements in the interest of human users. The Special Session on Logics for Agreement Technologies aimed at expanding the state-of- the-artonlogic-basedapproachesandtechnologiestoenabledifferentaspectsof many-party agreements and to support the lifecycle of such systems. VI Preface Former CLIMA editions have mostly been conducted in conjunction with major computational logic and artificial intelligence events such as CL in 2000, ICLP in 2001 and 2007, FLoC in 2002, LPNMR and AI-Math in 2004, JELIA in 2004 and 2008, AAMAS in 2006, MATES in 2009, ECAI in 2010 and 2012, IJCAI in 2011, and LPNMR in 2013. In 2005, CLIMA VI was organized as a stand-alone event. This 15th edition of CLIMA receiveda good number of submissions. The 12 papers presented at CLIMA XV were selected from 20 submissions, on average ofveryhighquality,resultinginafinalacceptancerateofcirca60%,inlinewith thestandardsofpreviouseditions.Manyofthoseinvolvedintherevisionandse- lectionprocessacknowledgedthehighqualityoftheprogram.Inmanyinstances the authors expressed their satisfaction with very informative and constructive reviews, for which CLIMA is renown. The Program Committee consisted of 66 top-level researchers from 46 insti- tutions located in five continents and 24 countries. Seven additional reviewers helped in the process. The papers in this book have been authored by 50 re- searchers worldwide. Further information about CLIMA XV is available from the website http://www-sop.inria.fr/members/Serena.Villata/climaXV.html.General informationaboutthe workshopseries,withlinksto pastandfuture events,can be found at http://centria.di.fct.unl.pt/~clima/, the CLIMA workshop series home page. We thank all the authors of papers submitted to CLIMA XV, the invited speakers,themembersoftheProgramCommittee,andtheadditionalreviewers, for ensuring that CLIMA keeps up to its high standards. August 2014 Nils Bulling Leendert van der Torre Serena Villata Wojtek Jamroga Wamberto Vasconcelos Organization Workshop Chairs Nils Bulling Clausthal University of Technology, Germany Leendert van der Torre University of Luxembourg, Luxembourg Serena Villata Inria Sophia Antipolis, France Special Session Organizers Wojtek Jamroga University of Luxembourg, Luxembourg Wamberto Vasconcelos University of Aberdeen, UK Program Committee Huib Aldewereld Delft University of Technology, The Netherlands Natasha Alechina University of Nottingham, UK Jose Julio Alferes Universidade NOVA de Lisboa, Portugal Katie Atkinson University of Liverpool, UK Matteo Baldoni University of Turin, Italy Tina Balke University of Surrey, UK Pietro Baroni University of Brescia, Italy Stefano Bistarelli Universit`a di Perugia, Italy Elise Bonzon LIPADE - Universit´e Paris Descartes, France Rafael H. Bordini FACIN-PUCRS, Brazil Jan Broersen Utrecht University, The Netherlands Nils Bulling Clausthal University, Germany Stefania Costantini University of L’Aquila, Italy C´elia Da Costa Pereira Universit´e Nice Sophia Anipolis, France Mehdi Dastani Utrecht University, The Netherlands Marina De Vos University of Bath, UK Louise Dennis University of Liverpool, UK Frank Dignum Utrecht University, The Netherlands Catalin Dima LACL, Universit´e Paris Est - Cr´eteil, France Juergen Dix Clausthal University of Technology, Germany Michael Fisher University of Liverpool, UK Sujata Ghosh Indian Statistical Institute Chennai, India Massimiliano Giacomin University of Brescia, Italy Valentin Goranko Technical University of Denmark, Denmark Stella Heras GTI-IA DSIC UPV, Spain VIII Organization Koen Hindriks Delft University of Technology, The Netherlands Anthony Hunter University College London, UK Katsumi Inoue National Institute of Informatics, Japan Wojtek Jamroga University of Luxembourg, Luxembourg Souhila Kaci Lirmm, France Jo˜ao Leite New University of Lisbon, Portugal Brian Logan University of Nottingham, UK Henrique Lopes Cardoso Universidade do Porto, Portugal Emiliano Lorini IRIT, France Nicolas Maudet Universit´e Paris 6, France Felipe Meneguzzi Pontif´ıciaUniversidadeCatolicadoRioGrande do Sul, Brazil John-Jules Meyer Utrecht University, The Netherlands Aniello Murano Universit`a di Napoli “Federico II”, Italy Eug´enio Oliveira Faculdade de Engenharia Universidade do Porto - LIACC, Portugal Nir Oren University of Aberdeen, UK Julian Padget University of Bath, UK Maurice Pagnucco The University of New South Wales, Australia Xavier Parent University of Luxembourg, Luxembourg Wojciech Penczek ICS PAS, Siedlce University, Poland Gabriella Pigozzi Universit´e Paris-Dauphine, France Enrico Pontelli New Mexico State University, USA Franco Raimondi Middlesex University, UK R. Ramanujam Institute of Mathematical Sciences Chennai, India Fariba Sadri Imperial College London, UK Chiaki Sakama Wakayama University, Japan Fran¸cois Schwarzentruber ENS Rennes/IRISA, France Marija Slavkovik University of Bergen, Norway Tran Cao Son New Mexico State University, USA Christian Strasser Ghent University, Belgium Andrea Tettamanzi University of Nice Sophia Antipolis, France Paolo Torroni University of Bologna, Italy Paolo Turrini Imperial College London, UK Wiebe Van Der Hoek University of Liverpool, UK Leendert van der Torre University of Luxembourg, Luxembourg Hans van Ditmarsch LORIA - CNRS / University of Lorraine, France Wamberto Vasconcelos University of Aberdeen, UK Srdjan Vesic CRIL - CRNS, France Serena Villata Inria Sophia Antipolis, France Stefan Woltran Vienna University of Technology, Austria Michael Wooldridge University of Oxford, UK Neil Yorke-Smith American University of Beirut, Lebanon Organization IX Additional Reviewers Wolfgang Dvorak University of Vienna, Austria Micha(cid:3)l Knapik ICS PAS, Poland Bastien Maubert IRISA, France Joerg Puehrer Leipzig University, Germany Nicolas Schwind University of Artois, France Sunil Easaw Simon CWI Amsterdam, The Netherlands CLIMA Steering Committee Thomas ˚Agotnes University of Bergen, Norway Michael Fisher University of Liverpool, UK Katsumi Inoue National Institute of Informatics, Japan Jo˜ao Leite New University of Lisbon, Portugal Leendert van der Torre University of Luxembourg, Luxembourg CLIMA Publications Special Issues – Journal of Logic and Computation, Special issue on Computational Logic and Multi-Agent Systems, guest edited by Nils Bulling, Leendert van der Torre,Serena Villata, Wojtek Jamrogaand Wamberto Vasconcelos. Ex- pected, 2016. – Argument & Computation, Special issue onApplications of LogicalAp- proachestoArgumentation,guesteditedbyJoa˜oLeite,TranCaoSon,Paolo Torroni and Stefan Woltran. Expected, 2015. – Journal of Logic and Computation, Special issue on Computational Logic and Multi-Agent Systems, guest edited by Joa˜o Leite, Tran Cao Son, Paolo Torroni and Stefan Woltran. Expected, 2015. – Journal of Logic and Computation, Special issue on Computational Logic and Multi-Agent Systems, guest edited by Michael Fisher, Leon van der Torre, Mehdi Dastani, and Guido Governatori. Expected, 2014. – Journal of Logic and Computation, Special issue on Computational Logic and Multi-Agent Systems, guest edited by Joa˜o Leite, Paolo Torroni, Thomas ˚Agotnes, Guido Boella, and Leon van der Torre. Expected, 2013. – AnnalsofMathematicsandArtificialIntelligence,62(1-2),2011.Spe- cialissueonComputationalLogicandMulti-AgentSystems,guest-editedby Ju¨rgen Dix and Joa˜o Leite. – Journal of Autonomous Agents and Multi-Agent Systems, 16(3), 2008. Special Issue on Computational Logic-Based Agents, guest-edited by Francesca Toni and Jamal Bentahar. – AnnalsofMathematicsandArtificialIntelligence,42(1-3),2004.Spe- cial issues on Computational Logic and Multi-Agent Systems, guest-edited by Ju¨rgen Dix Dix, Joa˜o Leite, and Ken Satoh. – AnnalsofMathematicsandArtificialIntelligence,37(1-2),2003.Spe- cialissueonComputationalLogicandMulti-AgentSystems,guest-editedby Ju¨rgen Dix, Fariba Sadri and Ken Satoh. – Electronic Notes in Theoretical Computer Science,70(5),2002.Spe- cialIssueonComputationalLogicandMulti-Agency,guest-editedbyJu¨rgen Dix Dix, Joa˜o Leite, and Ken Satoh. Proceedings – Computational Logic in Multi-Agent Systems XV, Proceedings. Vol. 8624 of Lecture Notes in Artificial Intelligence, edited by Nils Bulling, Leendert van der Torre, Serena Villata, Wojtek Jamroga and Wamberto Vasconcelos. Springer-Verlag Berlin Heidelberg 2014.
The list of books you might like
