


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

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.