AI*IA 2019 – Advances in Artificial Intelligence: XVIIIth International Conference of the Italian Association for Artificial Intelligence, Rende, Italy, November 19–22, 2019, Proceedings

611 Pages·2019·30.328 MB·English

by  Mario Alviano, Gianluigi Greco, Francesco Scarcello

Mario Alviano
Gianluigi Greco
Francesco Scarcello (Eds.)
AI*IA 2019 –
6
4 Advances in
9
1
1

AI Artificial Intelligence
N
L
XVIIIth International Conference
of the Italian Association for Artificial Intelligence
Rende, Italy, November 19–22, 2019
Proceedings
123
fi
Lecture Notes in Arti cial Intelligence 11946
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
Mario Alviano Gianluigi Greco
(cid:129) (cid:129)
Francesco Scarcello (Eds.)
–
AI*IA 2019
Advances in
fi
Arti cial Intelligence
XVIIIth International Conference
fi
of the Italian Association for Arti cial Intelligence
–
Rende, Italy, November 19 22, 2019
Proceedings
123
Editors
Mario Alviano Gianluigi Greco
University of Calabria University of Calabria
Rende,Italy Rende,Italy
Francesco Scarcello
University of Calabria
Rende,Italy
ISSN 0302-9743 ISSN 1611-3349 (electronic)
Lecture Notesin Artificial Intelligence
ISBN 978-3-030-35165-6 ISBN978-3-030-35166-3 (eBook)
https://doi.org/10.1007/978-3-030-35166-3
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
This volume contains the papers presented at the main track of AI*IA 2019, the 18th
International Conference of the Italian Association for Artificial Intelligence held
during November 19–22, 2019, in Rende, Italy. The conference is organized by the
Italian Association for Artificial Intelligence (AI*IA – Associazione Italiana per
l’Intelligenza Artificiale), which is a non-profit scientific society founded in 1988
devotedtothepromotionofArtificialIntelligence.Theassociationaimstoincreasethe
publicawarenessofAI,encouragetheteachingofit,andpromoteresearchinthefield.
The main track of the conference received 86 submissions, and 67 of them were
selectedforthetechnicalreviewprocess.Eachselectedsubmissionwasreviewedbyat
least three Program Committee members. The committee decided to accept 41 papers
for presentation at the conference and publication in this volume. The program also
included four invited talks by Giuseppe De Giacomo, Sridhar Mahadevan, Michela
Milano,andPhilippSlusallek.Moreover,asinpreviouseditionsoftheconference,the
programwasenrichedbyseveralworkshopsonspecificfieldsofAI.Finally,anovelty
for this edition of the conference was the presentation of discussion papers about
recently published research.
We acknowledge EasyChair (https://easychair.org/) for providing their conference
management system that significantly simplified the whole process from receiving the
submissions to producing the proceedings. Finally, we thank all the authors who
contributed to the workshops, the Program Committee members and the additional
reviewers for their effort to produce timely and wise reviews.
October 2019 Mario Alviano
Gianluigi Greco
Francesco Scarcello
Organization
Conference Chair
Nicola Leone University of Calabria, Italy
Program Chairs
Mario Alviano University of Calabria, Italy
Gianluigi Greco University of Calabria, Italy
Francesco Scarcello University of Calabria, Italy
Organization Chairs
Francesco Ricca University of Calabria, Italy
Chiara Ghidini FBK Trento, Italy
Publicity Chair
Luca Pulina University of Sassari, Italy
Program Committee
Fabrizio Angiulli University of Calabria, Italy
Davide Bacciu University of Pisa, Italy
Farshad Badie Aalborg University, Denmark
Matteo Baldoni University of Turin, Italy
Stefania Bandini CSAI - Complex Systems and Artificial Intelligence
Research Center, Italy
Roberto Basili University of Roma Tor Vergata, Italy
Nicola Basilico University of Milan, Italy
Federico Bergenti University of Parma, Italy
Tarek Richard Besold Alpha Health AI Lab, Telefonica Innovation Alpha,
Germany
Stefano Bistarelli University of Perugia, Italy
Andrea Burattin Technical University of Denmark, Denmark
Elena Cabrio Université Côte d’Azur, CNRS, Inria, I3S, France
Stefano Cagnoni University of Parma, Italy
Marco Calautti University of Calabria, Italy
Diego Calvanese Free University of Bozen-Bolzano, Italy
Luigia Carlucci Aiello Sapienza University of Rome, Italy
Amedeo Cesta CNR - National Research Council of Italy, Italy
Federico Chesani University of Bologna, Italy
viii Organization
Francesco Corcoglioniti Fondazione Bruno Kessler, Italy
Gabriella Cortellessa CNR-ISTC, Italy
Stefania Costantini University of l’Aquila, Italy
Dario Della Monica University of Udine, Italy
Claudio Di Ciccio ViennaUniversityofEconomicsandBusiness,Austria
Tommaso Di Noia Polytechnic University of Bari, Italy
Carmine Dodaro University of Calabria, Italy
Michele Donini Amazon, USA
Agostino Dovier University of Udine, Italy
Aldo Franco Dragoni Polytechnic University of Marche, Italy
Stefano Ferilli University of Bari, Italy
Johannes Fichte TU Dresden, Germany
Alberto Finzi University of Naples Federico II, Italy
Giancarlo Fortino University of Calabria, Italy
Salvatore Gaglio University of Palermo, Italy
Marco Gavanelli University of Ferrara, Italy
Chiara Ghidini Fondazione Bruno Kessler, Italy
Massimiliano Giacomin University of Brescia, Italy
Laura Giordano Università del Piemonte Orientale, Italy
Giuseppe Jurman Fondazione Bruno Kessler, Italy
Evelina Lamma University of Ferrara, Italy
Domenico Lembo Sapienza University of Rome, Italy
Antonio Lieto University of Turin, Italy
Marco Lippi University of Modena and Reggio Emilia, Italy
Francesca Alessandra Lisi University of Bari, Italy
Fabrizio Maria Maggi Institute of Computer Science - University of Tartu,
Estonia
Bernardo Magnini FBK-irst, Italy
Marco Manna University of Calabria, Italy
Marco Maratea University of Genoa, Italy
Simone Marinai University of Florence, Italy
Andrea Marrella Sapienza University of Rome, Italy
Viviana Mascardi University of Genoa, Italy
Fulvio Mastrogiovanni University of Genoa, Italy
Alessandro Mazzei University of Turin, Italy
Stefano Melacci University of Siena, Italy
Paola Mello University of Bologna, Italy
Alessio Micheli University of Pisa, Italy
Alfredo Milani University of Perugia, Italy
Stefania Montani University of Piemonte Orientale, Italy
Angelo Oddi ISTC-CNR, Italy
Matteo Palmonari University of Milano-Bicocca, Italy
Andrea Passerini University of Trento, Italy
Viviana Patti University of Turin, Italy
Ruggero G. Pensa University of Turin, Italy
Roberto Pirrone University of Palermo, Italy
Organization ix
Piero Poccianti Consorzio Operativo Gruppo MPS, Italy
Daniele Porello Free University of Bolzano-Bozen, Italy
Gian Luca Pozzato University of Turin, Italy
Fabrizio Riguzzi University of Ferrara, Italy
Andrea Roli University of Bologna, Italy
Riccardo Rosati Sapienza University of Rome, Italy
Silvia Rossi University of Naples Federico II, Italy
Salvatore Ruggieri University of Pisa, Italy
Emanuel Sallinger University of Oxford, UK
Fabio Sartori University of Milan-Bicocca, Italy
Marco Schaerf Sapienza University Rome, Italy
Giovanni Semeraro University of Bari, Italy
Luciano Serafini Fondazione Bruno Kessler, Italy
Domenico Talia University of Calabria, Italy
Stefano Teso Katholieke Universiteit Leuven, Belgium
Mauro Vallati University of Huddersfield, UK
Eloisa Vargiu Eurecat Technology Center - eHealth Unit, Spain
Marco Villani University of Modena and Reggio Emilia, Italy
Giuseppe Vizzari University of Milano-Bicocca, Italy
Antonius Weinzierl Vienna University of Technology, Austria
Additional Reviewers
Agramunt, Sebastia Lieto, Antonio
Augello, Agnese Malek, Salim
Bellodi, Elena Narducci, Fedelucio
Bertagnon, Alessandro Philipp, Tobias
Bianchi, Federico Polato, Mirko
Biondi, Giulio Polignano, Marco
Cerrato, Mattia Rizzi, Williams
Crecchi, Francesco Romeo, Luca
Dal Palù, Alessandro Santini, Francesco
De Benedictis, Riccardo Schidler, André
De Paola, Alessandra Taticchi, Carlo
Ercolano, Giovanni Tiezzi, Francesco
Fracasso, Francesca Vahdati, Sahar
La Rosa, Massimo
Contents
Knowledge Representation for AI
Tight Integration of Rule-Based Tools in Game Development. . . . . . . . . . . . 3
Denise Angilica, Giovambattista Ianni, and Francesco Pacenza
A Comparison of MCMC Sampling for Probabilistic Logic Programming . . . 18
Damiano Azzolini, Fabrizio Riguzzi, Franco Masotti,
and Evelina Lamma
þ
Augmenting Datalog with Customizable Metalogic Features
for Powerful Ontological Reasoning . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
Stefania Costantini and Andrea Formisano
Memory Management in Resource-Bounded Agents . . . . . . . . . . . . . . . . . . 46
Stefania Costantini and Valentina Pitoni
A Rule-Based System for Hardware Configuration and Programming
of IoT Devices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
Salvatore Gaglio, Leonardo Giuliana, Giuseppe Lo Re,
Gloria Martorella, Antonio Montalto, and Daniele Peri
First Approach to Semantics of Silence in Testimonies . . . . . . . . . . . . . . . . 73
Alfonso Garcés-Báez and Aurelio López-López
Hybrid Semantics-Aware Recommendations Exploiting Knowledge
Graph Embeddings . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 87
Cataldo Musto, Pierpaolo Basile, and Giovanni Semeraro
Strongly Equivalent Epistemic Answer Set Programs. . . . . . . . . . . . . . . . . . 101
Ezgi Iraz Su
From Simplified Kripke-Style Semantics to Simplified Analytic
Tableaux for Some Normal Modal Logics . . . . . . . . . . . . . . . . . . . . . . . . . 116
Yaroslav Petrukhin and Michał Zawidzki
AI and Computation
Automated Planning Encodings for the Manipulation of Articulated
Objects in 3D with Gravity . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 135
Riccardo Bertolucci, Alessio Capitanelli, Marco Maratea,
Fulvio Mastrogiovanni, and Mauro Vallati