Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic (Extended Abstract). Bonassi, L., Giacomo, G. D., Favorito, M., Fuggitti, F., Gerevini, A. E., & Scala, E. In Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, IJCAI 2024, Jeju, South Korea, August 3-9, 2024, pages 8378–8383, 2024. ijcai.org.
Paper bibtex @inproceedings{DBLP:conf/ijcai/BonassiGFFGS24,
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 (Extended Abstract)},
booktitle = {Proceedings of the Thirty-Third International Joint Conference on
Artificial Intelligence, {IJCAI} 2024, Jeju, South Korea, August 3-9,
2024},
pages = {8378--8383},
publisher = {ijcai.org},
year = {2024},
url = {https://www.ijcai.org/proceedings/2024/926},
timestamp = {Fri, 18 Oct 2024 10:53:17 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BonassiGFFGS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0
{"_id":"yMNc9AbtksK3yC8b3","bibbaseid":"bonassi-giacomo-favorito-fuggitti-gerevini-scala-planningfortemporallyextendedgoalsinpurepastlineartemporallogicextendedabstract-2024","author_short":["Bonassi, L.","Giacomo, G. D.","Favorito, M.","Fuggitti, F.","Gerevini, A. E.","Scala, E."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Luigi"],"propositions":[],"lastnames":["Bonassi"],"suffixes":[]},{"firstnames":["Giuseppe","De"],"propositions":[],"lastnames":["Giacomo"],"suffixes":[]},{"firstnames":["Marco"],"propositions":[],"lastnames":["Favorito"],"suffixes":[]},{"firstnames":["Francesco"],"propositions":[],"lastnames":["Fuggitti"],"suffixes":[]},{"firstnames":["Alfonso","Emilio"],"propositions":[],"lastnames":["Gerevini"],"suffixes":[]},{"firstnames":["Enrico"],"propositions":[],"lastnames":["Scala"],"suffixes":[]}],"title":"Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic (Extended Abstract)","booktitle":"Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, IJCAI 2024, Jeju, South Korea, August 3-9, 2024","pages":"8378–8383","publisher":"ijcai.org","year":"2024","url":"https://www.ijcai.org/proceedings/2024/926","timestamp":"Fri, 18 Oct 2024 10:53:17 +0200","biburl":"https://dblp.org/rec/conf/ijcai/BonassiGFFGS24.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/ijcai/BonassiGFFGS24,\n author = {Luigi Bonassi and\n Giuseppe De Giacomo and\n Marco Favorito and\n Francesco Fuggitti and\n Alfonso Emilio Gerevini and\n Enrico Scala},\n title = {Planning for Temporally Extended Goals in Pure-Past Linear Temporal\n Logic (Extended Abstract)},\n booktitle = {Proceedings of the Thirty-Third International Joint Conference on\n Artificial Intelligence, {IJCAI} 2024, Jeju, South Korea, August 3-9,\n 2024},\n pages = {8378--8383},\n publisher = {ijcai.org},\n year = {2024},\n url = {https://www.ijcai.org/proceedings/2024/926},\n timestamp = {Fri, 18 Oct 2024 10:53:17 +0200},\n biburl = {https://dblp.org/rec/conf/ijcai/BonassiGFFGS24.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Bonassi, L.","Giacomo, G. D.","Favorito, M.","Fuggitti, F.","Gerevini, A. E.","Scala, E."],"key":"DBLP:conf/ijcai/BonassiGFFGS24","id":"DBLP:conf/ijcai/BonassiGFFGS24","bibbaseid":"bonassi-giacomo-favorito-fuggitti-gerevini-scala-planningfortemporallyextendedgoalsinpurepastlineartemporallogicextendedabstract-2024","role":"author","urls":{"Paper":"https://www.ijcai.org/proceedings/2024/926"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/223/5577.bib","dataSources":["wEiHsBTX9GRcns3Hd"],"keywords":[],"search_terms":["planning","temporally","extended","goals","pure","past","linear","temporal","logic","extended","abstract","bonassi","giacomo","favorito","fuggitti","gerevini","scala"],"title":"Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic (Extended Abstract)","year":2024}