<!DOCTYPE html>
<!-- CEURVERSION=2020-07-09 -->
<html lang="en">
<head>
<meta http-equiv="Content-type" content="text/html;charset=utf-8">
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<link rel="stylesheet" type="text/css" href="../ceur-ws.css">
<link rel="stylesheet" type="text/css" href="../aixia.css">
<title>CEUR-WS.org/Vol-3883 - 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</title>
</head>
<!--CEURLANG=eng -->
<body>



<table style="border: 0; border-spacing: 0; border-collapse: collapse; width: 95%">
<tbody><tr>
<td style="text-align: left; vertical-align: middle">
<a href="http://ceur-ws.org/"><div id="CEURWSLOGO"></div></a>
</td>
<td style="text-align: right; vertical-align: middle">
<a href="http://ceur-ws.org/aixia.html"><div id="AIXIALOGO"></div></a>
</td>
<td style="text-align: right; vertical-align: middle">
<div style="float:left" id="CEURCCBY"></div>
<span class="CEURVOLNR">Vol-3883</span> <br>
<span class="CEURURN">urn:nbn:de:0074-3883-1</span>
<p class="unobtrusive copyright" style="text-align: justify">Copyright &copy; 2024 for 
the individual papers by the papers' authors. 
Copyright &copy; <span class="CEURPUBYEAR">2024</span> 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
<A HREF="https://creativecommons.org/licenses/by/4.0/">(<span class="CEURLIC">CC BY 4.0</span>)</A>.</p>
</td>
</tr>
</tbody></table>

<hr>
<br><br><br>

<h1><a href="https://aixia2024.events.unibz.it/workshops/"><span class="CEURVOLACRONYM">AI4CC-IPS-RCRA-SPIRIT 2024</span></a><br>
<span class="CEURVOLTITLE">
   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</span></h1>
<br>

<h3>
<span class="CEURFULLTITLE">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)
</span><br>co-located with 23rd International Conference of the Italian Association for Artificial Intelligence  <span class="CEURCOLOCATED">AIxIA 2024</span><br>
</h3>
<h3><span class="CEURLOCTIME">November 25-28th, 2024, Bolzano, Italy</span>.</h3> 
<br>
<b> Edited by </b>
<p>


</p><h3>
   <span class="CEURVOLEDITOR">Diego Aineto</span> 1<br>
   <span class="CEURVOLEDITOR">Riccardo De Benedictis</span> 2<br>
   <span class="CEURVOLEDITOR">Marco Maratea</span> 3<br>
   <span class="CEURVOLEDITOR">Munyque Mittelmann</span> 4<br>
   <span class="CEURVOLEDITOR">Gianpiero Monaco</span> 5<br>
   <span class="CEURVOLEDITOR">Enrico Scala</span> 1<br>
   <span class="CEURVOLEDITOR">Luciano Serafini</span> 6<br>
   <span class="CEURVOLEDITOR">Ivan Serina</span> 1<br>
   <span class="CEURVOLEDITOR">Francesco Spegni</span> 7<br>
   <span class="CEURVOLEDITOR">Elisa Tosello</span> 6<br>
   <span class="CEURVOLEDITOR">Alessandro Umbrico</span> 2<br>
   <span class="CEURVOLEDITOR">Mauro Vallati</span> 8<br>

</h3>



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

<br><br><br>




<div class="CEURTOC">
<h2> Table of Contents </h2>

<ul>
  
<li id="xfrontmatter"><a href="xfrontmatter.pdf">AI4CC 2024, IPS 2024, RCRA 2024, and SPIRIT 2024 Workshops front matter</a> 
</li>

<li id="preface">
<A href="preface.pdf">Preface</A><BR>
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 <span class="CEURSUBMITTEDPAPERS">28</span> papers submitted for peer-review to these workshops. Out of these, 
<span class="CEURACCEPTEDPAPERS">24</span> papers were accepted for this volume.
<span class="CEURACCEPTEDREGULARPAPERS">16</span> as regular papers, 
<span class="CEURACCEPTEDSHORTPAPERS">7</span> as short papers
and 1 as extended abstracts.
</li>
</ul>
<BR>
   
<h3><span class="CEURSESSION">Artificial Intelligence for Climate Change 2024</span> (<a href="http://ai4cc-2024.unibs.it/">AI4CC 2024</a>)</h3>
   
<ul>
<li id="paper1_AI4CC3">
   <a href="paper1_AI4CC3.pdf">
     <span class="CEURTITLE">A Novel Methodology for AI-based Sorting of Post-Consumer Textile Using Spectrophotometer (short paper)</span>
   </a><br>
   <span class="CEURAUTHOR">Megan Robinson</span>, 
   <span class="CEURAUTHOR">Saikat Ghosh</span>, 
   <span class="CEURAUTHOR">Parikshit Goswami</span>, 
   <span class="CEURAUTHOR">Mauro Vallati</span>
 </li>
 
 <li id="paper2_AI4CC5">
   <a href="paper2_AI4CC5.pdf">
     <span class="CEURTITLE">What's Behind This Water Table Depth Forecasting? RISE Application for Spatial, Temporal, and Spatio-Temporal Explanations</span>
   </a><br>
   <span class="CEURAUTHOR">Matteo Salis</span>, 
   <span class="CEURAUTHOR">Gabriele Sartor</span>, 
   <span class="CEURAUTHOR">Marco Pellegrino</span>, 
   <span class="CEURAUTHOR">Stefano Ferraris</span>, 
   <span class="CEURAUTHOR">Abdourrahmane M. Atto</span>, 
   <span class="CEURAUTHOR">Rosa Meo</span>
 </li>
 
 <li id="paper3_AI4CC8">
   <a href="paper3_AI4CC8.pdf">
     <span class="CEURTITLE">Deep Learning for Land Cover Segmentation in Agricultural Regions Using Aerial Datasets</span>
   </a><br>
   <span class="CEURAUTHOR">Girma Tariku</span>, 
   <span class="CEURAUTHOR">Isabella Ghiglieno</span>, 
   <span class="CEURAUTHOR">Anna Simonetto</span>, 
   <span class="CEURAUTHOR">Gianni Gilioli</span>, 
   <span class="CEURAUTHOR">Ivan Serina</span>
 </li>
 
 <li id="paper4_AI4CC7">
  <a href="paper4_AI4CC7.pdf">
    <span class="CEURTITLE">Assessing the Impact of Climate Change on Mineral-Associated Organic Carbon (MAOC) Using Machine Learning Models</span>
  </a><br>
  <span class="CEURAUTHOR">Tewabe Chekole Workneh</span>, 
  <span class="CEURAUTHOR">Matteo Cristani</span>, 
  <span class="CEURAUTHOR">Claudio Tomazzoli</span>
</li> 

 <li id="paper5_AI4CC4">
   <a href="paper5_AI4CC4.pdf">
     <span class="CEURTITLE">Urban Heat Island. Machine Learning Models for Analysis and Maker Approach for Mitigation (short paper)</span>
   </a><br>
   <span class="CEURAUTHOR">Ermanno Zuccarini</span>
 </li>

</ul>


<h3><span class="CEURSESSION">Planning and Scheduling 2024</span> (<a href="http://ips2024.unibs.it/">IPS 2024</a>)</h3>

<ul>
<li id="paper1_IPS7">
  <a href="paper1_IPS7.pdf">
    <span class="CEURTITLE">One to Rule Them All: Natural Language to Bind Communication, Perception and Action</span>
  </a> <br>
  <span class="CEURAUTHOR">Simone Colombani</span>, 
  <span class="CEURAUTHOR">Dimitri Ognibene</span>, 
  <span class="CEURAUTHOR">Giuseppe Boccignone</span>
</li>

<li id="paper2_IPS3">
  <a href="paper2_IPS3.pdf">
    <span class="CEURTITLE">Towards Automated Planning of Level Structures for Digital Interventions</span>
  </a><br>
  <span class="CEURAUTHOR">Lorenzo J. James</span>, 
  <span class="CEURAUTHOR">Emanuele De Pellegrin</span>, 
  <span class="CEURAUTHOR">Laura Genga</span>, 
  <span class="CEURAUTHOR">Barbara Montagne</span>, 
  <span class="CEURAUTHOR">Pieter Van Gorp</span>, 
  <span class="CEURAUTHOR">Ronald P. A. Petrick</span>
</li>

<li id="paper3_IPS2">
  <a href="paper3_IPS2.pdf">
    <span class="CEURTITLE">Automated PDDL Domain File Generation for Enhancing Production System Development based on SysML Models</span>
  </a><br>
  <span class="CEURAUTHOR">Hamied Nabizada</span>, 
  <span class="CEURAUTHOR">Tom Jeleniewski</span>, 
  <span class="CEURAUTHOR">Lasse Beers</span>, 
  <span class="CEURAUTHOR">Felix Gehlhoff</span>, 
  <span class="CEURAUTHOR">Alexander Fay</span>
</li>

<li id="paper4_IPS4">
  <a href="paper4_IPS4.pdf">
    <span class="CEURTITLE">A Bin-Packing Formulation for Radiotherapy Treatment Scheduling (short paper)</span>
  </a><br>
  <span class="CEURAUTHOR">Chiara Camilla Rambaldi Migliore</span>, 
  <span class="CEURAUTHOR">Giovanni Iacca</span>, 
  <span class="CEURAUTHOR">Marco Roveri</span>
</li>

</ul>


<h3><span class="CEURSESSION">Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion 2024</span> (<a href="https://rcra2024.wordpress.com/">RCRA 2024</a>)</h3>

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


<h3><span class="CEURSESSION">Strategies, Prediction, Interaction, and Reasoning in Italy 2024</span> (<a href="https://sites.google.com/view/spirit2024/">SPIRIT 2024</a>)</h3>


<ul>
   <li id="paper1_SPIRIT_Aruta">
      <a href="paper1_SPIRIT_Aruta.pdf">
        <span class="CEURTITLE">Development of Natural Strategies in Strategic Logics (short paper)</span>
      </a><br>
      <span class="CEURAUTHOR">Marco Aruta</span>, 
      <span class="CEURAUTHOR">Vadim Malvone</span>, 
      <span class="CEURAUTHOR">Aniello Murano</span>
    </li>
    
    <li id="paper2_SPIRIT_Auletta">
      <a href="paper2_SPIRIT_Auletta.pdf">
        <span class="CEURTITLE">How to Mitigate Disagreement and Polarization in Opinion Formation Processes on Social Networks</span>
      </a><br>
      <span class="CEURAUTHOR">Vincenzo Auletta</span>, 
      <span class="CEURAUTHOR">Diodato Ferraioli</span>, 
      <span class="CEURAUTHOR">Grazia Ferrara</span>
    </li>
    
    <li id="paper3_SPIRIT_Bellomarini">
      <a href="paper3_SPIRIT_Bellomarini.pdf">
        <span class="CEURTITLE">Strategic Reasoning for BitML Smart Contracts</span>
      </a><br>
      <span class="CEURAUTHOR">Luigi Bellomarini</span>, 
      <span class="CEURAUTHOR">Marco Favorito</span>, 
      <span class="CEURAUTHOR">Giuseppe Galano</span>
    </li>
    
    <li id="paper4_SPIRIT_Ferrando">
      <a href="paper4_SPIRIT_Ferrando.pdf">
        <span class="CEURTITLE">Towards a Compositional and User-friendly Tool for Multi-Agent Systems Verification (short paper)</span>
      </a><br>
      <span class="CEURAUTHOR">Angelo Ferrando</span>, 
      <span class="CEURAUTHOR">Vadim Malvone</span>
    </li>
   
    <li id="paper5_SPIRIT_DeGiacomo">
      <a href="paper5_SPIRIT_DeGiacomo.pdf">
        <span>Situation Calculus Temporally Lifted Abstractions for Generalized Planning -- Extended Abstract</span>
      </a><br>
      <span>Giuseppe De Giacomo</span>, 
      <span>Yves Lespérance</span>, 
      <span>Matteo Mancanelli</span>
    </li>
    
    <li id="paper6_SPIRIT_Godziszewski">
      <a href="paper6_SPIRIT_Godziszewski.pdf">
        <span class="CEURTITLE">Temporal (Non-)Paradox: Yablo's Sequences in LTL over Finite Traces (short paper)</span>
      </a><br>
      <span class="CEURAUTHOR">Michał Tomasz Godziszewski</span>, 
      <span class="CEURAUTHOR">Davide Catta</span>, 
      <span class="CEURAUTHOR">Aniello Murano</span>
    </li>

    <li id="paper7_SPIRIT_Leneutre">
      <a href="paper7_SPIRIT_Leneutre.pdf">
        <span class="CEURTITLE">Reasoning about Real-Time and Probability on Obstruction Logic</span>
      </a><br>
      <span class="CEURAUTHOR">Jean Leneutre</span>, 
      <span class="CEURAUTHOR">Vadim Malvone</span>, 
      <span class="CEURAUTHOR">James Ortiz</span>
    </li>
   

</ul>
</div>


<hr>
<span class="unobtrusive">
2024-12-20: submitted by Ivan Serina, 
            metadata incl. bibliographic data published under <A HREF="https://creativecommons.org/publicdomain/zero/1.0/">Creative Commons CC0</A><br>
<span class="CEURPUBDATE">2024-12-24</span>: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073)
	|<a href="https://validator.w3.org/nu/?doc=http%3A%2F%2Fceur-ws.org%2FVol-3883%2F">valid HTML5</a>|
</span>
</body></html>
