IPS-RiCeRcA-SPIRIT 2022: 10th Italian Workshop on Planning and Scheduling (IPS 2022), RCRA Incontri E Confronti Workshop (RiCeRcA 2022), and Workshop on Strategies, Prediction, Interaction, and Reasoning in Italy (SPIRIT 2022) Riccardo De Benedictis, Nicola Gatti, Marco Maratea, Andrea Micheli, Aniello Murano, Enrico Scala, Luciano Serafini, Ivan Serina, Alessandro Umbrico and Mauro Vallati Udine, November 28 – December 2, 2022. IPS 2022 (10th Italian workshop on Planning and Scheduling), RiCeRcA 2022 (RCRA Incontri E Confronti), and SPIRIT 2022 (Workshop on Strategies, Prediction, Interaction, and Reasoning in Italy) Workshops, Udine – Italy. © 2022 Copyright for this paper by its authors. Use permitted under Creative Commons License Attribution 4.0 International (CC BY 4.0). CEUR Workshop Proceedings http://ceur-ws.org ISSN 1613-0073 CEUR Workshop Proceedings (CEUR-WS.org) Copyright for these papers by their authors. Use permitted under Creative Commons License Attribution 4.0 International (CC BY 4.0). Editors’ address: Riccardo De Benedictis Institute for Cognitive Science and Technologies (ISTC), National Research Council (CNR), Italy. riccardo.debenedictis@istc.cnr.it Nicola Gatti Dipartimento di Elettronica. Informazione e Bioingegneria, Politecnico di Milano, Italy. nicola.gatti@polimi.it Marco Maratea Dipartimento di Informatica, Bioingegneria, Robotica e Ingegneria dei Sistemi, Università degli Studi di Genova, Italy. marco@dibris.unige.it & Dipartimento di Matematica ed Informatica, Università della Calabria. maratea@mat.unical.it Andrea Micheli Embedded Systems (ES) Department, Bruno Kessler Foundation, Trento, Italy. amicheli@fbk.eu Aiello Murano Dipartimento di Ingegneria elettrica e delle Tecnologie dell’Informazione, Università degli Studi di Napoli Federico II, Italy. aniello.murano@unina.it Enrico Scala Department of Information Engineering, University of Brescia, Italy. enrico.scala@unibs.it Luciano Serafini Fondazione Bruno Kessler, Trento, Italy. serafini@fbk.eu Ivan Serina Department of Information Engineering, University of Brescia, Italy. ivan.serina@unibs.it Alessandro Umbrico Institute for Cognitive Science and Technologies (ISTC), National Research Council (CNR), Italy. alessandro.umbrico@istc.cnr.it Mauro Vallati University of Huddersfield, UK. m.vallati@hud.ac.uk i IPS 2022 Programme Chairs Riccardo De Benedictis National Research Council (CNR), Italy. Andrea Micheli Bruno Kessler Foundation, Italy. Enrico Scala University of Brescia, Italy. Ivan Serina University of Brescia, Italy. Alessandro Umbrico National Research Council (CNR), Italy. IPS 2022 Programme Committee Marco Baioletti, University of Perugia, Italy. Gabriella Cortellessa, ISTC-CNR, Rome, Italy. Giuseppe Della Penna, University of L’Aquila, Italy. Simone Fratini, ESA, Germany. Hector Geffner, Universitat Pompeu Fabra, Barcelona, Spain. Enrico Giunchiglia, University of Genova, Italy. Lee McCluskey, University of Huddersfield, UK. Fabio Mercorio, University of Milan Bicocca, Italy. Roberto Micalizio, University of Torino, Italy. Angelo Oddi, ISTC-CNR, Rome, Italy. Andrea Orlandini, ISTC-CNR, Rome, Italy. Francesco Percassi, University of Huddersfield, UK. Nicola Policella, ESA, Germany. Riccardo Rasconi, ISTC-CNR, Rome, Italy. Ioannis Refanidis, University of Macedonia, Greece. Alessandro Saetti, University of Brescia, Italy. Gabriele Sartor, University of Torino, Italy. Andrea Schaerf, University of Udine, Italy. Mauro Vallati, University of Huddersfield, UK. Kristen Brent Venable, Tulane University, New Orleans, USA. ii RiCeRcA 2022 Programme Chairs Marco Maratea Università degli Studi di Genova, Italy. Luciano Serafini Fondazione Bruno Kessler, Italy. Mauro Vallati University of Huddersfield, UK. RiCeRcA 2022 Programme Committee Matteo Cardellini Politecnico di Torino, Italy. Marco Maratea Università degli Studi di Genova, Italy. Marco Mochi Università degli Studi di Genova, Italy. Mauro Vallati University of Huddersfield, UK. iii SPIRIT 2022 Programme Chairs Nicola Gatti Politecnico di Milano, Italy Aiello Murano Università degli Studi di Napoli Federico II, Italy SPIRIT 2022 Programme Committee Vittorio Bilò Università del Salento, Italy Davide Catta Tèlècom Paris, France Antonio Di Stasio La Sapienza di Roma, Italy Diodato Ferraioli Università di Salerno, Italy Angelo Ferrando Università di Genova, Italy Nicola Gatti Politecnico di Milano, Italy Vadim Malvone Tèlècom Paris, France Munyque Mittelmann Università di Napoli Federico II, Italy Aniello Murano Università di Napoli Federico II, Italy Silvia Stranieri Università di Napoli Federico II, Italy iv Contents Organizing Committees i Preface vii IPS 2022 Regular Papers 1 Explaining the Behaviour of Hybrid Systems with PDDL+ Planning (Extended Abstract) Diego Aineto, Eva Onaindia, Miquel Ramirez, Enrico Scala, Ivan Serina 1 Addressing the Symbol Grounding Problem with Constraints in Neuro- Symbolic Planning Aymeric Barbin, Federico Cerutti, Alfonso Emilio Gerevini 4 Branching and Pruning for Timeline-based Planning Riccardo De Benedictis, Gloria Beraldo, Amedeo Cesta, Gabriella Cortellessa 10 Planning with PDDL3 Qualitative Constraints for Cost-Optimal Solutions Through Compilation Luigi Bonassi, Enrico Scala, Alfonso Emilio Gerevini 22 The Epistemic Planning Domain Definition Language Alessandro Burigana, Francesco Fabiano 31 Exploring the Unified Planning Framework for a More Integrated and Flexible Fault-Tolerant Flight Path Planning System Sondes Morchedi, Prakash Jamakatel, Jane Jean Kiam 37 A Preliminary Study on BERT applied to Automated Planning Lorenzo Serina, Mattia Chiari, Alfonso E. Gerevini, Luca Putelli, Ivan Serina 42 RiCeRcA 2022 Regular Papers 58 AI and videogames: a “drosophila” for declarative methods Denise Angilica, Giovambattista Ianni, Francesca A. Lisi, Luca Pulina 58 Verification of Neural Networks: Challenges and Perspectives in the AIDOaRt Project Romina Eramo, Tiziana Fanni, Dario Guidotti, Laura Pandolfo, Luca Pulina, Katiuscia Zedda 71 Contents v Verification of Neural Networks for Safety and Security-critical Domains Dario Guidotti 79 Building the Semantic Portal of Italian Divagrafie Laura Pandolfo, Lucia Cardone, Luisa Cutzu, Beatrice Seligardi, Giulia Simi 89 SPIRIT 2022 Regular Papers 96 On Augmented Stochastic Submodular Optimization: Adaptivity, Multi- Rounds, Budgeted, and Robustness Vincenzo Auletta, Diodato Ferraioli, Cosimo Vinci 96 Hedonic Games with Fixed-Size Coalitions Vittorio Bilò, Gianpiero Monaco, Luca Moscardelli 102 Towards a Formal Verification of Attack Graphs Davide Catta, Jean Leneutre, Vadim Malvone 105 Explicit and Symbolic Approaches for Parity Games Antonio Di Stasio 116 Give Me a Hand: How to Use Model Checking for Multi-Agent Systems to Help Runtime Verification and Vice Versa Angelo Ferrando, Vadim Malvone 123 Logics for Reasoning about Auctions Munyque Mittelmann 131 Contents vi IPS 2022 papers not included here and published elsewhere Online Grounding of Symbolic Planning Domains in Unknown Environments Leonardo Lamanna, Luciano Serafini, Alessandro Saetti, Alfonso Gerevini and Paolo Traverso Mauro ; in Proceedings of the 19th International Conference on Principles of Knowledge Repre- sentation and Reasoning, KR 2022, Haifa, Israel. July 31 - August 5, 2022. Effective Real-Time Urban Traffic Routing: An Automated Planning Approach Mauro Vallati and Lukás Chrpa ; in Proceedings of 7th International Conference on Models and Technologies for Intelligent Transportation Systems, MT-ITS 2021, Heraklion, Greece, June 16-17,2021. RiCeRcA 2022 papers not included here and published elsewhere A Neuro-Symbolic Approach for Real-World Event Recognition from Weak Su- pervision Gianluca Apriceno, Andrea Passerini and Luciano Serafini; in Proceedings of the 29th Interna- tional Symposium on Temporal Representation and Reasoning, TIME 2022, November 7-9, 2022, Virtual Conference An ASP-based Approach to Master Surgical Scheduling Linda Cadermatori, Giuseppe Galatà, Carola Lo Monaco, Marco Maratea, Marco Mochi and Marco Schouten; in Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29 - July 1, 2022 Online Learning of Reusable Abstract Models for Object Goal Navigation Tommaso Campari, Leonardo Lamanna, Paolo Traverso, Luciano Serafini and Lamberto Ballan; in Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, CVPR 2022, New Orleans, LA, USA, June 18-24, 2022 An ASP Framework for Efficient Urban Traffic Optimization Matteo Cardellini; in Proceedings of the 38th International Conference on Logic Programming, ICLP 2022 Technical Communications / Doctoral Consortium, Haifa, Israel, 31st July 2022 - 6th August 2022 On Projectivity in Markov Logic Networks Sagar Malhotra and Luciano Serafini; Published on arXiv //doi.org/10.48550/arXiv.2204.04009