![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
IPS-RCRA@AI*IA 2021: Online Event / Milan, Italy
- Riccardo De Benedictis, Marco Maratea, Andrea Micheli, Enrico Scala, Ivan Serina, Mauro Vallati, Alessandro Umbrico:
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. CEUR Workshop Proceedings 3065, CEUR-WS.org 2022
9th Italian Workshop on Planning and Scheduling (IPS-2021)
- Emanuele De Pellegrin, Ronald P. A. Petrick:
Plan Simulation with PDSim. - Gabriele Sartor, Davide Zollo, Marta Cialdea Mayer, Angelo Oddi, Riccardo Rasconi, Vieri Giuliano Santucci:
Autonomous Generation of Symbolic Knowledge via Option Discovery. - Simone Caruso, Giuseppe Galatà, Marco Maratea, Marco Mochi, Ivan Porro:
Scheduling Pre-Operative Assessment Clinic via Answer Set Programming.
International Workshop on Experimental evaluation of algorithms for solving problems with combinatorial explosion (RCRA'21)
- Leonardo Picchiami:
Automatic Synthesis of Stabilizing Controllers for Discrete Time Linear Hybrid Systems. - Angela Pappagallo:
Statistical Model Checking as an Effective Technology to Formally Analyze Industry-Relevant Cyber-Physical Systems. - Marco Esposito, Leonardo Picchiami:
Intelligent Search for Personalized Cancer Therapy Synthesis: an Experimental Comparison. - Riccardo Bertolucci, Carmine Dodaro, Giuseppe Galatà, Marco Maratea, Ivan Porro, Francesco Ricca:
Explaining ASP-based Operating Room Schedules. - Giuseppe Galatà, Marco Maratea, Marco Mochi, Victoria Morozan, Ivan Porro:
An ASP-based solution to the Operating Room Scheduling with care units.
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.