Table of Contents

• Task Allocation for Multi-robot Task and Motion Planning: A Case for Object Picking in Cluttered WorkspacesHossein Karami 0003, Antony Thomas, Fulvio Mastrogiovanni. 3-17 [doi]
• A Sound (But Incomplete) Polynomial Translation from Discretised PDDL+ to Numeric PlanningFrancesco Percassi, Enrico Scala, Mauro Vallati. 18-31 [doi]
• Enhancing Telepresence Robots with AI: Combining Services to Personalize and ReactRiccardo De Benedictis, Gloria Beraldo, Rami Reddy Devaram, Amedeo Cesta, Gabriella Cortellessa. 32-45 [doi]
• Tafl-ES: Exploring Evolution Strategies for Asymmetrical Board GamesRoberto Gallotta, Roberto Capobianco. 46-58 [doi]
• Combining DCOP and MILP for Complex Local Optimization ProblemsFernanda N. T. Furukita, Fernando J. M. Marcellino, Jaime Simão Sichman. 61-76 [doi]
• Automated Design of Elevator Systems: Experimenting with Constraint-Based ApproachesStefano Demarchi, Marco Menapace, Armando Tacchella. 77-90 [doi]
• Modular Logic Argumentation in Arg-tuPrologRoberta Calegari, Giuseppe Contissa, Giuseppe Pisano, Galileo Sartor, Giovanni Sartor. 91-103 [doi]
• Burden of Persuasion in Meta-argumentationGiuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor. 104-119 [doi]
• Reasoning About Smart Contracts Encoded in LTLValeria Fionda, Gianluigi Greco, Marco Antonio Mastratisi. 123-136 [doi]
• A Combinatorial Approach to Weighted Model Counting in the Two-Variable Fragment with Cardinality ConstraintsSagar Malhotra, Luciano Serafini. 137-152 [doi]
• Option Discovery for Autonomous Generation of Symbolic KnowledgeGabriele Sartor, Davide Zollo, Marta Cialdea Mayer, Angelo Oddi, Riccardo Rasconi, Vieri Giuliano Santucci. 153-167 [doi]
• A Neural-Machine-Translation System Resilient to Out of Vocabulary Words for Translating Natural Language to SPARQLManuel Borroto, Francesco Ricca, Bernardo Cuteri. 171-184 [doi]
• Exploiting Textual Similarity Techniques in Harmonization of LawsEmilio Sulis, Llio Bryn Humphreys, Davide Audrito, Luigi Di Caro. 185-197 [doi]
• Easy Semantification of BioassaysMarco Anteghini, Jennifer D'Souza 0001, Vítor A. P. Martins dos Santos, Sören Auer. 198-212 [doi]
• Pruned Graph Neural Network for Short Story OrderingMelika Golestani, Zeinab Borhanifard, Farnaz Tahmasebian, Heshaam Faili. 213-227 [doi]
• Multi-task and Generative Adversarial Learning for Robust and Sustainable Text ClassificationClaudia Breazzano, Danilo Croce, Roberto Basili 0001. 228-244 [doi]
• Punctuation Restoration in Spoken Italian Transcripts with TransformersAlessio Miaschi, Andrea Amelio Ravelli, Felice dell'Orletta. 245-260 [doi]
• On the Impact of Social Media Recommendations on Opinion ConsensusVincenzo Auletta, Antonio Coppola, Diodato Ferraioli. 263-278 [doi]
• Misogynous MEME Recognition: A Preliminary StudyElisabetta Fersini, Giulia Rizzi, Aurora Saibene, Francesca Gasparini. 279-293 [doi]
• A Relevance-Based CNN Trimming Method for Low-Resources Embedded VisionDalila Ressi, Mara Pistellato, Andrea Albarelli, Filippo Bergamasco. 297-309 [doi]
• Vision-Based Holistic Scene Understanding for Context-Aware Human-Robot InteractionGiorgio De Magistris, Riccardo Caprari, Giulia Castro, Samuele Russo, Luca Iocchi, Daniele Nardi, Christian Napoli. 310-325 [doi]
• Human Detection in Drone Images Using YOLO for Search-and-Rescue OperationsSergio Caputo, Giovanna Castellano, Francesco Greco, Corrado Mencar, Niccolò Petti, Gennaro Vessio. 326-337 [doi]
• ArabCeleb: Speaker Recognition in ArabicSimone Bianco 0001, Luigi Celona, Intissar Khalifa, Paolo Napoletano, Alexey Petrovsky, Flavio Piccoli, Raimondo Schettini, Ivan Shanin. 338-347 [doi]
• Static, Dynamic and Acceleration Features for CNN-Based Speech Emotion RecognitionIntissar Khalifa, Ridha Ejbali, Paolo Napoletano, Raimondo Schettini, Mourad Zaied. 348-358 [doi]
• EEG-Based BCIs for Elderly Rehabilitation Enhancement Exploiting Artificial DataAurora Saibene, Francesca Gasparini, Jordi Solé-Casals. 359-374 [doi]
• Supporting Trustworthy Artificial Intelligence via Bayesian ArgumentationFederico Cerutti. 377-388 [doi]
• Logic Constraints to Feature ImportanceNicola Picchiotti, Marco Gori. 389-402 [doi]
• Clustering-Based Interpretation of Deep ReLU NetworkNicola Picchiotti, Marco Gori. 403-412 [doi]
• Exploration-Intensive Distractors: Two Environment Proposals and a BenchmarkingJim Martin Catacora Ocana, Roberto Capobianco, Daniele Nardi. 413-428 [doi]
• Neural QBAFs: Explaining Neural Networks Under LRP-Based Argumentation FrameworksPurin Sukpanichnant, Antonio Rago 0001, Piyawat Lertvittayakumjorn, Francesca Toni. 429-444 [doi]
• Domino Saliency Metrics: Improving Existing Channel Saliency Metrics with Structural InformationKaveena Persand, Andrew Anderson 0001, David Gregg. 447-461 [doi]
• Learned Sorted Table Search and Static Indexes in Small Model SpaceDomenico Amato, Giosuè Lo Bosco, Raffaele Giancarlo. 462-477 [doi]
• Siamese Networks with Transfer Learning for Change Detection in Sentinel-2 ImagesGiuseppina Andresini, Annalisa Appice, Domenico Dell'Olio, Donato Malerba. 478-489 [doi]
• Adversarial Machine Learning in e-Health: Attacking a Smart Prescription SystemSalvatore Gaglio, Andrea Giammanco, Giuseppe Lo Re, Marco Morana. 490-502 [doi]
• Deep Learning of Recurrence Texture in Physiological SignalsTuan D. Pham. 503-514 [doi]
• Highlighting the Importance of Reducing Research Bias and Carbon Emissions in CNNsAhmed Badar, Arnav Varma, Adrian Staniec, Mahmoud Gamal, Omar Magdy, Haris Iqbal, Elahe Arani, Bahram Zonooz. 515-531 [doi]
• Generating Local Textual Explanations for CNNs: A Semantic Approach Based on Knowledge GraphsVitor A. C. Horta, Alessandra Mileo. 532-549 [doi]
• Detection Accuracy for Evaluating Compositional Explanations of UnitsSayo M. Makinwa, Biagio La Rosa, Roberto Capobianco. 550-563 [doi]
• Knowledge-Based Neural Pre-training for Intelligent Document ManagementDaniele Margiotta, Danilo Croce, Marco Rotoloni, Barbara Cacciamani, Roberto Basili 0001. 564-579 [doi]
• Improving Machine Translation of Arabic Dialects Through Multi-task LearningYouness Moukafih, Nada Sbihi, Mounir Ghogho, Kamel Smaïli. 580-590 [doi]
• Continuous Defect Prediction in CI/CD Pipelines: A Machine Learning-Based FrameworkLazzarinetti Giorgio, Massarenti Nicola, Sgrò Fabio, Salafia Andrea. 591-606 [doi]
• Robust Optimization Models For Local Flexibility Characterization of Virtual Power PlantsAllegra De Filippo, Michele Lombardi 0001, Michela Milano. 609-623 [doi]
• Explainable Artificial Intelligence for Technology Policy Making Using Attribution NetworksFeras A. Batarseh, Dominick Perini, Qasim Wani, Laura J. Freeman. 624-637 [doi]
• A Comparative Study of AI Search Methods for Personalised Cancer Therapy Synthesis in COPASIMarco Esposito, Leonardo Picchiami. 638-654 [doi]
• Effective Analysis of Industry-Relevant Cyber-Physical Systems via Statistical Model CheckingAngela Pappagallo. 655-670 [doi]
• An ASP-Based Approach to Scheduling Pre-operative Assessment ClinicSimone Caruso, Giuseppe Galatà, Marco Maratea, Marco Mochi, Ivan Porro. 671-688 [doi]
• Solving the Dial-a-Ride Problem Using an Adapted Genetic AlgorithmStjepan Zelic, Marko Durasevic, Domagoj Jakobovic, Lucija Planinic. 689-699 [doi]
• Unstructured Data in Predictive Process Monitoring: Lexicographic and Semantic Mapping to ICD-9-CM Codes for the Home Hospitalization ServiceMassimiliano Ronzani, Roger Ferrod, Chiara Di Francescomarino, Emilio Sulis, Roberto Aringhieri, Guido Boella, Enrico Brunetti, Luigi Di Caro, Mauro Dragoni, Chiara Ghidini, Renata Marinello. 700-715 [doi]