Skip to main content
Menu
Back

Publications

Showing 8 publications by Luigi Bonassi

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

Altmetric score is
BibTeX View PDF 
@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"
}

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

Altmetric score is
BibTeX View PDF 
@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

Altmetric score is
BibTeX View PDF 
@misc{fondplanningfor-2023/9,
  title={FOND planning for pure-past linear temporal logic goals},
  author={Bonassi L, De Giacomo G, Favorito M, Fuggitti F, Gerevini AE et al.},
  year = "2023"
}

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

Altmetric score is
BibTeX View PDF 
@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"
}

On using lazy greedy best-first search with subgoaling relaxation in numeric planning problems

Scala E & Bonassi L (0)

Altmetric score is
BibTeX 
@inproceedings{onusinglazygree-/,
  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)}
}

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

Bonassi L, De Giacomo G, Gerevini AE & Scala E (0)

Altmetric score is
BibTeX View PDF 
@misc{shieldedfondpla-/,
  title={Shielded FOND: Planning with Safety Constraints in Pure-Past Linear Temporal Logic},
  author={Bonassi L, De Giacomo G, Gerevini AE & Scala E}
}

BLAST: bit-blasting numbers for classical planning (extended abstract)

Bonassi L, Percassi F & Scala E (0)

Altmetric score is
BibTeX 
@inproceedings{blastbitblastin-/,
  title={BLAST: bit-blasting numbers for classical planning (extended abstract)},
  author={Bonassi L, Percassi F & Scala E},
  booktitle={18th International Symposium on Combinatorial Search (SoCS 2025)}
}

Conditional Effects in Numeric Planning Reloaded

BONASSI L, Espasa J, Percassi F & Scala E (0)

Altmetric score is
BibTeX 
@inproceedings{conditionaleffe-/,
  title={Conditional Effects in Numeric Planning Reloaded},
  author={BONASSI L, Espasa J, Percassi F & Scala E},
  booktitle={28th European Conference on Artificial Intelligence (ECAI-2025)}
}