=Paper=
{{Paper
|id=Vol-3065/preface
|storemode=property
|title=None
|pdfUrl=https://ceur-ws.org/Vol-3065/xpreface.pdf
|volume=Vol-3065
}}
==None==
https://ceur-ws.org/Vol-3065/xpreface.pdf
vi
Preface
This volume contains the papers presented at IPS 2021, the 9th Italian Workshop on Planning
and Scheduling (http://ips2021.istc.cnr.it) and at RCRA 2021, the 28th International Workshop on
“Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion”,
held within the virtual XX Conference of the Italian Association for Artificial Intelligence (AI*IA
2021), on November 29 and November 30, 2021.
The aim of the IPS series of workshop is to bring together researchers interested in different
aspects of planning and scheduling, and to introduce new researchers to the community. Al-
though the primary target of IPS workshops is the Italian community of planning and scheduling,
the aim is also to attract an international gathering, fostering contributions and participation
from around the world. In particular, this year, 9 papers were accepted for presentation at the
workshop, involving different authors from Italy and other European countries. Moreover, this
year we also had an invited talk by David E. Smith, a leader in several aspects of AI Planning,
from theory to their application into the Space sector.
The IPS accepted papers mainly focus on conformant planning [1], generation of symbolic
knowledge [2], multi-agent planning [3], numeric and temporal planning [4, 5], online learning
and planning [6], plan simulation [7] and applications of planning and scheduling [8].
The scope of the RCRA workshop is, instead, fostering the cross-fertilization of ideas stemming
from different areas, proposing benchmarks for new challenging problems, comparing models
and algorithms from an experimental viewpoint, and, in general, comparing different approaches
with respect to efficiency, problem modeling, and ease of development. In particular, this year 8
papers were accepted for presentation at the workshop, involving different authors from Italy
and other European countries.
The RCRA 2021 accepted papers mainly focused on applications of model checking [9, 10],
explainability[11], constraint programming [12], applications of planning and scheduling [13,
14], online learning and planning [6], and heuristics for planning [15].
Riccardo De Benedictis, Marco Maratea, Andrea Micheli, Enrico Scala, Ivan Serina, Mauro
Vallati, Alessandro Umbrico
Workshops Organizers
References
[1] X. Zhang, A. Grastien, E. Scala, Computing superior counter-examples for conformant
planning, in: Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence,
New York, USA. February 7-12, AAAI Press, 2020, pp. 10017–10024.
References vii
[2] G. Sartor, D. Zollo, M. C. Mayer, A. Oddi, R. Rasconi, V. G. Santucci, Autonomous generation
of symbolic knowledge via option discovery, in: Proceedings of the IPS’21 and RCRA’21
Workshops, CEUR Workshop Proceedings, CEUR-WS.org, 2021.
[3] A. E. Gerevini, N. Lipovetzky, F. Percassi, A. Saetti, I. Serina, Best-first width search for multi
agent privacy-preserving planning, in: Proceedings of the Twenty-Ninth International
Conference on Automated Planning and Scheduling, ICAPS 2018, Berkeley, CA, USA. July
11-15, AAAI Press, 2019, pp. 163–171.
[4] F. Percassi, E. Scala, M. Vallati, Translations from discretised PDDL+ to numeric planning,
in: Proceedings of the Thirty-First International Conference on Automated Planning and
Scheduling, ICAPS 2021, Guangzhou, China (virtual). August 2-13, AAAI Press, 2021, pp.
252–261.
[5] A. M. Stefan Panjkovic, A. Cimatti, Deciding unsolvability in temporal planning under
action non-self-overlapping, in: Proceedings of the Thirty-Sixth AAAI Conference on
Artificial Intelligence, Vancouver, BC, Canada (accepted), 2022.
[6] L. Lamanna, A. Saetti, L. Serafini, A. Gerevini, P. Traverso, Online learning of action
models for PDDL planning, in: Proceedings of the Thirtieth International Joint Conference
on Artificial Intelligence, IJCAI 2021, Virtual Event / Montreal, Canada. August 19-27,
ijcai.org, 2021, pp. 4112–4118.
[7] E. D. Pellegrin, R. P. A. Petrick, Plan simulation with pdsim, in: Proceedings of the IPS’21
and RCRA’21 Workshops, CEUR Workshop Proceedings, CEUR-WS.org, 2021.
[8] S. Caruso, G. Galatà, M. Maratea, I. P. Marco Mochi, Scheduling pre-operative assessment
clinic via answer set programming, in: Proceedings of the IPS’21 and RCRA’21 Workshops,
CEUR Workshop Proceedings, CEUR-WS.org, 2021.
[9] A. Pappagallo, Statistical model checking as an effective technology to formally analyze
industry-relevant cyber-physical systems, in: Proceedings of the IPS’21 and RCRA’21
Workshops, CEUR Workshop Proceedings, CEUR-WS.org, 2021.
[10] M. Esposito, L. Picchiami, Intelligent search for personalized cancer therapy synthesis: an
experimental comparison, in: Proceedings of the IPS’21 and RCRA’21 Workshops, CEUR
Workshop Proceedings, CEUR-WS.org, 2021.
[11] R. Bertolucci, C. Dodaro, G. Galatà, M. Maratea, I. Porro, F. Ricca, Explaining asp-based
operating room schedules, in: Proceedings of the IPS’21 and RCRA’21 Workshops, CEUR
Workshop Proceedings, CEUR-WS.org, 2021.
[12] R. Adrdor, L. Koutti, Asynchronous forward-bounding algorithm with directional arc
consistency, in: Proceedings of the International Conference on Logic Programming 2021
Workshops co-located with the 37th International Conference on Logic Programming
(ICLP 2021), Porto, Portugal (virtual). September 20th-21st, volume 2970 of CEUR Workshop
Proceedings, CEUR-WS.org, 2021.
[13] L. Picchiami, Automatic synthesis of stabilizing controllers for discrete time linear hy-
brid systems, in: Proceedings of the IPS’21 and RCRA’21 Workshops, CEUR Workshop
Proceedings, CEUR-WS.org, 2021.
[14] G. Galatà, M. Maratea, M. Mochi, V. Morozan, I. Porro, An asp-based solution to the
operating room scheduling with care units, in: Proceedings of the IPS’21 and RCRA’21
Workshops, CEUR Workshop Proceedings, CEUR-WS.org, 2021.
[15] I. Serina, M. Vallati, Configurable heuristic adaptation for improving best first search in
References viii
AI planning, in: Proceedings of the 32nd IEEE International Conference on Tools with
Artificial Intelligence, ICTAI 2020, Baltimore, MD, USA. November 9-11, IEEE, 2020, pp.
93–100.