From 4bd4f3ee4eb96e482d258f99fbe881ad622f938e Mon Sep 17 00:00:00 2001 From: Roberto Cipollone Date: Mon, 9 Oct 2023 15:16:18 +0200 Subject: [PATCH] Small additions. --- tailor.bib | 45 +++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 45 insertions(+) diff --git a/tailor.bib b/tailor.bib index b9aeeb11..07757728 100644 --- a/tailor.bib +++ b/tailor.bib @@ -701,6 +701,17 @@ @inproceedings{aamas2021rfm year = {2021} } +@article{abs-2308-15178/ecai23, + author = {Giuseppe {De Giacomo} and +Gianmarco Parretti and +Shufang Zhu}, + booktitle = {Proceedings of the 26th {European} Conference on {Artificial} +{Intelligence} ({ECAI} 2023)}, + keywords = {WP5,A-level}, + title = {Symbolic LTLf Best-Effort Synthesis}, + year = {2023} +} + @article{ACEM20, author = {Mar{\'{\i}}a Alpuente and Angel Cuenca{-}Ortega and Santiago Escobar and Jos{\'{e}} Meseguer}, doi = {10.3233/FI-2020-1991}, @@ -2260,6 +2271,20 @@ @inproceedings{DBLP:conf/eumas/GiacomoP23 year = {2023} } +@inproceedings{DBLP:conf/eumas/GiacomoPZ23, + author = {Giuseppe De Giacomo and +Gianmarco Parretti and +Shufang Zhu}, + booktitle = {{EUMAS}}, + keywords = {WP5}, + pages = {228--243}, + publisher = {Springer}, + series = {Lecture Notes in Computer Science}, + title = {Symbolic sc ltlf Best-Effort Synthesis}, + volume = {14282}, + year = {2023} +} + @inproceedings{DBLP:conf/evoapps/KostovskaVDPED13, author = {Ana Kostovska and Diederick Vermetten and @@ -5094,6 +5119,18 @@ @inproceedings{ecai2023sfj year = {2023} } +@article{ecai23bdffds, + author = {Bonassi, Luigi and De Giacomo, Giuseppe and Favorito, Marco and Fuggitti, Francesco and Gerevini, Alfonso and Scala, Enrico}, + booktitle = {Proceedings of the 26th {European} Conference on {Artificial} +{Intelligence} ({ECAI} 2023)}, + doi = {10.3233/FAIA230281}, + isbn = {9781643684369}, + keywords = {WP5,A-level}, + month = {09}, + title = {FOND Planning for Pure-Past Linear Temporal Logic Goals}, + year = {2023} +} + @inproceedings{elbaz2021metadl, author = {El Baz, Adrian and Guyon, Isabelle and Liu, Zhengying and van Rijn, Jan Nicolaas and Treguer, Sebastien and Vanschoren, Joaquin}, booktitle = {AAAI Workshop on Meta-Learning and MetaDL Challenge}, @@ -5833,6 +5870,14 @@ @inproceedings{ijcnn2021put year = {2021} } +@article{ilp23ilfrdr, + author = {Ielo, Antonio and Law, Mark and Fionda, Valeria and Ricca, Francesco and De Giacomo, Giuseppe and Russo, Alessandra}, + booktitle = {32nd International Conference on Inductive Logic Programming ILP2023}, + keywords = {WP5}, + title = {Towards ILP-based LTLf passive learning}, + year = {2023} +} + @article{Iranzo-Sanchez2021, author = {Javier Iranzo-S{\'{a}}nchez and Javier Jorge and Pau Baquero-Arnal and Silvestre-Cerd{\`{a}}, Joan Albert and Adrià Giménez and Jorge Civera and Albert Sanchis and Alfons Juan}, date = {2021-01-01},