AIIA 2019

18th International Conference of the Italian Association for Artificial Intelligence

Accepted papers

Regular papers

  • Mauro Vallati and Marco Maratea. On the Configuration of SAT Formulae
  • Nicola Di Mauro, Annalisa Appice and Teresa M.A. Basile. Activity prediction of business process instances with inception based convolutional networks
  • Andrea Borghesi, Michela Milano and Luca Benini. Frequency Assignment in High Performance Computing Systems
  • Alessandro Umbrico, Amedeo Cesta, Marta Cialdea Mayer and Andrea Orlandini. Planning and Acting with Timelines for Human-Robot Collaboration
  • Damiano Azzolini, Fabrizio Riguzzi, Evelina Lamma and Franco Masotti. A Comparison of MCMC Sampling for Probabilistic Logic Programming
  • Stefania Costantini and Andrea Formisano. Augmenting Datalog+- with Customizable Metalogic Features for powerful Ontological Reasoning
  • Muhammet Çakır, Şule Gündüz Öğüdücü and Resul Tugay. A Deep Hybrid Model for Recommendation Systems
  • Mohamadreza Faridghasemnia, Andrea Vanzo and Daniele Nardi. Capturing Frame-like Object Descriptors in Human Augmented Mapping
  • Riccardo Bertolucci, Alessio Capitanelli, Marco Maratea, Fulvio Mastrogiovanni and Mauro Vallati. Automated Planning Encodings for the Manipulation of Articulated Objects in 3D with Gravity
  • Danilo Croce, Giuseppe Castellucci and Roberto Basili. Kernel-based Generative Adversarial Networks for Weakly Supervised Learning
  • Lorenzo Donati, Daniele Fongo, Luca Cattelani and Federico Chesani. Prediction of Decline in Activities of Daily Living Through Deep Artificial Neural Networks and Domain Adaptation
  • Pavel Surynek, T. K. Satish Kumar and Sven Koenig. Multi-Agent Path Finding with Capacity Constraints
  • Barbara Barabasz and David Gregg. Winograd Convolution for DNNs: Beyond linear polynomials
  • Lucia Siciliani, Dennis Diefenbach, Pierre Maret, Pierpaolo Basile and Pasquale Lops. Handling Modifiers in Question Answering over Knowledge Graphs
  • Vincenzo Auletta, Diodato Ferraioli and Vincenzo Savarese. Manipulating an Election in Social Networks through Edge Addition
  • Giuseppe Marra, Dario Zanca, Alessandro Betti and Marco Gori. Learning Activation Functions by means of Kernel Based Neural Networks
  • Alfonso Garcés-Báez and Aurelio López-López. First Approach to Semantics of Silence in Testimonies
  • Ezgi Iraz Su. Strongly Equivalent Epistemic Answer Set Programs
  • Salvatore Gaglio, Leonardo Giuliana, Giuseppe Lo Re, Gloria Martorella, Antonio Montalto and Daniele Peri. A Rule-based System for Hardware Configuration and Programming of IoT Devices
  • Sohail Akhtar, Valerio Basile and Viviana Patti. Measuring the Polarization of Hate Speech Annotation
  • Stefania Costantini and Valentina Pitoni. Memory Management in Resource-Bounded Agents
  • Vito Walter Anelli, Yashar Deldjoo, Tommaso Di Noia and Antonio Ferrara. Towards Effective Personalized Federated Learning Using a Priority-Aware Aggregation Operator and Dynamic Parameter Updating
  • Dario Guidotti, Francesco Leofante, Luca Pulina and Armando Tacchella. Verification and Repair of Neural Networks: a Progress Report on Convolutional Models
  • Maria Teresa Angelillo, Donato Impedovo, Giuseppe Pirlo and Gennaro Vessio. Performance-driven Handwriting Task Selection for Parkinson's Disease Classication
  • Daniele Di Sarli, Claudio Gallicchio and Alessio Micheli. Question Classification with Untrained Recurrent Embeddings
  • Roberto Esposito, Mattia Cerrato and Marco Locatelli. Partitioned Least Squares
  • Tiziano Dalmonte, Sara Negri, Nicola Olivetti and Gian Luca Pozzato. PRONOM: proof-search and countermodel generation for Non-Normal Modal Logics
  • K. Subramani and Piotr Wojciechowski. A graphical theorem of the alternative for integer feasibility in UTVPI constraints
  • Davide Bacciu and Luigi Di Sotto. A non-negative factorization approach to node pooling in graph convolutional neural networks.
  • Manuel Vimercati, Federico Bianchi, Mauricio Soto and Matteo Palmonari. Mapping Lexical Knowledge to Distributed Representations for Ontology Concept Invention
  • Denise Angilica, Giovambattista Ianni and Francesco Pacenza. Tight Integration of Rule-Based Tools in Game Development
  • Luca Putelli, Alfonso Emilio Gerevini, Ivan Serina and Alberto Lavelli. Applying Self-Interaction Attention for Extracting Drug-Drug Interactions
  • Rossana Damiano, Vincenzo Lombardo, Antonio Pizzo and Giulia Monticone. Artificial Intelligence for dramatic performance
  • Amedeo Cesta, Gabriella Cortellessa, Riccardo De Benedictis, Carlo De Medio, Francesca Fracasso and Carla Limongelli. Toward Automated Courseware Production for the ExPLoRAA Tutoring Environment
  • Tahir Mehmood, Alberto Lavelli, Alfonso Gerevini and Ivan Serina. Leveraging Multi-task Learning for Biomedical Named Entity Recognition
  • Cataldo Musto, Pierpaolo Basile and Giovanni Semeraro. Hybrid Semantics-aware Recommendations Exploiting Knowledge Graph Embeddings
  • Michal Zawidzki and Yaroslav Petrukhin. From simplified Kripke-style semantics to simplified analytic tableaux for some normal modal logics
  • Domenico Sacca' and Edoardo Serra. Number of Minimal Hypergraph Transversals and Complexity of of IFM with Infrequency: high in theory, but often not so much in practice!
  • Corrado Loglisci and Donato Malerba. Periodicity Detection of Emotional Communities in Microblogging
  • Luciano Serafini and Paolo Traverso. Learning abstract planning domains and mappings to real world perceptions
  • Gloria Beraldo, Enrico Termine and Emanuele Menegatti. Shared-Autonomy Navigation for mobile robots driven by a door detection module

Discussion papers