Logics in Artificial Intelligence: 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings

719 Pages·2014·9.158 MB·English

by  Eduardo Fermé, João Leite (eds.)

Eduardo Fermé
João Leite (Eds.)
1 Logics in
6
7
8

AI Artificial Intelligence
N
L
14th European Conference, JELIA 2014
Funchal, Madeira, Portugal, September 24–26, 2014
Proceedings
123
Lecture Notes in Artificial Intelligence 8761
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
Eduardo Fermé João Leite (Eds.)
Logics in
Artificial Intelligence
14th European Conference, JELIA 2014
Funchal, Madeira, Portugal, September 24-26, 2014
Proceedings
1 3
VolumeEditors
EduardoFermé
UniversityofMadeira
Funchal,Madeira,Portugal
E-mail:[email protected]
JoãoLeite
CENTRIA,UniversidadeNovadeLisboa
Caparica,Portugal
E-mail:[email protected]
ISSN0302-9743 e-ISSN1611-3349
ISBN978-3-319-11557-3 e-ISBN978-3-319-11558-0
DOI10.1007/978-3-319-11558-0
SpringerChamHeidelbergNewYorkDordrechtLondon
LibraryofCongressControlNumber:Appliedfor
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
Thesearetheproceedingsofthe14thEuropeanConferenceonLogicsinArtificial
Intelligence(JELIA2014)heldduringSeptember24–26,2014inFunchal,inthe
beautifulislandofMadeira,Portugal,andorganizedbytheUniversityofMadeira
and the Centre for Artificial Intelligence (CENTRIA) of the New University of
Lisbon.
TheEuropeanConferenceonLogicsinArtificialIntelligence(orJourn´eesEu-
rop´eennessurlaLogiqueenIntelligenceArtificielle-JELIA)beganbackin1988,
asaworkshop,inresponsetotheneedforaEuropeanforumforthediscussionof
emergingworkinthisfield.Sincethen,JELIAhasbeenorganisedbiennially,with
proceedings published in the Springer-Verlag series Lecture Notes in Artificial
Intelligence. Previous meetings took place in Roscoff, France (1988), Amster-
dam, the Netherlands(1990),Berlin, Germany(1992),York, UK (1994),E´vora,
Portugal (1996), Dagstuhl, Germany (1998), Ma´laga, Spain (2000), Cosenza,
Italy (2002),Lisbon, Portugal(2004),Liverpool,UK (2006),Dresden, Germany
(2008), Helsinki, Finland (2010) and Toulouse, France (2012).
The aim of JELIA is to bring together active researchers interested in all
aspects concerning the use of logics in artificial intelligence to discuss current
research, results, problems, and applications of both theoretical and practical
nature. JELIA strives to foster links and facilitate cross-fertilization of ideas
among researchers from various disciplines, among researchers from academia
and industry, and between theoreticians and practitioners.
Theincreasinginterestinthisforum,itsinternationallevelwithgrowingpar-
ticipation of researchers from outside Europe, and the overall technical quality,
haveturnedJELIAinto amajorbiennial forumforthe discussionoflogic-based
approaches to artificial intelligence.
For the 2014 edition of JELIA, authors were invited to submit papers pre-
sentingoriginalandunpublished researchinall areasrelatedto the use oflogics
in artificial intelligence.
There were 121 submissions, each reviewed by at least three ProgramCom-
mittee members.The committee decidedto accept32full papers.An additional
12 submissions were accepted for a poster session and short presentation. The
program also includes 4 invited talks - by Diego Calvanese, Agata Ciabattoni,
HectorGeffnerandAnthonyHunter-andiscomplementedby5systemdescrip-
tions (3 full and 2 short).
In his invited talk titled“Query Answering over Description Logic Ontolo-
gies”,Diego Calvanese (Free University of Bozen-Bolzano,Italy)overviewedthe
mainresultsandtechniquesdevelopedinthelastyearsforanswering(unionsof)
conjunctive queries over DL ontologies, ranging from tableaux algorithms and
techniques based on automata on infinite trees for expressive DLs, to rewriting
based approaches for lightweight DLs.
VI Preface
In her invited talk titled “Tools for the Investigation of Substructural and
ParaconsistentLogics”,AgataCiabattoni(ViennaUniversityofTechnology,Aus-
tria),describedhergroup’stoolsintroducingsequent-stylecalculiforlargeclasses
oflogics andusing them to provevariousresults about these logicsin a uniform
and automated way. For the case studies of substructural and of paraconsistent
logicsthe introducedcalculiareusedtoprovestandardcompleteness,decidabil-
ity, and to provide new semantic foundations using non-deterministic matrices.
In his invited talk titled “How to Solve a Non-classical Planning Problem
with a Classical Planner: the Power of Transformations”, Hector Geffner (Uni-
versitat Pompeu Fabra in Barcelona, Spain) reviewed the inferences performed
by classical planners that enable them to deal with large problems, and the
transformations that have been developed for using these planners to deal with
non-classicalfeaturessuchas softgoals,hidden goalsto be recognized,planning
with incomplete information and sensing, and multiagent nested beliefs.
Inhisinvitedtalktitled“TowardsArgument-basedPersuasionTechnologies”,
Anthony Hunter (University College London, United Kingdom), addressed per-
suasion systems, or systems that enter into dialogues with users to persuade
them to undertake some action - mental or physical - or to not do some action,
reviewing computational models of argument developed for modelling persua-
sion dialogues, in particular for handling their inherent uncertainty. Anthony
Hunter’s invited talk was generously supported by the European Network for
Social Intelligence (SINTELNET).
Wewouldliketothanktheauthorsofallthesubmittedpapers,themembers
of the Program Committee and the additional experts who helped during the
reviewing process, for contributing and ensuring the high scientific quality of
JELIA 2014.
We would alsolike to acknowledgethe support of the Universityof Madeira,
theCenterforArtificialIntelligence(CENTRIA),thePortugueseAssociationfor
Artificial Intelligence (APPIA), Fundac¸a˜o para a Ciˆencia e Tecnologia (FCT),
the Artificial Intelligence Journal, DTIM, Springer, and EasyChair.
Finally, a word of gratitude to Maur´ıcio Reis and his local team for taking
care of the local organizationof the JELIA 2014.
July 2014 Eduardo Ferm´e
Jo˜ao Leite
Organization
Conference Chair
Eduardo Ferm´e University of Madeira - CENTRIA, Portugal
Program Co-chairs
Eduardo Ferm´e University of Madeira - CENTRIA, Portugal
Jo˜ao Leite CENTRIA,NewUniversityofLisbon,Portugal
Program Committee
Natasha Alechina University of Nottingham, UK
Jos´e Ju´lio Alferes CENTRIA,NewUniversityofLisbon,Portugal
Leila Amgoud IRIT-CNRS, University of Toulouse, France
Carlos Areces National University of Co´rdoba, Argentina
Franz Baader TU Dresden, Germany
Pietro Baroni University of Brescia, Italy
Peter Baumgartner NICTA, Australia
Salem Benferhat CRIL-CNRS,UniversityofArtois,Lens,France
Philippe Besnard IRIT-CNRS, University of Toulouse, France
Alexander Bochman Holon Institute of Technology, Israel
Richard Booth University of Luxembourg, Luxembourg
Gerhard Brewka University of Leipzig, Germany
Jan Broersen Utrecht University, The Netherlands
Pedro Cabalar University of Corunna, Spain
Walter Carnielli State University of Campinas, Brazil
Carlos Dam´asio CENTRIA,NewUniversityofLisbon,Portugal
Mehdi Dastani Utrecht University, The Netherlands
James Delgrande Simon Fraser University, Canada
Marc Denecker Catholic University of Leuven, Belgium
Didier Dubois IRIT-CNRS, University of Toulouse, France
Paul Dunne University of Liverpool, UK
Ulle Endriss University of Amsterdam, The Netherlands
Wolfgang Faber University of Huddersfield, UK
Luis Farinas Del Cerro IRIT-CNRS, University of Toulouse, France
Michael Fink Vienna University of Technology, Austria
Michael Fisher University of Liverpool, UK
Laura Giordano University of Eastern Piedmont, Italy
VIII Organization
Lluis Godo IIIA - CSIC, Spain
Valentin Goranko Technical University of Denmark, Denmark
Andreas Herzig IRIT-CNRS, University of Toulouse, France
Pascal Hitzler Wright State University, USA
Tomi Janhunen Aalto University, Finland
Tommi Junttila Aalto University, Finland
Gabriele Kern-Isberner TU Dortmund, Germany
S´ebastien Konieczny CRIL-CNRS,UniversityofArtois,Lens,France
Roman Kontchakov Birkbeck College, UK
J´erˆome Lang LAMSADE-CNRS, University
of Paris-Dauphine, France
Joohyung Lee Arizona State University, USA
Maurizio Lenzerini University of Rome“La Sapienza”, Italy
Nicola Leone University of Calabria, Italy
Vladimir Lifschitz University of Texas, USA
Emiliano Lorini IRIT-CNRS, University of Toulouse, France
Carsten Lutz University of Bremen, Germany
Ines Lynce University of Lisbon, Portugal
Pierre Marquis CRIL-CNRS,UniversityofArtois,Lens,France
J´erˆome Mengin IRIT-CNRS, University of Toulouse, France
George Metcalfe University of Bern, Switzerland
Thomas Meyer CSIR Meraka Institute and University
of KwaZulu-Natal, South Africa
Lu´ıs Moniz Pereira CENTRIA,NewUniversityofLisbon,Portugal
Angelo Montanari University of Udine, Italy
Manuel Ojeda-Aciego University of Malaga, Spain
Magdalena Ortiz Vienna University of Technology, Austria
Jeff Z. Pan University of Aberdeen, UK
David Pearce Technical University of Madrid, Spain
Andr´e Platzer Carnegie Mellon University, USA
Henri Prade IRIT-CNRS, University of Toulouse, France
Mauricio Reis University of Madeira, Portugal
Jussi Rintanen Aalto University, Finland
Sebastian Rudolph TU Dresden, Germany
Vladislav Ryzhikov Free University of Bozen-Bolzano,Italy
Torsten Schaub University of Potsdam, Germany
Steven Schockaert Cardiff University, UK
Terrance Swift CENTRIA,NewUniversityofLisbon,Portugal
Michael Thielscher The University of New South Wales, Australia
Mirek Truszczynski University of Kentucky, USA
Wiebe Van Der Hoek University of Liverpool, UK
Leon van der Torre University of Luxembourg, Luxembourg
Toby Walsh NICTA, Australia
Mary-Anne Williams University of Technology, Australia
Frank Wolter University of Liverpool, UK
Organization IX
Stefan Woltran Vienna University of Technology, Austria
Michael Wooldridge University of Oxford, UK
Michael Zakharyaschev Birkbeck College, UK
Local Organising Committee Co-chairs
Eduardo Ferm´e University of Madeira - CENTRIA, Portugal
Mauricio Reis University of Madeira - CENTRIA, Portugal
Local Organizing Committee
Yuri Almeida University of Madeira, Portugal
Maite Costa University of Madeira, Portugal
Jos´e Serina University of Madeira, Portugal
Tatiana Severim University of Madeira, Portugal
Ver´onica Sousa University of Madeira, Portugal
Additional Reviewers
Alsinet, Teresa Ebtekar, Aram
Alviano, Mario Fandinno, Jorge
Andres, Benjamin Fichte, Johannes Klaus
Aucher, Guillaume Garcia, Jhonatan
Baioletti, Marco Gebser, Martin
Bartholomew, Michael Gliozzi, Valentina
Baumann, Ringo Gon¸calves, Ricardo
Baumgartner, Alexander Grandi, Umberto
Bernardini, Sara Greco, Gianluigi
Blondeel, Marjon Green, Todd
Bogaerts, Bart Guti´errez Basulto, V´ıctor
Botoeva, Elena Hustadt, Ullrich
Burrieza, Alfredo Inoue, Katsumi
Carral, David Jansen, Joachim
Casini, Giovanni Jensen, Martin Holm
Combi, Carlo Jung, Jean Christoph
Dasseville, Ingmar Klarman, Szymon
Dennis, Louise Knobbout, Max
Devriendt, Jo Kramdi, Seifeddine
Dodaro, Carmine Lagniez, Jean Marie
Dovier, Agostino Lam, Ho-Pun
Duijf, Hein Linsbichler, Thomas
Dvorak, Wolfgang Lippmann, Marcel
X Organization
Lisitsa, Alexei Ru¨mmele, Stefan
Ma, Yue Salhi, Yakoub
Mailly, Jean-Guy Saptawijaya, Ari
Manna, Marco Schmid, Ute
Marchioni, Enrico Schneider, Thomas
Markey, Nicolas Sciavicco, Guido
Martelli, Alberto Sengupta, Kunal
Mutharaju, Raghava Stepanova, Daria
Mun˜oz-Velasco, Emilio Strass, Hannes
Nguyen, Hoang Nga Studer, Thomas
Nouioua, Farid Testerink, Bas
Oikarinen, Emilia Toman, David
Ostrowski, Max Tsarkov, Dmitry
Pardo, Pere Uridia, Levan
Polberg, Sylwia Valverde, Agustin
Porello, Daniele Van Hertum, Pieter
Rajaratnam, David Vesic, Srdjan
Redl, Christoph Wang, Cong
Ren, Yuan Wang, Yi
Rens, Gavin Wang, Yisong
Ricca, Francesco Wang, Zhe
Ringeissen, Christophe Zawadzki, Erik
Rollon, Emma Zhao, Yuting
Romero, Javier Zhou, Yi