


default search action
20th AI*IA 2021: Virtual Event
- Stefania Bandini

, Francesca Gasparini
, Viviana Mascardi
, Matteo Palmonari
, Giuseppe Vizzari
:
AIxIA 2021 - Advances in Artificial Intelligence - 20th International Conference of the Italian Association for Artificial Intelligence, Virtual Event, December 1-3, 2021, Revised Selected Papers. Lecture Notes in Computer Science 13196, Springer 2022, ISBN 978-3-031-08420-1
Planning and Strategies
- Hossein Karami, Antony Thomas, Fulvio Mastrogiovanni:

Task Allocation for Multi-robot Task and Motion Planning: A Case for Object Picking in Cluttered Workspaces. 3-17 - Francesco Percassi

, Enrico Scala
, Mauro Vallati
:
A Sound (But Incomplete) Polynomial Translation from Discretised PDDL+ to Numeric Planning. 18-31 - Riccardo De Benedictis

, Gloria Beraldo
, Rami Reddy Devaram
, Amedeo Cesta
, Gabriella Cortellessa
:
Enhancing Telepresence Robots with AI: Combining Services to Personalize and React. 32-45 - Roberto Gallotta

, Roberto Capobianco:
Tafl-ES: Exploring Evolution Strategies for Asymmetrical Board Games. 46-58
Constraints, Argumentation, and Logic Programming
- Fernanda N. T. Furukita, Fernando J. M. Marcellino, Jaime Simão Sichman:

Combining DCOP and MILP for Complex Local Optimization Problems. 61-76 - Stefano Demarchi, Marco Menapace, Armando Tacchella:

Automated Design of Elevator Systems: Experimenting with Constraint-Based Approaches. 77-90 - Roberta Calegari, Giuseppe Contissa, Giuseppe Pisano, Galileo Sartor, Giovanni Sartor:

Modular Logic Argumentation in Arg-tuProlog. 91-103 - Giuseppe Pisano

, Roberta Calegari
, Andrea Omicini
, Giovanni Sartor
:
Burden of Persuasion in Meta-argumentation. 104-119
Knowledge Representation, Reasoning, and Learning
- Valeria Fionda

, Gianluigi Greco
, Marco Antonio Mastratisi:
Reasoning About Smart Contracts Encoded in LTL. 123-136 - Sagar Malhotra, Luciano Serafini:

A Combinatorial Approach to Weighted Model Counting in the Two-Variable Fragment with Cardinality Constraints. 137-152 - Gabriele Sartor

, Davide Zollo, Marta Cialdea Mayer, Angelo Oddi
, Riccardo Rasconi
, Vieri Giuliano Santucci:
Option Discovery for Autonomous Generation of Symbolic Knowledge. 153-167
Natural Language Processing
- Manuel Borroto, Francesco Ricca

, Bernardo Cuteri
:
A Neural-Machine-Translation System Resilient to Out of Vocabulary Words for Translating Natural Language to SPARQL. 171-184 - Emilio Sulis

, Llio Bryn Humphreys
, Davide Audrito
, Luigi Di Caro
:
Exploiting Textual Similarity Techniques in Harmonization of Laws. 185-197 - Marco Anteghini

, Jennifer D'Souza
, Vítor A. P. Martins dos Santos
, Sören Auer
:
Easy Semantification of Bioassays. 198-212 - Melika Golestani, Zeinab Borhanifard, Farnaz Tahmasebian, Heshaam Faili:

Pruned Graph Neural Network for Short Story Ordering. 213-227 - Claudia Breazzano, Danilo Croce, Roberto Basili:

Multi-task and Generative Adversarial Learning for Robust and Sustainable Text Classification. 228-244 - Alessio Miaschi

, Andrea Amelio Ravelli
, Felice Dell'Orletta
:
Punctuation Restoration in Spoken Italian Transcripts with Transformers. 245-260
AI for Content and Social Media Analysis
- Vincenzo Auletta

, Antonio Coppola
, Diodato Ferraioli
:
On the Impact of Social Media Recommendations on Opinion Consensus. 263-278 - Elisabetta Fersini

, Giulia Rizzi
, Aurora Saibene
, Francesca Gasparini
:
Misogynous MEME Recognition: A Preliminary Study. 279-293
Signal Processing: Images, Videos and Speech
- Dalila Ressi

, Mara Pistellato
, Andrea Albarelli
, Filippo Bergamasco
:
A Relevance-Based CNN Trimming Method for Low-Resources Embedded Vision. 297-309 - Giorgio De Magistris

, Riccardo Caprari, Giulia Castro, Samuele Russo
, Luca Iocchi
, Daniele Nardi
, Christian Napoli
:
Vision-Based Holistic Scene Understanding for Context-Aware Human-Robot Interaction. 310-325 - Sergio Caputo, Giovanna Castellano

, Francesco Greco
, Corrado Mencar
, Niccolò Petti
, Gennaro Vessio
:
Human Detection in Drone Images Using YOLO for Search-and-Rescue Operations. 326-337 - Simone Bianco

, Luigi Celona
, Intissar Khalifa, Paolo Napoletano
, Alexey Petrovsky, Flavio Piccoli
, Raimondo Schettini
, Ivan Shanin:
ArabCeleb: Speaker Recognition in Arabic. 338-347 - Intissar Khalifa, Ridha Ejbali

, Paolo Napoletano
, Raimondo Schettini
, Mourad Zaied
:
Static, Dynamic and Acceleration Features for CNN-Based Speech Emotion Recognition. 348-358 - Aurora Saibene

, Francesca Gasparini
, Jordi Solé-Casals
:
EEG-Based BCIs for Elderly Rehabilitation Enhancement Exploiting Artificial Data. 359-374
Machine Learning for Argumentation, Explanation, and Exploration
- Federico Cerutti

:
Supporting Trustworthy Artificial Intelligence via Bayesian Argumentation. 377-388 - Nicola Picchiotti

, Marco Gori:
Logic Constraints to Feature Importance. 389-402 - Nicola Picchiotti

, Marco Gori:
Clustering-Based Interpretation of Deep ReLU Network. 403-412 - Jim Martin Catacora Ocana, Roberto Capobianco, Daniele Nardi:

Exploration-Intensive Distractors: Two Environment Proposals and a Benchmarking. 413-428 - Purin Sukpanichnant, Antonio Rago

, Piyawat Lertvittayakumjorn, Francesca Toni
:
Neural QBAFs: Explaining Neural Networks Under LRP-Based Argumentation Frameworks. 429-444
Machine Learning and Applications
- Kaveena Persand, Andrew Anderson, David Gregg:

Domino Saliency Metrics: Improving Existing Channel Saliency Metrics with Structural Information. 447-461 - Domenico Amato, Giosuè Lo Bosco, Raffaele Giancarlo:

Learned Sorted Table Search and Static Indexes in Small Model Space. 462-477 - Giuseppina Andresini

, Annalisa Appice
, Domenico Dell'Olio, Donato Malerba
:
Siamese Networks with Transfer Learning for Change Detection in Sentinel-2 Images. 478-489 - Salvatore Gaglio, Andrea Giammanco

, Giuseppe Lo Re, Marco Morana:
Adversarial Machine Learning in e-Health: Attacking a Smart Prescription System. 490-502 - Tuan D. Pham:

Deep Learning of Recurrence Texture in Physiological Signals. 503-514 - Ahmed Badar

, Arnav Varma
, Adrian Staniec, Mahmoud Gamal, Omar Magdy, Haris Iqbal, Elahe Arani
, Bahram Zonooz:
Highlighting the Importance of Reducing Research Bias and Carbon Emissions in CNNs. 515-531 - Vitor A. C. Horta, Alessandra Mileo:

Generating Local Textual Explanations for CNNs: A Semantic Approach Based on Knowledge Graphs. 532-549 - Sayo M. Makinwa, Biagio La Rosa

, Roberto Capobianco
:
Detection Accuracy for Evaluating Compositional Explanations of Units. 550-563 - Daniele Margiotta, Danilo Croce, Marco Rotoloni, Barbara Cacciamani, Roberto Basili:

Knowledge-Based Neural Pre-training for Intelligent Document Management. 564-579 - Youness Moukafih, Nada Sbihi, Mounir Ghogho, Kamel Smaïli:

Improving Machine Translation of Arabic Dialects Through Multi-task Learning. 580-590 - Giorgio Lazzarinetti

, Nicola Massarenti
, Fabio Sgrò
, Andrea Salafia
:
Continuous Defect Prediction in CI/CD Pipelines: A Machine Learning-Based Framework. 591-606
AI Applications
- Allegra De Filippo

, Michele Lombardi, Michela Milano:
Robust Optimization Models For Local Flexibility Characterization of Virtual Power Plants. 609-623 - Feras A. Batarseh

, Dominick Perini
, Qasim Wani
, Laura J. Freeman
:
Explainable Artificial Intelligence for Technology Policy Making Using Attribution Networks. 624-637 - Marco Esposito

, Leonardo Picchiami
:
A Comparative Study of AI Search Methods for Personalised Cancer Therapy Synthesis in COPASI. 638-654 - Angela Pappagallo:

Effective Analysis of Industry-Relevant Cyber-Physical Systems via Statistical Model Checking. 655-670 - Simone Caruso

, Giuseppe Galatà
, Marco Maratea
, Marco Mochi
, Ivan Porro
:
An ASP-Based Approach to Scheduling Pre-operative Assessment Clinic. 671-688 - Stjepan Zelic, Marko Durasevic, Domagoj Jakobovic, Lucija Planinic:

Solving the Dial-a-Ride Problem Using an Adapted Genetic Algorithm. 689-699 - Massimiliano Ronzani

, Roger Ferrod
, Chiara Di Francescomarino, Emilio Sulis, Roberto Aringhieri, Guido Boella, Enrico Brunetti
, Luigi Di Caro, Mauro Dragoni, Chiara Ghidini, Renata Marinello:
Unstructured Data in Predictive Process Monitoring: Lexicographic and Semantic Mapping to ICD-9-CM Codes for the Home Hospitalization Service. 700-715

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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














