![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
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
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.