Showing 9 publications by Luigi Bonassi
Two constraint compilation methods for lifted planning
Mantenoglou P, Bonassi L, Scala E & Martires PZD (2026), Proceedings of the 40th Annual AAAI Conference on Artificial Intelligence, 40(43), 36325-36333
Planning for temporally extended goals in pure-past linear temporal logic
Bonassi L, De Giacomo G, Favorito M, Fuggitti F, Gerevini AE et al. (2025), Artificial Intelligence, 348, 104409
BibTeX
@article{planningfortemp-2025/11,
title={Planning for temporally extended goals in pure-past linear temporal logic},
author={Bonassi L, De Giacomo G, Favorito M, Fuggitti F, Gerevini AE et al.},
journal={Artificial Intelligence},
volume={348},
pages={104409},
publisher={Elsevier},
year = "2025"
}
Conditional effects in numeric planning reloaded
Bonassi L, Espasa Arxer J, Percassi F & Scala E (2025), ECAI 2025: 28th European Conference on Artificial Intelligence, 25-30 October 2025, Bologna, Italy – Including 14th Conference on Prestigious Applications of Intelligent Systems (PAIS 2025), 4929-4936
On using lazy greedy best-first search with subgoaling relaxation in numeric planning problems
Scala E & Bonassi L (2025), Proceedings of the Thirty-Fifth International Conference on Automated Planning and Scheduling, 35(1), 245-249
BibTeX
@inproceedings{onusinglazygree-2025/9,
title={On using lazy greedy best-first search with subgoaling relaxation in numeric planning problems},
author={Scala E & Bonassi L},
booktitle={35th International Conference on Automated Planning and Scheduling (ICAPS 2025)},
pages={245-249},
year = "2025"
}
BLAST: bit-blasting numbers for classical planning (extended abstract)
Bonassi L, Percassi F & Scala E (2025), Proceedings of the International Symposium on Combinatorial Search, 18(1), 249-250
Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic (Extended Abstract)
Bonassi L, De Giacomo G, Favorito M, Fuggitti F, Gerevini AE et al. (2024), 8378-8383
BibTeX
@inproceedings{planningfortemp-2024/8,
title={Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic (Extended Abstract)},
author={Bonassi L, De Giacomo G, Favorito M, Fuggitti F, Gerevini AE et al.},
booktitle={Proceedings of the Thirty-ThirdInternational Joint Conference on Artificial Intelligence},
pages={8378-8383},
year = "2024"
}
FOND planning for pure-past linear temporal logic goals
Bonassi L, De Giacomo G, Favorito M, Fuggitti F, Gerevini AE et al. (2023), 279-286
Planning for temporally extended goals in pure-past linear temporal logic
Bonassi L, De Giacomo G, Favorito M, Fuggitti F, Gerevini AE et al. (2023), Proceedings of the International Conference on Automated Planning and Scheduling, 33(1), 61-69
BibTeX
@article{planningfortemp-2023/7,
title={Planning for temporally extended goals in pure-past linear temporal logic},
author={Bonassi L, De Giacomo G, Favorito M, Fuggitti F, Gerevini AE et al.},
journal={Proceedings of the International Conference on Automated Planning and Scheduling},
volume={33},
pages={61-69},
publisher={Association for the Advancement of Artificial Intelligence},
year = "2023"
}
Shielded FOND: Planning with Safety Constraints in Pure-Past Linear Temporal Logic
Bonassi L, De Giacomo G, Gerevini AE & Scala E (0)