


default search action
21st AI*IA 2022: Udine, Italy
- Agostino Dovier
, Angelo Montanari
, Andrea Orlandini
:
AIxIA 2022 - Advances in Artificial Intelligence - XXIst International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 - December 2, 2022, Proceedings. Lecture Notes in Computer Science 13796, Springer 2023, ISBN 978-3-031-27180-9
Hybrid Approaches
- Roberta Calegari
, Federico Sabbatini
:
The PSyKE Technology for Trustworthy Artificial Intelligence. 3-16 - Francesca Alessandra Lisi
, Gioacchino Sterlicchio
:
A Declarative Approach to Contrast Pattern Mining. 17-30
Graphs and Networks
- Damiano Azzolini
, Elena Bellodi
, Fabrizio Riguzzi
:
Approximate Inference in Probabilistic Answer Set Programming for Statistical Probabilities. 33-46 - Dario Della Monica, Giovanni Pagliarini, Guido Sciavicco, Ionel Eduard Stan:
Decision Trees with a Modal Flavor. 47-59 - Patrizio Bellan, Mauro Dragoni, Chiara Ghidini:
Assisted Process Knowledge Graph Building Using Pre-trained Language Models. 60-74 - Dalila Ressi
, Riccardo Romanello
, Carla Piazza
, Sabina Rossi
:
Neural Networks Reduction via Lumping. 75-90 - Alessandro Daniele, Luciano Serafini:
Knowledge Enhanced Neural Networks for Relational Domains. 91-109 - Tommaso Carraro
, Alessandro Daniele
, Fabio Aiolli
, Luciano Serafini
:
Logic Tensor Networks for Top-N Recommendation. 110-123
Multiagent Systems
- Yusuf Izmirlioglu, Loc Pham
, Tran Cao Son, Enrico Pontelli:
A Review of the Muddy Children Problem. 127-139 - Giuseppe Pisano
, Roberta Calegari
, Andrea Omicini
:
Multi-agent Cooperative Argumentation in Arg2P. 140-153 - Luca Squadrone, Danilo Croce, Roberto Basili:
Ethics by Design for Intelligent and Sustainable Adaptive Systems. 154-167
Automated Planning and Scheduling
- Enrico Scala
, Thomas L. McCluskey
, Mauro Vallati
:
Verification of Numeric Planning Problems Through Domain Dynamic Consistency. 171-183 - Enrico Saccon
, Luigi Palopoli
, Marco Roveri
:
Comparing Multi-Agent Path Finding Algorithms in a Real Industrial Scenario. 184-197 - Umberto Grandi, Emiliano Lorini, Timothy Parker, Rachid Alami:
Logic-Based Ethical Planning. 198-211 - Ilaria Cestari, Luigi Portinale, Pier Luigi Riva:
A Hybrid Recommender System with Implicit Feedbacks in Fashion Retail. 212-224 - Riccardo De Benedictis
, Gloria Beraldo
, Amedeo Cesta
, Gabriella Cortellessa
:
Incremental Timeline-Based Planning for Efficient Plan Execution and Adaptation. 225-240 - Ermanno Bartoli, Francesco Argenziano, Vincenzo Suriani
, Daniele Nardi
:
Knowledge Acquisition and Completion for Long-Term Human-Robot Interactions Using Knowledge Graph Embedding. 241-253 - Roberto Maria Rosati
, Lucas Kletzander, Christian Blum, Nysret Musliu
, Andrea Schaerf:
Construct, Merge, Solve and Adapt Applied to a Bus Driver Scheduling Problem with Complex Break Constraints. 254-267 - Shohreh Haddadan, Elena Cabrio, Axel J. Soto
, Serena Villata:
Topic Modelling and Frame Identification for Political Arguments. 268-281 - Eleonora Iotti
, Alessandro Dal Palù
, Gianluca Contesso, Francesco Bertinelli:
Substitute Plastic Film with Kraft Paper in Automatic Pallet Wrapping: An AI Pipeline. 282-296
AI Applications
- Pavithra Sridhar, V. Aananth, Madhav Aggarwal, R. Leela Velusamy:
Transformer Based Motion In-Betweening. 299-312 - Antonio Lieto
, Gian Luca Pozzato
, Alberto Valese
, Mattia Zito:
A Logic-Based Tool for Dynamic Generation and Classification of Musical Content. 313-326 - Elena Mariolina Galdi, Marco Alberti, Alessandro D'Ausilio, Alice Tomassini:
Why Can Neural Networks Recognize Us by Our Finger Movements? 327-341
Miscellany
- Nicola Olivetti, Nikola Panic, Gian Luca Pozzato
:
Labelled Sequent Calculi for Conditional Logics: Conditional Excluded Middle and Conditional Modus Ponens Finally Together. 345-357 - Maciej Sliwowski
, Matthieu Martin
, Antoine Souloumiac, Pierre Blanchart, Tetiana Aksenova
:
Deep Learning for ECoG Brain-Computer Interface: End-to-End vs. Hand-Crafted Features. 358-373 - Angelo Oddi
, Riccardo Rasconi
, Marco Baioletti
, Vieri Giuliano Santucci
, Hamish Beck:
Quantum Circuit Compilation for the Graph Coloring Problem. 374-386 - Riccardo Caccavale
, Mirko Ermini, Eugenio Fedeli, Alberto Finzi
, Vincenzo Lippiello
, Fabrizio Tavano
:
Toward a Heterogeneous Multi-robot Framework for Priority-Based Sanitization of Railway Stations. 387-401 - Sara Ceschia
, Luca Di Gaspero
, Andrea Schaerf
:
Simulated Annealing for the Home Healthcare Routing and Scheduling Problem. 402-412 - Damiano Azzolini
, Elena Bellodi
, Fabrizio Riguzzi
:
MAP Inference in Probabilistic Answer Set Programs. 413-426 - Marco Roveri
, Franc Ivankovic, Luigi Palopoli
, Daniele Fontanelli
:
Verifying a Stochastic Model for the Spread of a SARS-CoV-2-Like Infection: Opportunities and Limitations. 427-440
Natural Language Processing
- Luca Molinaro
, Rosalia Tatano
, Enrico Busto, Attilio Fiandrotti
, Valerio Basile
, Viviana Patti
:
DelBERTo: A Deep Lightweight Transformer for Sentiment Analysis. 443-456 - Nicola Arici, Alfonso Emilio Gerevini
, Luca Putelli
, Ivan Serina
, Luca Sigalini:
A BERT-Based Scoring System for Workplace Safety Courses in Italian. 457-471 - Claudiu Daniel Hromei, Lorenzo Cristofori, Danilo Croce, Roberto Basili:
Embedding Contextual Information in Seq2seq Models for Grounded Semantic Role Labeling. 472-485
Keynote talk
- Georg Gottlob
:
Adventures with Datalog: Walking the Thin Line Between Theory and Practice. 489-500

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.