Enrico Scala

Orcid: 0000-0003-2274-875X

According to our database1, Enrico Scala authored at least 63 papers between 2010 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Safe Learning of PDDL Domains with Conditional Effects - Extended Version.
CoRR, 2024

An Effective Polynomial Technique for Compiling Conditional Effects Away.
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

Dealing with Numeric and Metric Time Constraints in PDDL3 via Compilation to Numeric Planning.
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023
Improving Domain-Independent Heuristic State-Space Planning via plan cost predictions.
J. Exp. Theor. Artif. Intell., August, 2023

A Practical Approach to Discretised PDDL+ Problems by Translation to Numeric Planning.
J. Artif. Intell. Res., 2023

On the Notion of Fixability of PDDL+ Plans [Extended Abstract].
Proceedings of the Sixteenth International Symposium on Combinatorial Search, 2023

AI Planning for Hybrid Systems.
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

On the Compilability of Bounded Numeric Planning.
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

FOND Planning for Pure-Past Linear Temporal Logic Goals.
Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

Action-Failure Resilient Planning.
Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

Fixing Plans for PDDL+ Problems: Theoretical and Practical Implications.
Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, 2023

Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic.
Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, 2023

Falsification of Cyber-Physical Systems Using PDDL+ Planning.
Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, 2023

A Structure-Sensitive Translation from Hybrid to Numeric Planning.
Proceedings of the AIxIA 2023 - Advances in Artificial Intelligence, 2023

2022
Decidability and complexity of action-based temporal planning over dense time.
Artif. Intell., 2022

On the Reformulation of Discretised PDDL+ to Numeric Planning (Extended Abstract).
Proceedings of the Fifteenth International Symposium on Combinatorial Search, 2022

On the Expressive Power of Intermediate and Conditional Effects in Temporal Planning.
Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022

Leveraging Artificial Intelligence for Simulating Traffic Signal Strategies.
Proceedings of the 25th IEEE International Conference on Intelligent Transportation Systems, 2022

Planning with Qualitative Action-Trajectory Constraints in PDDL.
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

Explaining the Behaviour of Hybrid Systems with PDDL+ Planning.
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

On-the-Fly Knowledge Acquisition for Automated Planning Applications: Challenges and Lessons Learnt.
Proceedings of the 14th International Conference on Agents and Artificial Intelligence, 2022

Optimising the Stability in Plan Repair via Compilation.
Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, 2022

The Power of Reformulation: From Validation to Planning in PDDL+.
Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, 2022

Verification of Numeric Planning Problems Through Domain Dynamic Consistency.
Proceedings of the AIxIA 2022 - Advances in Artificial Intelligence, 2022

Planning with PDDL3 Qualitative Constraints for Cost-Optimal Solutions Through Compilation (Short Paper).
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, 2022

2021
Effective grounding for hybrid planning problems represented in PDDL+.
Knowl. Eng. Rev., 2021

A Hybrid Automated Planning Approach for Urban Real-time Routing of Connected Vehicles.
Proceedings of the 24th IEEE International Intelligent Transportation Systems Conference, 2021

Non-Deterministic Conformant Planning Using a Counterexample-Guided Incremental Compilation to Classical Planning.
Proceedings of the Thirty-First International Conference on Automated Planning and Scheduling, 2021

Translations from Discretised PDDL+ to Numeric Planning.
Proceedings of the Thirty-First International Conference on Automated Planning and Scheduling, 2021

On Planning with Qualitative State-Trajectory Constraints in PDDL3 by Compiling them Away.
Proceedings of the Thirty-First International Conference on Automated Planning and Scheduling, 2021

A Sound (But Incomplete) Polynomial Translation from Discretised PDDL+ to Numeric Planning.
Proceedings of the AIxIA 2021 - Advances in Artificial Intelligence, 2021

2020
Subgoaling Techniques for Satisficing and Optimal Numeric Planning.
J. Artif. Intell. Res., 2020

CPCES: A planning framework to solve conformant planning problems through a counterexample guided refinement.
Artif. Intell., 2020

Exploiting Classical Planning Grounding in Hybrid PDDL+ Planning Engines.
Proceedings of the 32nd IEEE International Conference on Tools with Artificial Intelligence, 2020

Search-Guidance Mechanisms for Numeric Planning Through Subgoaling Relaxation.
Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling, 2020

Generating and Exploiting Cost Predictions in Heuristic State-Space Planning.
Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling, 2020

An AI-Based Planning Framework for HAPS in a Time-Varying Environment.
Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling, 2020

Towards Plan Recognition in Hybrid Systems.
Proceedings of the 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, 2020

Computing Superior Counter-Examples for Conformant Planning.
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019
Using AI-Planning to Solve a Kinodynamic Path Planning Problem and Its Application for HAPS.
Proceedings of the Intelligent Human Systems Integration 2019, 2019

Temporal Planning with Temporal Metric Trajectory Constraints.
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018
35 Years of Pietro Torasso's work on diagnosis.
Intelligenza Artificiale, 2018

Effect-Abstraction Based Relaxation for Linear Numeric Planning.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Integrated Hybrid Planning and Programmed Control for Real Time UAV Maneuvering.
Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018

Sampling Strategies for Conformant Planning.
Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling, 2018

2017
Numerical Integration and Dynamic Discretization in Heuristic Search Planning over Hybrid Domains.
CoRR, 2017

Landmarks for Numeric Planning Problems.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Intelligent Belief State Sampling for Conformant Planning.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

2016
Heuristics for Numeric Planning via Subgoaling.
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Interval-Based Relaxation for General Numeric Planning.
Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

Numeric Planning with Disjunctive Global Constraints via SMT.
Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling, 2016

2015
Robust plan execution via reconfiguration and replanning.
AI Commun., 2015

Towards a Reformulation Based Approach for Efficient Numeric Planning: Numeric Outer Entanglements.
Proceedings of the Eighth Annual Symposium on Combinatorial Search, 2015

Deordering and Numeric Macro Actions for Plan Repair.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

2014
A Numeric PDDL Based Approach for Temporally Constrained Journey Problems.
Proceedings of the 26th IEEE International Conference on Tools with Artificial Intelligence, 2014

ReCon: An Online Task ReConfiguration Approach for Robust Plan Execution.
Proceedings of the Agents and Artificial Intelligence - 6th International Conference, 2014

Robust Execution of Rover Plans via Action Modalities Reconfiguration.
Proceedings of the ICAART 2014, 2014

Proactive and Reactive Reconfiguration for the Robust Execution of Multi Modality Plans.
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

Plan Repair for Resource Constrained Tasks via Numeric Macro Actions.
Proceedings of the Twenty-Fourth International Conference on Automated Planning and Scheduling, 2014

2013
Numerical Kernels for Monitoring and Repairing Plans Involving Continuous and Consumable Resources.
Proceedings of the ICAART 2013, 2013

Numeric Kernel for Reasoning about Plans Involving Numeric Fluents.
Proceedings of the AI*IA 2013: Advances in Artificial Intelligence, 2013

2011
Intelligent Supervision for Robust Plan Execution.
Proceedings of the AI*IA 2011: Artificial Intelligence Around Man and Beyond, 2011

2010
Involving the Human User in the Control Architecture of an Autonomous Agent.
Proceedings of the Artificial Intelligence in Theory and Practice III, 2010


  Loading...