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

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