Preface to the 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 (IPS-RCRA-SPIRIT 2023)

Abstract

The aim of the IPS series of workshops is to bring together researchers interested in diferent aspects of planning and scheduling, and to introduce new researchers to the community. Although the primary target of this workshop is the Italian community of planning and scheduling, over the past years IPS [1, 2] has attracted an international gathering, fostering contributions and participation from around the world. In particular, this year, 12 papers were accepted for presentation at the workshop, involving diferent authors from Italy and other International countries. Moreover, we also had an invited talk by Prof. Luciano Serafini and Dr. Leonardo Lamanna on “Planning, Acting, and Learning: Challenges and (some) Results”. The IPS accepted papers have focused on a variety of topics, such as Hybrid Systems [3, 4], Resilient Planning [5], Temporally Extended Goals [6], Planning Safe Collaborative Behaviors [7], Monte Carlo Tree Search [8], PDDL+ [9], Goal Recognition [10, 11], Timeline-Based Planning [12], Learning to Act [13], Planning as Theorem Proving [14].

-

vii

The scope of the SPIRIT workshop is gathering the scientific communities on artificial intelligence, machine learning, theoretical computer science, multi-agent systems, and microeconomics to promote their integration and contamination. Over the past fiteen years, researchers in artificial intelligence, machine learning, theoretical computer science, multiagent systems, and microeconomics have joined forces to tackle problems involving incentives and computation. Interestingly, while microeconomics provides computer science with the basic models, computer science raises crucial questions related to computation and learning that suggest the study of new models. The result is a synergic integration of all these fields. Interestingly, the final goal is the provision of rigorous, theoretically-proved methods to deal with multiple strategic players. In the last years, these topics have been central in the Artificial and Machine Learning venues.

The SPIRIT 2023 accepted papers mainly focused on algorithmic game theory, including coalition [23, 24] and opinion formation [25], price of anarchy and stability [26], Bayesian persuasion [27], online learning [28], and on formal methods for multi-agent strategic reasoning, including formal aspects of attack graphs [29], model checking with coalition refinements [ 30], verification for bayesian mechanisms [ 31], and modeling of sentiment analysis [32].

As a final remark, the program co-chairs would like to thank all the members of the Program Committees (listed below), as well as the organizers of the AI*IA 2023 Conference.

IPS 2023 Programme Committee

Marco Baioletti, Gabriella Cortellessa, Giuseppe Della Penna, Enrico Giunchiglia, Lee McCluskey, Roberto Micalizio, Angelo Oddi, Matteo Olivato, Andrea Orlandini, Francesco Percassi, Luca Putelli, Riccardo Rasconi, Ioannis Refanidis, Alessandro Saetti, Gabriele Sartor, Andrea Schaerf, Mauro Vallati,

University of Perugia, Italy.

ISTC-CNR, Rome, Italy.

University of L’Aquila, Italy. University of Genova, Italy. University of Huddersfield, UK. University of Torino, Italy.

ISTC-CNR, Rome, Italy.

University of Brescia, Italy. ISTC-CNR, Rome, Italy.

University of Huddersfield, UK. University of Brescia, Italy. ISTC-CNR, Rome, Italy.

University of Macedonia, Greece. University of Brescia, Italy. University of Torino, Italy.

University of Udine, Italy.

University of Huddersfield, UK. Stefano Bistarelli Francesco Calimeri Matteo Cardellini Stefania Costantini Carmine Dodaro Wolfgang Faber Andrea Formisano Toni Mancini Marco Maratea Joao Marques-Silva Giuseppe Mazzotta Marco Mochi Francesco Percassi Francesco Santini Valentino Santucci Ivan Serina Mauro Vallati Johannes Wallner

Vittorio Bilò

Matteo Castiglioni Davide Catta Andrea Celli Gianlorenzo D’Angelo Diodato Ferraioli Angelo Ferrando Vadim Malvone Alberto Marchesi

Carmine Ventre References

SPIRIT 2023 Programme Committee viii

RCRA 2023 Programme Committee [1] R. De Benedictis, N. Gatti, M. Maratea, A. Micheli, A. Murano, E. Scala, L. Serafini, I. Serina, A. Umbrico, M. Vallati (Eds.), 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

References

2022 ), November 28 - December 2 , 2022 , University of Udine, Udine, Italy, volume 3345 of

CEUR Workshop Proceedings, CEUR-WS.org , 2023 . URL: https://ceur-ws. org/ Vol- 3345 . [2] R. De Benedictis , M. Maratea , A. Micheli , E. Scala , I. Serina, M. Vallati , A . Umbrico (Eds.),

Proceedings of the 9th Italian workshop on Planning and Scheduling (IPS'21) and the 28th

with Combinatorial Explosion ” (RCRA'21) with CEUR-WS co-located with 20th Interna-

tional Conference of the Italian Association for Artificial Intelligence (AIxIA 2021 ), Milan,

Italy (virtual ), November 29th-30th , 2021 , volume 3065 of CEUR Workshop Proceedings,

CEUR-WS .org, 2022 . URL: https://ceur-ws. org/ Vol- 3065 . [3] D. Aineto , E. Scala , E. Onaindia , I. Serina , Falsification of cyber-physical systems using

International Conference on Automated Planning and Scheduling, July 8 - 13 , 2023 , Prague,

Czech Republic , AAAI Press, 2023 , pp. 2 - 6 . doi: 10 .1609/ICAPS.V33I1. 27172 . [4] M. Soutchanski , S. Mathew , Heuristic planning for hybrid dynamical systems with con-

straint logic programming , in: Proceedings of IPS 2023 , RCRA 2023 and SPIRIT23 Work-

shops , CEUR Workshop Proceedings, CEUR-WS.org, 2023 . [5] D. Aineto , A. Gaudenzi , A. Gerevini , A. Rovetta , E. Scala , I. Serina , Action-failure resilient

planning, in: K. Gal , A. Nowé , G. J. Nalepa , R. Fairstein , R. Radulescu (Eds.), ECAI 2023

- 26th European Conference on Artificial Intelligence, September 30 - October 4 , 2023 ,

Kraków , Poland - Including 12th Conference on Prestigious Applications of Intelligent

Systems (PAIS 2023 ), volume 372 of Frontiers in Artificial Intelligence and Applications , IOS

Press, 2023 , pp. 44 - 51 . doi: 10 .3233/FAIA230252. [6] L. Bonassi , G. De Giacomo, M. Favorito , F. Fuggitti , A. E. Gerevini , E. Scala, Planning

Planning and Scheduling, July 8 - 13 , 2023 , Prague, Czech Republic, AAAI Press, 2023 , pp.

61- 69 . doi: 10 .1609/ICAPS.V33I1. 27179 . [7] A. Bonini , M. C. Mayer , A. Cesta , A. Orlandini , A. Umbrico , Planning safe collaborative

behaviors through risk-aware heuristic search , in: Proceedings of IPS 2023 , RCRA 2023

and SPIRIT23 Workshops , CEUR Workshop Proceedings, CEUR-WS.org, 2023 . [8] A. Castellini , D. Bragantini , D. Rossignolo , F. Segala , A. Farinelli , Tabular model learning in

monte carlo tree search , in: Proceedings of IPS 2023 , RCRA 2023 and SPIRIT23 Workshops,

CEUR Workshop Proceedings, CEUR-WS.org , 2023 . [9] M. Cardellini , M. Maratea , F. Percassi , E. Scala, M. Vallati , Taming discretised pddl through

multiple discretisations ( 2023 ). [10] M. Chiari , A. E. Gerevini , F. Percassi , L. Putelli , I. Serina, M. Olivato , Goal recognition

Scheduling , July 8 - 13 , 2023 , Prague, Czech Republic, AAAI Press, 2023 , pp. 560 - 568 .

doi:10.1609/ICAPS.V33I1 . 27237 . [11] M. Chiari , A. E. Gerevini , F. Percassi , L. Putelli , M. Olivato , I. Serina , Goal recognition with

deep learning and embedded representation of state traces , in: Proceedings of IPS 2023 ,

RCRA 2023 and SPIRIT23 Workshops , CEUR Workshop Proceedings, CEUR-WS.org, 2023 . [12] R. De Benedictis , G. Beraldo, G. Cortellessa , A. Cesta , Investigating domain-oriented

approaches to optimization in timeline-based planning , in: Proceedings of IPS 2023 , RCRA

2023 and SPIRIT23 Workshops , CEUR Workshop Proceedings, CEUR-WS.org, 2023 . [13] L. Lamanna , M. Faridghasemnia , A. Gerevini , A. Saetti , A. Safiotti , L. Serafini , P. Traverso,

the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023 ,

19th-25th August 2023 , Macao, SAR , China, ijcai.org, 2023 , pp. 5485 - 5493 . doi: 10 .24963/

IJCAI. 2023 /609. [14] M. Soutchanski , R. Young , Planning as theorem proving with heuristics , in: Proceedings

of IPS 2023 , RCRA 2023 and SPIRIT23 Workshops , CEUR Workshop Proceedings, CEUR-

WS.org, 2023 . [15] S. Costantini , A. Rafanelli , G. De Gasperis, Experimenting an approach to neuro-symbolic

rl, in: Proceedings of IPS 2023 , RCRA 2023 and SPIRIT23 Workshops , CEUR Workshop

Proceedings , CEUR-WS.org, 2023 . [16] G. Apriceno , L. Erculiani , A. Passerini , A Neuro-Symbolic Approach for Non-Intrusive

Load Monitoring , 2023 . doi: 10 .3233/FAIA230638. [17] A. Bertagnon , M. Gavanelli , Geometric reasoning on the traveling salesperson problem:

Proceedings of the International Conference on Logic Programming 2023 Workshops co-

located with the 39th International Conference on Logic Programming (ICLP 2023 ), London,

United Kingdom , July 9th and 10th , 2023 , volume 3437 of CEUR Workshop Proceedings,

CEUR-WS .org, 2023 . [18] A. Daniele , T. Campari , S. Malhotra , L. Serafini, Deep symbolic learning: Discovering

Joint Conference on Artificial Intelligence, IJCAI-23 , International Joint Conferences on

Artificial Intelligence Organization , 2023 , pp. 3597 - 3605 . [19] M. Favorito , Forward LTLf synthesis: DPLL at work , in: Proceedings of IPS 2023 , RCRA

2023 and SPIRIT23 Workshops , CEUR Workshop Proceedings, CEUR-WS.org, 2023 . [20] G. Agresta , G. Amendola, P. Cofone , M. Manna , A. Ricioppo , Characterizing nexus

of similarity between entities , in: Proceedings of IPS 2023 , RCRA 2023 and SPIRIT23

Workshops , CEUR Workshop Proceedings, CEUR-WS.org, 2023 . [21] M. Alviano , L. Giordano , D. T. Dupré, Complexity and scalability of defeasible reasoning

ligence - 18th European Conference, JELIA 2023 , Dresden, Germany, September 20-22,

2023, Proceedings, volume 14281 of Lecture Notes in Computer Science, Springer, 2023 , pp.

481- 497 . [22] E. Giunchiglia , M. Maratea , M. Mochi , A simple proof-theoretic characterization of stable

models, in: Proceedings of IPS 2023 , RCRA 2023 and SPIRIT23 Workshops , CEUR Workshop

Proceedings , CEUR-WS.org, 2023 . [23] G. Varricchio , On approximate strategyproof mechanism for hedonic games and the

group activity selection problem , in: Proceedings of IPS 2023 , RCRA 2023 and SPIRIT23

Workshops , CEUR Workshop Proceedings, CEUR-WS.org, 2023 . [24] A. Aloisio , M. Flammini , B. Kodric , C. Vinci , Distance polymatrix coordination games,

in: Proceedings of IPS 2023 , RCRA 2023 and SPIRIT23 Workshops , CEUR Workshop

Proceedings , CEUR-WS.org, 2023 . [25] V. Auletta , A. Coppola , D. Ferraioli , On the impact of social media recommendations on

consensus of discrete opinions , in: Proceedings of IPS 2023 , RCRA 2023 and SPIRIT23

Workshops , CEUR Workshop Proceedings, CEUR-WS.org, 2023 . [26] V. Bilo , L. Bove , C. Vinci , Utility-sharing games: How to improve the eficiency with

limited subsidies , in: Proceedings of IPS 2023 , RCRA 2023 and SPIRIT23 Workshops , CEUR

Workshop Proceedings , CEUR-WS.org, 2023 . [27] M. Bernasconi , M. Castiglioni , A. Celli , A. Marchesi , F. Trovò , N. Gatti , Optimal rates

for online bayesian persuasion , in: Proceedings of IPS 2023 , RCRA 2023 and SPIRIT23

Workshops , CEUR Workshop Proceedings, CEUR-WS.org, 2023 . [28] A. Celli , D. Drago , M. Eliáš , Learning augmented online learning algorithms - the bandit

with knapsacks framework , in: Proceedings of IPS 2023 , RCRA 2023 and SPIRIT23

Workshops , CEUR Workshop Proceedings, CEUR-WS.org, 2023 . [29] D. Catta , J. Leneutre , V. Malvone , Reasoning about dynamic game models using obstruction

logic, in : Proceedings of IPS 2023 , RCRA 2023 and SPIRIT23 Workshops , CEUR Workshop

Proceedings , CEUR-WS.org, 2023 . [30] A. Ferrando , Towards a coalition refinement approach in the strategic verification of

multi-agent systems , in: Proceedings of IPS 2023 , RCRA 2023 and SPIRIT23 Workshops,

CEUR Workshop Proceedings, CEUR-WS.org , 2023 . [31] M. Mittelmann , B. Maubert , A. Murano , L. Perrussel, Verification of bayesian mechanisms

with strategy logic , in: Proceedings of IPS 2023 , RCRA 2023 and SPIRIT23 Workshops,

CEUR Workshop Proceedings, CEUR-WS.org , 2023 . [32] D. Catta , A. Murano , M. Parente , S. Stranieri , A multi-agent game for sentiment analysis ,

in: Proceedings of IPS 2023 , RCRA 2023 and SPIRIT23 Workshops , CEUR Workshop

Proceedings , CEUR-WS.org, 2023 .