Luigi Bonassi

AAAI Conference 2026 Conference Paper

Two Constraint Compilation Methods for Lifted Planning

• Periklis Mantenoglou
• Luigi Bonassi
• Enrico Scala
• Pedro Zuidberg Dos Martires

We study planning in a fragment of PDDL with qualitative state-trajectory constraints, capturing safety requirements, task ordering conditions, and intermediate sub-goals commonly found in real-world problems. A prominent approach to tackle such problems is to compile their constraints away, leading to a problem that is supported by state-of-the-art planners. Unfortunately, existing compilers do not scale on problems with a large number of objects and high-arity actions, as they necessitate grounding the problem before compilation. To address this issue, we propose two methods for compiling away constraints without grounding, making them suitable for large-scale planning problems. We prove the correctness of our compilers and outline their worst-case time complexity. Moreover, we present a reproducible empirical evaluation on the domains used in the latest International Planning Competition. Our results demonstrate that our methods are efficient and produce planning specifications that are orders of magnitude more succinct than the ones produced by compilers that ground the domain, while remaining competitive when used for planning with a state-of-the-art planner.

ECAI Conference 2025 Conference Paper

Conditional Effects in Numeric Planning Reloaded

• Luigi Bonassi
• Joan Espasa
• Francesco Percassi
• Enrico Scala

Automated planning, a core area of artificial intelligence, aims to generate action sequences that achieve specified goals based on a formal model. In classical planning, where only Boolean state variables are allowed, conditional effects are the standard approach for modelling actions with state-dependent outcomes. However, unlike in the classical setting, relatively little research has focused on developing planning methods for numeric problems with conditional effects. To address this gap in the literature, this work studies numeric planning with conditional effects. We formalise its semantics and revise existing classical planning compilations for conditional effects to account for the specific features of numeric planning. This results in three encodings: two are designed for the full class of numeric planning problems, while the third is specific to tasks with conditional effects that increase or decrease variables by a constant, transforming such problems into instances of Simple Numeric Planning, a well-known and practically significant subclass of numeric tasks. The experimental evaluation compares these compilations across both newly designed and compelling benchmarks as well as existing domains featuring conditional effects. Our empirical findings reveal complementary behaviour among the approaches, highlighting the practical impact of selecting the appropriate compilation for different problem structures.

AIJ Journal 2025 Journal Article

Planning for temporally extended goals in pure-past linear temporal logic

• Luigi Bonassi
• Giuseppe De Giacomo
• Marco Favorito
• Francesco Fuggitti
• Alfonso Emilio Gerevini
• Enrico Scala

AAAI Conference 2025 Conference Paper

Towards Practical Classical Planning Compilations of Numeric Planning

• Luigi Bonassi
• Francesco Percassi
• Enrico Scala

It is well known that numeric planning can be made decidable if the domain of all numeric state variables is finite. This bounded formulation can be polynomially compiled into classical planning with Boolean conditions and conditional effects preserving the plan size exactly. However, it remains unclear whether this compilation has any practical utility. To explore this aspect, this work revisits the theoretical compilation framework from a practical perspective, focusing on the fragment of simple numeric planning. Specifically, we introduce three different compilations. The first, called one-hot, aims to systematise the current practice among planning practitioners of modelling numeric planning through classical planning. The other two, termed binary compilations, extend and specialise the logarithmic encoding introduced in previous literature. Our experimental analysis reveals that the overly complex logarithmic encoding can, surprisingly, be made practical with some representational expedients. Among these, the use of axioms is particularly crucial. Furthermore, we identify a class of mildly numeric planning problems where a classical planner, i.e., LAMA, when run on the compiled problem, is highly competitive with state-of-the-art numeric planners.

AAAI Conference 2024 Conference Paper

Dealing with Numeric and Metric Time Constraints in PDDL3 via Compilation to Numeric Planning

• Luigi Bonassi
• Alfonso Emilio Gerevini
• Enrico Scala

This paper studies an approach to planning with PDDL3 constraints involving mixed propositional and numeric conditions, as well as metric time constraints. We show how the whole PDDL3 with instantaneous actions can be compiled away into a numeric planning problem without PDDL3 constraints, enabling the use of any state-of-the-art numeric planner that is agnostic to the existence of PDDL3. Our solution exploits the concept of regression. In addition to a basic compilation, we present an optimized variant based on the observation that it is possible to make the compilation sensitive to the structure of the problem to solve; this can be done by reasoning on the interactions between the problem actions and the constraints. The resulting optimization substantially reduces the size of the planning task. We experimentally observe that our approach significantly outperforms existing state-of-the-art planners supporting the same class of constraints over known benchmark domains, settling a new state-of-the-art planning system for PDDL3.

IJCAI Conference 2024 Conference Paper

Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic (Extended Abstract)

• Luigi Bonassi
• Giuseppe De Giacomo
• Marco Favorito
• Francesco Fuggitti
• Alfonso Emilio Gerevini
• Enrico Scala

We study classical planning for temporally extended goals expressed in Pure-Past Linear Temporal Logic (PPLTL). PPLTL is as expressive as Linear-time Temporal Logic on finite traces (LTLf), but as shown in this paper, it is computationally much better behaved for planning. Specifically, we show that planning for PPLTL goals can be encoded into classical planning with minimal overhead, introducing only a number of new fluents that is at most linear in the PPLTL goal and no spurious additional actions. Based on these results, we implemented a system called Plan4Past, which can be used along with state-of-the-art classical planners, such as LAMA. An empirical analysis demonstrates the practical effectiveness of Plan4Past, showing that a classical planner generally performs better with our compilation than with other existing compilations for LTLf goals over the considered benchmarks.

ECAI Conference 2024 Conference Paper

Shielded FOND: Planning with Safety Constraints in Pure-Past Linear Temporal Logic

• Luigi Bonassi
• Giuseppe De Giacomo
• Alfonso Emilio Gerevini
• Enrico Scala

In this paper, we introduce Shielded FOND planning (S-FOND), which is the problem of computing a strategy to reach a final-state goal while preserving a safety specification called shield. In particular, we characterize shields as Pure-Past Linear Temporal Logic formulas that must hold in every prefix of a state trace induced by a solution strategy, thus capturing the whole safety fragment of Linear Temporal Logic formulas over finite traces. We propose three solution encodings for handling S-FOND problems: the first, which is our baseline, simply views a shield as a temporally extended goal; the second, instead, blocks the execution of further actions when the shield gets violated, and the third prevents the execution of actions that could violate the shield by using the notion of regression. We formally prove the correctness of each encoding and experimentally prove their effectiveness over a set of benchmark shields.

ECAI Conference 2023 Conference Paper

FOND Planning for Pure-Past Linear Temporal Logic Goals

• Luigi Bonassi
• Giuseppe De Giacomo
• Marco Favorito
• Francesco Fuggitti
• Alfonso Emilio Gerevini
• Enrico Scala

Recently, Pure-Past Temporal Logic (PPLTL) has proven highly effective in specifying temporally extended goals in deterministic planning domains. In this paper, we show its effectiveness also for fully observable nondeterministic (FOND) planning, both for strong and strong-cyclic plans. We present a notably simple encoding of FOND planning for PPLTL goals into standard FOND planning for final-state goals. The encoding only introduces few fluents (at most linear in the PPLTL goal) without adding any spurious action and allows planners to lazily build the relevant part of the deterministic automaton for the goal formula on-the-fly during the search. We formally prove its correctness, implement it in a tool called Plan4Past, and experimentally show its practical effectiveness.

ICAPS Conference 2023 Conference Paper

Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic

• Luigi Bonassi
• Giuseppe De Giacomo
• Marco Favorito
• Francesco Fuggitti
• Alfonso Emilio Gerevini
• Enrico Scala

We study classical planning for temporally extended goals expressed in Pure-Past Linear Temporal Logic (PPLTL). PPLTL is as expressive as Linear-time Temporal Logic on finite traces (LTLf), but as shown in this paper, it is computationally much better behaved for planning. Specifically, we show that planning for PPLTL goals can be encoded into classical planning with minimal overhead, introducing only a number of new fluents that is at most linear in the PPLTL goal and no spurious additional actions. Based on these results, we implemented a system called Plan4Past, which can be used along with state-of-the-art classical planners, such as LAMA. An empirical analysis demonstrates the practical effectiveness of Plan4Past, showing that a classical planner generally performs better with our compilation than with other existing compilations for LTLf goals over the considered benchmarks.

IJCAI Conference 2022 Conference Paper

Planning with Qualitative Action-Trajectory Constraints in PDDL

• Luigi Bonassi
• Alfonso Emilio Gerevini
• Enrico Scala

In automated planning the ability of expressing constraints on the structure of the desired plans is important to deal with solution quality, as well as to express control knowledge. In PDDL3, this is supported through state-trajectory constraints corresponding to a class of LTLf formulae. In this paper, first we introduce a formalism to express trajectory constraints over actions in the plan, rather than over traversed states; Then we investigate compilation-based methods to deal with such constraints in propositional planning, and propose a new simple effective method. Finally, we experimentally study the usefulness of our action-trajectory constraints as a tool to express control knowledge. The experimental results show that the performance of a classical planner can be significantly improved by exploiting knowledge expressed by action constraints and handled by our compilation method, while the same knowledge turns out to be less beneficial when specified as state constraints and handled by two state-of-the-art systems supporting state constraints.

ICAPS Conference 2021 Conference Paper

On Planning with Qualitative State-Trajectory Constraints in PDDL3 by Compiling them Away

• Luigi Bonassi
• Alfonso Emilio Gerevini
• Francesco Percassi
• Enrico Scala

We tackle the problem of classical planning with qualitative state-trajectory constraints as those that can be expressed in PDDL3. These kinds of constraints allow a user to formally specify which temporal properties a plan has to conform with through a class of LTL formulae. We study a compilation-based approach that does not resort to automata for representing and dealing with such properties, as other approaches do, and generates a classical planning problem with conditional effects that is solvable iff the original PDDL3 problem is. Our compilation exploits a regression operator to revise the actions' preconditions and conditional effects in a way to (i) prohibit executions that irreversibly violate temporal constraints (ii) be sensitive to executions that traverse those necessary subgoals implied by the temporal specification. An experimental analysis shows that our approach performs better than other state-of-the-art approaches over the majority of the considered benchmark domains.