IPS-RCRA@AI*IA

Keyphrases

Publications

volume 3065, 2022

Proceedings of the 9th Italian workshop on Planning and Scheduling (IPS'21) and the 28th International Workshop on "Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion" (RCRA'21) with CEUR-WS co-located with 20th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2021), Milan, Italy (virtual), November 29th-30th, 2021. IPS-RCRA@AI*IA 3065 (2022)

2021

Marco Esposito, Leonardo Picchiami
Intelligent Search for Personalized Cancer Therapy Synthesis: an Experimental Comparison. IPS-RCRA@AI*IA (2021)
Angela Pappagallo
Statistical Model Checking as an Effective Technology to Formally Analyze Industry-Relevant Cyber-Physical Systems. IPS-RCRA@AI*IA (2021)
Riccardo Bertolucci, Carmine Dodaro, Giuseppe Galatà, Marco Maratea, Ivan Porro, Francesco Ricca
Explaining ASP-based Operating Room Schedules. IPS-RCRA@AI*IA (2021)
Leonardo Picchiami
Automatic Synthesis of Stabilizing Controllers for Discrete Time Linear Hybrid Systems. IPS-RCRA@AI*IA (2021)
Simone Caruso, Giuseppe Galatà, Marco Maratea, Marco Mochi, Ivan Porro
Scheduling Pre-Operative Assessment Clinic via Answer Set Programming. IPS-RCRA@AI*IA (2021)
Emanuele De Pellegrin, Ronald P. A. Petrick
Plan Simulation with PDSim. IPS-RCRA@AI*IA (2021)
Giuseppe Galatà, Marco Maratea, Marco Mochi, Victoria Morozan, Ivan Porro
An ASP-based solution to the Operating Room Scheduling with care units. IPS-RCRA@AI*IA (2021)
Gabriele Sartor, Davide Zollo, Marta Cialdea Mayer, Angelo Oddi, Riccardo Rasconi, Vieri Giuliano Santucci
Autonomous Generation of Symbolic Knowledge via Option Discovery. IPS-RCRA@AI*IA (2021)

2020

volume 2745, 2020

Joint Proceedings of the 8th Italian Workshop on Planning and Scheduling and the 27th International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion co-located with AIxIA 2020, Online Event, November 25-27, 2020. IPS-RCRA@AI*IA 2745 (2020)