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

This book constitutes the proceedings of the XVIIIth International Conference of the Italian Association for Artificial Intelligence, AI*IA 2019, held in Rende, Italy, in November 2019. The 41 full papers were carefully reviewed and selected from 67 submissions. The papers have been organized in the following topical sections: Knowledge Representation for AI, AI and Computation, Machine Learning for AI, and AI and Humans. -- Provided by publisher Front Matter ....Pages i-xiv Front Matter ....Pages 1-1 Tight Integration of Rule-Based Tools in Game Development (Denise Angilica, Giovambattista Ianni, Francesco Pacenza)....Pages 3-17 A Comparison of MCMC Sampling for Probabilistic Logic Programming (Damiano Azzolini, Fabrizio Riguzzi, Franco Masotti, Evelina Lamma)....Pages 18-29 Augmenting Datalog\(^{\frac{+}{}}\) with Customizable Metalogic Features for Powerful Ontological Reasoning (Stefania Costantini, Andrea Formisano)....Pages 30-45 Memory Management in Resource-Bounded Agents (Stefania Costantini, Valentina Pitoni)....Pages 46-58 A Rule-Based System for Hardware Configuration and Programming of IoT Devices (Salvatore Gaglio, Leonardo Giuliana, Giuseppe Lo Re, Gloria Martorella, Antonio Montalto, Daniele Peri)....Pages 59-72 First Approach to Semantics of Silence in Testimonies (Alfonso Garcés-Báez, Aurelio López-López)....Pages 73-86 Hybrid Semantics-Aware Recommendations Exploiting Knowledge Graph Embeddings (Cataldo Musto, Pierpaolo Basile, Giovanni Semeraro)....Pages 87-100 Strongly Equivalent Epistemic Answer Set Programs (Ezgi Iraz Su)....Pages 101-115 From Simplified Kripke-Style Semantics to Simplified Analytic Tableaux for Some Normal Modal Logics (Yaroslav Petrukhin, Michał Zawidzki)....Pages 116-131 Front Matter ....Pages 133-133 Automated Planning Encodings for the Manipulation of Articulated Objects in 3D with Gravity (Riccardo Bertolucci, Alessio Capitanelli, Marco Maratea, Fulvio Mastrogiovanni, Mauro Vallati)....Pages 135-150 Frequency Assignment in High Performance Computing Systems (Andrea Borghesi, Michela Milano, Luca Benini)....Pages 151-164 PRONOM: Proof-Search and Countermodel Generation for Non-normal Modal Logics (Tiziano Dalmonte, Sara Negri, Nicola Olivetti, Gian Luca Pozzato)....Pages 165-179 Partitioned Least Squares (Roberto Esposito, Mattia Cerrato, Marco Locatelli)....Pages 180-192 Number of Minimal Hypergraph Transversals and Complexity of IFM with Infrequency: High in Theory, but Often Not so Much in Practice! (Domenico Saccà, Edoardo Serra)....Pages 193-209 Handling Modifiers in Question Answering over Knowledge Graphs (Lucia Siciliani, Dennis Diefenbach, Pierre Maret, Pierpaolo Basile, Pasquale Lops)....Pages 210-222 A Graphical Analysis of Integer Infeasibility in UTVPI Constraints (K. Subramani, Piotr Wojciechowski)....Pages 223-234 Multi-agent Path Finding with Capacity Constraints (Pavel Surynek, T. K. Satish Kumar, Sven Koenig)....Pages 235-249 Evaluating Robustness of an Acting Framework over Temporally Uncertain Domains (Alessandro Umbrico, Amedeo Cesta, Marta Cialdea Mayer, Andrea Orlandini)....Pages 250-263 On the Configuration of SAT Formulae (Mauro Vallati, Marco Maratea)....Pages 264-277 Front Matter ....Pages 279-279 Performance-Driven Handwriting Task Selection for Parkinson’s Disease Classification (Maria Teresa Angelillo, Donato Impedovo, Giuseppe Pirlo, Gennaro Vessio)....Pages 281-293 A Non-negative Factorization Approach to Node Pooling in Graph Convolutional Neural Networks (Davide Bacciu, Luigi Di Sotto)....Pages 294-306 Winograd Convolution for DNNs: Beyond Linear Polynomials (Barbara Barabasz, David Gregg)....Pages 307-320 A Deep Hybrid Model for Recommendation Systems (Muhammet Çakır, Şule Gündüz Öğüdücü, Resul Tugay)....Pages 321-335 Kernel-Based Generative Adversarial Networks for Weakly Supervised Learning (Danilo Croce, Giuseppe Castellucci, Roberto Basili)....Pages 336-347 Activity Prediction of Business Process Instances with Inception CNN Models (Nicola Di Mauro, Annalisa Appice, Teresa M. A. Basile)....Pages 348-361 Question Classification with Untrained Recurrent Embeddings (Daniele Di Sarli, Claudio Gallicchio, Alessio Micheli)....Pages 362-375 Prediction of Decline in Activities of Daily Living Through Deep Artificial Neural Networks and Domain Adaptation (Lorenzo Donati, Daniele Fongo, Luca Cattelani, Federico Chesani)....Pages 376-391 Capturing Frame-Like Object Descriptors in Human Augmented Mapping (Mohamadreza Faridghasemnia, Andrea Vanzo, Daniele Nardi)....Pages 392-404 Verification and Repair of Neural Networks: A Progress Report on Convolutional Models (Dario Guidotti, Francesco Leofante, Luca Pulina, Armando Tacchella)....Pages 405-417 Learning Activation Functions by Means of Kernel Based Neural Networks (Giuseppe Marra, Dario Zanca, Alessandro Betti, Marco Gori)....Pages 418-430 Leveraging Multi-task Learning for Biomedical Named Entity Recognition (Tahir Mehmood, Alfonso Gerevini, Alberto Lavelli, Ivan Serina)....Pages 431-444 Applying Self-interaction Attention for Extracting Drug-Drug Interactions (Luca Putelli, Alfonso E. Gerevini, Alberto Lavelli, Ivan Serina)....Pages 445-460 Learning Abstract Planning Domains and Mappings to Real World Perceptions (Luciano Serafini, Paolo Traverso)....Pages 461-476 Towards Effective Device-Aware Federated Learning (Vito Walter Anelli, Yashar Deldjoo, Tommaso Di Noia, Antonio Ferrara)....Pages 477-491 Front Matter ....Pages 493-493 Manipulating an Election in Social Networks Through Edge Addition (Vincenzo Auletta, Diodato Ferraioli, Vincenzo Savarese)....Pages 495-510 Shared-Autonomy Navigation for Mobile Robots Driven by a Door Detection Module (Gloria Beraldo, Enrico Termine, Emanuele Menegatti)....Pages 511-527 Toward Automated Courseware Production for the ExPLoRAA Learning Environment (Amedeo Cesta, Gabriella Cortellessa, Riccardo De Benedictis, Carlo De Medio, Francesca Fracasso, Carla Limongelli)....Pages 528-541 Artificial Intelligence for Dramatic Performance (Rossana Damiano, Vincenzo Lombardo, Giulia Monticone, Antonio Pizzo)....Pages 542-557 Periodicity Detection of Emotional Communities in Microblogging (Corrado Loglisci, Donato Malerba)....Pages 558-571 Mapping Lexical Knowledge to Distributed Models for Ontology Concept Invention (Manuel Vimercati, Federico Bianchi, Mauricio Soto, Matteo Palmonari)....Pages 572-587 A New Measure of Polarization in the Annotation of Hate Speech (Sohail Akhtar, Valerio Basile, Viviana Patti)....Pages 588-603 Back Matter ....Pages 605-606