Sotabase

Career

· Doctor of Philosophy - PhD, Artificial Intelligence, Università degli Studi di Brescia2020–2024
· Master's degree in Computer Science and Engineering, 110 with honors, Università degli Studi di Brescia2018–2020
· Bachelor's degree in Computer Science and Engineering, 110 with honors, Università degli Studi di Brescia2015–2018

Publications (13)

Unified Planning: Modeling, manipulating and solving AI planning problems in Python
SoftwareX · 2025
24
cited
On Planning with Qualitative State-Trajectory Constraints in PDDL3 by Compiling them Away
International Conference on Automated Planning and Scheduling · 2021
15
cited
Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic
International Conference on Automated Planning and Scheduling · 2023
14
cited
Planning with Qualitative Action-Trajectory Constraints in PDDL
International Joint Conference on Artificial Intelligence · 2022
12
cited
FOND Planning for Pure-Past Linear Temporal Logic Goals
European Conference on Artificial Intelligence · 2023
11
cited
Dealing with Numeric and Metric Time Constraints in PDDL3 via Compilation to Numeric Planning
AAAI Conference on Artificial Intelligence · 2024
7
cited
Unified Planning: A Python Library Making Planning Technology Accessible
5
cited
Shielded FOND: Planning with Safety Constraints in Pure-Past Linear Temporal Logic
European Conference on Artificial Intelligence · 2024
2
cited
Towards Practical Classical Planning Compilations of Numeric Planning
AAAI Conference on Artificial Intelligence · 2025
1
cited
Artificial Intelligence
BLAST: Bit-Blasting Numbers for Classical Planning (Extended Abstract)
Proceedings of the International Symposium on Combinatorial Search · 2025
On Using Lazy Greedy Best-First Search with Subgoaling Relaxation in Numeric Planning Problems
Proceedings of the ... International Conference on Automated Planning and Scheduling · 2025
Two Constraint Compilation Methods for Lifted Planning
arXiv.org · 2025
Sotabase
Luigi Bonassi | Researcher Profile | Sotabase | Sotabase