Logics in Artificial Intelligence: 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedings

825 Pages·2019·16.836 MB·English

by  Francesco Calimeri, Nicola Leone, Marco Manna

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