Plan4Past-data hosts the datasets used in the experiments of the following papers:
- Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic. ICAPS 2023. Best Student Paper Award.
- FOND Planning for Pure-Past Linear Temporal Logic Goals. ECAI 2023.
Plan4Past-data is released under the GNU Lesser General Public License v3.0 or later (LGPLv3+).
Copyright 2021 -- 2023 WhiteMech
- Luigi Bonassi <[email protected]>
- Marco Favorito <[email protected]>
- Francesco Fuggitti <[email protected]>
If you use Plan4Past datasets in your research, please consider citing the following papers.
- For deterministic (classical) planning:
@inproceedings{icaps2023bdffgs,
author = {Luigi Bonassi and
Giuseppe {De Giacomo} and
Marco Favorito and
Francesco Fuggitti and
{Alfonso Emilio} Gerevini and
Enrico Scala},
title = {{Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic}},
booktitle = {{ICAPS}},
pages = {61--69},
publisher = {{AAAI} Press},
year = {2023}
}
- For non-deterministic (FOND) planning:
@inproceedings{ecai2023bdffgs,
author = {Luigi Bonassi and
Giuseppe De Giacomo and
Marco Favorito and
Francesco Fuggitti and
Alfonso Emilio Gerevini and
Enrico Scala},
title = {{FOND} Planning for Pure-Past Linear Temporal Logic Goals},
booktitle = {{ECAI}},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {372},
pages = {279--286},
publisher = {{IOS} Press},
year = {2023}
}
Plan4Past-data has been partially supported by the EU H2020 project AIPlan4EU (No. 101016442), the ERC-ADG WhiteMech (No. 834228), the EU ICT-48 2020 project TAILOR (No. 952215), the PRIN project RIPER (No. 20203FFYLK), and the PNRR MUR project FAIR (No. PE0000013).