Enrico Scala

Optimised Variants of Polynomial Compilation for Conditional Effects in Classical Planning

2024 · Proceedings of the International Symposium on Combinatorial Search

Conditional effects are a key feature in classical planning, enabling the description of actions whose outcomes are state-dependent. It is well known that the polynomial removal of conditional effects necessarily increases the size of a …

Towards Practical Classical Planning Compilations of Numeric Planning

2025 · Proceedings of the AAAI Conference on Artificial Intelligence

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 …