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.