Merge pull request #195 from whitemech/feat/publications-update

Added recent and old papers with whitemech acknowledgments.
whitemech · Jun 10, 2024 · b3a752f · b3a752f
2 parents 7b9cd0e + 7a20ce3
commit b3a752f
Showing 1 changed file with 94 additions and 7 deletions.
diff --git a/publications.bib b/publications.bib
@@ -53,8 +53,8 @@ @inproceedings{eumas2023dpz
 
 @inproceedings{eumas2023agsfrz,
   author       = {Benjamin Aminof and
-                  Giuseppe De Giacomo and
-                  Antonio Di Stasio and
+                  Giuseppe {De Giacomo} and
+                  Antonio {Di Stasio} and
                   Hugo Francon and
                   Sasha Rubin and
                   Shufang Zhu},
@@ -502,11 +502,15 @@ @article{jair2023dfpz
 }
 
 @inproceedings{amai2022gnpw,
- author    = {Julian Gutierrez and Muhammad Najib and Giuseppe Perelli and Michael Wooldridge},
- title     = {On the Complexity of Rational Verification},
- booktitle = {{Annals of Mathematics and Artificial Intelligence}},
- year      = {2022},
- url_paper = {https://whitemech.github.io/papers/2022/amai2022gnpw.pdf},
+	author			= {Julian Gutierrez and Muhammad Najib and Giuseppe Perelli and Michael Wooldridge},
+	title				= "{On the Complexity of Rational Verification.}",
+	booktitle		= "{Annals of Mathematics and Artificial Intelligence}",
+	publisher		= "Springer International Publishing",
+	volume       = {91},
+	number       = {4},
+	pages        = {409--430},
+	year      	= "{2023}",
+	url_paper 				= {https://doi.org/10.1007/s10472-022-09804-3},
 }
 
 @article{arxiv2022dfpz,
@@ -1413,3 +1417,86 @@ @article{fi2019ddllr
 issn = {1999-5903},
 doi = {10.3390/fi11120260},
 }
+
+@inproceedings{icaart2024bi,
+  author       = {Damiano Brunori and
+                  Luca Iocchi},
+  title        = {A Delay-Aware DRL-Based Environment for Cooperative Multi-UAV Systems
+                  in Multi-Purpose Scenarios},
+  booktitle    = {{ICAART} {(3)}},
+  pages        = {334--343},
+  publisher    = {{SCITEPRESS}},
+  year         = {2024}
+}
+
+@incollection{acmtcl2023bkmmmp,
+	author    = {Patricia Bouyer and Orna Kupferman and Nicolas Markey and Bastien Maubert and Aniello Murano and Giuseppe Perelli},
+	title     = "{Reasoning About Quality and Fuzziness of Strategic Behaviours}",
+	booktitle	= "{{ACM} Transaction on Computational Logic}",
+	year      	= "{2023}",
+	note 				= "doi: \textbf{10.1145/3582498}",
+	url_paper 				= {https://dl.acm.org/doi/10.1145/3582498},
+}
+
+@inproceedings{ijcai2024ghnpw,
+	author				=	{Julian Gutierrez and David Hyland and Muhammad Najib and Giuseppe Perelli and Michael Wooldridge},
+	title					=	{Endogenous Energy Reactive Modules Games: Modelling Side Payments Among Resource-Bounded Agents},
+	booktitle			=	{The 33rd International Joint Conference on Artificial Intelligence, {IJCAI}},
+	year					=	{2024},
+}
+
+@inproceedings{aaai2024addlpv,
+	author				=	{Natasha Alechina and Mehdi Dastani and Giuseppe {De Giacomo} and Brian Logan and Giuseppe Perelli and Giovanni Varricchione},
+	title					=	{Pure-Past Action Masking},
+	booktitle			=	{38th Annual AAAI Conference on Artificial Intelligence, {AAAI}},
+	pages        = {21646--21655},
+	publisher    = {{AAAI} Press},
+	year         = {2024},
+	doi          = {10.1609/AAAI.V38I19.30163},
+}
+
+@inproceedings{ecai2023fppt,
+	author    = {Oliver Fernandez-Gil and Fabio Patrizi and Giuseppe Perelli and Anni-Yasmin Turhan},
+	title     = "{Optimal Alignment of Temporal Knowledge Bases}",
+	booktitle = {26th European Conference on Artificial Intelligence, {ECAI} 2023},
+	volume       = {372},
+	pages        = {708--715},
+	publisher    = {{IOS} Press},
+	year         = {2023},
+	doi					 = {10.3233/FAIA230335}
+}
+
+@inproceedings{ecai2023gpp,
+	author    = {Pierre Gaillard and Fabio Patrizi and Giuseppe Perelli},
+	title     = "{Strategy Repair in Reachability Games}",
+	booktitle = {26th European Conference on Artificial Intelligence, {ECAI} 2023},
+	volume       = {372},
+	pages        = {780--787},
+	publisher    = {{IOS} Press},
+	year         = {2023},
+	doi          = {10.3233/FAIA230344},
+}
+
+@inproceedings{eumas2023dp,
+	author       = {Giuseppe {De Giacomo} and Giuseppe Perelli},
+	title        = {Behavioral {QLTL}},
+	booktitle    = {20th European Conference on Multi-Agent Systems, {EUMAS} 2023, Naples, Italy, September 14-15, 2023},
+	series       = {Lecture Notes in Computer Science},
+	volume       = {14282},
+	pages        = {133--149},
+	publisher    = {Springer},
+	year         = {2023},
+	doi          = {10.1007/978-3-031-43264-4\_9},
+}
+
+@inproceedings{time2022gkpw,
+	author    = {Julian Gutierrez and Sarit Kraus and Giuseppe Perelli and {Michael J.} Wooldridge},
+	title     = "{Giving Instructions in Linear Temporal Logic}",
+	booktitle = {29th International Symposium on Temporal Representation and Reasoning, {TIME} 2022},
+	series    = {LIPIcs},
+	volume    = {247},
+	pages     = {15:1--15:14},
+	publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
+	year      = {2022},
+	doi       = {10.4230/LIPIcs.TIME.2022.15},
+}