AI*IA 2019 – Advances in Artificial Intelligence: XVIIIth International Conference of the Italian Association for Artificial Intelligence, Rende, Italy, November 19–22, 2019, Proceedings PDF
Preview AI*IA 2019 – Advances in Artificial Intelligence: XVIIIth International Conference of the Italian Association for Artificial Intelligence, Rende, Italy, November 19–22, 2019, Proceedings
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
The list of books you might like
