|  | Vol-3345 urn:nbn:de:0074-3345-7 Copyright © 2022 for the individual papers by the papers' authors. Copyright © 2022 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).

# IPS 2022, RiCeRcA 2022, and SPIRIT 2022
Planning and Scheduling, RCRA Incontri E Confronti, and Strategies, Prediction, Interaction, and Reasoning in Italy 2022

### Proceedings of the 10th Italian workshop on Planning and Scheduling (IPS 2022), RCRA Incontri E Confronti (RiCeRcA 2022), and the workshop on Strategies, Prediction, Interaction, and Reasoning in Italy (SPIRIT 2022)
co-located with 21st International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022)

### November 28 - December 2, 2022, University of Udine, Udine, Italy.

Edited by

### Riccardo De Benedictis 1
Nicola Gatti 2
Marco Maratea 3,4
Andrea Micheli 5
Aniello Murano 6
Enrico Scala 7
Luciano Serafini 5
Ivan Serina 7
Alessandro Umbrico 8
Mauro Vallati 9

1 National Research Council (CNR), Italy
2 Politecnico di Milano, Italy
3 University of Genova, Italy
4 Università della Calabria, Italy
5 Bruno Kessler Foundation, Italy
6 Università degli Studi di Napoli Federico II, Italy
7 University of Brescia, Italy
8 National Research Council (CNR), Italy
9 University of Huddersfield, UK

## Table of Contents

- IPS 2022, RiCeRcA 2022, and SPIRIT 2022 front matter
- Preface
  This volume contains the papers presented at IPS 2022 (10th Italian Workshop on Planning and Scheduling), RiCeRcA 2022 (RCRA Incontri E Confronti), and SPIRIT22 (Workshop on Strategies, Prediction, Interaction, and Reasoning in Italy) Workshops, held within the XXI Conference of the Italian Association for Artificial Intelligence (AI*IA 2022), from November 28 to December 2, 2022. Summary: There were 24 papers submitted for peer-review to these workshops. Out of these, 15 papers were accepted for this volume, 5 as regular papers and 10 as short papers.

### 10th Italian Workshop on Planning and Scheduling (IPS-2022)

- Explaining the Behaviour of Hybrid Systems with PDDL+ Planning (Extended Abstract)
  Diego Aineto, Eva Onaindia, Miquel Ramirez, Enrico Scala, Ivan Serina
- Addressing the Symbol Grounding Problem with Constraints in Neuro-Symbolic Planning (Short Paper)
  Aymeric Barbin, Federico Cerutti, Alfonso Emilio Gerevini
- Branching and Pruning for Timeline-based Planning
  Riccardo De Benedictis, Gloria Beraldo, Amedeo Cesta, Gabriella Cortellessa
- Planning with PDDL3 Qualitative Constraints for Cost-Optimal Solutions Through Compilation (Short Paper)
  Luigi Bonassi, Enrico Scala, Alfonso Emilio Gerevini
- The Epistemic Planning Domain Definition Language (Short Paper)
  Alessandro Burigana, Francesco Fabiano
- Exploring the Unified Planning Framework for a More Integrated and Flexible Fault Flight Path Planning System (Short Paper)
  Sondes Morchedi, Prakash Jamakatel, Jane Jean Kiam
- A Preliminary Study on BERT applied to Automated Planning
  Lorenzo Serina, Mattia Chiari, Alfonso E. Gerevini, Luca Putelli, Ivan Serina

### RCRA Incontri E Confronti (RiCeRcA 2022)

- AI and Videogames: a “Drosophila” for Declarative Methods
  Denise Angilica, Giovambattista Ianni, Francesca A. Lisi, Luca Pulina
- Verification of Neural Networks: Challenges and Perspectives in the AIDOaRt Project (Short Paper)
  Romina Eramo, Tiziana Fanni, Dario Guidotti, Laura Pandolfo, Luca Pulina, Katiuscia Zedda
- Verification of Neural Networks for Safety and Security-critical Domains
  Dario Guidotti
- Building the Semantic Portal of Italian Divagrafie (Short Paper)
  Laura Pandolfo, Lucia Cardone, Luisa Cutzu, Beatrice Seligardi, Giulia Simi

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

- On Augmented Stochastic Submodular Optimization: Adaptivity, Multi-Rounds, Budgeted, and Robustness (Short Paper)
  Vincenzo Auletta, Diodato Ferraioli, Cosimo Vinci
- Hedonic Games with Fixed-Size Coalitions (Extended Abstract)
  Vittorio Bilò, Gianpiero Monaco, Luca Moscardelli
- Towards a Formal Verification of Attack Graphs
  Davide Catta, Jean Leneutre, Vadim Malvone
- Explicit and Symbolic Approaches for Parity Games (Short Paper)
  Antonio Di Stasio
- Give Me a Hand: How to Use Model Checking for Multi-Agent Systems to Help Runtime Verification and Vice Versa (Short Paper)
  Angelo Ferrando, Vadim Malvone
- Logics for Reasoning about Auctions (Short Paper)
  Munyque Mittelmann

2022-02-13: submitted by Ivan Serina, metadata incl. bibliographic data published under Creative Commons CC0
2023-02-15: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|