ebook img

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

719 Pages·2014·9.158 MB·English
Save to my drive
Quick download
Download
Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.

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

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

See more

The list of books you might like

Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.