Enrico Scala

97 papers A* 39A 8B 7Journal 20Unranked 17
YearRankTypeTitle / Venue / Authors
2026 J jnl
Compiling Temporal Numeric Planning into Discrete PDDL+: Extended Version.
CoRR
Andrea Micheli, Enrico Scala, Alessandro Valentini
2026 J jnl
LeapNP: A Modular Python Framework for Benchmarking Learned Heuristics in Numeric Planning.
Future Internet
Valerio Borelli, Alfonso Emilio Gerevini, Enrico Scala, Ivan Serina
2026 A* conf
Learning Heuristic Functions with Graph Neural Networks for Numeric Planning.
AAAI
Valerio Borelli, Alfonso Gerevini, Enrico Scala, Ivan Serina
2026 A* conf
PPS: An Efficient Java-based Simulator for Time-Discrete PDDL+.
AAAI
Enrico Scala, Francesco Percassi, Mauro Vallati
2026 A* conf
Planning with Uncertain Action Models.
AAAI
Francesco Percassi, Alessandro Saetti, Enrico Scala
2026 — conf
Preliminary Insights in the Language of Extortion in Ransomware Dialogues.
ITASEC/SERICS
Federico Cerutti, Massimiliano Giacomin, Andrea Loreggia, Enrico Scala
2026 A* conf
Two Constraint Compilation Methods for Lifted Planning.
AAAI
Periklis Mantenoglou, Luigi Bonassi, Enrico Scala, Pedro Zuidberg Dos Martires
2025 A conf
Conditional Effects in Numeric Planning Reloaded.
ECAI
Luigi Bonassi, Joan Espasa Arxer, Francesco Percassi, Enrico Scala
2025 A* conf
Handling Infinite Domain Parameters in Planning Through Best-First Search with Delayed Partial Expansions.
IJCAI
Ángel Aso-Mollar, Diego Aineto, Enrico Scala, Eva Onaindia
2025 J jnl
Handling Infinite Domain Parameters in Planning Through Best-First Search with Delayed Partial Expansions.
CoRR
Ángel Aso-Mollar, Diego Aineto, Enrico Scala, Eva Onaindia
2025 A conf
Improving Resilient Planning Through Landmarks and Regressed State Formulas.
ECAI
Alberto Rovetta, Diego Aineto, Alfonso Emilio Gerevini, Enrico Scala, Ivan Serina
2025 J jnl
Optimally stable plan repair.
Knowl. Eng. Rev.
Alessandro Saetti, Enrico Scala
2025 J jnl
Planning for temporally extended goals in pure-past linear temporal logic.
Artif. Intell.
Luigi Bonassi, Giuseppe De Giacomo, Marco Favorito, Francesco Fuggitti, Alfonso Emilio Gerevini, Enrico Scala
2025 J jnl
Subgoaling Relaxation-based Heuristics for Numeric Planning with Infinite Actions.
CoRR
Ángel Aso-Mollar, Diego Aineto, Enrico Scala, Eva Onaindia
2025 A* conf
Towards Practical Classical Planning Compilations of Numeric Planning.
AAAI
Luigi Bonassi, Francesco Percassi, Enrico Scala
2025 J jnl
Two Constraint Compilation Methods for Lifted Planning.
CoRR
Periklis Mantenoglou, Luigi Bonassi, Enrico Scala, Pedro Zuidberg Dos Martires
2025 J jnl
Unified Planning: Modeling, manipulating and solving AI planning problems in Python.
SoftwareX
Andrea Micheli, Arthur Bit-Monnot, Gabriele Röger, Enrico Scala, Alessandro Valentini, Luca Framba, Alberto Rovetta, Alessandro Trapasso, Luigi Bonassi, Alfonso Emilio Gerevini, Luca Iocchi, Félix Ingrand, Uwe Köckemann, Fabio Patrizi, Alessandro Saetti, Ivan Serina, Sebastian Stock
2024 A* conf
Action Model Learning with Guarantees.
KR
Diego Aineto, Enrico Scala
2024 J jnl
Action Model Learning with Guarantees.
CoRR
Diego Aineto, Enrico Scala
2024 A* conf
An Effective Polynomial Technique for Compiling Conditional Effects Away.
AAAI
Alfonso Emilio Gerevini, Francesco Percassi, Enrico Scala
2024 A* conf
Dealing with Numeric and Metric Time Constraints in PDDL3 via Compilation to Numeric Planning.
AAAI
Luigi Bonassi, Alfonso Emilio Gerevini, Enrico Scala
2024 — conf
Learning Heuristics with Graph Neural Networks for Numeric Planning: A Preliminary Study (Short paper).
DC@AI*IA
Valerio Borrelli, Alfonso Emilio Gerevini, Enrico Scala, Ivan Serina
2024 B conf
Optimised Variants of Polynomial Compilation for Conditional Effects in Classical Planning.
SOCS
Francesco Percassi, Enrico Scala, Alfonso Emilio Gerevini
2024 A* conf
Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic (Extended Abstract).
IJCAI
Luigi Bonassi, Giuseppe De Giacomo, Marco Favorito, Francesco Fuggitti, Alfonso Emilio Gerevini, Enrico Scala
2024 — ed.
Proceedings of the International Workshop on Artificial Intelligence for Climate Change, 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 (AI4CC-IPS-RCRA-SPIRIT 2024) co-located with 23rd International Conference of the Italian Association for Artificial Intelligence AIxIA 2024, November 25-28th, 2024, Bolzano, Italy.
AI4CC-IPS-RCRA-SPIRIT@AI*IA
Diego Aineto, Riccardo De Benedictis, Marco Maratea, Munyque Mittelmann, Gianpiero Monaco, Enrico Scala, Luciano Serafini, Ivan Serina, Francesco Spegni, Elisa Tosello, Alessandro Umbrico, Mauro Vallati
2024 J jnl
Safe Learning of PDDL Domains with Conditional Effects - Extended Version.
CoRR
Argaman Mordoch, Enrico Scala, Roni Stern, Brendan Juba
2024 A* conf
Safe Learning of PDDL Domains with Conditional Effects.
ICAPS
Argaman Mordoch, Enrico Scala, Roni Stern, Brendan Juba
2024 A conf
Shielded FOND: Planning with Safety Constraints in Pure-Past Linear Temporal Logic.
ECAI
Luigi Bonassi, Giuseppe De Giacomo, Alfonso Emilio Gerevini, Enrico Scala
2024 B conf
Taming Discretised PDDL+ through Multiple Discretisations (Extended Abstract).
SOCS
Matteo Cardellini, Marco Maratea, Francesco Percassi, Enrico Scala, Mauro Vallati
2024 A* conf
Taming Discretised PDDL+ through Multiple Discretisations.
ICAPS
Matteo Cardellini, Marco Maratea, Francesco Percassi, Enrico Scala, Mauro Vallati
2024 J jnl
The 2023 International Planning Competition.
AI Mag.
Ayal Taitler, Ron Alford, Joan Espasa, Gregor Behnke, Daniel Fiser, Michael Gimelfarb, Florian Pommerening, Scott Sanner, Enrico Scala, Dominik Schreiber, Javier Segovia-Aguas, Jendrik Seipp
2023 J jnl
A Practical Approach to Discretised PDDL+ Problems by Translation to Numeric Planning.
J. Artif. Intell. Res.
Francesco Percassi, Enrico Scala, Mauro Vallati
2023 — conf
A Structure-Sensitive Translation from Hybrid to Numeric Planning.
AI*IA
Francesco Percassi, Enrico Scala, Mauro Vallati
2023 A* conf
AI Planning for Hybrid Systems.
IJCAI
Enrico Scala
2023 A conf
Action-Failure Resilient Planning.
ECAI
Diego Aineto, Alessandro Gaudenzi, Alfonso Gerevini, Alberto Rovetta, Enrico Scala, Ivan Serina
2023 A conf
FOND Planning for Pure-Past Linear Temporal Logic Goals.
ECAI
Luigi Bonassi, Giuseppe De Giacomo, Marco Favorito, Francesco Fuggitti, Alfonso Emilio Gerevini, Enrico Scala
2023 A* conf
Falsification of Cyber-Physical Systems Using PDDL+ Planning.
ICAPS
Diego Aineto, Enrico Scala, Eva Onaindia, Ivan Serina
2023 A* conf
Fixing Plans for PDDL+ Problems: Theoretical and Practical Implications.
ICAPS
Francesco Percassi, Enrico Scala, Mauro Vallati
2023 J jnl
Improving Domain-Independent Heuristic State-Space Planning via plan cost predictions.
J. Exp. Theor. Artif. Intell.
Francesco Percassi, Alfonso Emilio Gerevini, Enrico Scala, Ivan Serina, Mauro Vallati
2023 A* conf
On the Compilability of Bounded Numeric Planning.
IJCAI
Nicola Gigante, Enrico Scala
2023 B conf
On the Notion of Fixability of PDDL+ Plans [Extended Abstract].
SOCS
Francesco Percassi, Enrico Scala, Mauro Vallati
2023 A* conf
Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic.
ICAPS
Luigi Bonassi, Giuseppe De Giacomo, Marco Favorito, Francesco Fuggitti, Alfonso Emilio Gerevini, Enrico Scala
2023 — ed.
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 2022), November 28 - December 2, 2022, University of Udine, Udine, Italy.
IPS/RiCeRcA/SPIRIT@AI*IA
Riccardo De Benedictis, Nicola Gatti, Marco Maratea, Andrea Micheli, Aniello Murano, Enrico Scala, Luciano Serafini, Ivan Serina, Alessandro Umbrico, Mauro Vallati
2023 — ed.
Proceedings of the 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) co-located with 22nd International Conference of the Italian Association for Artificial Intelligence AIxIA 2023, November 7-9th, 2023, Rome, Italy.
IPS-RCRA-SPIRIT@AI*IA
Riccardo De Benedictis, Matteo Castiglioni, Diodato Ferraioli, Vadim Malvone, Marco Maratea, Enrico Scala, Luciano Serafini, Ivan Serina, Elisa Tosello, Alessandro Umbrico, Mauro Vallati
2022 J jnl
Decidability and complexity of action-based temporal planning over dense time.
Artif. Intell.
Nicola Gigante, Andrea Micheli, Angelo Montanari, Enrico Scala
2022 A* conf
Explaining the Behaviour of Hybrid Systems with PDDL+ Planning.
IJCAI
Diego Aineto, Eva Onaindia, Miquel Ramírez, Enrico Scala, Ivan Serina
2022 — conf
Leveraging Artificial Intelligence for Simulating Traffic Signal Strategies.
ITSC
Saumya Bhatnagar, Rongge Guo, Keith McCabe, Thomas L. McCluskey, Enrico Scala, Mauro Vallati
2022 A* conf
On the Expressive Power of Intermediate and Conditional Effects in Temporal Planning.
KR
Nicola Gigante, Andrea Micheli, Enrico Scala
2022 B conf
On the Reformulation of Discretised PDDL+ to Numeric Planning (Extended Abstract).
SOCS
Francesco Percassi, Enrico Scala, Mauro Vallati
2022 — conf
On-the-Fly Knowledge Acquisition for Automated Planning Applications: Challenges and Lessons Learnt.
ICAART (2)
Saumya Bhatnagar, Sumit Mund, Enrico Scala, Keith McCabe, Thomas Leo McCluskey, Mauro Vallati
2022 A* conf
Optimising the Stability in Plan Repair via Compilation.
ICAPS
Alessandro Saetti, Enrico Scala
2022 — conf
Planning with PDDL3 Qualitative Constraints for Cost-Optimal Solutions Through Compilation (Short Paper).
IPS/RiCeRcA/SPIRIT@AI*IA
Luigi Bonassi, Enrico Scala, Alfonso Emilio Gerevini
2022 A* conf
Planning with Qualitative Action-Trajectory Constraints in PDDL.
IJCAI
Luigi Bonassi, Alfonso Emilio Gerevini, Enrico Scala
2022 — ed.
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
Riccardo De Benedictis, Marco Maratea, Andrea Micheli, Enrico Scala, Ivan Serina, Mauro Vallati, Alessandro Umbrico
2022 A* conf
The Power of Reformulation: From Validation to Planning in PDDL+.
ICAPS
Francesco Percassi, Enrico Scala, Mauro Vallati
2022 — conf
Verification of Numeric Planning Problems Through Domain Dynamic Consistency.
AI*IA
Enrico Scala, Thomas L. McCluskey, Mauro Vallati
2021 — conf
A Hybrid Automated Planning Approach for Urban Real-time Routing of Connected Vehicles.
ITSC
Mauro Vallati, Enrico Scala, Lukás Chrpa
2021 — conf
A Sound (But Incomplete) Polynomial Translation from Discretised PDDL+ to Numeric Planning.
AI*IA
Francesco Percassi, Enrico Scala, Mauro Vallati
2021 J jnl
Effective grounding for hybrid planning problems represented in PDDL+.
Knowl. Eng. Rev.
Enrico Scala, Mauro Vallati
2021 A* conf
Non-Deterministic Conformant Planning Using a Counterexample-Guided Incremental Compilation to Classical Planning.
ICAPS
Enrico Scala, Alban Grastien
2021 A* conf
On Planning with Qualitative State-Trajectory Constraints in PDDL3 by Compiling them Away.
ICAPS
Luigi Bonassi, Alfonso Emilio Gerevini, Francesco Percassi, Enrico Scala
2021 — ed.
Proceedings of the 3rd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the Twelfth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2021), Padua, Italy, September 22, 2021.
OVERLAY@GandALF
Dario Della Monica, Gian Luca Pozzato, Enrico Scala
2021 A* conf
Translations from Discretised PDDL+ to Numeric Planning.
ICAPS
Francesco Percassi, Enrico Scala, Mauro Vallati
2020 A* conf
An AI-Based Planning Framework for HAPS in a Time-Varying Environment.
ICAPS
Jane Jean Kiam, Enrico Scala, Miquel Ramírez Jávega, Axel Schulte
2020 J jnl
CPCES: A planning framework to solve conformant planning problems through a counterexample guided refinement.
Artif. Intell.
Alban Grastien, Enrico Scala
2020 A* conf
Computing Superior Counter-Examples for Conformant Planning.
AAAI
Xiaodi Zhang, Alban Grastien, Enrico Scala
2020 A* conf
Decidability and Complexity of Action-Based Temporal Planning over Dense Time.
AAAI
Nicola Gigante, Andrea Micheli, Angelo Montanari, Enrico Scala
2020 B conf
Exploiting Classical Planning Grounding in Hybrid PDDL+ Planning Engines.
ICTAI
Enrico Scala, Mauro Vallati
2020 A* conf
Generating and Exploiting Cost Predictions in Heuristic State-Space Planning.
ICAPS
Francesco Percassi, Alfonso Emilio Gerevini, Enrico Scala, Ivan Serina, Mauro Vallati
2020 — ed.
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
Riccardo De Benedictis, Marco Maratea, Andrea Micheli, Enrico Scala, Ivan Serina, Alessandro Umbrico, Mauro Vallati
2020 A* conf
Search-Guidance Mechanisms for Numeric Planning Through Subgoaling Relaxation.
ICAPS
Enrico Scala, Alessandro Saetti, Ivan Serina, Alfonso Emilio Gerevini
2020 J jnl
Subgoaling Techniques for Satisficing and Optimal Numeric Planning.
J. Artif. Intell. Res.
Enrico Scala, Patrik Haslum, Sylvie Thiébaux, Miquel Ramírez
2020 — conf
Towards Plan Recognition in Hybrid Systems.
IPS-RCRA@AI*IA
Diego Aineto, Eva Onaindia, Miquel Ramírez, Enrico Scala, Ivan Serina
2019 A* conf
Temporal Planning with Temporal Metric Trajectory Constraints.
AAAI
Andrea Micheli, Enrico Scala
2019 — conf
Using AI-Planning to Solve a Kinodynamic Path Planning Problem and Its Application for HAPS.
IHSI
Jane Jean Kiam, Axel Schulte, Enrico Scala
2018 J jnl
35 Years of Pietro Torasso's work on diagnosis.
Intelligenza Artificiale
Luca Console, Diego Magro, Roberto Micalizio, Enrico Scala, Daniele Theseider Dupré, Gianluca Torta
2018 A* conf
Effect-Abstraction Based Relaxation for Linear Numeric Planning.
IJCAI
Dongxu Li, Enrico Scala, Patrik Haslum, Sergiy Bogomolov
2018 A conf
Integrated Hybrid Planning and Programmed Control for Real Time UAV Maneuvering.
AAMAS
Miquel Ramírez, Michael Papasimeon, Nir Lipovetzky, Lyndon Benke, Tim Miller, Adrian R. Pearce, Enrico Scala, Mohammad Zamani
2018 A* conf
Sampling Strategies for Conformant Planning.
ICAPS
Alban Grastien, Enrico Scala
2017 A* conf
Intelligent Belief State Sampling for Conformant Planning.
IJCAI
Alban Grastien, Enrico Scala
2017 A* conf
Landmarks for Numeric Planning Problems.
IJCAI
Enrico Scala, Patrik Haslum, Daniele Magazzeni, Sylvie Thiébaux
2017 J jnl
Numerical Integration and Dynamic Discretization in Heuristic Search Planning over Hybrid Domains.
CoRR
Miquel Ramírez, Enrico Scala, Patrik Haslum, Sylvie Thiébaux
2016 A* conf
Heuristics for Numeric Planning via Subgoaling.
IJCAI
Enrico Scala, Patrik Haslum, Sylvie Thiébaux
2016 A conf
Interval-Based Relaxation for General Numeric Planning.
ECAI
Enrico Scala, Patrik Haslum, Sylvie Thiébaux, Miquel Ramírez
2016 A* conf
Numeric Planning with Disjunctive Global Constraints via SMT.
ICAPS
Enrico Scala, Miquel Ramírez, Patrik Haslum, Sylvie Thiébaux
2015 A* conf
Deordering and Numeric Macro Actions for Plan Repair.
IJCAI
Enrico Scala, Pietro Torasso
2015 J jnl
Robust plan execution via reconfiguration and replanning.
AI Commun.
Enrico Scala, Roberto Micalizio, Pietro Torasso
2015 B conf
Towards a Reformulation Based Approach for Efficient Numeric Planning: Numeric Outer Entanglements.
SOCS
Lukás Chrpa, Enrico Scala, Mauro Vallati
2014 B conf
A Numeric PDDL Based Approach for Temporally Constrained Journey Problems.
ICTAI
Sebastiano Concetto Marco Caff, Francesco Di Mauro, Enrico Scala
2014 A* conf
Plan Repair for Resource Constrained Tasks via Numeric Macro Actions.
ICAPS
Enrico Scala
2014 A conf
Proactive and Reactive Reconfiguration for the Robust Execution of Multi Modality Plans.
ECAI
Enrico Scala, Pietro Torasso
2014 — conf
ReCon: An Online Task ReConfiguration Approach for Robust Plan Execution.
ICAART (Revised Selected Papers)
Enrico Scala, Roberto Micalizio, Pietro Torasso
2014 — conf
Robust Execution of Rover Plans via Action Modalities Reconfiguration.
ICAART (1)
Enrico Scala, Roberto Micalizio, Pietro Torasso
2013 — conf
Numeric Kernel for Reasoning about Plans Involving Numeric Fluents.
AI*IA
Enrico Scala
2013 — conf
Numerical Kernels for Monitoring and Repairing Plans Involving Continuous and Consumable Resources.
ICAART (2)
Enrico Scala
2011 — conf
Intelligent Supervision for Robust Plan Execution.
AI*IA
Roberto Micalizio, Enrico Scala, Pietro Torasso
2010 — conf
Involving the Human User in the Control Architecture of an Autonomous Agent.
IFIP AI
Roberto Micalizio, Giancarlo Nuzzolo, Enrico Scala, Pietro Torasso