|  | Vol-3883 urn:nbn:de:0074-3883-1 Copyright © 2024 for the individual papers by the papers' authors. Copyright © 2024 for the volume as a collection by its editors. This volume and its papers are published under the Creative Commons License Attribution 4.0 International (CC BY 4.0).

# AI4CC-IPS-RCRA-SPIRIT 2024
Artificial Intelligence for Climate Change 2024, Planning and Scheduling 2024, Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion 2024, Strategies, Prediction, Interaction, and Reasoning in Italy 2024

### Proceedings of the International Workshop on Artificial Intelligence for Climate Change, Italian Workshop on Planning and Scheduling, RCRA Workshop on Experimental evaluation of algorithms for solving problems with combinatorial explosion, and SPIRIT Workshop on Strategies, Prediction, Interaction, and Reasoning in Italy (AI4CC-IPS-RCRA-SPIRIT 2024)
co-located with 23rd International Conference of the Italian Association for Artificial Intelligence AIxIA 2024

### November 25-28th, 2024, Bolzano, Italy.

Edited by

### Diego Aineto 1
Riccardo De Benedictis 2
Marco Maratea 3
Munyque Mittelmann 4
Gianpiero Monaco 5
Enrico Scala 1
Luciano Serafini 6
Ivan Serina 1
Francesco Spegni 7
Elisa Tosello 6
Alessandro Umbrico 2
Mauro Vallati 8

1 University of Brescia, Italy
2 National Research Council (CNR), Italy
3 Università della Calabria, Italy
4 University of Naples Federico II, Italy
5 University of Chieti-Pescara, Italy
6 Bruno Kessler Foundation, Italy
7 Marche Polytechnic University, Italy
8 University of Huddersfield, UK

## Table of Contents

- AI4CC 2024, IPS 2024, RCRA 2024, and SPIRIT 2024 Workshops front matter
- Preface
  This volume contains the papers presented at the International Workshop on Artificial Intelligence for Climate Change (AI4CC 2024), Italian Workshop on Planning and Scheduling (IPS 2024), Workshop on Experimental evaluation of algorithms for solving problems with combinatorial explosion (RCRA 2024), and Workshop on Strategies, Prediction, In teraction, and Reasoning in Italy (SPIRIT 2024), held within the XXIII Conference of the Italian Association for Artificial Intelligence (AI*IA 2024), November 25-28th, 2024, Bolzano, Italy. Summary. There were 28 papers submitted for peer-review to these workshops. Out of these, 24 papers were accepted for this volume. 16 as regular papers, 7 as short papers and 1 as extended abstracts.

### Artificial Intelligence for Climate Change 2024 (AI4CC 2024)

- A Novel Methodology for AI-based Sorting of Post-Consumer Textile Using Spectrophotometer (short paper)
  Megan Robinson, Saikat Ghosh, Parikshit Goswami, Mauro Vallati
- What's Behind This Water Table Depth Forecasting? RISE Application for Spatial, Temporal, and Spatio-Temporal Explanations
  Matteo Salis, Gabriele Sartor, Marco Pellegrino, Stefano Ferraris, Abdourrahmane M. Atto, Rosa Meo
- Deep Learning for Land Cover Segmentation in Agricultural Regions Using Aerial Datasets
  Girma Tariku, Isabella Ghiglieno, Anna Simonetto, Gianni Gilioli, Ivan Serina
- Assessing the Impact of Climate Change on Mineral-Associated Organic Carbon (MAOC) Using Machine Learning Models
  Tewabe Chekole Workneh, Matteo Cristani, Claudio Tomazzoli
- Urban Heat Island. Machine Learning Models for Analysis and Maker Approach for Mitigation (short paper)
  Ermanno Zuccarini

### Planning and Scheduling 2024 (IPS 2024)

- One to Rule Them All: Natural Language to Bind Communication, Perception and Action
  Simone Colombani, Dimitri Ognibene, Giuseppe Boccignone
- Towards Automated Planning of Level Structures for Digital Interventions
  Lorenzo J. James, Emanuele De Pellegrin, Laura Genga, Barbara Montagne, Pieter Van Gorp, Ronald P. A. Petrick
- Automated PDDL Domain File Generation for Enhancing Production System Development based on SysML Models
  Hamied Nabizada, Tom Jeleniewski, Lasse Beers, Felix Gehlhoff, Alexander Fay
- A Bin-Packing Formulation for Radiotherapy Treatment Scheduling (short paper)
  Chiara Camilla Rambaldi Migliore, Giovanni Iacca, Marco Roveri

### Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion 2024 (RCRA 2024)

- Many-valued Temporal Description Logics with Typicality: an Abridged Report (short paper)
  Mario Alviano, Marco Botta, Roberto Esposito, Laura Giordano, Daniele Theseider Dupré
- Stronger integration of circuit and alldifferent propagators for the Hamiltonian Cycle Problem
  Alessandro Bertagnon, Marco Gavanelli
- Recent Answer Set Programming Applications to Scheduling Problems in Digital Health
  Paola Cappanera, Simone Caruso, Carmine Dodaro, Giuseppe Galatà, Marco Gavanelli, Marco Maratea, Cinzia Marte, Marco Mochi, Maddalena Nonato, Marco Roma
- Automata-based LTL_f Satisfiability Checking via ASP
  Andrea Cuteri, Giuseppe Mazzotta, Rafael Peñaloza, Francesco Ricca
- The distributed architecture of SkRobot for efficient robotic agents
  Giovanni De Gasperis, Daniele Di Ottavio, Stefania Costantini, Patrizio Migliarini
- Translating Requirements in Property Specification Patterns using LLMs
  Dario Guidotti, Laura Pandolfo, Tiziana Fanni, Katiuscia Zedda, Luca Pulina
- Anomaly Recognition with Trustworthy Neural Networks: a Case Study in Elevator Control
  Dario Guidotti, Laura Pandolfo, Luca Pulina
- Information Flows during Constraint Satisfaction Search with Dynamic Heuristics: Information from Preprocessing
  Richard J. Wallace

### Strategies, Prediction, Interaction, and Reasoning in Italy 2024 (SPIRIT 2024)

- Development of Natural Strategies in Strategic Logics (short paper)
  Marco Aruta, Vadim Malvone, Aniello Murano
- How to Mitigate Disagreement and Polarization in Opinion Formation Processes on Social Networks
  Vincenzo Auletta, Diodato Ferraioli, Grazia Ferrara
- Strategic Reasoning for BitML Smart Contracts
  Luigi Bellomarini, Marco Favorito, Giuseppe Galano
- Towards a Compositional and User-friendly Tool for Multi-Agent Systems Verification (short paper)
  Angelo Ferrando, Vadim Malvone
- Situation Calculus Temporally Lifted Abstractions for Generalized Planning -- Extended Abstract
  Giuseppe De Giacomo, Yves Lespérance, Matteo Mancanelli
- Temporal (Non-)Paradox: Yablo's Sequences in LTL over Finite Traces (short paper)
  Michał Tomasz Godziszewski, Davide Catta, Aniello Murano
- Reasoning about Real-Time and Probability on Obstruction Logic
  Jean Leneutre, Vadim Malvone, James Ortiz

2024-12-20: submitted by Ivan Serina, metadata incl. bibliographic data published under Creative Commons CC0
2024-12-24: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|