Publications
Nicola Gigante, Enrico Scala (2023) On the Compilability of Bounded Numeric Planning to appear in Proceedings of the 32nd International Joint Conference on Artificial Intelligence, IJCAI 2023,
Luigi Bonassi, Giuseppe De Giacomo, Marco Favorito, Francesco Fuggitti, Alfonso Emilio Gerevini and Enrico Scala (2023) Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic to appear in 33rd International Conference on Automated Planning and Scheduling. AAAI press.
Diego Aineto, Enrico Scala, Eva Onaindia and Ivan Serina (2023) Falsification of Cyber-Physical Systems Using PDDL+ Planning to appear in 33rd International Conference on Automated Planning and Scheduling. AAAI press.
Percassi, F., Scala, E., & Vallati, M. (2023). Fixing Plans for PDDL+ Problems: Theoretical and Practical Implications. to appear in 33rd International Conference on Automated Planning and Scheduling. AAAI press.
Percassi, F., Scala, E., & Vallati, M. (2023). A Practical Approach to Discretised PDDL+ Problems by Translation to Numeric Planning. Journal of Artificial Intelligence Research, 76, 115-162. PDF Bibtex (Note that in the paper there is missing a condition in Definition 13. Indeed, we also need to require that (a,t) \in \pi_t iff it exists one and only one T = (t',n) \in T_H such that H_A(T) = a and t' = t)
Scala, E., McCluskey, T. L., & Vallati, M. (2022). Verification of Numeric Planning Problems Through Domain Dynamic Consistency. In AIxIA 2022–Advances in Artificial Intelligence: XXIst International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28–December 2, 2022, Proceedings (pp. 171-183). PDF Bibtex
Bhatnagar, S., Guo, R., McCabe, K., McCluskey, T. L., Scala, E., & Vallati, M. (2022). Leveraging Artificial Intelligence for Simulating Traffic Signal Strategies. In 2022 IEEE 25th International Conference on Intelligent Transportation Systems (ITSC) (pp. 607-612). IEEE. PDF Bibtex
Gigante, N., Micheli, A., & Scala, E. (2022). On the Expressive Power of Intermediate and Conditional Effects in Temporal Planning. In Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning (Vol. 19, No. 1, pp. 174-183). PDF Bibtex
Percassi, F., Scala, E., & Vallati, M. (2022). On the Reformulation of Discretised PDDL+ to Numeric Planning. In Proceedings of the International Symposium on Combinatorial Search (Vol. 15, No. 1, pp. 314-316). PDF Bibtex
Saetti, A., & Scala, E. (2022). Optimising the Stability in Plan Repair via Compilation. In Proceedings of the International Conference on Automated Planning and Scheduling (Vol. 32, pp. 316-320). PDF Bibtex
Gigante, N., Micheli, A., Montanari, A., & Scala, E. (2022). Decidability and complexity of action-based temporal planning over dense time. Artificial Intelligence, 307, 103686. PDF Bibtex
Percassi, F., Scala, E., & Vallati, M. (2022). The Power of Reformulation: PDDL+ Validation Through Planning. In 32nd International Conference on Automated Planning and Scheduling. PDF Bibtex
Bonassi, L., Gerevini, A. E., & Scala, E. (2022). Planning with qualitative action-trajectory constraints in PDDL. In Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, IJCAI (pp. 4606-4613). PDF Bibtex
Aineto, D., Onaindia, E., Ramirez, M., Scala, E., & Serina, I. (2022). Explaining the behaviour of hybrid systems with PDDL+ planning. In Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, IJCAI-22 (pp. 4567-4573). PDF Bibtex
Bhatnagar, S., Mund, S., Scala, E., McCabe, K., McCluskey, L., & Vallati, M. (2022). On the challenges of on-the-fly knowledge acquisition for automated planning applications. In 14th International Conference on Agents and Artificial Intelligence. PDF Bibtex
Percassi, Francesco, Alfonso E. Gerevini, Enrico Scala, Ivan Serina, and Mauro Vallati (2021) Improving Domain-Independent Heuristic State-Space Planning via plan cost predictions. Journal of Experimental & Theoretical Artificial Intelligence (2021): 1-27. PDF Bibtex
Vallati, Mauro, Enrico Scala, and Lukáŝ Chrpa (2021). A hybrid automated planning approach for urban real-time routing of connected vehicles. In 2021 IEEE International Intelligent Transportation Systems Conference (ITSC), pp. 3821-3826. IEEE, 2021. PDF Bibtex
Scala, Enrico, and Alban Grastien. (2021) Non-deterministic conformant planning using a counterexample-guided incremental compilation to classical planning. In Proceedings of the International Conference on Automated Planning and Scheduling, vol. 31, pp. 299-307. 2021. PDF Bibtex
Bonassi, Luigi, Alfonso Emilio Gerevini, Francesco Percassi, and Enrico Scala. (2021) On planning with qualitative state-trajectory constraints in PDDL3 by compiling them away. In Proceedings of the International Conference on Automated Planning and Scheduling, vol. 31, pp. 46-50. 2021. PDF Bibtex
Percassi, Francesco, Enrico Scala, and Mauro Vallati. (2021) Translations from discretised PDDL+ to numeric planning. Proceedings of the International Conference on Automated Planning and Scheduling. Vol. 31. 2021. PDF Bibtex
Scala, Enrico, and Mauro Vallati. (2021) Effective grounding for hybrid planning problems represented in PDDL+. The Knowledge Engineering Review 36 (2021): e9. Link. Bibtex
Scala E., Haslum P., Thiebaux S., Ramirez M. (2020) Subgoaling Techniques for Optimal and Satisficing Planning. Journal of Artificial Intelligence Research 2020, Link . Software and benchmarks (download enhsp zip and benchmark zip)
Gigante N., Micheli A., Montanari A., Scala E. (2020) Decidability and Complexity of Action-Based Temporal Planning over Dense Time. The Thirty-Fourth AAAI Conference on Artificial Intelligence (AAAI-20) PDF Bibtex
Zhang X., Grastien A., Scala E. (2020) Computing Superior Counter-Examples for Conformant Planning. The Thirty-Fourth AAAI Conference on Artificial Intelligence (AAAI-20) PDF Bibtex
Grastien A., Scala E. (2020) CPCES: A Planning Framework to Solve Conformant Planning Problems through a Counterexample Guided Refinement. Artificial Intelligence Journal Link Software and benchmarks
Kiam J. J., Scala E., Ramirez M., Schulte A. (2020) An AI-based Planning Framework for HAPS in a Time-Varying Environment. The 30th International Conference on Automated Planning and Scheduling (ICAPS-20) PDF Bibtex
Percassi F., Gerevini A., Scala E., Serina I., Vallati M. (2020) Generating and Exploiting Cost Predictions in Heuristic State-Space Planning. The 30th International Conference on Automated Planning and Scheduling (ICAPS-20) PDF Bibtex
Scala E., Saetti A., Serina I., Gerevini A. (2020) Search Guidance for Numeric Planning Problems through Subgoaling Relaxation. The 30th International Conference on Automated Planning and Scheduling (ICAPS-20) PDF Bibtex
Micheli A., Scala E. (2019) Temporal Planning with Temporal Metric Trajectory Constraints. The Thirty-Third AAAI Conference on Artificial Intelligence (AAAI-19) PDF Bibtex
Console L., Magro D., Micalizio R., Scala E., Theseider Dupré D., Torta G. (2018) 35 Years of Pietro Torasso's work on diagnosis. Intelligenza Artificiale 12(1) PDF Bibtex
Ramírez M., Papasimeon M., Lipovetzky N., Benke L., Miller T., Pearce A. R., Scala E., Zamani M. (2018) Integrated Hybrid Planning and Programmed Control for Real Time UAV Maneuvering in Proc. of the 17th International Conference on Autonomous Agents and MultiAgent Systems (AAMAS-2018) PDF Bibtex
Li D., Scala E., Haslum P., Bogomolov S. (2018) Effect-Abstraction Based Relaxation for Linear Numeric Planning in Proc. of the International Conference on Artificial Intelligence (IJCAI-2018) PDF Bibtex
Grastien A., Scala E.: (2018) Sampling Strategies for Conformant Planning in Proc. of the International Conference on Automated Planning and Scheduling (ICAPS-2018)) PDF Bibtex
Grastien A., Scala E.: (2017) Intelligent Belief State Sampling for Conformant Planning in Proc. of the International Conference on Artificial Intelligence (IJCAI-2017) PDF Bibtex
Scala E., Haslum P., Magazzeni D., Thiebaux S.: (2017) Landmarks for Numeric Planning Problems in Proc. of the International Conference on Artificial Intelligence (IJCAI-2017) PDF Bibtex
Scala E., Haslum P., Thiebaux S., Ramirez M.: (2016) Interval-Based Relaxation for General Numeric Planning in Proc. of the European Conference on Artificial Intelligence (ECAI-2016) PDF Bibtex
Scala E., Haslum P., Thiebaux S.: (2016) Heuristics for Numeric Planning via Subgoaling in Proc. of the International Joint Conference on Artificial Intelligence (IJCAI-2016) PDF Bibtex
Scala E., Ramirez M., Haslum P., Thiebaux S.: (2016) Numeric Planning with Disjunctive Global Constraints via SMT in Proc. of the International Conference on Automated Planning and Scheduling (ICAPS-2016) PDF Bibtex
Scala E., Torasso P. (2015) Deordering and Numeric Macro Actions for Plan Repair in Proc. of IJCAI International Conference on Artificial Intelligence (IJCAI-2015) PDF Bibtex (Note that in the paper there is missing a condition in algorithm 1. The condition should also states that the order between two actions 'a' and 'b' is preserved also when 'a' belongs to some NDS and 'a' effects depend on 'b', or when 'b' belongs to some NDS and 'b' effects depend on 'a'; dependency is detected statically by looking at the numeric effects of both actions)
Chrpa L., Scala E.,Vallati M.: (2015) Towards a Reformulation Based Approach for Efficient Numeric Planning: Numeric Outer Entanglements in Proc. of the Eighth Annual Symposium on Combinatorial Search (SOCS 2015) PDF Bibtex
Caff S. C. M., Di Mauro F., Scala E. (2014) A Numeric PDDL Based Approach for Temporally Constrained Journey Problems in Proc. of IEEE International Conference on Tools with Artificial Intelligence (ICTAI-2014) Bibtex
Scala E., Torasso P. (2014) Proactive and Reactive Reconfiguration for the Robust Execution of Multi Modality Plans in Proc. of the European Conference on Artificial Intelligence (ECAI-2014), August 2014, Prague PDF Bibtex
Scala E. (2014) Continual Planning via Reconfiguration and Goal Revision in Proc. of the 2nd PLANnning and ROBotics woRKshop at 24th International Conference on Automated Planning and Scheduling (ICAPS-2014), June 2014, Portsmouth USA PDF
Scala E., Micalizio R., Torasso P. (2014) Robust Plan Execution via Reconfiguration and Replanning in AI Communication Journal (AICOM-2014) PDF
Scala E. (2014) Plan Repair for Resource Constrained Tasks via Numeric Macro Actions in Proc. of the 24th International Conference on Automated Planning and Scheduling (ICAPS-2014), June 2014, Portsmouth, USA PDF Bibtex
Scala E., Micalizio R., Torasso P. (2014). Robust Execution of Rover Plans via Action Modalities Reconfiguration in Proc. of the 5th International Conference of Agents and Artificial Intelligence (ICAART-2014), pp 142-152, March 2014, Angers, France PDFBibtex
Scala E. (2013). Numeric Kernel for reasoning about plans involving numeric fluents AI*IA 2013: Advances in Artificial Intelligence Lecture Notes in Computer Science Volume 8249, 2013, pp 263-275 (AIXIA-2013) PDF Bibtex
Scala E. (2013). Evaluating Plan Robustness in Presence of Numeric Fluents in Proc. of 5th Italian Workshop on Planning and Scheduling (IPS-2013) IPS website
Scala E., Micalizio R., and Torasso P. (2013). Adapting Planetary Rover Plans via Action Modality Reconfiguration in Proc. of the 7th Scheduling and Planning Applications woRKshop at 23th International Conference on Automated Planning and Scheduling (ICAPS-2013), June, Roma, Italy
Scala E. (2013), Numerical Kernel for Monitoring and Repairing Plans Involving Continuous and Consumable Resources, in Proc. of the 5th International Conference of Agents and Artificial Intelligence (ICAART), February 2013, Barcelona, Spain
Micalizio R., Scala E., and Torasso P. (2012). Satisfying Resource Constraints in Space Missions by On‐line Task Reconfiguration in Proc. 11th Int. Symp. of Artificial Intelligence, Robotics and Automation in Space (i-SAIRAS 2012) p. 531 - 534, September, Turin, Italy PDF
Micalizio R., Scala E., and Torasso P. (2011). Towards Robust Execution of Mission Plans for Planetary Rovers, Acta Futura, 5, pp.53-63, 2012. PDF
Micalizio R., Scala E., and Torasso P. (2011). Intelligent Supervision for Robust Execution In Lecture Notes in Computer Science, vol 6934, pp. 151-163, (AIXIA-2011)PDF
Micalizio R., Nuzzolo G., Scala E., and Torasso P. (2010). Involving the human user in the control architecture of an autonomous agent. In Proc. The Third IFIP International Conference on Artificial Intelligence in Theory and Practice (IFIP AI 2010), September 2010, Brisbane, Australia.PDF
Carlone L., Micalizio R., Nuzzolo G., Scala E., and Tedone D. (2010). STEPS: Predictive Control System results on 1st Working Prototype in Proc. 40th International Conference on Environmental Systems (ICES-10), July 2010, Barcelona, Spain. PDF
Musso I., Micalizio R., Scala E., Martucci G., Pigozzi E., and Prin P. R. (2010). Communication scheduling and plan revision for planetary rovers In Proc. 10th Int. Symp. Artificial Intelligence, Robotics and Automation in Space (i-SAIRAS 2010), September 2010 Sapporo, Japan. PDF