Logics in Artificial Intelligence: 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedings PDF
Preview Logics in Artificial Intelligence: 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedings
Francesco Calimeri Nicola Leone Marco Manna (Eds.) 8 6 Logics in 4 1 1 AI Artificial Intelligence N L 16th European Conference, JELIA 2019 Rende, Italy, May 7–11, 2019 Proceedings 123 fi Lecture Notes in Arti cial Intelligence 11468 Subseries of Lecture Notes in Computer Science Series Editors Randy Goebel University of Alberta, Edmonton, Canada Yuzuru Tanaka Hokkaido University, Sapporo, Japan Wolfgang Wahlster DFKI and Saarland University, Saarbrücken, Germany Founding Editor Jörg Siekmann DFKI and Saarland University, Saarbrücken, Germany More information about this series at http://www.springer.com/series/1244 Francesco Calimeri Nicola Leone (cid:129) (cid:129) Marco Manna (Eds.) Logics in fi Arti cial Intelligence 16th European Conference, JELIA 2019 – Rende, Italy, May 7 11, 2019 Proceedings 123 Editors Francesco Calimeri NicolaLeone University of Calabria University of Calabria Rende,Italy Rende,Italy MarcoManna University of Calabria Rende,Italy ISSN 0302-9743 ISSN 1611-3349 (electronic) Lecture Notesin Artificial Intelligence ISBN 978-3-030-19569-4 ISBN978-3-030-19570-0 (eBook) https://doi.org/10.1007/978-3-030-19570-0 LNCSSublibrary:SL7–ArtificialIntelligence ©SpringerNatureSwitzerlandAG2019 Thisworkissubjecttocopyright.AllrightsarereservedbythePublisher,whetherthewholeorpartofthe material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilms or in any other physical way, and transmission or information storageandretrieval,electronicadaptation,computersoftware,orbysimilarordissimilarmethodologynow knownorhereafterdeveloped. Theuseofgeneraldescriptivenames,registerednames,trademarks,servicemarks,etc.inthispublication doesnotimply,evenintheabsenceofaspecificstatement,thatsuchnamesareexemptfromtherelevant protectivelawsandregulationsandthereforefreeforgeneraluse. Thepublisher,theauthorsandtheeditorsaresafetoassumethattheadviceandinformationinthisbookare believedtobetrueandaccurateatthedateofpublication.Neitherthepublishernortheauthorsortheeditors give a warranty, expressed or implied, with respect to the material contained herein or for any errors or omissionsthatmayhavebeenmade.Thepublisherremainsneutralwithregardtojurisdictionalclaimsin publishedmapsandinstitutionalaffiliations. ThisSpringerimprintispublishedbytheregisteredcompanySpringerNatureSwitzerlandAG Theregisteredcompanyaddressis:Gewerbestrasse11,6330Cham,Switzerland Preface Thisvolumecontainsthepaperspresentedatthe16thEuropeanConferenceonLogics in Artificial Intelligence (JELIA 2019) held during May 7–11, 2019 in Rende (Cosenza),Italy.ThiseditionwasorganizedbytheArtificialIntelligenceGroupofthe Department of Mathematics and Computer Science at the University of Calabria. The European Conference on Logics in Artificial Intelligence (or Journées Européennes sur la Logique en Intelligence Artificielle – JELIA) began back in 1988, as a workshop, in response to the need for a European forum for the discussion of emerging work in this field. Since then, JELIA has been organized biennially, with proceedings published in the Springer series Lecture Notes in Artificial Intelligence. PreviousmeetingstookplaceinRoscoff,France(1988),Amsterdam,TheNetherlands (1990), Berlin, Germany (1992), York, UK (1994), Évora, Portugal (1996), Dagstuhl, Germany (1998), Málaga, Spain (2000), Cosenza, Italy (2002), Lisbon, Portugal (2004), Liverpool, UK (2006), Dresden, Germany (2008), Helsinki, Finland (2010), Toulouse, France (2012), and Larnaca, Cyprus (2016). The aim of JELIA is to bring together active researchers interested in all aspects concerning the use of logics in artificial intelligence todiscuss 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. The scientific community has been increasingly showing interest in JELIA, which duringtheyearsfeaturedthegrowingparticipationofresearchersfromoutsideEurope andaveryhighoveralltechnicalqualityofcontributions;hence,theconferenceturned intoamajorbiennialforumandareferenceforthediscussionofapproaches,especially logic-based, to artificial intelligence. JELIA 2019 received 126 submissions in two different formats (long and short papers); throughout the reviewing process, three Program Committee members took care of each work; at the end, the Program Committee decided to accept a final list of 50papers,consistingof40longand10shortcontributions.Theacceptedpapersspana number of areas within logics in AI; eventually, we classified them in the categories that these proceedings are organized in: “Belief Revision and Argumentation,” “Causal, Defeasible and Inductive Reasoning,” “Conditional, Probabilistic and Propositional Logic,” “Description Logics,” “Logic Programming,” “Modal and Default Logic,” and “Temporal Logic.” We would like to acknowledge the authors of allthesubmittedpapers,includingthosenotacceptedforpublication:thequalityofthe contributions was rather high, and this is the first and essential ingredient for a suc- cessful scientific conference. The JELIA 2019 program was anchored by the invited talks by Georg Gottlob and HenriPrade,whoprovidedtheaudiencewithtwokeynotespeeches:“Vadalog:Recent Advances and Applications” and “Possibilistic Logic: From Certainty-Qualified Statements to Two-Tiered Logics – A Prospective Survey,” respectively. Two out of vi Preface all the accepted papers were nominated via a secret ballot among the Program Committee members as the Best Paper (authored by Forkel and Borgwardt: “Closed-World Semantics for Conjunctive Queries with Negation over ELH-bottom Ontologies”) and the Best Student Paper (authored by Cabalar, Fandinno, Schaub and Schellhorn: “Lower Bound Founded Logic of Here-and-There”); they received a cash prizeofEUR500each,kindlyofferedbySpringer.Thesetwocontributionswerealso invitedtotheIJCAI-19SisterConferenceBestPaperTrackinordertorepresentJELIA 2019. Furthermore, the authors of the top-notch contributions (including both best papers) will be invited to submit long and more elaborate versions of their work for a special issue of Theory and Practice of Logic Programming (TPLP). JELIA 2019 closed by hosting an engaging public event, titled “Intelligenza Artificiale: etica, opportunità, insidie”: a disseminative panel discussion (held in Ital- ian) about ethics, opportunities, and threats of AI that was open to the general public, andfeaturedtop-notchscientists,journalists,andindustryleaders.Amongparticipants, we mention here Nicola Leone, Georg Gottlob, Bruno Siciliano, Gianluigi Greco, Pietro Scarpino, Marco Menichelli, and Maurizio Melis. Many people and organizations contributed to the success of JELIA 2019; we start from the authors, the members of the Program Committee, and the additional experts whohelpedduringthereviewingprocess,whodiligentlyworkedtoproduceafairand thorough evaluation of the submitted papers, thus contributing and ensuring the high scientific quality of JELIA 2019; most importantly, we mention the invited speakers and the authors of the accepted papers, who provided the conference with a state-of-the-art technical program. We thank all of them! We gratefully acknowledge all members and helpers of the local Organizing CommitteeoftheDepartmentofMathematicsandComputerScienceattheUniversity ofCalabria,fortakingcareofallthebigandsmallthingsneededinordertoallowthis eventtoactuallytakeplace.Furthermore,wegratefullyacknowledgeoursponsorsand supporters for their generous help; in this respect, a special mention goes to Simona Perri,whodidanawesomejobplayingseveralkeyroles:publicitychair,financechair, member of the team organizing the closing event. Last, but not least, we thank the people of EasyChair for providing resources and a great conference management system. May 2019 Francesco Calimeri Nicola Leone Marco Manna Organization Committees General Chair Nicola Leone University of Calabria, Italy Program Chairs Francesco Calimeri University of Calabria, Italy Marco Manna University of Calabria, Italy Program Committee José Julio Alferes Universidade Nova de Lisboa, Portugal Mario Alviano University of Calabria, Italy Leila Amgoud IRIT-CNRS, France Carlos Areces Universidad Nacional de Córdoba, Argentina Franz Baader TU Dresden, Germany Pietro Baroni University of Brescia, Italy Peter Baumgartner CSIRO, Australia Salem Benferhat CNRS, Université d’Artois, France Leopoldo Bertossi Carleton University, RelationalAI Inc., Canada Meghyn Bienvenu CNRS, University of Bordeaux, France Alexander Bochman Holon Institute of Technology, Israel Gerhard Brewka Leipzig University, Germany Pedro Cabalar University of Coruna, Spain Marco Calautti The University of Edinburgh, UK David Carral TU Dresden, Germany Giovanni Casini University of Luxembourg, Luxembourg Cristina Civili Samsung R&D Institute United Kingdom, UK Mehdi Dastani Utrecht University, The Netherlands James Delgrande Simon Fraser University, Canada Didier Dubois IRIT, Université Paul Sabatier, France Ulle Endriss University of Amsterdam, The Netherlands Wolfgang Faber Alpen-Adria-Universität Klagenfurt, Austria Luis Farinas Del Cerro CNRS, France Eduardo Fermé Universidade da Madeira, Portugal Michael Fisher University of Liverpool, UK Michael Gelfond Texas Tech University, USA Laura Giordano Università del Piemonte Orientale, Italy Valentina Gliozzi Università di Torino, Italy Lluis Godo Artificial Intelligence Research Institute, IIIA-CSIC Andreas Herzig IRIT-CNRS, University of Toulouse, France viii Organization Tomi Janhunen Aalto University, Finland Gabriele Kern-Isberner Technische Universität Dortmund, Germany Sébastien Konieczny CRIL-CNRS, France Roman Kontchakov University of London, UK Jérôme Lang CNRS, Université Paris-Dauphine, France Joohyung Lee Arizona State University, USA João Leite Universidade Nova de Lisboa, Portugal Vladimir Lifschitz The University of Texas at Austin, USA Michael Loizos Open University of Cyprus, Cyprus Emiliano Lorini IRIT-CNRS, France Thomas Lukasiewicz University of Oxford, UK Inês Lynce INESC-ID, Universidade de Lisboa, Portugal Marco Maratea University of Genoa, Italy Jerzy Marcinkowski Uniwersytetu Wroclawskiego, Poland Pierre Marquis CNRS, Université d’Artois, France Thomas Meyer University of Cape Town and CAIR, South Africa Angelo Montanari University of Udine, Italy Michael Morak Vienna University of Technology, Austria Manuel Ojeda-Aciego University of Malaga, Spain Magdalena Ortiz Vienna University of Technology, Austria David Pearce Universidad Politécnica de Madrid, Spain Rafael Peñaloza Free University of Bozen-Bolzano, Italy Luís Moniz Pereira Universidade Nova de Lisboa, Portugal Andreas Pieris The University of Edinburgh, UK Henri Prade IRIT-CNRS, France Christoph Redl Technische Universität Wien, Austria Christian Retoré CNRS, LIRMM University of Montpellier, France Francesco Ricca University of Calabria, Italy Fabrizio Riguzzi University of Ferrara, Italy Jussi Rintanen Aalto University, Finland Chiaki Sakama Wakayama University, Japan Uli Sattler The University of Manchester, UK Michael Thielscher The University of New South Wales, Australia Mirek Truszczynski University of Kentucky, USA Leon van der Torre University of Luxembourg, Luxembourg Rineke Verbrugge University of Groningen, Institute of Artificial Intelligence, The Netherlands Carlos Viegas Damásio Universidade Nova de Lisboa, Portugal Toby Walsh The University of New South Wales, Australia Mary-Anne Williams Innovation and Enterprise Research Lab, UTS Frank Wolter University of Liverpool, UK Stefan Woltran Vienna University of Technology, Austria Publicity Chair Simona Perri University of Calabria, Italy Organization ix Finance Chair Simona Perri University of Calabria, Italy Organization Chairs Giovanni Amendola University of Calabria, Italy Carmine Dodaro University of Genoa, Italy Valeria Fionda University of Calabria, Italy Organizing Committee Weronika T. Adrian University of Calabria, Italy Pierangela Bruno University of Calabria, Italy Francesco Cauteruccio University of Calabria, Italy Roberta Costabile University of Calabria, Italy Bernardo Cuteri University of Calabria, Italy Alessio Fiorentino University of Calabria, Italy Stefano Germano University of Calabria, Italy Cinzia Marte University of Calabria, Italy Aldo Marzullo University of Calabria, Italy Francesco Pacenza University of Calabria, Italy Jessica Zangari University of Calabria, Italy Additional Reviewers Alberti, Marco Lorini, Emiliano Aravanis, Theofanis Mantadelis, Theofrastos Aït-Kaci, Hassan Martinez, Maria Vanina Cohen, Andrea Matos, Vinícius Console, Marco Michaliszyn, Jakub Cota, Giuseppe Molinari, Alberto Cramer, Marcos Nicolosi-Asmundo, Marianna Delobelle, Jérôme Novaro, Arianna Dodaro, Carmine Nuradiansyah, Adrian Doder, Dragan Pagnucco, Maurice Ferrando, Angelo Parent, Xavier Flaminio, Tommaso Peppas, Pavlos Gebser, Martin Ribeiro, Jandson S. Gigante, Nicola Sallinger, Emanuel Gonçalves, Ricardo Sciavicco, Guido Hans.Van-Ditmarsch, Hans Son, Tran Cao Haslum, Patrik Wallon, Romain Hustadt, Ullrich Wang, Yi Ioannou, Christodoulos Weydert, Emil Jeřábek, Emil Yang, Zhun Kieroński, Emanuel Zese, Riccardo Lisitsa, Alexei
The list of books you might like
