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)

-

IPS 2022 (10th Italian workshop on Pl anning and Scheduling), RiCeRcA 2022 (RCRA Incontri E Confronti), and SPIRIT 2022 (Workshop on Strategies, Prediction, Interaction, and Reasoning in Italy) Workshops, Udine – Italy. CPWrEooUrckResehdoinpgs IhStpN:/c1e6u1r3-w-0s.o7r3g ©C2E0U22RCoWpyroigrhktsfohrothpispParpoercbeyeitdsianutghosrs(.CUEseUpeRrm-WitteSd.uonrdger)CreativeCommonsLicenseAttribution4.0International(CCBY4.0). 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. [e-mail] Ivan Serina Department of Information Engineering, University of Brescia, Italy. [e-mail]

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 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 Marco Maratea Marco Mochi Mauro Vallati

Politecnico di Torino, Italy.

Università degli Studi di Genova, Italy.

Università degli Studi di Genova, Italy.

University of Huddersfield, UK. SPIRIT 2022 Programme Chairs

Nicola Gatti Politecnico di Milano, Italy

Aiello Murano Università degli Studi di Napoli Federico II, Italy SPIRIT 2022 Programme Committee iii IPS 2022 Regular Papers 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 NeuroSymbolic Planning

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

Luigi Bonassi, Enrico Scala, Alfonso Emilio Gerevini The Epistemic Planning Domain Definition Language

Alessandro Burigana, Francesco Fabiano Exploring the Unified Planning Framework for a More Integrated and Flexible Fault-Tolerant Flight Path Planning System

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, Iv an Serina RiCeRcA 2022 Regular Papers 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 Romina Eramo, Tiziana Fanni, Dario Guidotti, Laura Pandolfo, Luca Pulina, Katiuscia Zedda vii i 1 1 4 10 22 31 37 42 58 58 Verification of Neural Networks for Safety and Security-critical Domains

Dario Guidotti Building the Semantic Portal of Italian Divagrafie

Laura Pandolfo, Lucia Cardone, Luisa Cutzu, Beatrice Seligardi, Giulia Simi SPIRIT 2022 Regular Papers On Augmented Stochastic Submodular Optimization:

Rounds, Budgeted, and Robustness

Vincenzo Auletta, Diodato Ferraioli, Cosimo Vinci Hedonic Games with Fixed-Size Coalitions

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

Antonio Di Stasio Adaptivity, MultiGive Me a Hand: How to Use Model Checking for Multi-Agent Systems to Help Runtime Verification and Vice Versa

Angelo Ferrando, Vadim Malvone Logics for Reasoning about Auctions

Munyque Mittelmann 89 96 96 102 105 116 123 IPS 2022 papers not included here and published elsewhere

RiCeRcA 2022 papers not included here and published elsewhere

References

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 Representation and Reasoning , KR 2022, Haifa, Israel. July 31 - August 5 , 2022 .

Efective Real-Time Urban Trafic 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 .

pervision Gianluca Apriceno , Andrea Passerini and Luciano Serafini; in Proceedings of the 29th International 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 Eficient Urban Trafic 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