Computational Logic in Multi-Agent Systems: 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014. Proceedings

213 Pages·2014·3.214 MB·English

by  Nils Bulling, Leendert van der Torre, Serena Villata, Wojtek Jamroga, Wamberto Vasconcelos (eds.)

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.