From bbdfa0e1e205b643d05024efab1b75e64fa54953 Mon Sep 17 00:00:00 2001 From: ClemensBuechner Date: Sun, 11 Jan 2026 22:59:54 +0100 Subject: [PATCH] Escape short conference names with braces. --- abbrv-short.bib | 24 +- abbrv.bib | 10 +- crossref-short.bib | 1240 +++++++++++++++++++++--------------------- crossref.bib | 1270 +++++++++++++++++++++++--------------------- literatur.bib | 392 +++++++------- 5 files changed, 1500 insertions(+), 1436 deletions(-) diff --git a/abbrv-short.bib b/abbrv-short.bib index 59a468a..8f2a2ef 100644 --- a/abbrv-short.bib +++ b/abbrv-short.bib @@ -1,24 +1,24 @@ %%%%% Abbreviations, short form. -@String{aij = "AIJ"} -@String{aimag = "AI Magazine"} -@String{jair = "JAIR"} -@String{jmlr = "JMLR"} +@String{aij = "{AIJ}"} +@String{aimag = "{AI} Magazine"} +@String{jair = "{JAIR}"} +@String{jmlr = "{JMLR}"} -@String{lncs = "LNCS"} -@String{lnai = "LNAI"} -@String{jacm = "JACM"} -@String{sicomp = "SICOMP"} +@String{lncs = "{LNCS}"} +@String{lnai = "{LNAI}"} +@String{jacm = "{JACM}"} +@String{sicomp = "{SICOMP}"} @String{tcs = "Theoretical Computer Science"} @String{nature = "Nature"} @String{symmetry = "Symmetry"} -@String{amai = "Annals of Math.\ and AI"} +@String{amai = "Annals of Math.\ and {AI}"} @String{compint = "Computational Intelligence"} -@String{ieeecomp = "IEEE Transactions on Computers"} -@String{ieeecomm = "IEEE Transactions on Communications"} -@String{ieeenn = "IEEE Transactions on Neural Networks"} +@String{ieeecomp = "{IEEE} Transactions on Computers"} +@String{ieeecomm = "{IEEE} Transactions on Communications"} +@String{ieeenn = "{IEEE} Transactions on Neural Networks"} @String{sttt = "Software Tools for Technology Transfer"} @String{iandc = "Information and Computation"} diff --git a/abbrv.bib b/abbrv.bib index d8cd103..85795a4 100644 --- a/abbrv.bib +++ b/abbrv.bib @@ -1,14 +1,14 @@ %%%%% Abbreviations, long form. @String{aij = "Artificial Intelligence"} -@String{aimag = "AI Magazine"} +@String{aimag = "{AI} Magazine"} @String{jair = "Journal of Artificial Intelligence Research"} @String{jmlr = "Journal of Machine Learning Research"} @String{lncs = "Lecture Notes in Computer Science"} @String{lnai = "Lecture Notes in Artificial Intelligence"} @String{jacm = "Journal of the ACM"} -@String{sicomp = "SIAM Journal on Computing"} +@String{sicomp = "{SIAM} Journal on Computing"} @String{tcs = "Theoretical Computer Science"} @String{nature = "Nature"} @@ -16,9 +16,9 @@ @String{symmetry @String{amai = "Annals of Mathematics and Artificial Intelligence"} @String{compint = "Computational Intelligence"} -@String{ieeecomp = "IEEE Transactions on Computers"} -@String{ieeecomm = "IEEE Transactions on Communications"} -@String{ieeenn = "IEEE Transactions on Neural Networks"} +@String{ieeecomp = "{IEEE} Transactions on Computers"} +@String{ieeecomm = "{IEEE} Transactions on Communications"} +@String{ieeenn = "{IEEE} Transactions on Neural Networks"} @String{sttt = "International Journal on Software Tools for Technology Transfer"} @String{iandc = "Information and Computation"} diff --git a/crossref-short.bib b/crossref-short.bib index 9ab5a89..b74bf40 100644 --- a/crossref-short.bib +++ b/crossref-short.bib @@ -136,8 +136,8 @@ @Proceedings{aaai2013 } @Proceedings{aaai2013lbp, - title = "Proc.\ AAAI 2013 Late-Breaking Papers", - booktitle = "Proc.\ AAAI 2013 Late-Breaking Papers", + title = "Proc.\ {AAAI} 2013 Late-Breaking Papers", + booktitle = "Proc.\ {AAAI} 2013 Late-Breaking Papers", year = "2013" } @@ -220,32 +220,32 @@ @Proceedings{aaai2025 } @Proceedings{aamas2010, - title = "Proc.\ AAMAS 2010", - booktitle = "Proc.\ AAMAS 2010", + title = "Proc.\ {AAMAS} 2010", + booktitle = "Proc.\ {AAMAS} 2010", year = "2010" } @Proceedings{aamas2013, - title = "Proc.\ AAMAS 2013", - booktitle = "Proc.\ AAMAS 2013", + title = "Proc.\ {AAMAS} 2013", + booktitle = "Proc.\ {AAMAS} 2013", year = "2013" } @Proceedings{aamas2014, - title = "Proc.\ AAMAS 2014", - booktitle = "Proc.\ AAMAS 2014", + title = "Proc.\ {AAMAS} 2014", + booktitle = "Proc.\ {AAMAS} 2014", year = "2014" } @Proceedings{aamas2016, - title = "Proc.\ AAMAS 2016", - booktitle = "Proc.\ AAMAS 2016", + title = "Proc.\ {AAMAS} 2016", + booktitle = "Proc.\ {AAMAS} 2016", year = "2016" } @Proceedings{aamas2024, - title = "Proc.\ AAMAS 2024", - booktitle = "Proc.\ AAMAS 2024", + title = "Proc.\ {AAMAS} 2024", + booktitle = "Proc.\ {AAMAS} 2024", year = "2024" } @@ -254,72 +254,72 @@ @Proceedings{aamas2024 %% uses as an abbreviation. (It's published in LNAI, so one would assume %% that the abbreviation should be somewhat unique at least within LNAI.) @Proceedings{ai2013, - title = "Proc.\ AI 2013", - booktitle = "Proc.\ AI 2013", + title = "Proc.\ {AI} 2013", + booktitle = "Proc.\ {AI} 2013", year = "2013" } @Proceedings{aiide2015, - title = "Proc.\ AIIDE 2015", - booktitle = "Proc.\ AIIDE 2015", + title = "Proc.\ {AIIDE} 2015", + booktitle = "Proc.\ {AIIDE} 2015", year = "2015" } @Proceedings{aips1992, - title = "Proc.\ AIPS 1992", - booktitle = "Proc.\ AIPS 1992", + title = "Proc.\ {AIPS} 1992", + booktitle = "Proc.\ {AIPS} 1992", year = "1992" } @Proceedings{aips1996, - title = "Proc.\ AIPS 1996", - booktitle = "Proc.\ AIPS 1996", + title = "Proc.\ {AIPS} 1996", + booktitle = "Proc.\ {AIPS} 1996", year = "1996" } @Proceedings{aips2000, - title = "Proc.\ AIPS 2000", - booktitle = "Proc.\ AIPS 2000", + title = "Proc.\ {AIPS} 2000", + booktitle = "Proc.\ {AIPS} 2000", year = "2000" } @Proceedings{aips2000wsdk, - title = "AIPS 2000 Workshop on Analyzing and Exploiting + title = "{AIPS} 2000 Workshop on Analyzing and Exploiting Domain Knowledge for Efficient Planning", - booktitle = "AIPS 2000 Workshop on Analyzing and Exploiting + booktitle = "{AIPS} 2000 Workshop on Analyzing and Exploiting Domain Knowledge for Efficient Planning", year = "2000" } @Proceedings{aips2000wsmt, - title = "AIPS 2000 Workshop on Model-Theoretic + title = "{AIPS} 2000 Workshop on Model-Theoretic Approaches to Planning", - booktitle = "AIPS 2000 Workshop on Model-Theoretic + booktitle = "{AIPS} 2000 Workshop on Model-Theoretic Approaches to Planning", year = "2000" } @Proceedings{aips2002, - title = "Proc.\ AIPS 2002", - booktitle = "Proc.\ AIPS 2002", + title = "Proc.\ {AIPS} 2002", + booktitle = "Proc.\ {AIPS} 2002", year = "2002" } @Proceedings{aistats2013, - title = "Proc.\ AISTATS 2013", - booktitle = "Proc.\ AISTATS 2013", + title = "Proc.\ {AISTATS} 2013", + booktitle = "Proc.\ {AISTATS} 2013", year = "2013" } @Proceedings{aistats2014, - title = "Proc.\ AISTATS 2014", - booktitle = "Proc.\ AISTATS 2014", + title = "Proc.\ {AISTATS} 2014", + booktitle = "Proc.\ {AISTATS} 2014", year = "2014" } @Proceedings{alenex2007, - title = "Proc.\ ALENEX 2007", - booktitle = "Proc.\ ALENEX 2007", + title = "Proc.\ {ALENEX} 2007", + booktitle = "Proc.\ {ALENEX} 2007", year = "2007" } @@ -332,20 +332,20 @@ @Proceedings{algorithmics2009 } @Proceedings{ase2022, - title = "Proc.\ ASE 2022", - booktitle = "Proc.\ ASE 2022", + title = "Proc.\ {ASE} 2022", + booktitle = "Proc.\ {ASE} 2022", year = "2022" } @Proceedings{atva2009, - title = "Proc.\ ATVA 2009", - booktitle = "Proc.\ ATVA 2009", + title = "Proc.\ {ATVA} 2009", + booktitle = "Proc.\ {ATVA} 2009", year = "2009" } @Proceedings{avocs2004, - title = "Proc. AVoCS 2004", - booktitle = "Proc. AVoCS 2004", + title = "Proc. {AVoCS} 2004", + booktitle = "Proc. {AVoCS} 2004", year = "2004" } @@ -356,62 +356,62 @@ @Proceedings{cai2018 } @Proceedings{cav1992, - title = "Proc.\ CAV 1992", - booktitle = "Proc.\ CAV 1992", + title = "Proc.\ {CAV} 1992", + booktitle = "Proc.\ {CAV} 1992", year = "1992" } @Proceedings{cav1993, - title = "Proc.\ CAV 1993", - booktitle = "Proc.\ CAV 1993", + title = "Proc.\ {CAV} 1993", + booktitle = "Proc.\ {CAV} 1993", year = "1993" } @Proceedings{cav2000, - title = "Proc.\ CAV 2000", - booktitle = "Proc.\ CAV 2000", + title = "Proc.\ {CAV} 2000", + booktitle = "Proc.\ {CAV} 2000", year = "2000" } @Proceedings{cav2002, - title = "Proc.\ CAV 2002", - booktitle = "Proc.\ CAV 2002", + title = "Proc.\ {CAV} 2002", + booktitle = "Proc.\ {CAV} 2002", year = "2002" } @Proceedings{cav2008, - title = "Proc.\ CAV 2008", - booktitle = "Proc.\ CAV 2008", + title = "Proc.\ {CAV} 2008", + booktitle = "Proc.\ {CAV} 2008", year = "2008" } @Proceedings{cav2010, - title = "Proc.\ CAV 2010", - booktitle = "Proc.\ CAV 2010", + title = "Proc.\ {CAV} 2010", + booktitle = "Proc.\ {CAV} 2010", year = "2010" } @Proceedings{cav2021part2, - title = "Proc.\ CAV 2021, Part II", - booktitle = "Proc.\ CAV 2021, Part II", + title = "Proc.\ {CAV} 2021, Part {II}", + booktitle = "Proc.\ {CAV} 2021, Part {II}", year = "2021" } @Proceedings{cav2025part1, - title = "Proc.\ CAV 2025, Part I", - booktitle = "Proc.\ CAV 2025, Part I", + title = "Proc.\ {CAV} 2025, Part {I}", + booktitle = "Proc.\ {CAV} 2025, Part {I}", year = "2025" } @Proceedings{cig2008, - title = "Proc.\ CIG 2008", - booktitle = "Proc.\ CIG 2008", + title = "Proc.\ {CIG} 2008", + booktitle = "Proc.\ {CIG} 2008", year = "2008" } @Proceedings{cocomile2012, - title = "Proc.\ CoCoMile 2012", - booktitle = "Proc.\ CoCoMile 2012", + title = "Proc.\ {CoCoMile} 2012", + booktitle = "Proc.\ {CoCoMile} 2012", year = "2012", } @@ -422,401 +422,403 @@ @Proceedings{core2022 } @Proceedings{cp2004, - title = "Proc.\ CP 2004", - booktitle = "Proc.\ CP 2004", + title = "Proc.\ {CP} 2004", + booktitle = "Proc.\ {CP} 2004", year = "2004" } @Proceedings{cp2007, - title = "Proc.\ CP 2007", - booktitle = "Proc.\ CP 2007", + title = "Proc.\ {CP} 2007", + booktitle = "Proc.\ {CP} 2007", year = "2007" } @Proceedings{cp2009, - title = "Proc.\ CP 2009", - booktitle = "Proc.\ CP 2009", + title = "Proc.\ {CP} 2009", + booktitle = "Proc.\ {CP} 2009", year = "2009" } @Proceedings{cp2010, - title = "Proc.\ CP 2010", - booktitle = "Proc.\ CP 2010", + title = "Proc.\ {CP} 2010", + booktitle = "Proc.\ {CP} 2010", year = "2010" } @Proceedings{cp2018, - title = "Proc.\ CP 2018", - booktitle = "Proc.\ CP 2018", + title = "Proc.\ {CP} 2018", + booktitle = "Proc.\ {CP} 2018", year = "2018", } @Proceedings{cp2022, - title = "Proc.\ CP 2022", - booktitle = "Proc.\ CP 2022", + title = "Proc.\ {CP} 2022", + booktitle = "Proc.\ {CP} 2022", year = "2022", } @Proceedings{cpaior2007, - title = "Proc.\ CPAIOR 2007", - booktitle = "Proc.\ CPAIOR 2007", + title = "Proc.\ {CPAIOR} 2007", + booktitle = "Proc.\ {CPAIOR} 2007", year = "2007" } @Proceedings{cpaior2013, - title = "Proc.\ CPAIOR 2013", - booktitle = "Proc.\ CPAIOR 2013", + title = "Proc.\ {CPAIOR} 2013", + booktitle = "Proc.\ {CPAIOR} 2013", year = "2013" } @Proceedings{cscsi1996, - title = "Proc.\ CSCSI 1996", - booktitle = "Proc.\ CSCSI 1996", + title = "Proc.\ {CSCSI} 1996", + booktitle = "Proc.\ {CSCSI} 1996", year = "1996" } % Data taken from DBLP. @Proceedings{cvpr2016, - title = "Proc.\ CVPR 2016", - booktitle = "Proc.\ CVPR 2016", + title = "Proc.\ {CVPR} 2016", + booktitle = "Proc.\ {CVPR} 2016", year = "2016" } @Proceedings{dac1985, - title = "Proc.\ DAC 1985", - booktitle = "Proc.\ DAC 1985", + title = "Proc.\ {DAC} 1985", + booktitle = "Proc.\ {DAC} 1985", year = "1985" } @Proceedings{dac1990, - title = "Proc.\ DAC 1990", - booktitle = "Proc.\ DAC 1990", + title = "Proc.\ {DAC} 1990", + booktitle = "Proc.\ {DAC} 1990", year = "1990" } @Proceedings{dac1992, - title = "Proc.\ DAC 1992", - booktitle = "Proc.\ DAC 1992", + title = "Proc.\ {DAC} 1992", + booktitle = "Proc.\ {DAC} 1992", year = "1992" } @Proceedings{dac1993, - title = "Proc.\ DAC 1993", - booktitle = "Proc.\ DAC 1993", + title = "Proc.\ {DAC} 1993", + booktitle = "Proc.\ {DAC} 1993", year = "1993" } @Proceedings{dac1994, - title = "Proc.\ DAC 1994", - booktitle = "Proc.\ DAC 1994", + title = "Proc.\ {DAC} 1994", + booktitle = "Proc.\ {DAC} 1994", year = "1994" } @Proceedings{ecai1992, - title = "Proc.\ ECAI 1992", - booktitle = "Proc.\ ECAI 1992", + title = "Proc.\ {ECAI} 1992", + booktitle = "Proc.\ {ECAI} 1992", year = "1992" } @Proceedings{ecai2000, - title = "Proc.\ ECAI 2000", - booktitle = "Proc.\ ECAI 2000", + title = "Proc.\ {ECAI} 2000", + booktitle = "Proc.\ {ECAI} 2000", year = "2000" } @Proceedings{ecai2000wspuk, - title = "ECAI 2000 PuK Workshop", - booktitle = "ECAI 2000 PuK Workshop", + title = "{ECAI} 2000 {PuK} Workshop", + booktitle = "{ECAI} 2000 {PuK} Workshop", year = "2000" } @Proceedings{ecai2006, - title = "Proc.\ ECAI 2006", - booktitle = "Proc.\ ECAI 2006", + title = "Proc.\ {ECAI} 2006", + booktitle = "Proc.\ {ECAI} 2006", year = "2006" } @Proceedings{ecai2008, - title = "Proc.\ ECAI 2008", - booktitle = "Proc.\ ECAI 2008", + title = "Proc.\ {ECAI} 2008", + booktitle = "Proc.\ {ECAI} 2008", year = "2008" } @Proceedings{ecai2010, - title = "Proc.\ ECAI 2010", - booktitle = "Proc.\ ECAI 2010", + title = "Proc.\ {ECAI} 2010", + booktitle = "Proc.\ {ECAI} 2010", year = "2010" } @Proceedings{ecai2012, - title = "Proc.\ ECAI 2012", - booktitle = "Proc.\ ECAI 2012", + title = "Proc.\ {ECAI} 2012", + booktitle = "Proc.\ {ECAI} 2012", year = "2012" } @Proceedings{ecai2014, - title = "Proc.\ ECAI 2014", - booktitle = "Proc.\ ECAI 2014", + title = "Proc.\ {ECAI} 2014", + booktitle = "Proc.\ {ECAI} 2014", year = "2014" } @Proceedings{ecai2016, - title = "Proc.\ ECAI 2016", - booktitle = "Proc.\ ECAI 2016", + title = "Proc.\ {ECAI} 2016", + booktitle = "Proc.\ {ECAI} 2016", year = "2016" } @Proceedings{ecai2020, - title = "Proc.\ ECAI 2020", - booktitle = "Proc.\ ECAI 2020", + title = "Proc.\ {ECAI} 2020", + booktitle = "Proc.\ {ECAI} 2020", year = "2020" } @Proceedings{ecai2023, - title = "Proc.\ ECAI 2023", - booktitle = "Proc.\ ECAI 2023", + title = "Proc.\ {ECAI} 2023", + booktitle = "Proc.\ {ECAI} 2023", year = "2023" } @Proceedings{ecai2024, - title = "Proc.\ ECAI 2024", - booktitle = "Proc.\ ECAI 2024", + title = "Proc.\ {ECAI} 2024", + booktitle = "Proc.\ {ECAI} 2024", year = "2024" } @Proceedings{ecai2025, - title = "Proc.\ ECAI 2025", - booktitle = "Proc.\ ECAI 2025", + title = "Proc.\ {ECAI} 2025", + booktitle = "Proc.\ {ECAI} 2025", year = "2025" } @Proceedings{ecml2006, - title = "Proc.\ ECML 2006", - booktitle = "Proc.\ ECML 2006", + title = "Proc.\ {ECML} 2006", + booktitle = "Proc.\ {ECML} 2006", year = "2006" } @Proceedings{ecmlpkdd2019, - title = "Proc.\ ECML PKDD 2019", - booktitle = "Proc.\ ECML PKDD 2019", + title = "Proc.\ {ECML} PKDD 2019", + booktitle = "Proc.\ {ECML} PKDD 2019", year = "2019" } @Proceedings{ecp1997, - title = "Proc.\ ECP 1997", - booktitle = "Proc.\ ECP 1997", + title = "Proc.\ {ECP} 1997", + booktitle = "Proc.\ {ECP} 1997", year = "1997" } @Proceedings{ecp1999, - title = "Proc.\ ECP 1999", - booktitle = "Proc.\ ECP 1999", + title = "Proc.\ {ECP} 1999", + booktitle = "Proc.\ {ECP} 1999", year = "1999" } @Proceedings{ecp2001, - title = "Proc.\ ECP 2001", - booktitle = "Proc.\ ECP 2001", + title = "Proc.\ {ECP} 2001", + booktitle = "Proc.\ {ECP} 2001", year = "2001" } @Proceedings{emnlp2014wsssst, - title = "EMNLP 2014 Workshop on Semantics and Structure in Statistical Translation", - booktitle = "EMNLP 2014 Workshop on Semantics and Structure in Statistical Translation", + title = "{EMNLP} 2014 Workshop on Semantics and Structure in + Statistical Translation", + booktitle = "{EMNLP} 2014 Workshop on Semantics and Structure in + Statistical Translation", year = "2014" } @Proceedings{emnlp2023, - title = "Proc.\ EMNLP 2023", - booktitle = "Proc.\ EMNLP 2023", + title = "Proc.\ {EMNLP} 2023", + booktitle = "Proc.\ {EMNLP} 2023", year = "2023" } @Proceedings{flairs2008, - title = "Proc.\ FLAIRS 2008", - booktitle = "Proc.\ FLAIRS 2008", + title = "Proc.\ {FLAIRS} 2008", + booktitle = "Proc.\ {FLAIRS} 2008", year = "2008" } @Proceedings{fm1999, - title = "Proc.\ FM 1999", - booktitle = "Proc.\ FM 1999", + title = "Proc.\ {FM} 1999", + booktitle = "Proc.\ {FM} 1999", year = "1999" } @Proceedings{fmcad2002, - title = "Proc.\ FMCAD 2002", - booktitle = "Proc.\ FMCAD 2002", + title = "Proc.\ {FMCAD} 2002", + booktitle = "Proc.\ {FMCAD} 2002", year = "2002" } @Proceedings{fmcad2011, - title = "Proc.\ FMCAD 2011", - booktitle = "Proc.\ FMCAD 2011", + title = "Proc.\ {FMCAD} 2011", + booktitle = "Proc.\ {FMCAD} 2011", year = "2011" } @Proceedings{fmcad2022, - title = "Proc.\ FMCAD 2022", - booktitle = "Proc.\ FMCAD 2022", + title = "Proc.\ {FMCAD} 2022", + booktitle = "Proc.\ {FMCAD} 2022", year = "2022" } @Proceedings{fmcad2023, - title = "Proc.\ FMCAD 2023", - booktitle = "Proc.\ FMCAD 2023", + title = "Proc.\ {FMCAD} 2023", + booktitle = "Proc.\ {FMCAD} 2023", year = "2023" } @Proceedings{gecco2011, - title = "Proc.\ GECCO 2011", - booktitle = "Proc.\ GECCO 2011", + title = "Proc.\ {GECCO} 2011", + booktitle = "Proc.\ {GECCO} 2011", year = "2011" } @Proceedings{gecco2013, - title = "Proc.\ GECCO 2013", - booktitle = "Proc.\ GECCO 2013", + title = "Proc.\ {GECCO} 2013", + booktitle = "Proc.\ {GECCO} 2013", year = "2013" } @Proceedings{htcs1990, - title = "Handbook of TCS", - booktitle = "Handbook of TCS", + title = "Handbook of {TCS}", + booktitle = "Handbook of {TCS}", year = "1990" } @Proceedings{icaart2025, - title = "Proc.\ ICAART 2025", - booktitle = "Proc.\ ICAART 2025", + title = "Proc.\ {ICAART} 2025", + booktitle = "Proc.\ {ICAART} 2025", year = "2025" } @Proceedings{icaps2003, - title = "Proc.\ ICAPS 2003", - booktitle = "Proc.\ ICAPS 2003", + title = "Proc.\ {ICAPS} 2003", + booktitle = "Proc.\ {ICAPS} 2003", year = "2003" } @Proceedings{icaps2003wscompetition, - title = "ICAPS 2003 Workshop on the Competition", - booktitle = "ICAPS 2003 Workshop on the Competition", + title = "{ICAPS} 2003 Workshop on the Competition", + booktitle = "{ICAPS} 2003 Workshop on the Competition", year = "2003" } @Proceedings{icaps2004, - title = "Proc.\ ICAPS 2004", - booktitle = "Proc.\ ICAPS 2004", + title = "Proc.\ {ICAPS} 2004", + booktitle = "Proc.\ {ICAPS} 2004", year = "2004" } @Proceedings{icaps2005, - title = "Proc.\ ICAPS 2005", - booktitle = "Proc.\ ICAPS 2005", + title = "Proc.\ {ICAPS} 2005", + booktitle = "Proc.\ {ICAPS} 2005", year = "2005" } @Proceedings{icaps2006, - title = "Proc.\ ICAPS 2006", - booktitle = "Proc.\ ICAPS 2006", + title = "Proc.\ {ICAPS} 2006", + booktitle = "Proc.\ {ICAPS} 2006", year = "2006" } @Proceedings{icaps2006wspreferences, - title = "ICAPS 2006 Workshop on Preferences and Soft Constraints + title = "{ICAPS} 2006 Workshop on Preferences and Soft Constraints in Planning", - booktitle = "ICAPS 2006 Workshop on Preferences and Soft Constraints + booktitle = "{ICAPS} 2006 Workshop on Preferences and Soft Constraints in Planning", year = "2006" } @Proceedings{icaps2007, - title = "Proc.\ ICAPS 2007", - booktitle = "Proc.\ ICAPS 2007", + title = "Proc.\ {ICAPS} 2007", + booktitle = "Proc.\ {ICAPS} 2007", year = "2007" } % Data verified. % Only electronic copies exist. @Proceedings{icaps2007wshdip, - title = "ICAPS 2007 Workshop on Heuristics for + title = "{ICAPS} 2007 Workshop on Heuristics for Domain-Independent Planning", - booktitle = "ICAPS 2007 Workshop on Heuristics for + booktitle = "{ICAPS} 2007 Workshop on Heuristics for Domain-Independent Planning", year = "2007" } @Proceedings{icaps2008, - title = "Proc.\ ICAPS 2008", - booktitle = "Proc.\ ICAPS 2008", + title = "Proc.\ {ICAPS} 2008", + booktitle = "Proc.\ {ICAPS} 2008", year = "2008" } @Proceedings{icaps2009, - title = "Proc.\ ICAPS 2009", - booktitle = "Proc.\ ICAPS 2009", + title = "Proc.\ {ICAPS} 2009", + booktitle = "Proc.\ {ICAPS} 2009", year = "2009" } @Proceedings{icaps2009wshdip, - title = "ICAPS 2009 Workshop on Heuristics for + title = "{ICAPS} 2009 Workshop on Heuristics for Domain-Independent Planning", - booktitle = "ICAPS 2009 Workshop on Heuristics for + booktitle = "{ICAPS} 2009 Workshop on Heuristics for Domain-Independent Planning", year = "2009" } @Proceedings{icaps2010, - title = "Proc.\ ICAPS 2010", - booktitle = "Proc.\ ICAPS 2010", + title = "Proc.\ {ICAPS} 2010", + booktitle = "Proc.\ {ICAPS} 2010", year = "2010" } @Proceedings{icaps2010wsuncertainty, - title = "ICAPS 2010 Workshop on Planning and Scheduling + title = "{ICAPS} 2010 Workshop on Planning and Scheduling Under Uncertainty", - booktitle = "ICAPS 2010 Workshop on Planning and Scheduling + booktitle = "{ICAPS} 2010 Workshop on Planning and Scheduling Under Uncertainty", year = "2010" } @Proceedings{icaps2011, - title = "Proc.\ ICAPS 2011", - booktitle = "Proc.\ ICAPS 2011", + title = "Proc.\ {ICAPS} 2011", + booktitle = "Proc.\ {ICAPS} 2011", year = "2011" } @Proceedings{icaps2011wshdip, - title = "ICAPS 2011 Workshop on Heuristics + title = "{ICAPS} 2011 Workshop on Heuristics for Domain-Independent Planning", - booktitle = "ICAPS 2011 Workshop on Heuristics + booktitle = "{ICAPS} 2011 Workshop on Heuristics for Domain-Independent Planning", year = "2011" } @Proceedings{icaps2011wskeps, - title = "ICAPS 2011 Workshop on Knowledge Engineering for Planning + title = "{ICAPS} 2011 Workshop on Knowledge Engineering for Planning and Scheduling", - booktitle = "ICAPS 2011 Workshop on Knowledge Engineering for Planning + booktitle = "{ICAPS} 2011 Workshop on Knowledge Engineering for Planning and Scheduling", year = "2011" } @Proceedings{icaps2011wspal, - title = "ICAPS 2011 Workshop on Planning and Learning", - booktitle = "ICAPS 2011 Workshop on Planning and Learning", + title = "{ICAPS} 2011 Workshop on Planning and Learning", + booktitle = "{ICAPS} 2011 Workshop on Planning and Learning", year = "2011" } @Proceedings{icaps2011wsspark, - title = "ICAPS 2011 Scheduling and Planning Applications woRKshop", - booktitle = "ICAPS 2011 Scheduling and Planning Applications woRKshop", + title = "{ICAPS} 2011 Scheduling and Planning Applications woRKshop", + booktitle = "{ICAPS} 2011 Scheduling and Planning Applications woRKshop", year = "2011" } @Proceedings{icaps2012, - title = "Proc.\ ICAPS 2012", - booktitle = "Proc.\ ICAPS 2012", + title = "Proc.\ {ICAPS} 2012", + booktitle = "Proc.\ {ICAPS} 2012", year = "2012" } @@ -827,86 +829,86 @@ @Proceedings{icaps2012systemdemos } @Proceedings{icaps2012wswipc, - title = "ICAPS Workshop on the International Planning + title = "{ICAPS} Workshop on the International Planning Competition", - booktitle = "ICAPS Workshop on the International Planning + booktitle = "{ICAPS} Workshop on the International Planning Competition", year = "2012" } @Proceedings{icaps2013, - title = "Proc.\ ICAPS 2013", - booktitle = "Proc.\ ICAPS 2013", + title = "Proc.\ {ICAPS} 2013", + booktitle = "Proc.\ {ICAPS} 2013", year = "2013" } @Proceedings{icaps2013wshsdip, - title = "ICAPS 2013 Workshop on Heuristics and Search + title = "{ICAPS} 2013 Workshop on Heuristics and Search for Domain-independent Planning", - booktitle = "ICAPS 2013 Workshop on Heuristics and Search + booktitle = "{ICAPS} 2013 Workshop on Heuristics and Search for Domain-independent Planning", year = "2013" } @Proceedings{icaps2013wspal, - title = "ICAPS 2013 Workshop on Planning and Learning", - booktitle = "ICAPS 2013 Workshop on Planning and Learning", + title = "{ICAPS} 2013 Workshop on Planning and Learning", + booktitle = "{ICAPS} 2013 Workshop on Planning and Learning", year = "2013" } @Proceedings{icaps2014, - title = "Proc.\ ICAPS 2014", - booktitle = "Proc.\ ICAPS 2014", + title = "Proc.\ {ICAPS} 2014", + booktitle = "Proc.\ {ICAPS} 2014", year = "2014" } @Proceedings{icaps2014wshsdip, - title = "ICAPS 2014 Workshop on Heuristics and Search + title = "{ICAPS} 2014 Workshop on Heuristics and Search for Domain-independent Planning", - booktitle = "ICAPS 2014 Workshop on Heuristics and Search + booktitle = "{ICAPS} 2014 Workshop on Heuristics and Search for Domain-independent Planning", year = "2014" } @Proceedings{icaps2014wsspark, - title = "ICAPS 2014 Scheduling and Planning Applications woRKshop", - booktitle = "ICAPS 2014 Scheduling and Planning Applications woRKshop", + title = "{ICAPS} 2014 Scheduling and Planning Applications woRKshop", + booktitle = "{ICAPS} 2014 Scheduling and Planning Applications woRKshop", year = "2014" } @Proceedings{icaps2015, - title = "Proc.\ ICAPS 2015", - booktitle = "Proc.\ ICAPS 2015", + title = "Proc.\ {ICAPS} 2015", + booktitle = "Proc.\ {ICAPS} 2015", year = "2015" } @Proceedings{icaps2015wshsdip, - title = "ICAPS 2015 Workshop on Heuristics and Search + title = "{ICAPS} 2015 Workshop on Heuristics and Search for Domain-independent Planning", - booktitle = "ICAPS 2015 Workshop on Heuristics and Search + booktitle = "{ICAPS} 2015 Workshop on Heuristics and Search for Domain-independent Planning", year = "2015" } @Proceedings{icaps2015wsmochap, - title = "ICAPS 2015 Workshop on Model Checking and + title = "{ICAPS} 2015 Workshop on Model Checking and Automated Planning", - booktitle = "ICAPS 2015 Workshop on Model Checking and + booktitle = "{ICAPS} 2015 Workshop on Model Checking and Automated Planning", year = "2015" } @Proceedings{icaps2015wswipc, - title = "ICAPS Workshop on the International Planning + title = "{ICAPS} Workshop on the International Planning Competition", - booktitle = "ICAPS Workshop on the International Planning + booktitle = "{ICAPS} Workshop on the International Planning Competition", year = "2015" } @Proceedings{icaps2016, - title = "Proc.\ ICAPS 2016", - booktitle = "Proc.\ ICAPS 2016", + title = "Proc.\ {ICAPS} 2016", + booktitle = "Proc.\ {ICAPS} 2016", year = "2016" } @@ -917,9 +919,9 @@ @Proceedings{icaps2016systemdemos } @Proceedings{icaps2016wshsdip, - title = "ICAPS 2016 Workshop on Heuristics and Search + title = "{ICAPS} 2016 Workshop on Heuristics and Search for Domain-independent Planning", - booktitle = "ICAPS 2016 Workshop on Heuristics and Search + booktitle = "{ICAPS} 2016 Workshop on Heuristics and Search for Domain-independent Planning", year = "2016" } @@ -931,15 +933,15 @@ @Proceedings{icaps2016wsspark } @Proceedings{icaps2017, - title = "Proc.\ ICAPS 2017", - booktitle = "Proc.\ ICAPS 2017", + title = "Proc.\ {ICAPS} 2017", + booktitle = "Proc.\ {ICAPS} 2017", year = "2017" } @Proceedings{icaps2017wshsdip, - title = "ICAPS 2017 Workshop on Heuristics and Search + title = "{ICAPS} 2017 Workshop on Heuristics and Search for Domain-independent Planning", - booktitle = "ICAPS 2017 Workshop on Heuristics and Search + booktitle = "{ICAPS} 2017 Workshop on Heuristics and Search for Domain-independent Planning", year = "2017" } @@ -951,110 +953,110 @@ @Proceedings{icaps2017wsspark } @Proceedings{icaps2018, - title = "Proc.\ ICAPS 2018", - booktitle = "Proc.\ ICAPS 2018", + title = "Proc.\ {ICAPS} 2018", + booktitle = "Proc.\ {ICAPS} 2018", year = "2018" } @Proceedings{icaps2018wshsdip, - title = "ICAPS 2018 Workshop on Heuristics and Search + title = "{ICAPS} 2018 Workshop on Heuristics and Search for Domain-independent Planning", - booktitle = "ICAPS 2018 Workshop on Heuristics and Search + booktitle = "{ICAPS} 2018 Workshop on Heuristics and Search for Domain-independent Planning", year = "2018" } @Proceedings{icaps2019, - title = "Proc.\ ICAPS 2019", - booktitle = "Proc.\ ICAPS 2019", + title = "Proc.\ {ICAPS} 2019", + booktitle = "Proc.\ {ICAPS} 2019", year = "2019" } @Proceedings{icaps2019wshsdip, - title = "ICAPS Workshop on Heuristics and Search for + title = "{ICAPS} Workshop on Heuristics and Search for Domain-independent Planning", - booktitle = "ICAPS Workshop on Heuristics and Search for + booktitle = "{ICAPS} Workshop on Heuristics and Search for Domain-independent Planning", year = "2019" } @Proceedings{icaps2019wsipc, - title = "ICAPS Workshop on the International Planning + title = "{ICAPS} Workshop on the International Planning Competition", - booktitle = "ICAPS Workshop on the International Planning + booktitle = "{ICAPS} Workshop on the International Planning Competition", year = "2019" } @Proceedings{icaps2020, - title = "Proc.\ ICAPS 2020", - booktitle = "Proc.\ ICAPS 2020", + title = "Proc.\ {ICAPS} 2020", + booktitle = "Proc.\ {ICAPS} 2020", year = "2020" } @Proceedings{icaps2020wshsdip, - title = "ICAPS Workshop on Heuristics and Search for + title = "{ICAPS} Workshop on Heuristics and Search for Domain-independent Planning", - booktitle = "ICAPS Workshop on Heuristics and Search for + booktitle = "{ICAPS} Workshop on Heuristics and Search for Domain-independent Planning", year = "2020" } @Proceedings{icaps2020wskeps, - title = "ICAPS 2020 Workshop on Knowledge Engineering for Planning + title = "{ICAPS} 2020 Workshop on Knowledge Engineering for Planning and Scheduling", - booktitle = "ICAPS 2020 Workshop on Knowledge Engineering for Planning + booktitle = "{ICAPS} 2020 Workshop on Knowledge Engineering for Planning and Scheduling", year = "2020" } @Proceedings{icaps2020wsprl, - title = "ICAPS Workshop on Bridging the Gap Between AI - Planning and Reinforcement Learning (PRL)", - booktitle = "ICAPS Workshop on Bridging the Gap Between AI - Planning and Reinforcement Learning (PRL)", + title = "{ICAPS} Workshop on Bridging the Gap Between AI + Planning and Reinforcement Learning ({PRL})", + booktitle = "{ICAPS} Workshop on Bridging the Gap Between AI + Planning and Reinforcement Learning ({PRL})", year = "2020" } @Proceedings{icaps2020wsxaip, - title = "ICAPS Workshop on Explainable AI Planning (XAIP)", - booktitle = "ICAPS Workshop on Explainable AI Planning (XAIP)", + title = "{ICAPS} Workshop on Explainable AI Planning (XAIP)", + booktitle = "{ICAPS} Workshop on Explainable AI Planning (XAIP)", year = "2020" } @Proceedings{icaps2021, - title = "Proc.\ ICAPS 2021", - booktitle = "Proc.\ ICAPS 2021", + title = "Proc.\ {ICAPS} 2021", + booktitle = "Proc.\ {ICAPS} 2021", year = "2021" } @Proceedings{icaps2021wshsdip, - title = "ICAPS Workshop on Heuristics and Search for + title = "{ICAPS} Workshop on Heuristics and Search for Domain-independent Planning", - booktitle = "ICAPS Workshop on Heuristics and Search for + booktitle = "{ICAPS} Workshop on Heuristics and Search for Domain-independent Planning", year = "2021" } @Proceedings{icaps2021wskeps, - title = "ICAPS 2021 Workshop on Knowledge Engineering for Planning + title = "{ICAPS} 2021 Workshop on Knowledge Engineering for Planning and Scheduling", - booktitle = "ICAPS 2021 Workshop on Knowledge Engineering for Planning + booktitle = "{ICAPS} 2021 Workshop on Knowledge Engineering for Planning and Scheduling", year = "2021" } @Proceedings{icaps2021wsprl, - title = "ICAPS Workshop on Bridging the Gap Between AI - Planning and Reinforcement Learning (PRL)", - booktitle = "ICAPS Workshop on Bridging the Gap Between AI - Planning and Reinforcement Learning (PRL)", + title = "{ICAPS} Workshop on Bridging the Gap Between AI + Planning and Reinforcement Learning ({PRL})", + booktitle = "{ICAPS} Workshop on Bridging the Gap Between AI + Planning and Reinforcement Learning ({PRL})", year = "2021" } @Proceedings{icaps2022, - title = "Proc.\ ICAPS 2022", - booktitle = "Proc.\ ICAPS 2022", + title = "Proc.\ {ICAPS} 2022", + booktitle = "Proc.\ {ICAPS} 2022", year = "2022" } @@ -1065,24 +1067,24 @@ @Proceedings{icaps2022systemdemos } @Proceedings{icaps2022wshsdip, - title = "ICAPS Workshop on Heuristics and Search for + title = "{ICAPS} Workshop on Heuristics and Search for Domain-independent Planning", - booktitle = "ICAPS Workshop on Heuristics and Search for + booktitle = "{ICAPS} Workshop on Heuristics and Search for Domain-independent Planning", year = "2022" } @Proceedings{icaps2022wsprl, - title = "ICAPS Workshop on Bridging the Gap Between AI - Planning and Reinforcement Learning (PRL)", - booktitle = "ICAPS Workshop on Bridging the Gap Between AI - Planning and Reinforcement Learning (PRL)", + title = "{ICAPS} Workshop on Bridging the Gap Between AI + Planning and Reinforcement Learning ({PRL})", + booktitle = "{ICAPS} Workshop on Bridging the Gap Between AI + Planning and Reinforcement Learning ({PRL})", year = "2022" } @Proceedings{icaps2023, - title = "Proc.\ ICAPS 2023", - booktitle = "Proc.\ ICAPS 2023", + title = "Proc.\ {ICAPS} 2023", + booktitle = "Proc.\ {ICAPS} 2023", year = "2023" } @@ -1093,450 +1095,450 @@ @Proceedings{icaps2023systemdemos } @Proceedings{icaps2023wsplanrob, - title = "ICAPS 2023 Planning and Robotics Workshop (PlanRob)", - booktitle = "ICAPS 2023 Planning and Robotics Workshop (PlanRob)", + title = "{ICAPS} 2023 Planning and Robotics Workshop (PlanRob)", + booktitle = "{ICAPS} 2023 Planning and Robotics Workshop (PlanRob)", year = "2023" } @Proceedings{icaps2023wsspark, - title = "ICAPS 2023 Scheduling and Planning Applications woRKshop", - booktitle = "ICAPS 2023 Scheduling and Planning Applications woRKshop", + title = "{ICAPS} 2023 Scheduling and Planning Applications woRKshop", + booktitle = "{ICAPS} 2023 Scheduling and Planning Applications woRKshop", year = "2023" } @Proceedings{icaps2024, - title = "Proc.\ ICAPS 2024", - booktitle = "Proc.\ ICAPS 2024", + title = "Proc.\ {ICAPS} 2024", + booktitle = "Proc.\ {ICAPS} 2024", year = "2024" } @Proceedings{icaps2024wshaxp, - title = "ICAPS Workshop on Human-Aware and Explainable Planning", - booktitle = "ICAPS Workshop on Human-Aware and Explainable Planning", + title = "{ICAPS} Workshop on Human-Aware and Explainable Planning", + booktitle = "{ICAPS} Workshop on Human-Aware and Explainable Planning", year = "2024" } @Proceedings{icaps2024wshsdip, - title = "ICAPS Workshop on Heuristics and Search for + title = "{ICAPS} Workshop on Heuristics and Search for Domain-independent Planning", - booktitle = "ICAPS Workshop on Heuristics and Search for + booktitle = "{ICAPS} Workshop on Heuristics and Search for Domain-independent Planning", year = "2024" } @Proceedings{icaps2024wsprl, - title = "ICAPS Workshop on Bridging the Gap Between AI - Planning and Reinforcement Learning (PRL)", - booktitle = "ICAPS Workshop on Bridging the Gap Between AI - Planning and Reinforcement Learning (PRL)", + title = "{ICAPS} Workshop on Bridging the Gap Between AI + Planning and Reinforcement Learning ({PRL})", + booktitle = "{ICAPS} Workshop on Bridging the Gap Between AI + Planning and Reinforcement Learning ({PRL})", year = "2024" } @Proceedings{icaps2024wsweep, - title = "ICAPS Workshop on Echoing (failed) Efforts in Planning", - booktitle = "ICAPS Workshop on Echoing (failed) Efforts in Planning", + title = "{ICAPS} Workshop on Echoing (failed) Efforts in Planning", + booktitle = "{ICAPS} Workshop on Echoing (failed) Efforts in Planning", year = "2024" } @Proceedings{icaps2025, - title = "Proc.\ ICAPS 2025", - booktitle = "Proc.\ ICAPS 2025", + title = "Proc.\ {ICAPS} 2025", + booktitle = "Proc.\ {ICAPS} 2025", year = "2025" } @Proceedings{icaps2025wshaxp, - title = "ICAPS Workshop on Human-Aware and Explainable Planning", - booktitle = "ICAPS Workshop on Human-Aware and Explainable Planning", + title = "{ICAPS} Workshop on Human-Aware and Explainable Planning", + booktitle = "{ICAPS} Workshop on Human-Aware and Explainable Planning", year = "2025" } @Proceedings{iccad1990, - title = "Proc.\ ICCAD 1990", - booktitle = "Proc.\ ICCAD 1990", + title = "Proc.\ {ICCAD} 1990", + booktitle = "Proc.\ {ICCAD} 1990", year = "1990" } @Proceedings{iccad1993, - title = "Proc.\ ICCAD 1993", - booktitle = "Proc.\ ICCAD 1993", + title = "Proc.\ {ICCAD} 1993", + booktitle = "Proc.\ {ICCAD} 1993", year = "1993" } @Proceedings{iccad1995, - title = "Proc.\ ICCAD 1995", - booktitle = "Proc.\ ICCAD 1995", + title = "Proc.\ {ICCAD} 1995", + booktitle = "Proc.\ {ICCAD} 1995", year = "1995" } @Proceedings{iccad1996, - title = "Proc.\ ICCAD 1996", - booktitle = "Proc.\ ICCAD 1996", + title = "Proc.\ {ICCAD} 1996", + booktitle = "Proc.\ {ICCAD} 1996", year = "1996" } @Proceedings{ickeps2009, - title = "Proc.\ ICKEPS 2009", - booktitle = "Proc.\ ICKEPS 2009", + title = "Proc.\ {ICKEPS} 2009", + booktitle = "Proc.\ {ICKEPS} 2009", year = "2009" } @Proceedings{iclp1988, - title = "Proc.\ ICLP 1988", - booktitle = "Proc.\ ICLP 1988", + title = "Proc.\ {ICLP} 1988", + booktitle = "Proc.\ {ICLP} 1988", year = "1988", } @Proceedings{iclp2012, - title = "Technical Communications of ICLP 2012", - booktitle = "Technical Communications of ICLP 2012", + title = "Technical Communications of {ICLP} 2012", + booktitle = "Technical Communications of {ICLP} 2012", year = "2012" } @Proceedings{iclr2014, - title = "Proc.\ ICLR 2014", - booktitle = "Proc.\ ICLR 2014", + title = "Proc.\ {ICLR} 2014", + booktitle = "Proc.\ {ICLR} 2014", year = "2014" } @Proceedings{iclr2015, - title = "Proc.\ ICLR 2015", - booktitle = "Proc.\ ICLR 2015", + title = "Proc.\ {ICLR} 2015", + booktitle = "Proc.\ {ICLR} 2015", year = "2015" } @Proceedings{iclr2016, - title = "Proc.\ ICLR 2016", - booktitle = "Proc.\ ICLR 2016", + title = "Proc.\ {ICLR} 2016", + booktitle = "Proc.\ {ICLR} 2016", year = "2016" } @Proceedings{iclr2017, - title = "Proc.\ ICLR 2017", - booktitle = "Proc.\ ICLR 2017", + title = "Proc.\ {ICLR} 2017", + booktitle = "Proc.\ {ICLR} 2017", year = "2017" } @Proceedings{iclr2018, - title = "Proc.\ ICLR 2018", - booktitle = "Proc.\ ICLR 2018", + title = "Proc.\ {ICLR} 2018", + booktitle = "Proc.\ {ICLR} 2018", year = "2018" } @Proceedings{iclr2019, - title = "Proc.\ ICLR 2019", - booktitle = "Proc.\ ICLR 2019", + title = "Proc.\ {ICLR} 2019", + booktitle = "Proc.\ {ICLR} 2019", year = "2019" } @Proceedings{iclr2020, - title = "Proc.\ ICLR 2020", - booktitle = "Proc.\ ICLR 2020", + title = "Proc.\ {ICLR} 2020", + booktitle = "Proc.\ {ICLR} 2020", year = "2020" } @Proceedings{iclr2023, - title = "Proc.\ ICLR 2023", - booktitle = "Proc.\ ICLR 2023", + title = "Proc.\ {ICLR} 2023", + booktitle = "Proc.\ {ICLR} 2023", year = "2023" } @Proceedings{icml2001, - title = "Proc.\ ICML 2001", - booktitle = "Proc.\ ICML 2001", + title = "Proc.\ {ICML} 2001", + booktitle = "Proc.\ {ICML} 2001", year = "2001" } @Proceedings{icml2005, - title = "Proc.\ ICML 2005", - booktitle = "Proc.\ ICML 2005", + title = "Proc.\ {ICML} 2005", + booktitle = "Proc.\ {ICML} 2005", year = "2005" } @Proceedings{icml2007, - title = "Proc.\ ICML 2007", - booktitle = "Proc.\ ICML 2007", + title = "Proc.\ {ICML} 2007", + booktitle = "Proc.\ {ICML} 2007", year = "2007" } @Proceedings{icml2008, - title = "Proc.\ ICML 2008", - booktitle = "Proc.\ ICML 2008", + title = "Proc.\ {ICML} 2008", + booktitle = "Proc.\ {ICML} 2008", year = "2008" } @Proceedings{icml2009, - title = "Proc.\ ICML 2009", - booktitle = "Proc.\ ICML 2009", + title = "Proc.\ {ICML} 2009", + booktitle = "Proc.\ {ICML} 2009", year = "2009" } @Proceedings{icml2013, - title = "Proc.\ ICML 2013", - booktitle = "Proc.\ ICML 2013", + title = "Proc.\ {ICML} 2013", + booktitle = "Proc.\ {ICML} 2013", year = "2013" } @Proceedings{icml2017, - title = "Proc.\ ICML 2017", - booktitle = "Proc.\ ICML 2017", + title = "Proc.\ {ICML} 2017", + booktitle = "Proc.\ {ICML} 2017", year = "2017" } @Proceedings{icml2020, - title = "Proc.\ ICML 2020", - booktitle = "Proc.\ ICML 2020", + title = "Proc.\ {ICML} 2020", + booktitle = "Proc.\ {ICML} 2020", year = "2020" } @Proceedings{icra1994, - title = "Proc.\ ICRA 1994", - booktitle = "Proc.\ ICRA 1994", + title = "Proc.\ {ICRA} 1994", + booktitle = "Proc.\ {ICRA} 1994", year = "1994" } @Proceedings{icra2004, - title = "Proc.\ ICRA 2004", - booktitle = "Proc.\ ICRA 2004", + title = "Proc.\ {ICRA} 2004", + booktitle = "Proc.\ {ICRA} 2004", year = "2004" } @Proceedings{icra2009, - title = "Proc.\ ICRA 2009", - booktitle = "Proc.\ ICRA 2009", + title = "Proc.\ {ICRA} 2009", + booktitle = "Proc.\ {ICRA} 2009", year = "2009" } @Proceedings{ictai2004, - title = "Proc.\ ICTAI 2004", - booktitle = "Proc.\ ICTAI 2004", + title = "Proc.\ {ICTAI} 2004", + booktitle = "Proc.\ {ICTAI} 2004", year = "2004" } @Proceedings{ictai2009, - title = "Proc.\ ICTAI 2009", - booktitle = "Proc.\ ICTAI 2009", + title = "Proc.\ {ICTAI} 2009", + booktitle = "Proc.\ {ICTAI} 2009", year = "2009" } @Proceedings{ictai2012, - title = "Proc.\ ICTAI 2012", - booktitle = "Proc.\ ICTAI 2012", + title = "Proc.\ {ICTAI} 2012", + booktitle = "Proc.\ {ICTAI} 2012", year = "2012" } @Proceedings{ijcai1969, - title = "Proc.\ IJCAI 1969", - booktitle = "Proc.\ IJCAI 1969", + title = "Proc.\ {IJCAI} 1969", + booktitle = "Proc.\ {IJCAI} 1969", year = "1969" } @Proceedings{ijcai1973, - title = "Proc.\ IJCAI 1973", - booktitle = "Proc.\ IJCAI 1973", + title = "Proc.\ {IJCAI} 1973", + booktitle = "Proc.\ {IJCAI} 1973", year = "1973" } @Proceedings{ijcai1977, - title = "Proc.\ IJCAI 1977", - booktitle = "Proc.\ IJCAI 1977", + title = "Proc.\ {IJCAI} 1977", + booktitle = "Proc.\ {IJCAI} 1977", year = "1977" } @Proceedings{ijcai1981, - title = "Proc.\ IJCAI 1981", - booktitle = "Proc.\ IJCAI 1981", + title = "Proc.\ {IJCAI} 1981", + booktitle = "Proc.\ {IJCAI} 1981", year = "1981" } @Proceedings{ijcai1991, - title = "Proc.\ IJCAI 1991", - booktitle = "Proc.\ IJCAI 1991", + title = "Proc.\ {IJCAI} 1991", + booktitle = "Proc.\ {IJCAI} 1991", year = "1991" } @Proceedings{ijcai1995, - title = "Proc.\ IJCAI 1995", - booktitle = "Proc.\ IJCAI 1995", + title = "Proc.\ {IJCAI} 1995", + booktitle = "Proc.\ {IJCAI} 1995", year = "1995" } @Proceedings{ijcai1997, - title = "Proc.\ IJCAI 1997", - booktitle = "Proc.\ IJCAI 1997", + title = "Proc.\ {IJCAI} 1997", + booktitle = "Proc.\ {IJCAI} 1997", year = "1997" } @Proceedings{ijcai1999, - title = "Proc.\ IJCAI 1999", - booktitle = "Proc.\ IJCAI 1999", + title = "Proc.\ {IJCAI} 1999", + booktitle = "Proc.\ {IJCAI} 1999", year = "1999" } @Proceedings{ijcai2001, - title = "Proc.\ IJCAI 2001", - booktitle = "Proc.\ IJCAI 2001", + title = "Proc.\ {IJCAI} 2001", + booktitle = "Proc.\ {IJCAI} 2001", year = "2001" } @Proceedings{ijcai2003, - title = "Proc.\ IJCAI 2003", - booktitle = "Proc.\ IJCAI 2003", + title = "Proc.\ {IJCAI} 2003", + booktitle = "Proc.\ {IJCAI} 2003", year = "2003" } @Proceedings{ijcai2005, - title = "Proc.\ IJCAI 2005", - booktitle = "Proc.\ IJCAI 2005", + title = "Proc.\ {IJCAI} 2005", + booktitle = "Proc.\ {IJCAI} 2005", year = "2005" } @Proceedings{ijcai2007, - title = "Proc.\ IJCAI 2007", - booktitle = "Proc.\ IJCAI 2007", + title = "Proc.\ {IJCAI} 2007", + booktitle = "Proc.\ {IJCAI} 2007", year = "2007" } @Proceedings{ijcai2009, - title = "Proc.\ IJCAI 2009", - booktitle = "Proc.\ IJCAI 2009", + title = "Proc.\ {IJCAI} 2009", + booktitle = "Proc.\ {IJCAI} 2009", year = "2009" } @Proceedings{ijcai2011, - title = "Proc.\ IJCAI 2011", - booktitle = "Proc.\ IJCAI 2011", + title = "Proc.\ {IJCAI} 2011", + booktitle = "Proc.\ {IJCAI} 2011", year = "2011" } @Proceedings{ijcai2013, - title = "Proc.\ IJCAI 2013", - booktitle = "Proc.\ IJCAI 2013", + title = "Proc.\ {IJCAI} 2013", + booktitle = "Proc.\ {IJCAI} 2013", year = "2013" } @Proceedings{ijcai2015, - title = "Proc.\ IJCAI 2015", - booktitle = "Proc.\ IJCAI 2015", + title = "Proc.\ {IJCAI} 2015", + booktitle = "Proc.\ {IJCAI} 2015", year = "2015" } @Proceedings{ijcai2016, - title = "Proc.\ IJCAI 2016", - booktitle = "Proc.\ IJCAI 2016", + title = "Proc.\ {IJCAI} 2016", + booktitle = "Proc.\ {IJCAI} 2016", year = "2016" } @Proceedings{ijcai2017, - title = "Proc.\ IJCAI 2017", - booktitle = "Proc.\ IJCAI 2017", + title = "Proc.\ {IJCAI} 2017", + booktitle = "Proc.\ {IJCAI} 2017", year = "2017" } @Proceedings{ijcai2018, - title = "Proc.\ IJCAI 2018", - booktitle = "Proc.\ IJCAI 2018", + title = "Proc.\ {IJCAI} 2018", + booktitle = "Proc.\ {IJCAI} 2018", year = "2018" } @Proceedings{ijcai2019, - title = "Proc.\ IJCAI 2019", - booktitle = "Proc.\ IJCAI 2019", + title = "Proc.\ {IJCAI} 2019", + booktitle = "Proc.\ {IJCAI} 2019", year = "2019" } @Proceedings{ijcai2020, - title = "Proc.\ IJCAI 2020", - booktitle = "Proc.\ IJCAI 2020", + title = "Proc.\ {IJCAI} 2020", + booktitle = "Proc.\ {IJCAI} 2020", year = "2020" } @Proceedings{ijcai2021, - title = "Proc.\ IJCAI 2021", - booktitle = "Proc.\ IJCAI 2021", + title = "Proc.\ {IJCAI} 2021", + booktitle = "Proc.\ {IJCAI} 2021", year = "2021" } @Proceedings{ijcai2022, - title = "Proc.\ IJCAI 2022", - booktitle = "Proc.\ IJCAI 2022", + title = "Proc.\ {IJCAI} 2022", + booktitle = "Proc.\ {IJCAI} 2022", year = "2022" } @Proceedings{ijcai2022wsgenplan, - title = "IJCAI 2022 Workshop on Generalization in Planning", - booktitle = "IJCAI 2022 Workshop on Generalization in Planning", + title = "{IJCAI} 2022 Workshop on Generalization in Planning", + booktitle = "{IJCAI} 2022 Workshop on Generalization in Planning", year = "2022" } @Proceedings{ijcai2023, - title = "Proc.\ IJCAI 2023", - booktitle = "Proc.\ IJCAI 2023", + title = "Proc.\ {IJCAI} 2023", + booktitle = "Proc.\ {IJCAI} 2023", year = "2023" } @Proceedings{ijcai2024, - title = "Proc.\ IJCAI 2024", - booktitle = "Proc.\ IJCAI 2024", + title = "Proc.\ {IJCAI} 2024", + booktitle = "Proc.\ {IJCAI} 2024", year = "2024" } @Proceedings{ijcai2025, - title = "Proc.\ IJCAI 2025", - booktitle = "Proc.\ IJCAI 2025", + title = "Proc.\ {IJCAI} 2025", + booktitle = "Proc.\ {IJCAI} 2025", year = "2025" } @Proceedings{ijcar2018, - title = "Proc.\ IJCAR 2018", - booktitle = "Proc.\ IJCAR 2018", + title = "Proc.\ {IJCAR} 2018", + booktitle = "Proc.\ {IJCAR} 2018", year = "2018" } @Proceedings{ijcar2024part1, - title = "Proc.\ IJCAR 2024, Part I", - booktitle = "Proc.\ IJCAR 2024, Part I", + title = "Proc.\ {IJCAR} 2024, Part {I}", + booktitle = "Proc.\ {IJCAR} 2024, Part {I}", year = "2024" } @Proceedings{ipc2006, - title = "IPC-5 Planner Abstracts", - booktitle = "IPC-5 Planner Abstracts", + title = "{IPC}-5 Planner Abstracts", + booktitle = "{IPC}-5 Planner Abstracts", year = "2006" } @Proceedings{ipc2011, - title = "IPC-7 Planner Abstracts", - booktitle = "IPC-7 Planner Abstracts", + title = "{IPC}-7 Planner Abstracts", + booktitle = "{IPC}-7 Planner Abstracts", year = "2011" } @Proceedings{ipc2014, - title = "IPC-8 Planner Abstracts", - booktitle = "IPC-8 Planner Abstracts", + title = "{IPC}-8 Planner Abstracts", + booktitle = "{IPC}-8 Planner Abstracts", year = "2014" } @Proceedings{ipc2018, - title = "IPC-9 Planner Abstracts", - booktitle = "IPC-9 Planner Abstracts", + title = "{IPC}-9 Planner Abstracts", + booktitle = "{IPC}-9 Planner Abstracts", year = "2018" } @Proceedings{ipc2023, - title = "IPC-10 Planner Abstracts", - booktitle = "IPC-10 Planner Abstracts", + title = "{IPC}-10 Planner Abstracts", + booktitle = "{IPC}-10 Planner Abstracts", year = "2023" } @Proceedings{ipcl2014, - title = "IPC-8 Planning and Learning Part: Planner Abstracts", - booktitle = "IPC-8 Planning and Learning Part: Planner Abstracts", + title = "{IPC}-8 Planning and Learning Part: Planner Abstracts", + booktitle = "{IPC}-8 Planning and Learning Part: Planner Abstracts", year = "2014" } @Proceedings{ipcl2023, - title = "IPC 2023 Learning Track: Planner Abstracts", - booktitle = "IPC 2023 Learning Track: Planner Abstracts", + title = "{IPC} 2023 Learning Track: Planner Abstracts", + booktitle = "{IPC} 2023 Learning Track: Planner Abstracts", year = "2023" } @@ -1547,200 +1549,200 @@ @Proceedings{ippc2018 } @Proceedings{isaac2008, - title = "Proc.\ ISAAC 2008", - booktitle = "Proc.\ ISAAC 2008", + title = "Proc.\ {ISAAC} 2008", + booktitle = "Proc.\ {ISAAC} 2008", year = "2008" } @Proceedings{isaim2006, - title = "Proc.\ ISAIM 2006", - booktitle = "Proc.\ ISAIM 2006", + title = "Proc.\ {ISAIM} 2006", + booktitle = "Proc.\ {ISAIM} 2006", year = "2006" } @Proceedings{isaim2010, - title = "Proc.\ ISAIM 2010", - booktitle = "Proc.\ ISAIM 2010", + title = "Proc.\ {ISAIM} 2010", + booktitle = "Proc.\ {ISAIM} 2010", year = "2010" } @Proceedings{issta2014, - title = "Proc.\ ISSTA 2014", - booktitle = "Proc.\ ISSTA 2014", + title = "Proc.\ {ISSTA} 2014", + booktitle = "Proc.\ {ISSTA} 2014", year = "2014" } @Proceedings{iwls1993, - title = "Proc.\ IWLS 1993", - booktitle = "Proc.\ IWLS 1993", + title = "Proc.\ {IWLS} 1993", + booktitle = "Proc.\ {IWLS} 1993", year = "1993" } @Proceedings{iwls1995, - title = "Proc.\ IWLS 1995", - booktitle = "Proc.\ IWLS 1995", + title = "Proc.\ {IWLS} 1995", + booktitle = "Proc.\ {IWLS} 1995", year = "1995" } @Proceedings{ki1995, - title = "Proc.\ KI 1995", - booktitle = "Proc.\ KI 1995", + title = "Proc.\ {KI} 1995", + booktitle = "Proc.\ {KI} 1995", year = "1995" } @Proceedings{ki1998, - title = "Proc.\ KI 1998", - booktitle = "Proc.\ KI 1998", + title = "Proc.\ {KI} 1998", + booktitle = "Proc.\ {KI} 1998", year = "1998" } @Proceedings{ki2007, - title = "Proc.\ KI 2007", - booktitle = "Proc.\ KI 2007", + title = "Proc.\ {KI} 2007", + booktitle = "Proc.\ {KI} 2007", year = "2007" } @Proceedings{ki2008, - title = "Proc.\ KI 2008", - booktitle = "Proc.\ KI 2008", + title = "Proc.\ {KI} 2008", + booktitle = "Proc.\ {KI} 2008", year = "2008" } @Proceedings{ki2009, - title = "Proc.\ KI 2009", - booktitle = "Proc.\ KI 2009", + title = "Proc.\ {KI} 2009", + booktitle = "Proc.\ {KI} 2009", year = "2009" } @Proceedings{ki2011, - title = "Proc.\ KI 2011", - booktitle = "Proc.\ KI 2011", + title = "Proc.\ {KI} 2011", + booktitle = "Proc.\ {KI} 2011", year = "2011" } @Proceedings{ki2012, - title = "Proc.\ KI 2012", - booktitle = "Proc.\ KI 2012", + title = "Proc.\ {KI} 2012", + booktitle = "Proc.\ {KI} 2012", year = "2012" } @Proceedings{ki2014, - title = "Proc.\ KI 2014", - booktitle = "Proc.\ KI 2014", + title = "Proc.\ {KI} 2014", + booktitle = "Proc.\ {KI} 2014", year = "2014" } @Proceedings{ki2015, - title = "Proc.\ KI 2015", - booktitle = "Proc.\ KI 2015", + title = "Proc.\ {KI} 2015", + booktitle = "Proc.\ {KI} 2015", year = "2015" } @Proceedings{ki2017, - title = "Proc.\ KI 2017", - booktitle = "Proc.\ KI 2017", + title = "Proc.\ {KI} 2017", + booktitle = "Proc.\ {KI} 2017", year = "2017" } @Proceedings{ki2019, - title = "Proc.\ KI 2019", - booktitle = "Proc.\ KI 2019", + title = "Proc.\ {KI} 2019", + booktitle = "Proc.\ {KI} 2019", year = "2019" } @Proceedings{kr1989, - title = "Proc.\ KR 1989", - booktitle = "Proc.\ KR 1989", + title = "Proc.\ {KR} 1989", + booktitle = "Proc.\ {KR} 1989", year = "1989" } @Proceedings{kr1992, - title = "Proc.\ KR 1992", - booktitle = "Proc.\ KR 1992", + title = "Proc.\ {KR} 1992", + booktitle = "Proc.\ {KR} 1992", year = "1992" } @Proceedings{kr1994, - title = "Proc.\ KR 1994", - booktitle = "Proc.\ KR 1994", + title = "Proc.\ {KR} 1994", + booktitle = "Proc.\ {KR} 1994", year = "1994" } @Proceedings{kr1996, - title = "Proc.\ KR 1996", - booktitle = "Proc.\ KR 1996", + title = "Proc.\ {KR} 1996", + booktitle = "Proc.\ {KR} 1996", year = "1996" } @Proceedings{kr1998, - title = "Proc.\ KR 1998", - booktitle = "Proc.\ KR 1998", + title = "Proc.\ {KR} 1998", + booktitle = "Proc.\ {KR} 1998", year = "1998" } @Proceedings{kr2002, - title = "Proc.\ KR 2002", - booktitle = "Proc.\ KR 2002", + title = "Proc.\ {KR} 2002", + booktitle = "Proc.\ {KR} 2002", year = "2002" } @Proceedings{kr2004, - title = "Proc.\ KR 2004", - booktitle = "Proc.\ KR 2004", + title = "Proc.\ {KR} 2004", + booktitle = "Proc.\ {KR} 2004", year = "2004" } @Proceedings{kr2008, - title = "Proc.\ KR 2008", - booktitle = "Proc.\ KR 2008", + title = "Proc.\ {KR} 2008", + booktitle = "Proc.\ {KR} 2008", year = "2008" } @Proceedings{kr2010, - title = "Proc.\ KR 2010", - booktitle = "Proc.\ KR 2010", + title = "Proc.\ {KR} 2010", + booktitle = "Proc.\ {KR} 2010", year = "2010" } @Proceedings{kr2012, - title = "Proc.\ KR 2012", - booktitle = "Proc.\ KR 2012", + title = "Proc.\ {KR} 2012", + booktitle = "Proc.\ {KR} 2012", year = "2012" } @Proceedings{kr2014, - title = "Proc.\ KR 2014", - booktitle = "Proc.\ KR 2014", + title = "Proc.\ {KR} 2014", + booktitle = "Proc.\ {KR} 2014", year = "2014" } @Proceedings{kr2021, - title = "Proc.\ KR 2021", - booktitle = "Proc.\ KR 2021", + title = "Proc.\ {KR} 2021", + booktitle = "Proc.\ {KR} 2021", year = "2021" } @Proceedings{kr2022, - title = "Proc.\ KR 2022", - booktitle = "Proc.\ KR 2022", + title = "Proc.\ {KR} 2022", + booktitle = "Proc.\ {KR} 2022", year = "2022" } @Proceedings{kr2023, - title = "Proc.\ KR 2023", - booktitle = "Proc.\ KR 2023", + title = "Proc.\ {KR} 2023", + booktitle = "Proc.\ {KR} 2023", year = "2023" } @Proceedings{kr2024, - title = "Proc.\ KR 2024", - booktitle = "Proc.\ KR 2024", + title = "Proc.\ {KR} 2024", + booktitle = "Proc.\ {KR} 2024", year = "2024" } @Proceedings{kr2025, - title = "Proc.\ KR 2025", - booktitle = "Proc.\ KR 2025", + title = "Proc.\ {KR} 2025", + booktitle = "Proc.\ {KR} 2025", year = "2025" } @@ -1757,46 +1759,46 @@ @Book{lecturespetri1998 } @Proceedings{lion2011, - title = "Proc.\ LION 2011", - booktitle = "Proc.\ LION 2011", + title = "Proc.\ {LION} 2011", + booktitle = "Proc.\ {LION} 2011", year = "2011" } @Proceedings{lion2012, - title = "Proc.\ LION 2012", - booktitle = "Proc.\ LION 2012", + title = "Proc.\ {LION} 2012", + booktitle = "Proc.\ {LION} 2012", year = "2012" } @Proceedings{lion2013, - title = "Proc.\ LION 2013", - booktitle = "Proc.\ LION 2013", + title = "Proc.\ {LION} 2013", + booktitle = "Proc.\ {LION} 2013", year = "2013" } @Proceedings{miwai2012, - title = "Proc.\ MIWAI 2012", - booktitle = "Proc.\ MIWAI 2012", + title = "Proc.\ {MIWAI} 2012", + booktitle = "Proc.\ {MIWAI} 2012", year = "2012", } @Proceedings{mochart2006, - title = "Proc.\ MoChArt 2006", - booktitle = "Proc.\ MoChArt 2006", + title = "Proc.\ {MoChArt} 2006", + booktitle = "Proc.\ {MoChArt} 2006", year = "2006" } %% The proceedings were published in 2009. @Proceedings{mochart2008, - title = "Proc.\ MoChArt 2008", - booktitle = "Proc.\ MoChArt 2008", + title = "Proc.\ {MoChArt} 2008", + booktitle = "Proc.\ {MoChArt} 2008", year = "2008" } % Data taken from DBLP and http://acl.ldc.upenn.edu/N/N03/. @Proceedings{naacl2003, - title = "Proc.\ HLT-NAACL 2003", - booktitle = "Proc.\ HLT-NAACL 2003", + title = "Proc.\ {HLT-NAACL} 2003", + booktitle = "Proc.\ {HLT-NAACL} 2003", year = "2003" } @@ -1804,26 +1806,26 @@ @Proceedings{naacl2003 % Board of Trustees decided to change the official abbreviation and acronym of % the conference from NIPS to NeurIPS @Proceedings{neurips2018, - title = "Proc.\ NeurIPS 2018", - booktitle = "Proc.\ NeurIPS 2018", + title = "Proc.\ {NeurIPS} 2018", + booktitle = "Proc.\ {NeurIPS} 2018", year = "2018" } @Proceedings{neurips2019, - title = "Proc.\ NeurIPS 2019", - booktitle = "Proc.\ NeurIPS 2019", + title = "Proc.\ {NeurIPS} 2019", + booktitle = "Proc.\ {NeurIPS} 2019", year = "2019" } @Proceedings{neurips2022, - title = "Proc.\ NeurIPS 2022", - booktitle = "Proc.\ NeurIPS 2022", + title = "Proc.\ {NeurIPS} 2022", + booktitle = "Proc.\ {NeurIPS} 2022", year = "2022" } @Proceedings{neurips2023, - title = "Proc.\ NeurIPS 2023", - booktitle = "Proc.\ NeurIPS 2023", + title = "Proc.\ {NeurIPS} 2023", + booktitle = "Proc.\ {NeurIPS} 2023", year = "2023" } @@ -1834,92 +1836,94 @@ @Proceedings{neurips2023wsgenplan } @Proceedings{neurips2024, - title = "Proc.\ NeurIPS 2024", - booktitle = "Proc.\ NeurIPS 2024", + title = "Proc.\ {NeurIPS} 2024", + booktitle = "Proc.\ {NeurIPS} 2024", year = "2024" } @Proceedings{neurips2025, - title = "Proc.\ NeurIPS 2025", - booktitle = "Proc.\ NeurIPS 2025", + title = "Proc.\ {NeurIPS} 2025", + booktitle = "Proc.\ {NeurIPS} 2025", year = "2025" } @Proceedings{nips1999, - title = "Proc.\ NIPS 1999", - booktitle = "Proc.\ NIPS 1999", + title = "Proc.\ {NIPS} 1999", + booktitle = "Proc.\ {NIPS} 1999", year = "1999" } @Proceedings{nips2001, - title = "Proc.\ NIPS 2001", - booktitle = "Proc.\ NIPS 2001", + title = "Proc.\ {NIPS} 2001", + booktitle = "Proc.\ {NIPS} 2001", year = "2001" } @Proceedings{nips2003, - title = "Proc.\ NIPS 2003", - booktitle = "Proc.\ NIPS 2003", + title = "Proc.\ {NIPS} 2003", + booktitle = "Proc.\ {NIPS} 2003", year = "2003" } @Proceedings{nips2010, - title = "Proc.\ NIPS 2010", - booktitle = "Proc.\ NIPS 2010", + title = "Proc.\ {NIPS} 2010", + booktitle = "Proc.\ {NIPS} 2010", year = "2010" } @Proceedings{nips2011ws, - title = "NIPS Workshop on Bayesian Optimization, Sequential Experimental Design, and Bandits", - booktitle = "NIPS Workshop on Bayesian Optimization, Sequential Experimental Design, and Bandits", + title = "{NIPS} Workshop on Bayesian Optimization, Sequential + Experimental Design, and Bandits", + booktitle = "{NIPS} Workshop on Bayesian Optimization, Sequential + Experimental Design, and Bandits", year = "2011" } @Proceedings{nips2015, - title = "Proc.\ NIPS 2015", - booktitle = "Proc.\ NIPS 2015", + title = "Proc.\ {NIPS} 2015", + booktitle = "Proc.\ {NIPS} 2015", year = "2015" } @Proceedings{nips2016, - title = "Proc.\ NIPS 2016", - booktitle = "Proc.\ NIPS 2016", + title = "Proc.\ {NIPS} 2016", + booktitle = "Proc.\ {NIPS} 2016", year = "2016" } @Proceedings{nips2017, - title = "Proc.\ NIPS 2017", - booktitle = "Proc.\ NIPS 2017", + title = "Proc.\ {NIPS} 2017", + booktitle = "Proc.\ {NIPS} 2017", year = "2017" } @Proceedings{petri1989, - title = "Proc.\ APN 1989", - booktitle = "Proc.\ APN 1989", + title = "Proc.\ {APN} 1989", + booktitle = "Proc.\ {APN} 1989", year = "1989" } @Proceedings{petri2010, - title = "Proc.\ APN 2010", - booktitle = "Proc.\ APN 2010", + title = "Proc.\ {APN} 2010", + booktitle = "Proc.\ {APN} 2010", year = "2010" } @Proceedings{pods2000, - title = "Proc.\ PODS 2000", - booktitle = "Proc.\ PODS 2000", + title = "Proc.\ {PODS} 2000", + booktitle = "Proc.\ {PODS} 2000", year = "2000" } @Proceedings{popl1977, - title = "Proc.\ POPL 1977", - booktitle = "Proc.\ POPL 1977", + title = "Proc.\ {POPL} 1977", + booktitle = "Proc.\ {POPL} 1977", year = "1977" } @Proceedings{popl2005, - title = "Proc.\ POPL 2005", - booktitle = "Proc.\ POPL 2005", + title = "Proc.\ {POPL} 2005", + booktitle = "Proc.\ {POPL} 2005", year = "2005" } @@ -1934,44 +1938,44 @@ @Book{rap1991 } @Proceedings{sara2000, - title = "Proc.\ SARA 2000", - booktitle = "Proc.\ SARA 2000", + title = "Proc.\ {SARA} 2000", + booktitle = "Proc.\ {SARA} 2000", year = "2000" } @Proceedings{sara2002, - title = "Proc.\ SARA 2002", - booktitle = "Proc.\ SARA 2002", + title = "Proc.\ {SARA} 2002", + booktitle = "Proc.\ {SARA} 2002", year = "2002" } @Proceedings{sara2005, - title = "Proc.\ SARA 2005", - booktitle = "Proc.\ SARA 2005", + title = "Proc.\ {SARA} 2005", + booktitle = "Proc.\ {SARA} 2005", year = "2005" } @Proceedings{sara2007, - title = "Proc.\ SARA 2007", - booktitle = "Proc.\ SARA 2007", + title = "Proc.\ {SARA} 2007", + booktitle = "Proc.\ {SARA} 2007", year = "2007" } @Proceedings{sara2011, - title = "Proc.\ SARA 2011", - booktitle = "Proc.\ SARA 2011", + title = "Proc.\ {SARA} 2011", + booktitle = "Proc.\ {SARA} 2011", year = "2011" } @Proceedings{sara2013, - title = "Proc.\ SARA 2013", - booktitle = "Proc.\ SARA 2013", + title = "Proc.\ {SARA} 2013", + booktitle = "Proc.\ {SARA} 2013", year = "2013" } @Proceedings{sat2014, - title = "Proc.\ SAT 2014", - booktitle = "Proc.\ SAT 2014", + title = "Proc.\ {SAT} 2014", + booktitle = "Proc.\ {SAT} 2014", year = "2014" } @@ -1982,104 +1986,104 @@ @Proceedings{satc2020 } @Proceedings{socs2010, - title = "Proc.\ SoCS 2010", - booktitle = "Proc.\ SoCS 2010", + title = "Proc.\ {SoCS} 2010", + booktitle = "Proc.\ {SoCS} 2010", year = "2010" } @Proceedings{socs2011, - title = "Proc.\ SoCS 2011", - booktitle = "Proc.\ SoCS 2011", + title = "Proc.\ {SoCS} 2011", + booktitle = "Proc.\ {SoCS} 2011", year = "2011" } @Proceedings{socs2012, - title = "Proc.\ SoCS 2012", - booktitle = "Proc.\ SoCS 2012", + title = "Proc.\ {SoCS} 2012", + booktitle = "Proc.\ {SoCS} 2012", year = "2012" } @Proceedings{socs2013, - title = "Proc.\ SoCS 2013", - booktitle = "Proc.\ SoCS 2013", + title = "Proc.\ {SoCS} 2013", + booktitle = "Proc.\ {SoCS} 2013", year = "2013" } @Proceedings{socs2014, - title = "Proc.\ SoCS 2014", - booktitle = "Proc.\ SoCS 2014", + title = "Proc.\ {SoCS} 2014", + booktitle = "Proc.\ {SoCS} 2014", year = "2014" } @Proceedings{socs2015, - title = "Proc.\ SoCS 2015", - booktitle = "Proc.\ SoCS 2015", + title = "Proc.\ {SoCS} 2015", + booktitle = "Proc.\ {SoCS} 2015", year = "2015" } @Proceedings{socs2016, - title = "Proc.\ SoCS 2016", - booktitle = "Proc.\ SoCS 2016", + title = "Proc.\ {SoCS} 2016", + booktitle = "Proc.\ {SoCS} 2016", year = "2016" } @Proceedings{socs2017, - title = "Proc.\ SoCS 2017", - booktitle = "Proc.\ SoCS 2017", + title = "Proc.\ {SoCS} 2017", + booktitle = "Proc.\ {SoCS} 2017", year = "2017" } @Proceedings{socs2018, - title = "Proc.\ SoCS 2018", - booktitle = "Proc.\ SoCS 2018", + title = "Proc.\ {SoCS} 2018", + booktitle = "Proc.\ {SoCS} 2018", year = "2018" } @Proceedings{socs2019, - title = "Proc.\ SoCS 2019", - booktitle = "Proc.\ SoCS 2019", + title = "Proc.\ {SoCS} 2019", + booktitle = "Proc.\ {SoCS} 2019", year = "2019" } @Proceedings{socs2020, - title = "Proc.\ SoCS 2020", - booktitle = "Proc.\ SoCS 2020", + title = "Proc.\ {SoCS} 2020", + booktitle = "Proc.\ {SoCS} 2020", year = "2020" } @Proceedings{socs2021, - title = "Proc.\ SoCS 2021", - booktitle = "Proc.\ SoCS 2021", + title = "Proc.\ {SoCS} 2021", + booktitle = "Proc.\ {SoCS} 2021", year = "2021" } @Proceedings{socs2022, - title = "Proc.\ SoCS 2022", - booktitle = "Proc.\ SoCS 2022", + title = "Proc.\ {SoCS} 2022", + booktitle = "Proc.\ {SoCS} 2022", year = "2022" } @Proceedings{socs2023, - title = "Proc.\ SoCS 2023", - booktitle = "Proc.\ SoCS 2023", + title = "Proc.\ {SoCS} 2023", + booktitle = "Proc.\ {SoCS} 2023", year = "2023" } @Proceedings{socs2024, - title = "Proc.\ SoCS 2024", - booktitle = "Proc.\ SoCS 2024", + title = "Proc.\ {SoCS} 2024", + booktitle = "Proc.\ {SoCS} 2024", year = "2024" } @Proceedings{soda1991, - title = "Proc.\ SODA 1991", - booktitle = "Proc.\ SODA 1991", + title = "Proc.\ {SODA} 1991", + booktitle = "Proc.\ {SODA} 1991", year = "1991" } @Proceedings{soda2011, - title = "Proc.\ SODA 2011", - booktitle = "Proc.\ SODA 2011", + title = "Proc.\ {SODA} 2011", + booktitle = "Proc.\ {SODA} 2011", year = "2011" } @@ -2090,110 +2094,110 @@ @Proceedings{sparkle2019 } @Proceedings{spin2002, - title = "Proc.\ SPIN 2002", - booktitle = "Proc.\ SPIN 2002", + title = "Proc.\ {SPIN} 2002", + booktitle = "Proc.\ {SPIN} 2002", year = "2002" } @Proceedings{spin2003, - title = "Proc.\ SPIN 2003", - booktitle = "Proc.\ SPIN 2003", + title = "Proc.\ {SPIN} 2003", + booktitle = "Proc.\ {SPIN} 2003", year = "2003" } @Proceedings{spin2006, - title = "Proc.\ SPIN 2006", - booktitle = "Proc.\ SPIN 2006", + title = "Proc.\ {SPIN} 2006", + booktitle = "Proc.\ {SPIN} 2006", year = "2006" } @Proceedings{spin2010, - title = "Proc.\ SPIN 2010", - booktitle = "Proc.\ SPIN 2010", + title = "Proc.\ {SPIN} 2010", + booktitle = "Proc.\ {SPIN} 2010", year = "2010" } @Proceedings{spin2013, - title = "Proc.\ SPIN 2013", - booktitle = "Proc.\ SPIN 2013", + title = "Proc.\ {SPIN} 2013", + booktitle = "Proc.\ {SPIN} 2013", year = "2013" } @Proceedings{stoc1971, - title = "Proc.\ STOC 1971", - booktitle = "Proc.\ STOC 1971", + title = "Proc.\ {STOC} 1971", + booktitle = "Proc.\ {STOC} 1971", year = "1971" } @Proceedings{stoc1977, - title = "Proc.\ STOC 1977", - booktitle = "Proc.\ STOC 1977", + title = "Proc.\ {STOC} 1977", + booktitle = "Proc.\ {STOC} 1977", year = "1977" } @Proceedings{tacas1999, - booktitle = "Proc.\ TACAS 1999", - title = "Proc.\ TACAS 1999", + booktitle = "Proc.\ {TACAS} 1999", + title = "Proc.\ {TACAS} 1999", year = "1999" } @Proceedings{tacas2001, - booktitle = "Proc.\ TACAS 2001", - title = "Proc.\ TACAS 2001", + booktitle = "Proc.\ {TACAS} 2001", + title = "Proc.\ {TACAS} 2001", year = "2001" } @Proceedings{tacas2002, - booktitle = "Proc.\ TACAS 2002", - title = "Proc.\ TACAS 2002", + booktitle = "Proc.\ {TACAS} 2002", + title = "Proc.\ {TACAS} 2002", year = "2002" } @Proceedings{tacas2004, - booktitle = "Proc.\ TACAS 2004", - title = "Proc.\ TACAS 2004", + booktitle = "Proc.\ {TACAS} 2004", + title = "Proc.\ {TACAS} 2004", year = "2004" } @Proceedings{tacas2008, - title = "Proc.\ TACAS 2008", - booktitle = "Proc.\ TACAS 2008", + title = "Proc.\ {TACAS} 2008", + booktitle = "Proc.\ {TACAS} 2008", year = "2008", } @Proceedings{uai1999, - title = "Proc.\ UAI 1999", - booktitle = "Proc.\ UAI 1999", + title = "Proc.\ {UAI} 1999", + booktitle = "Proc.\ {UAI} 1999", year = "1999" } @Proceedings{uai2000, - title = "Proc.\ UAI 2000", - booktitle = "Proc.\ UAI 2000", + title = "Proc.\ {UAI} 2000", + booktitle = "Proc.\ {UAI} 2000", year = "2000" } @Proceedings{uai2005, - title = "Proc.\ UAI 2005", - booktitle = "Proc.\ UAI 2005", + title = "Proc.\ {UAI} 2005", + booktitle = "Proc.\ {UAI} 2005", year = "2005" } @Proceedings{uai2008, - title = "Proc.\ UAI 2008", - booktitle = "Proc.\ UAI 2008", + title = "Proc.\ {UAI} 2008", + booktitle = "Proc.\ {UAI} 2008", year = "2008" } @Proceedings{uai2009, - title = "Proc.\ UAI 2009", - booktitle = "Proc.\ UAI 2009", + title = "Proc.\ {UAI} 2009", + booktitle = "Proc.\ {UAI} 2009", year = "2009" } @Proceedings{uai2010, - title = "Proc.\ UAI 2010", - booktitle = "Proc.\ UAI 2010", + title = "Proc.\ {UAI} 2010", + booktitle = "Proc.\ {UAI} 2010", year = "2010" } @@ -2204,19 +2208,19 @@ @Proceedings{uipc2016 } @Proceedings{vldb1981, - title = "Proc.\ VLDB 1981", - booktitle = "Proc.\ VLDB 1981", + title = "Proc.\ {VLDB} 1981", + booktitle = "Proc.\ {VLDB} 1981", year = "1981" } @Proceedings{vlsi1991, - title = "Proc.\ VLSI 1991", - booktitle = "Proc.\ VLSI 1991", + title = "Proc.\ {VLSI} 1991", + booktitle = "Proc.\ {VLSI} 1991", year = "1991" } @Proceedings{vmcai2011, - title = "Proc.\ VMCAI 2011", - booktitle = "Proc.\ VMCAI 2011", + title = "Proc.\ {VMCAI} 2011", + booktitle = "Proc.\ {VMCAI} 2011", year = "2011" } diff --git a/crossref.bib b/crossref.bib index 1390721..33df5bd 100644 --- a/crossref.bib +++ b/crossref.bib @@ -420,9 +420,9 @@ @Proceedings{aamas2024 @Proceedings{ai2013, editor = "Stephen Cranefield and Abhaya Nayak", title = "Proceedings of the 26th Australasian Joint Conference - on Artificial Intelligence (AI 2013)", + on Artificial Intelligence ({AI} 2013)", booktitle = "Proceedings of the 26th Australasian Joint Conference - on Artificial Intelligence (AI 2013)", + on Artificial Intelligence ({AI} 2013)", publisher = "Springer-Verlag", year = "2013", volume = "8272", @@ -431,12 +431,12 @@ @Proceedings{ai2013 @Proceedings{aiide2015, editor = "Arnav Jhala and Nathan Sturtevant", - title = "Proceedings of the Eleventh AAAI Conference on + title = "Proceedings of the Eleventh {AAAI} Conference on Artificial Intelligence and Interactive Digital - Entertainment (AIIDE 2015)", - booktitle = "Proceedings of the Eleventh AAAI Conference on + Entertainment ({AIIDE} 2015)", + booktitle = "Proceedings of the Eleventh {AAAI} Conference on Artificial Intelligence and Interactive Digital - Entertainment (AIIDE 2015)", + Entertainment ({AIIDE} 2015)", publisher = "{AAAI} Press", year = "2015" } @@ -459,7 +459,7 @@ @Proceedings{aips1996 booktitle = "Proceedings of the Third International Conference on Artificial Intelligence Planning Systems ({AIPS} 1996)", - publisher = "AAAI Press", + publisher = "{AAAI} Press", year = "1996" } @@ -474,7 +474,7 @@ @Proceedings{aips2000 booktitle = "Proceedings of the Fifth International Conference on Artificial Intelligence Planning and Scheduling ({AIPS} 2000)", - publisher = "AAAI Press", + publisher = "{AAAI} Press", year = "2000" } @@ -509,7 +509,7 @@ @Proceedings{aips2002 booktitle = "Proceedings of the Sixth International Conference on Artificial Intelligence Planning and Scheduling ({AIPS} 2002)", - publisher = "AAAI Press", + publisher = "{AAAI} Press", year = "2002" } @@ -533,11 +533,11 @@ @Proceedings{aistats2014 @Proceedings{alenex2007, title = "Proceedings of the Ninth Workshop on Algorithm Engineering - and Experiments (ALENEX 2007)", + and Experiments ({ALENEX} 2007)", booktitle = "Proceedings of the Ninth Workshop on Algorithm Engineering - and Experiments (ALENEX 2007)", + and Experiments ({ALENEX} 2007)", year = "2007", - publisher = "SIAM" + publisher = "{SIAM}" } @Proceedings{algorithmics2009, @@ -574,8 +574,10 @@ @Proceedings{atva2009 } @Proceedings{avocs2004, - title = "Proceedings of the Fourth International Workshop on Automated Verification of Critical Systems (AVoCS 2004)", - booktitle = "Proceedings of the Fourth International Workshop on Automated Verification of Critical Systems (AVoCS 2004)", + title = "Proceedings of the Fourth International Workshop on Automated + Verification of Critical Systems ({AVoCS} 2004)", + booktitle = "Proceedings of the Fourth International Workshop on Automated + Verification of Critical Systems ({AVoCS} 2004)", series = "Electronic Notes in Theoretical Computer Science", volume = "128", publisher = "Springer-Verlag", @@ -585,9 +587,9 @@ @Proceedings{avocs2004 @Proceedings{cai2018, editor = "Ebrahim Bagheri and Jackie C.K. Cheung", title = "Proceedings of the 31st Canadian Conference on - Artificial Intelligence (CAI 2018)", + Artificial Intelligence ({CAI} 2018)", booktitle = "Proceedings of the 31st Canadian Conference on - Artificial Intelligence (CAI 2018)", + Artificial Intelligence ({CAI} 2018)", publisher = "Springer-Verlag", series = lncs, volume = "10832", @@ -597,36 +599,36 @@ @Proceedings{cai2018 @Proceedings{cav1992, editor = "Gregor {von Bochmann} and David K. Probst", title = "Proceedings of the Fourth International Workshop on - Computer Aided Verification (CAV 1992)", + Computer Aided Verification ({CAV} 1992)", booktitle = "Proceedings of the Fourth International Workshop on - Computer Aided Verification (CAV 1992)", + Computer Aided Verification ({CAV} 1992)", year = "1992" } @Proceedings{cav1993, editor = "Costas Courcoubetis", title = "Proceedings of the 5th International Conference on - Computer Aided Verification (CAV 1993)", + Computer Aided Verification ({CAV} 1993)", booktitle = "Proceedings of the 5th International Conference on - Computer Aided Verification (CAV 1993)", + Computer Aided Verification ({CAV} 1993)", year = "1993" } @Proceedings{cav2000, editor = "E. Allen Emerson and A. Prasad Sistla", title = "Proceedings of the 12th International Conference on - Computer Aided Verification (CAV 2000)", + Computer Aided Verification ({CAV} 2000)", booktitle = "Proceedings of the 12th International Conference on - Computer Aided Verification (CAV 2000)", + Computer Aided Verification ({CAV} 2000)", year = "2000" } @Proceedings{cav2002, editor = "Ed Brinksma and Kim Guldstrand Larsen", title = "Proceedings of the 14th International Conference on - Computer Aided Verification (CAV 2002)", + Computer Aided Verification ({CAV} 2002)", booktitle = "Proceedings of the 14th International Conference on - Computer Aided Verification (CAV 2002)", + Computer Aided Verification ({CAV} 2002)", publisher = "Springer-Verlag", series = lncs, volume = "2404", @@ -636,9 +638,9 @@ @Proceedings{cav2002 @Proceedings{cav2008, editor = "Aarti Gupta and Sharad Malik", title = "Proceedings of the 20th International Conference on - Computer Aided Verification (CAV 2008)", + Computer Aided Verification ({CAV} 2008)", booktitle = "Proceedings of the 20th International Conference on - Computer Aided Verification (CAV 2008)", + Computer Aided Verification ({CAV} 2008)", publisher = "Springer-Verlag", series = lncs, volume = "5123", @@ -648,9 +650,9 @@ @Proceedings{cav2008 @Proceedings{cav2010, editor = "Tayssir Touili and Byron Cook and Paul B. Jackson", title = "Proceedings of the 22nd International Conference on - Computer Aided Verification (CAV 2010)", + Computer Aided Verification ({CAV} 2010)", booktitle = "Proceedings of the 22nd International Conference on - Computer Aided Verification (CAV 2010)", + Computer Aided Verification ({CAV} 2010)", publisher = "Springer-Verlag", series = lncs, volume = "6174", @@ -660,9 +662,9 @@ @Proceedings{cav2010 @Proceedings{cav2021part2, editor = "Alexandra Silva and K. Rustan M. Leino", title = "Proceedings of the 33rd International Conference on - Computer Aided Verification (CAV 2021), Part II", + Computer Aided Verification ({CAV} 2021), Part {II}", booktitle = "Proceedings of the 33rd International Conference on - Computer Aided Verification (CAV 2021), Part II", + Computer Aided Verification ({CAV} 2021), Part {II}", publisher = "Springer-Verlag", series = lncs, volume = "12760", @@ -672,9 +674,9 @@ @Proceedings{cav2021part2 @Proceedings{cav2025part1, editor = "Ruzica Piskac and Zvonimir Rakamaric", title = "Proceedings of the 37th International Conference on - Computer Aided Verification (CAV 2025), Part I", + Computer Aided Verification ({CAV} 2025), Part {I}", booktitle = "Proceedings of the 37th International Conference on - Computer Aided Verification (CAV 2025), Part I", + Computer Aided Verification ({CAV} 2025), Part {I}", publisher = "Springer-Verlag", series = lncs, volume = "15931", @@ -684,19 +686,19 @@ @Proceedings{cav2025part1 @Proceedings{cig2008, editor = "Philip Hingston and Luigi Barone", title = "Proceedings of the 2008 {IEEE} Symposium on - Computational Intelligence and Games, (CIG 2008)", + Computational Intelligence and Games, ({CIG} 2008)", booktitle = "Proceedings of the 2008 {IEEE} Symposium on - Computational Intelligence and Games, (CIG 2008)", + Computational Intelligence and Games, ({CIG} 2008)", year = "2008" } @Proceedings{cocomile2012, editor = "Remi Coletta and Tias Guns and Barry O'Sullivan and Andrea Passerini and Guido Tack", - title = "Proceedings of the 1st Workshop on - COmbining COnstraint solving with MIning and LEarning (CoCoMile 2012)", - booktitle = "Proceedings of the 1st Workshop on - COmbining COnstraint solving with MIning and LEarning (CoCoMile 2012)", + title = "Proceedings of the 1st Workshop on COmbining COnstraint + solving with MIning and LEarning ({CoCoMile} 2012)", + booktitle = "Proceedings of the 1st Workshop on COmbining COnstraint + solving with MIning and LEarning ({CoCoMile} 2012)", year = "2012", } @@ -710,9 +712,9 @@ @Proceedings{core2022 @Proceedings{cp2004, editor = "Mark Wallace", title = "Proceedings of the Tenth International Conference on - Principles and Practice of Constraint Programming (CP 2004)", + Principles and Practice of Constraint Programming ({CP} 2004)", booktitle = "Proceedings of the Tenth International Conference on - Principles and Practice of Constraint Programming (CP 2004)", + Principles and Practice of Constraint Programming ({CP} 2004)", year = "2004", publisher = "Springer-Verlag", volume = "3258", @@ -722,9 +724,9 @@ @Proceedings{cp2004 @Proceedings{cp2007, editor = "Christian Bessiere", title = "Proceedings of the Thirteenth International Conference on - Principles and Practice of Constraint Programming (CP 2007)", + Principles and Practice of Constraint Programming ({CP} 2007)", booktitle = "Proceedings of the Thirteenth International Conference on - Principles and Practice of Constraint Programming (CP 2007)", + Principles and Practice of Constraint Programming ({CP} 2007)", year = "2007", publisher = "Springer-Verlag", volume = "4741", @@ -734,9 +736,9 @@ @Proceedings{cp2007 @Proceedings{cp2009, editor = "Ian P. Gent", title = "Proceedings of the Fifteenth International Conference on - Principles and Practice of Constraint Programming (CP 2009)", + Principles and Practice of Constraint Programming ({CP} 2009)", booktitle = "Proceedings of the Fifteenth International Conference on - Principles and Practice of Constraint Programming (CP 2009)", + Principles and Practice of Constraint Programming ({CP} 2009)", year = "2009", publisher = "Springer-Verlag", volume = "5732", @@ -779,10 +781,10 @@ @Proceedings{cpaior2007 editor = "Pascal Hentenryck and Laurence Wolsey", title = "Proceedings of the 4th International Conference on Integration of AI and OR Techniques in Constraint Programming - for Combinatorial Optimization Problems (CPAIOR 2007)", + for Combinatorial Optimization Problems ({CPAIOR} 2007)", booktitle = "Proceedings of the 4th International Conference on Integration of AI and OR Techniques in Constraint Programming - for Combinatorial Optimization Problems (CPAIOR 2007)", + for Combinatorial Optimization Problems ({CPAIOR} 2007)", year = "2007", publisher = "Springer-Verlag" } @@ -792,10 +794,10 @@ @Proceedings{cpaior2013 editor = "Carla Gomes and Meinolf Sellmann", title = "Proceedings of the 10th International Conference on Integration of AI and OR Techniques in Constraint Programming - for Combinatorial Optimization Problems (CPAIOR 2013)", + for Combinatorial Optimization Problems ({CPAIOR} 2013)", booktitle = "Proceedings of the 10th International Conference on Integration of AI and OR Techniques in Constraint Programming - for Combinatorial Optimization Problems (CPAIOR 2013)", + for Combinatorial Optimization Problems ({CPAIOR} 2013)", year = "2013", publisher = "Springer-Verlag" } @@ -804,10 +806,10 @@ @Proceedings{cscsi1996 editor = "Gordon I. McCalla", title = "Proceedings of the Eleventh Biennial Conference of the Canadian Society for Computational Studies of - Intelligence (CSCSI 1996)", + Intelligence ({CSCSI} 1996)", booktitle = "Proceedings of the Eleventh Biennial Conference of the Canadian Society for Computational Studies of - Intelligence (CSCSI 1996)", + Intelligence ({CSCSI} 1996)", year = "1996", publisher = "Springer-Verlag", volume = "1081", @@ -816,9 +818,9 @@ @Proceedings{cscsi1996 % Data taken from DBLP. @Proceedings{cvpr2016, - title = "Proceedings of the 2016 IEEE Conference on Computer + title = "Proceedings of the 2016 {IEEE} Conference on Computer Vision and Pattern Recognition", - booktitle = "Proceedings of the 2016 IEEE Conference on Computer + booktitle = "Proceedings of the 2016 {IEEE} Conference on Computer Vision and Pattern Recognition", publisher = "{IEEE} Computer Society", year = "2016" @@ -827,10 +829,10 @@ @Proceedings{cvpr2016 % Data taken from DBLP. @Proceedings{dac1985, editor = "Hillel Ofek and Lawrence A. O'Neill", - title = "Proceedings of the 22nd ACM/IEEE Conference on - Design Automation (DAC 1985)", - booktitle = "Proceedings of the 22nd ACM/IEEE Conference on - Design Automation (DAC 1985)", + title = "Proceedings of the 22nd {ACM/IEEE} Conference on + Design Automation ({DAC} 1985)", + booktitle = "Proceedings of the 22nd {ACM/IEEE} Conference on + Design Automation ({DAC} 1985)", year = "1985" } @@ -838,9 +840,9 @@ @Proceedings{dac1985 @Proceedings{dac1990, editor = "Richard C. Smith", title = "Proceedings of the 27th {ACM/IEEE} Design Automation - Conference (DAC 1990)", + Conference ({DAC} 1990)", booktitle = "Proceedings of the 27th {ACM/IEEE} Design Automation - Conference (DAC 1990)", + Conference ({DAC} 1990)", year = "1990" } @@ -848,9 +850,9 @@ @Proceedings{dac1990 @Proceedings{dac1992, editor = "Daniel G. Schweikert", title = "Proceedings of the 29th {ACM/IEEE} Design Automation Conference - (DAC 1992)", + ({DAC} 1992)", booktitle = "Proceedings of the 29th {ACM/IEEE} Design Automation Conference - (DAC 1992)", + ({DAC} 1992)", year = "1992" } @@ -858,18 +860,18 @@ @Proceedings{dac1992 @Proceedings{dac1993, editor = "Alfred E. Dunlop", title = "Proceedings of the 30th Design Automation Conference - (DAC 1993)", + ({DAC} 1993)", booktitle = "Proceedings of the 30th Design Automation Conference - (DAC 1993)", + ({DAC} 1993)", year = "1993" } % Data taken from DBLP. @Proceedings{dac1994, title = "Proceedings of the 31st Conference on - Design Automation (DAC 1994)", + Design Automation ({DAC} 1994)", booktitle = "Proceedings of the 31st Conference on - Design Automation (DAC 1994)", + Design Automation ({DAC} 1994)", year = "1994" } @@ -890,14 +892,14 @@ @Proceedings{ecai2000 Intelligence ({ECAI} 2000)", booktitle = "Proceedings of the 14th European Conference on Artificial Intelligence ({ECAI} 2000)", - publisher = "IOS Press", + publisher = "{IOS} Press", year = "2000", } @Proceedings{ecai2000wspuk, - title = "Proceedings of the ECAI 2000 Workshop on New Results in + title = "Proceedings of the {ECAI} 2000 Workshop on New Results in Planning, Scheduling and Design ({PuK} 2000)", - booktitle = "Proceedings of the ECAI 2000 Workshop on New Results in + booktitle = "Proceedings of the {ECAI} 2000 Workshop on New Results in Planning, Scheduling and Design ({PuK} 2000)", year = "2000" } @@ -909,7 +911,7 @@ @Proceedings{ecai2006 {Artificial} {Intelligence} ({ECAI} 2006)", booktitle = "Proceedings of the 17th {European} Conference on {Artificial} {Intelligence} ({ECAI} 2006)", - publisher = "IOS Press", + publisher = "{IOS} Press", year = "2006" } @@ -920,7 +922,7 @@ @Proceedings{ecai2008 {Artificial} {Intelligence} ({ECAI} 2008)", booktitle = "Proceedings of the 18th {European} Conference on {Artificial} {Intelligence} ({ECAI} 2008)", - publisher = "IOS Press", + publisher = "{IOS} Press", year = "2008" } @@ -930,7 +932,7 @@ @Proceedings{ecai2010 {Artificial} {Intelligence} ({ECAI} 2010)", booktitle = "Proceedings of the 19th {European} Conference on {Artificial} {Intelligence} ({ECAI} 2010)", - publisher = "IOS Press", + publisher = "{IOS} Press", year = "2010" } @@ -942,7 +944,7 @@ @Proceedings{ecai2012 {Artificial} {Intelligence} ({ECAI} 2012)", booktitle = "Proceedings of the 20th {European} Conference on {Artificial} {Intelligence} ({ECAI} 2012)", - publisher = "IOS Press", + publisher = "{IOS} Press", year = "2012" } @@ -952,7 +954,7 @@ @Proceedings{ecai2014 {Artificial} {Intelligence} ({ECAI} 2014)", booktitle = "Proceedings of the 21st {European} Conference on {Artificial} {Intelligence} ({ECAI} 2014)", - publisher = "IOS Press", + publisher = "{IOS} Press", year = "2014" } @@ -963,7 +965,7 @@ @Proceedings{ecai2016 {Artificial} {Intelligence} ({ECAI} 2016)", booktitle = "Proceedings of the 22nd {European} Conference on {Artificial} {Intelligence} ({ECAI} 2016)", - publisher = "IOS Press", + publisher = "{IOS} Press", year = "2016" } @@ -973,7 +975,7 @@ @Proceedings{ecai2020 {Artificial} {Intelligence} ({ECAI} 2020)", booktitle = "Proceedings of the 24th {European} Conference on {Artificial} {Intelligence} ({ECAI} 2020)", - publisher = "IOS Press", + publisher = "{IOS} Press", year = "2020" } @@ -984,7 +986,7 @@ @Proceedings{ecai2023 {Artificial} {Intelligence} ({ECAI} 2023)", booktitle = "Proceedings of the 26th {European} Conference on {Artificial} {Intelligence} ({ECAI} 2023)", - publisher = "IOS Press", + publisher = "{IOS} Press", year = "2023" } @@ -994,7 +996,7 @@ @Proceedings{ecai2024 {Artificial} {Intelligence} ({ECAI} 2024)", booktitle = "Proceedings of the 27th {European} Conference on {Artificial} {Intelligence} ({ECAI} 2024)", - publisher = "IOS Press", + publisher = "{IOS} Press", year = "2024" } @@ -1004,7 +1006,7 @@ @Proceedings{ecai2025 {Artificial} {Intelligence} ({ECAI} 2025)", booktitle = "Proceedings of the 28th {European} Conference on {Artificial} {Intelligence} ({ECAI} 2025)", - publisher = "IOS Press", + publisher = "{IOS} Press", year = "2025" } @@ -1013,9 +1015,9 @@ @Proceedings{ecml2006 editor = "Johannes F{\"u}rnkranz and Tobias Scheffer and Myra Spiliopoulou", title = "Proceedings of the 17th European Conference on Machine - Learning (ECML 2006)", + Learning ({ECML} 2006)", booktitle = "Proceedings of the 17th European Conference on Machine - Learning (ECML 2006)", + Learning ({ECML} 2006)", publisher = "Springer-Verlag", series = lncs, volume = "4212", @@ -1030,10 +1032,10 @@ @Proceedings{ecmlpkdd2019 Marloes H. Maathuis and C{\'{e}}line Robardet", title = "Proceedings of the European Conference on Machine Learning and Principles and Practice of Knowledge Discovery - in Databases (ECML PKDD 2019)", + in Databases ({ECML PKDD} 2019)", booktitle = "Proceedings of the European Conference on Machine Learning and Principles and Practice of Knowledge Discovery - in Databases (ECML PKDD 2019)", + in Databases ({ECML PKDD} 2019)", publisher = "Springer-Verlag", series = lncs, volume = "11907", @@ -1077,12 +1079,14 @@ @Proceedings{ecp2001 booktitle = "Proceedings of the Sixth European Conference on Planning ({ECP} 2001)", year = "2001", - publisher = "AAAI Press" + publisher = "{AAAI} Press" } @Proceedings{emnlp2014wsssst, - title = "EMNLP 2014 Workshop on Semantics and Structure in Statistical Translation", - booktitle = "EMNLP 2014 Workshop on Semantics and Structure in Statistical Translation", + title = "{EMNLP} 2014 Workshop on Semantics and Structure in + Statistical Translation", + booktitle = "{EMNLP} 2014 Workshop on Semantics and Structure in + Statistical Translation", year = "2014" } @@ -1098,19 +1102,21 @@ @Proceedings{emnlp2023 @Proceedings{flairs2008, editor = "David Wilson and H. Chad Lane", - title = "Proceedings of the Twenty-First International FLAIRS Conference (FLAIRS 2008)", - booktitle = "Proceedings of the Twenty-First International FLAIRS Conference (FLAIRS 2008)", + title = "Proceedings of the Twenty-First International {FLAIRS} + Conference ({FLAIRS} 2008)", + booktitle = "Proceedings of the Twenty-First International {FLAIRS} + Conference ({FLAIRS} 2008)", year = "2008", - publisher = "AAAI Press" + publisher = "{AAAI} Press" } % Data taken from DBLP. @Proceedings{fm1999, editor = "Jeannette M. Wing and Jim Woodcock and Jim Davies", title = "Proceedings of the World Congress on Formal Methods - in the Development of Computing Systems (FM 1999)", + in the Development of Computing Systems ({FM} 1999)", booktitle = "Proceedings of the World Congress on Formal Methods - in the Development of Computing Systems (FM 1999)", + in the Development of Computing Systems ({FM} 1999)", publisher = "Springer-Verlag", series = lncs, volume = "1708", @@ -1141,36 +1147,36 @@ @Proceedings{fmcad2011 @Proceedings{fmcad2022, editor = "Alberto Griggio and Neha Rungta", title = "Proceedings of the 22nd International Conference on Formal - Methods in Computer-Aided Design (FMCAD 2022)", + Methods in Computer-Aided Design ({FMCAD} 2022)", booktitle = "Proceedings of the 22nd International Conference on Formal - Methods in Computer-Aided Design (FMCAD 2022)", - publisher = "IEEE", + Methods in Computer-Aided Design ({FMCAD} 2022)", + publisher = "{IEEE}", year = "2022" } @Proceedings{fmcad2023, editor = "Alexander Nadel and Kristin Yvonne Rozier", title = "Proceedings of the 23rd International Conference on Formal - Methods in Computer-Aided Design (FMCAD 2023)", + Methods in Computer-Aided Design ({FMCAD} 2023)", booktitle = "Proceedings of the 23rd International Conference on Formal - Methods in Computer-Aided Design (FMCAD 2023)", - publisher = "IEEE", + Methods in Computer-Aided Design ({FMCAD} 2023)", + publisher = "{IEEE}", year = "2023" } @Proceedings{gecco2011, title = "Proceedings of the 13th annual conference on Genetic - and evolutionary computation (GECCO 2011)", + and evolutionary computation ({GECCO} 2011)", booktitle = "Proceedings of the 13th annual conference on Genetic - and evolutionary computation (GECCO 2011)", + and evolutionary computation ({GECCO} 2011)", year = "2011" } @Proceedings{gecco2013, title = "Proceedings of the 15th annual conference on Genetic - and evolutionary computation (GECCO 2013)", + and evolutionary computation ({GECCO} 2013)", booktitle = "Proceedings of the 15th annual conference on Genetic - and evolutionary computation (GECCO 2013)", + and evolutionary computation ({GECCO} 2013)", publisher = "ACM", year = "2013" } @@ -1182,13 +1188,15 @@ @Proceedings{htcs1990 booktitle = "Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics", editor = "Jan van Leeuwen", - publisher = "Elsevier and MIT Press", + publisher = "Elsevier and {MIT} Press", year = "1990" } @Proceedings{icaart2025, - title = "Proceedings of the 17th International Conference on Agents and Artificial Intelligence ({ICAART})", - booktitle = "Proceedings of the 17th International Conference on Agents and Artificial Intelligence ({ICAART})", + title = "Proceedings of the 17th International Conference on Agents and + Artificial Intelligence ({ICAART})", + booktitle = "Proceedings of the 17th International Conference on Agents and + Artificial Intelligence ({ICAART})", year = "2025" } @@ -1201,7 +1209,7 @@ @Proceedings{icaps2003 booktitle = "Proceedings of the Thirteenth International Conference on Automated Planning and Scheduling ({ICAPS} 2003)", year = "2003", - publisher = "AAAI Press" + publisher = "{AAAI} Press" } % Data verified. @@ -1226,7 +1234,7 @@ @Proceedings{icaps2004 booktitle = "Proceedings of the Fourteenth International Conference on Automated Planning and Scheduling ({ICAPS} 2004)", year = "2004", - publisher = "AAAI Press" + publisher = "{AAAI} Press" } % Data verified. @@ -1238,7 +1246,7 @@ @Proceedings{icaps2005 booktitle = "Proceedings of the Fifteenth International Conference on Automated Planning and Scheduling ({ICAPS} 2005)", year = "2005", - publisher = "AAAI Press" + publisher = "{AAAI} Press" } % Verified. @@ -1250,13 +1258,13 @@ @Proceedings{icaps2006 booktitle = "Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling ({ICAPS} 2006)", year = "2006", - publisher = "AAAI Press" + publisher = "{AAAI} Press" } @Proceedings{icaps2006wspreferences, - title = "ICAPS 2006 Workshop on Preferences and Soft Constraints + title = "{ICAPS} 2006 Workshop on Preferences and Soft Constraints in Planning", - booktitle = "ICAPS 2006 Workshop on Preferences and Soft Constraints + booktitle = "{ICAPS} 2006 Workshop on Preferences and Soft Constraints in Planning", year = "2006" } @@ -1265,20 +1273,20 @@ @Proceedings{icaps2006wspreferences @Proceedings{icaps2007, editor = "Mark Boddy and Maria Fox and Sylvie Thi{\'e}baux", title = "Proceedings of the Seventeenth International Conference on - Automated Planning and Scheduling (ICAPS 2007)", + Automated Planning and Scheduling ({ICAPS} 2007)", booktitle = "Proceedings of the Seventeenth International Conference on - Automated Planning and Scheduling (ICAPS 2007)", + Automated Planning and Scheduling ({ICAPS} 2007)", year = "2007", - publisher = "AAAI Press" + publisher = "{AAAI} Press" } % Data verified. % Only electronic copies exist. @Proceedings{icaps2007wshdip, - title = "ICAPS 2007 Workshop on Heuristics for + title = "{ICAPS} 2007 Workshop on Heuristics for Domain-Independent Planning: Progress, Ideas, Limitations, Challenges", - booktitle = "ICAPS 2007 Workshop on Heuristics for + booktitle = "{ICAPS} 2007 Workshop on Heuristics for Domain-Independent Planning: Progress, Ideas, Limitations, Challenges", year = "2007" @@ -1289,11 +1297,11 @@ @Proceedings{icaps2008 editor = "Jussi Rintanen and Bernhard Nebel and J. Christopher Beck and Eric Hansen", title = "Proceedings of the Eighteenth International Conference on - Automated Planning and Scheduling (ICAPS 2008)", + Automated Planning and Scheduling ({ICAPS} 2008)", booktitle = "Proceedings of the Eighteenth International Conference on - Automated Planning and Scheduling (ICAPS 2008)", + Automated Planning and Scheduling ({ICAPS} 2008)", year = "2008", - publisher = "AAAI Press" + publisher = "{AAAI} Press" } % Verified. @@ -1301,19 +1309,19 @@ @Proceedings{icaps2009 editor = "Alfonso Gerevini and Adele Howe and Amedeo Cesta and Ioannis Refanidis", title = "Proceedings of the Nineteenth International Conference on - Automated Planning and Scheduling (ICAPS 2009)", + Automated Planning and Scheduling ({ICAPS} 2009)", booktitle = "Proceedings of the Nineteenth International Conference on - Automated Planning and Scheduling (ICAPS 2009)", + Automated Planning and Scheduling ({ICAPS} 2009)", year = "2009", - publisher = "AAAI Press" + publisher = "{AAAI} Press" } % Data verified. HDIP added for consistency with future entries. @Proceedings{icaps2009wshdip, - title = "ICAPS 2009 Workshop on Heuristics - for Domain-Independent Planning (HDIP)", - booktitle = "ICAPS 2009 Workshop on Heuristics - for Domain-Independent Planning (HDIP)", + title = "{ICAPS} 2009 Workshop on Heuristics + for Domain-Independent Planning ({HDIP})", + booktitle = "{ICAPS} 2009 Workshop on Heuristics + for Domain-Independent Planning ({HDIP})", year = "2009" } @@ -1321,17 +1329,17 @@ @Proceedings{icaps2010 editor = "Ronen Brafman and H{\'e}ctor Geffner and J{\"o}rg Hoffmann and Henry Kautz", title = "Proceedings of the Twentieth International Conference on - Automated Planning and Scheduling (ICAPS 2010)", + Automated Planning and Scheduling ({ICAPS} 2010)", booktitle = "Proceedings of the Twentieth International Conference on - Automated Planning and Scheduling (ICAPS 2010)", + Automated Planning and Scheduling ({ICAPS} 2010)", year = "2010", - publisher = "AAAI Press" + publisher = "{AAAI} Press" } @Proceedings{icaps2010wsuncertainty, - title = "ICAPS 2010 Workshop on Planning and Scheduling + title = "{ICAPS} 2010 Workshop on Planning and Scheduling Under Uncertainty", - booktitle = "ICAPS 2010 Workshop on Planning and Scheduling + booktitle = "{ICAPS} 2010 Workshop on Planning and Scheduling Under Uncertainty", year = "2010" } @@ -1340,18 +1348,18 @@ @Proceedings{icaps2011 editor = "Fahiem Bacchus and Carmel Domshlak and Stefan Edelkamp and Malte Helmert", title = "Proceedings of the Twenty-First International Conference on - Automated Planning and Scheduling (ICAPS 2011)", + Automated Planning and Scheduling ({ICAPS} 2011)", booktitle = "Proceedings of the Twenty-First International Conference on - Automated Planning and Scheduling (ICAPS 2011)", + Automated Planning and Scheduling ({ICAPS} 2011)", year = "2011", - publisher = "AAAI Press" + publisher = "{AAAI} Press" } @Proceedings{icaps2011wshdip, - title = "ICAPS 2011 Workshop on Heuristics - for Domain-Independent Planning (HDIP)", - booktitle = "ICAPS 2011 Workshop on Heuristics - for Domain-Independent Planning (HDIP)", + title = "{ICAPS} 2011 Workshop on Heuristics + for Domain-Independent Planning ({HDIP})", + booktitle = "{ICAPS} 2011 Workshop on Heuristics + for Domain-Independent Planning ({HDIP})", year = "2011" } @@ -1379,11 +1387,11 @@ @Proceedings{icaps2012 editor = "Lee McCluskey and Brian Williams and {Jos\'e} Reinaldo Silva and Blai Bonet", title = "Proceedings of the Twenty-Second International Conference on - Automated Planning and Scheduling (ICAPS 2012)", + Automated Planning and Scheduling ({ICAPS} 2012)", booktitle = "Proceedings of the Twenty-Second International Conference on - Automated Planning and Scheduling (ICAPS 2012)", + Automated Planning and Scheduling ({ICAPS} 2012)", year = "2012", - publisher = "AAAI Press" + publisher = "{AAAI} Press" } @Proceedings{icaps2012systemdemos, @@ -1393,10 +1401,10 @@ @Proceedings{icaps2012systemdemos } @Proceedings{icaps2012wswipc, - title = "ICAPS Workshop on the International Planning - Competition (WIPC)", - booktitle = "ICAPS Workshop on the International Planning - Competition (WIPC)", + title = "{ICAPS} Workshop on the International Planning + Competition ({WIPC})", + booktitle = "{ICAPS} Workshop on the International Planning + Competition ({WIPC})", year = "2012" } @@ -1404,18 +1412,18 @@ @Proceedings{icaps2013 editor = "Daniel Borrajo and Subbarao Kambhampati and Angelo Oddi and Simone Fratini", title = "Proceedings of the Twenty-Third International Conference on - Automated Planning and Scheduling (ICAPS 2013)", + Automated Planning and Scheduling ({ICAPS} 2013)", booktitle = "Proceedings of the Twenty-Third International Conference on - Automated Planning and Scheduling (ICAPS 2013)", + Automated Planning and Scheduling ({ICAPS} 2013)", year = "2013", - publisher = "AAAI Press" + publisher = "{AAAI} Press" } @Proceedings{icaps2013wshsdip, - title = "ICAPS 2013 Workshop on Heuristics and Search - for Domain-independent Planning (HSDIP)", - booktitle = "ICAPS 2013 Workshop on Heuristics and Search - for Domain-independent Planning (HSDIP)", + title = "{ICAPS} 2013 Workshop on Heuristics and Search + for Domain-independent Planning ({HSDIP})", + booktitle = "{ICAPS} 2013 Workshop on Heuristics and Search + for Domain-independent Planning ({HSDIP})", year = "2013" } @@ -1428,18 +1436,18 @@ @Proceedings{icaps2013wspal @Proceedings{icaps2014, editor = "Steve Chien and Alan Fern and Wheeler Ruml and Minh Do", title = "Proceedings of the Twenty-Fourth International Conference on - Automated Planning and Scheduling (ICAPS 2014)", + Automated Planning and Scheduling ({ICAPS} 2014)", booktitle = "Proceedings of the Twenty-Fourth International Conference on - Automated Planning and Scheduling (ICAPS 2014)", + Automated Planning and Scheduling ({ICAPS} 2014)", year = "2014", - publisher = "AAAI Press" + publisher = "{AAAI} Press" } @Proceedings{icaps2014wshsdip, - title = "ICAPS 2014 Workshop on Heuristics and Search - for Domain-independent Planning (HSDIP)", - booktitle = "ICAPS 2014 Workshop on Heuristics and Search - for Domain-independent Planning (HSDIP)", + title = "{ICAPS} 2014 Workshop on Heuristics and Search + for Domain-independent Planning ({HSDIP})", + booktitle = "{ICAPS} 2014 Workshop on Heuristics and Search + for Domain-independent Planning ({HSDIP})", year = "2014" } @@ -1453,43 +1461,46 @@ @Proceedings{icaps2015 editor = "Ronen Brafman and Carmel Domshlak and Patrik Haslum and Shlomo Zilberstein", title = "Proceedings of the Twenty-Fifth International Conference on - Automated Planning and Scheduling (ICAPS 2015)", + Automated Planning and Scheduling ({ICAPS} 2015)", booktitle = "Proceedings of the Twenty-Fifth International Conference on - Automated Planning and Scheduling (ICAPS 2015)", + Automated Planning and Scheduling ({ICAPS} 2015)", year = "2015", - publisher = "AAAI Press" + publisher = "{AAAI} Press" } @Proceedings{icaps2015wshsdip, - title = "ICAPS 2015 Workshop on Heuristics and Search - for Domain-independent Planning (HSDIP)", - booktitle = "ICAPS 2015 Workshop on Heuristics and Search - for Domain-independent Planning (HSDIP)", + title = "{ICAPS} 2015 Workshop on Heuristics and Search + for Domain-independent Planning ({HSDIP})", + booktitle = "{ICAPS} 2015 Workshop on Heuristics and Search + for Domain-independent Planning ({HSDIP})", year = "2015" } @Proceedings{icaps2015wsmochap, - title = "{ICAPS} 2015 Workshop on Model Checking and Automated Planning (MOCHAP)", - booktitle = "{ICAPS} 2015 Workshop on Model Checking and Automated Planning (MOCHAP)", + title = "{ICAPS} 2015 Workshop on Model Checking and Automated + Planning ({MOCHAP})", + booktitle = "{ICAPS} 2015 Workshop on Model Checking and Automated + Planning ({MOCHAP})", year = "2015" } @Proceedings{icaps2015wswipc, - title = "ICAPS Workshop on the International Planning - Competition (WIPC)", - booktitle = "ICAPS Workshop on the International Planning - Competition (WIPC)", + title = "{ICAPS} Workshop on the International Planning + Competition ({WIPC})", + booktitle = "{ICAPS} Workshop on the International Planning + Competition ({WIPC})", year = "2015" } @Proceedings{icaps2016, - editor = "Amanda Coles and Andrew Coles and Stefan Edelkamp and Daniele Magazzeni and Scott Sanner", + editor = "Amanda Coles and Andrew Coles and Stefan Edelkamp and Daniele + Magazzeni and Scott Sanner", title = "Proceedings of the Twenty-Sixth International Conference on - Automated Planning and Scheduling (ICAPS 2016)", + Automated Planning and Scheduling ({ICAPS} 2016)", booktitle = "Proceedings of the Twenty-Sixth International Conference on - Automated Planning and Scheduling (ICAPS 2016)", + Automated Planning and Scheduling ({ICAPS} 2016)", year = "2016", - publisher = "AAAI Press" + publisher = "{AAAI} Press" } @Proceedings{icaps2016systemdemos, @@ -1499,10 +1510,10 @@ @Proceedings{icaps2016systemdemos } @Proceedings{icaps2016wshsdip, - title = "ICAPS 2016 Workshop on Heuristics and Search - for Domain-independent Planning (HSDIP)", - booktitle = "ICAPS 2016 Workshop on Heuristics and Search - for Domain-independent Planning (HSDIP)", + title = "{ICAPS} 2016 Workshop on Heuristics and Search + for Domain-independent Planning ({HSDIP})", + booktitle = "{ICAPS} 2016 Workshop on Heuristics and Search + for Domain-independent Planning ({HSDIP})", year = "2016" } @@ -1515,18 +1526,18 @@ @Proceedings{icaps2016wsspark @Proceedings{icaps2017, editor = "Laura Barbulescu and Jeremy Frank and Mausam and Stephen F. Smith", title = "Proceedings of the Twenty-Seventh International Conference on - Automated Planning and Scheduling (ICAPS 2017)", + Automated Planning and Scheduling ({ICAPS} 2017)", booktitle = "Proceedings of the Twenty-Seventh International Conference on - Automated Planning and Scheduling (ICAPS 2017)", + Automated Planning and Scheduling ({ICAPS} 2017)", year = "2017", - publisher = "AAAI Press" + publisher = "{AAAI} Press" } @Proceedings{icaps2017wshsdip, - title = "ICAPS 2017 Workshop on Heuristics and Search - for Domain-independent Planning (HSDIP)", - booktitle = "ICAPS 2017 Workshop on Heuristics and Search - for Domain-independent Planning (HSDIP)", + title = "{ICAPS} 2017 Workshop on Heuristics and Search + for Domain-independent Planning ({HSDIP})", + booktitle = "{ICAPS} 2017 Workshop on Heuristics and Search + for Domain-independent Planning ({HSDIP})", year = "2017" } @@ -1537,64 +1548,65 @@ @Proceedings{icaps2017wsspark } @Proceedings{icaps2018, - editor = "Mathijs de Weerdt and Sven Koenig and Gabriele R{\"o}ger and Matthijs Spaan", + editor = "Mathijs de Weerdt and Sven Koenig and Gabriele R{\"o}ger and + Matthijs Spaan", title = "Proceedings of the Twenty-Eighth International Conference on - Automated Planning and Scheduling (ICAPS 2018)", + Automated Planning and Scheduling ({ICAPS 2018})", booktitle = "Proceedings of the Twenty-Eighth International Conference on - Automated Planning and Scheduling (ICAPS 2018)", + Automated Planning and Scheduling ({ICAPS 2018})", year = "2018", - publisher = "AAAI Press" + publisher = "{AAAI} Press" } @Proceedings{icaps2018wshsdip, - title = "ICAPS 2018 Workshop on Heuristics and Search - for Domain-independent Planning (HSDIP)", - booktitle = "ICAPS 2018 Workshop on Heuristics and Search - for Domain-independent Planning (HSDIP)", + title = "{ICAPS} 2018 Workshop on Heuristics and Search + for Domain-independent Planning ({HSDIP})", + booktitle = "{ICAPS} 2018 Workshop on Heuristics and Search + for Domain-independent Planning ({HSDIP})", year = "2018" } @Proceedings{icaps2019, editor = "Nir Lipovetzky and Eva Onaindia and David E. Smith", title = "Proceedings of the Twenty-Ninth International Conference on - Automated Planning and Scheduling (ICAPS 2019)", + Automated Planning and Scheduling ({ICAPS} 2019)", booktitle = "Proceedings of the Twenty-Ninth International Conference on - Automated Planning and Scheduling (ICAPS 2019)", + Automated Planning and Scheduling ({ICAPS} 2019)", year = "2019", - publisher = "AAAI Press" + publisher = "{AAAI} Press" } @Proceedings{icaps2019wshsdip, - title = "ICAPS 2019 Workshop on Heuristics and Search - for Domain-independent Planning (HSDIP)", - booktitle = "ICAPS 2019 Workshop on Heuristics and Search - for Domain-independent Planning (HSDIP)", + title = "{ICAPS} 2019 Workshop on Heuristics and Search + for Domain-independent Planning ({HSDIP})", + booktitle = "{ICAPS} 2019 Workshop on Heuristics and Search + for Domain-independent Planning ({HSDIP})", year = "2019" } @Proceedings{icaps2019wsipc, - title = "ICAPS 2019 Workshop on the International Planning - Competition (WIPC)", - booktitle = "ICAPS 2019 Workshop on the International Planning - Competition (WIPC)", + title = "{ICAPS} 2019 Workshop on the International Planning + Competition ({WIPC})", + booktitle = "{ICAPS} 2019 Workshop on the International Planning + Competition ({WIPC})", year = "2019" } @Proceedings{icaps2020, editor = "J. Christopher Beck and Erez Karpas and Shirin Sohrabi", title = "Proceedings of the Thirtieth International Conference on - Automated Planning and Scheduling (ICAPS 2020)", + Automated Planning and Scheduling ({ICAPS} 2020)", booktitle = "Proceedings of the Thirtieth International Conference on - Automated Planning and Scheduling (ICAPS 2020)", + Automated Planning and Scheduling ({ICAPS} 2020)", year = "2020", - publisher = "AAAI Press" + publisher = "{AAAI} Press" } @Proceedings{icaps2020wshsdip, - title = "ICAPS 2020 Workshop on Heuristics and Search - for Domain-independent Planning (HSDIP)", - booktitle = "ICAPS 2020 Workshop on Heuristics and Search - for Domain-independent Planning (HSDIP)", + title = "{ICAPS} 2020 Workshop on Heuristics and Search + for Domain-independent Planning ({HSDIP})", + booktitle = "{ICAPS} 2020 Workshop on Heuristics and Search + for Domain-independent Planning ({HSDIP})", year = "2020" } @@ -1607,34 +1619,34 @@ @Proceedings{icaps2020wskeps } @Proceedings{icaps2020wsprl, - title = "ICAPS 2020 Workshop on Bridging the Gap Between AI - Planning and Reinforcement Learning (PRL)", - booktitle = "ICAPS 2020 Workshop on Bridging the Gap Between AI - Planning and Reinforcement Learning (PRL)", + title = "{ICAPS} 2020 Workshop on Bridging the Gap Between AI + Planning and Reinforcement Learning ({PRL})", + booktitle = "{ICAPS} 2020 Workshop on Bridging the Gap Between AI + Planning and Reinforcement Learning ({PRL})", year = "2020" } @Proceedings{icaps2020wsxaip, - title = "ICAPS 2020 Workshop on Explainable AI Planning (XAIP)", - booktitle = "ICAPS 2020 Workshop on Explainable AI Planning (XAIP)", + title = "{ICAPS} 2020 Workshop on Explainable AI Planning ({XAIP})", + booktitle = "{ICAPS} 2020 Workshop on Explainable AI Planning ({XAIP})", year = "2020" } @Proceedings{icaps2021, editor = "Robert P. Goldman and Susanne Biundo and Michael Katz", title = "Proceedings of the Thirty-First International Conference on - Automated Planning and Scheduling (ICAPS 2021)", + Automated Planning and Scheduling ({ICAPS} 2021)", booktitle = "Proceedings of the Thirty-First International Conference on - Automated Planning and Scheduling (ICAPS 2021)", + Automated Planning and Scheduling ({ICAPS} 2021)", year = "2021", - publisher = "AAAI Press" + publisher = "{AAAI} Press" } @Proceedings{icaps2021wshsdip, - title = "ICAPS 2021 Workshop on Heuristics and Search - for Domain-independent Planning (HSDIP)", - booktitle = "ICAPS 2021 Workshop on Heuristics and Search - for Domain-independent Planning (HSDIP)", + title = "{ICAPS} 2021 Workshop on Heuristics and Search + for Domain-independent Planning ({HSDIP})", + booktitle = "{ICAPS} 2021 Workshop on Heuristics and Search + for Domain-independent Planning ({HSDIP})", year = "2021" } @@ -1647,21 +1659,21 @@ @Proceedings{icaps2021wskeps } @Proceedings{icaps2021wsprl, - title = "ICAPS 2021 Workshop on Bridging the Gap Between AI - Planning and Reinforcement Learning (PRL)", - booktitle = "ICAPS 2021 Workshop on Bridging the Gap Between AI - Planning and Reinforcement Learning (PRL)", + title = "{ICAPS} 2021 Workshop on Bridging the Gap Between AI + Planning and Reinforcement Learning ({PRL})", + booktitle = "{ICAPS} 2021 Workshop on Bridging the Gap Between AI + Planning and Reinforcement Learning ({PRL})", year = "2021" } @Proceedings{icaps2022, editor = "Sylvie Thi{\'e}baux and William Yeoh", title = "Proceedings of the Thirty-Second International Conference on - Automated Planning and Scheduling (ICAPS 2022)", + Automated Planning and Scheduling ({ICAPS} 2022)", booktitle = "Proceedings of the Thirty-Second International Conference on - Automated Planning and Scheduling (ICAPS 2022)", + Automated Planning and Scheduling ({ICAPS} 2022)", year = "2022", - publisher = "AAAI Press" + publisher = "{AAAI} Press" } @Proceedings{icaps2022systemdemos, @@ -1671,29 +1683,29 @@ @Proceedings{icaps2022systemdemos } @Proceedings{icaps2022wshsdip, - title = "ICAPS 2022 Workshop on Heuristics and Search - for Domain-independent Planning (HSDIP)", - booktitle = "ICAPS 2022 Workshop on Heuristics and Search - for Domain-independent Planning (HSDIP)", + title = "{ICAPS} 2022 Workshop on Heuristics and Search + for Domain-independent Planning ({HSDIP})", + booktitle = "{ICAPS} 2022 Workshop on Heuristics and Search + for Domain-independent Planning ({HSDIP})", year = "2022" } @Proceedings{icaps2022wsprl, - title = "ICAPS 2022 Workshop on Bridging the Gap Between AI - Planning and Reinforcement Learning (PRL)", - booktitle = "ICAPS 2022 Workshop on Bridging the Gap Between AI - Planning and Reinforcement Learning (PRL)", + title = "{ICAPS} 2022 Workshop on Bridging the Gap Between AI + Planning and Reinforcement Learning ({PRL})", + booktitle = "{ICAPS} 2022 Workshop on Bridging the Gap Between AI + Planning and Reinforcement Learning ({PRL})", year = "2022" } @Proceedings{icaps2023, editor = "Sven Koenig and Roni Stern and Mauro Vallati", title = "Proceedings of the Thirty-Third International Conference on - Automated Planning and Scheduling (ICAPS 2023)", + Automated Planning and Scheduling ({ICAPS} 2023)", booktitle = "Proceedings of the Thirty-Third International Conference on - Automated Planning and Scheduling (ICAPS 2023)", + Automated Planning and Scheduling ({ICAPS} 2023)", year = "2023", - publisher = "AAAI Press" + publisher = "{AAAI} Press" } @Proceedings{icaps2023systemdemos, @@ -1703,8 +1715,8 @@ @Proceedings{icaps2023systemdemos } @Proceedings{icaps2023wsplanrob, - title = "ICAPS 2023 Planning and Robotics Workshop (PlanRob)", - booktitle = "ICAPS 2023 Planning and Robotics Workshop (PlanRob)", + title = "{ICAPS} 2023 Planning and Robotics Workshop ({PlanRob})", + booktitle = "{ICAPS} 2023 Planning and Robotics Workshop ({PlanRob})", year = "2023" } @@ -1717,38 +1729,42 @@ @Proceedings{icaps2023wsspark @Proceedings{icaps2024, editor = "Sara Bernardini and Christian Muise", title = "Proceedings of the Thirty-Fourth International Conference on - Automated Planning and Scheduling (ICAPS 2024)", + Automated Planning and Scheduling ({ICAPS} 2024)", booktitle = "Proceedings of the Thirty-Fourth International Conference on - Automated Planning and Scheduling (ICAPS 2024)", + Automated Planning and Scheduling ({ICAPS} 2024)", year = "2024", - publisher = "AAAI Press" + publisher = "{AAAI} Press" } @Proceedings{icaps2024wshaxp, - title = "ICAPS 2024 Workshop on Human-Aware and Explainable Planning (HAXP)", - booktitle = "ICAPS 2024 Workshop on Human-Aware and Explainable Planning (HAXP)", + title = "{ICAPS} 2024 Workshop on Human-Aware and Explainable + Planning ({HAXP})", + booktitle = "{ICAPS} 2024 Workshop on Human-Aware and Explainable + Planning ({HAXP})", year = "2024" } @Proceedings{icaps2024wshsdip, - title = "ICAPS 2024 Workshop on Heuristics and Search - for Domain-independent Planning (HSDIP)", - booktitle = "ICAPS 2024 Workshop on Heuristics and Search - for Domain-independent Planning (HSDIP)", + title = "{ICAPS} 2024 Workshop on Heuristics and Search + for Domain-independent Planning ({HSDIP})", + booktitle = "{ICAPS} 2024 Workshop on Heuristics and Search + for Domain-independent Planning ({HSDIP})", year = "2024" } @Proceedings{icaps2024wsprl, - title = "ICAPS 2024 Workshop on Bridging the Gap Between AI - Planning and Reinforcement Learning (PRL)", - booktitle = "ICAPS 2024 Workshop on Bridging the Gap Between AI - Planning and Reinforcement Learning (PRL)", + title = "{ICAPS} 2024 Workshop on Bridging the Gap Between AI + Planning and Reinforcement Learning ({PRL})", + booktitle = "{ICAPS} 2024 Workshop on Bridging the Gap Between AI + Planning and Reinforcement Learning ({PRL})", year = "2024" } @Proceedings{icaps2024wsweep, - title = "ICAPS 2024 Workshop on Echoing (failed) Efforts in Planning (WEEP)", - booktitle = "ICAPS 2024 Workshop on Echoing (failed) Efforts in Planning (WEEP)", + title = "{ICAPS} 2024 Workshop on Echoing (failed) Efforts in + Planning ({WEEP})", + booktitle = "{ICAPS} 2024 Workshop on Echoing (failed) Efforts in + Planning ({WEEP})", year = "2024" } @@ -1760,62 +1776,62 @@ @Proceedings{icaps2025 editor = "Nir Lipovetzky and Sebastian Sardina and Daniel Harabor and Miquel Ramirez", title = "Proceedings of the Thirty-Fifth International Conference on - Automated Planning and Scheduling (ICAPS 2025)", + Automated Planning and Scheduling ({ICAPS} 2025)", booktitle = "Proceedings of the Thirty-Fifth International Conference on - Automated Planning and Scheduling (ICAPS 2025)", + Automated Planning and Scheduling ({ICAPS} 2025)", year = "2025", - publisher = "AAAI Press" + publisher = "{AAAI} Press" } @Proceedings{icaps2025wshaxp, - title = "ICAPS 2025 Workshop on Human-Aware and Explainable Planning (HAXP)", - booktitle = "ICAPS 2025 Workshop on Human-Aware and Explainable Planning (HAXP)", + title = "{ICAPS} 2025 Workshop on Human-Aware and Explainable Planning ({HAXP})", + booktitle = "{ICAPS} 2025 Workshop on Human-Aware and Explainable Planning ({HAXP})", year = "2025" } % No source cites the editor @Proceedings{iccad1990, - title = "Proceedings of the 1990 IEEE/ACM International - Conference on Computer-Aided Design (ICCAD 1990)", - booktitle = "Proceedings of the 1990 IEEE/ACM International - Conference on Computer-Aided Design (ICCAD 1990)", + title = "Proceedings of the 1990 {IEEE/ACM} International + Conference on Computer-Aided Design ({ICCAD} 1990)", + booktitle = "Proceedings of the 1990 {IEEE/ACM} International + Conference on Computer-Aided Design ({ICCAD} 1990)", year = "1990" } @Proceedings{iccad1993, editor = "Michael R. Lightner and Jochen A. G. Jess", - title = "Proceedings of the 1993 IEEE/ACM International - Conference on Computer-Aided Design (ICCAD 1993)", - booktitle = "Proceedings of the 1993 IEEE/ACM International - Conference on Computer-Aided Design (ICCAD 1993)", + title = "Proceedings of the 1993 {IEEE/ACM} International + Conference on Computer-Aided Design ({ICCAD} 1993)", + booktitle = "Proceedings of the 1993 {IEEE/ACM} International + Conference on Computer-Aided Design ({ICCAD} 1993)", year = "1993" } @Proceedings{iccad1995, editor = "Richard L. Rudell", - title = "Proceedings of the 1995 IEEE/ACM International - Conference on Computer-Aided Design (ICCAD 1995)", - booktitle = "Proceedings of the 1995 IEEE/ACM International - Conference on Computer-Aided Design (ICCAD 1995)", + title = "Proceedings of the 1995 {IEEE/ACM} International + Conference on Computer-Aided Design ({ICCAD} 1995)", + booktitle = "Proceedings of the 1995 {IEEE/ACM} International + Conference on Computer-Aided Design ({ICCAD} 1995)", year = "1995" } % Data taken from DBLP @Proceedings{iccad1996, editor = "Rob A. Rutenbar and Ralph H. J. M. Otten", - title = "Proceedings of the 1996 IEEE/ACM International - Conference on Computer-Aided Design (ICCAD 1996)", - booktitle = "Proceedings of the 1996 IEEE/ACM International - Conference on Computer-Aided Design (ICCAD 1996)", + title = "Proceedings of the 1996 {IEEE/ACM} International + Conference on Computer-Aided Design ({ICCAD} 1996)", + booktitle = "Proceedings of the 1996 {IEEE/ACM} International + Conference on Computer-Aided Design ({ICCAD} 1996)", year = "1996" } @Proceedings{ickeps2009, title = "Proceedings of the Third International Competition on - Knowledge Engineering for Planning and Scheduling, ICAPS + Knowledge Engineering for Planning and Scheduling, {ICAPS} 2009", booktitle = "Proceedings of the Third International Competition on - Knowledge Engineering for Planning and Scheduling, ICAPS + Knowledge Engineering for Planning and Scheduling, {ICAPS} 2009", year = "2009" } @@ -1833,9 +1849,9 @@ @Proceedings{iclp1988 @Proceedings{iclp2012, editor = "Agostino Dovier and V\'{\i}tor Santos Costa", title = "Technical Communications of the 28th International Conference - on Logic Programming, ICLP 2012, September 4--8, 2012, Budapest, + on Logic Programming, {ICLP} 2012, September 4--8, 2012, Budapest, Hungary", - booktitle = "ICLP (Technical Communications)", + booktitle = "{ICLP} (Technical Communications)", publisher = "Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik", series = "LIPIcs", volume = "17", @@ -1843,75 +1859,95 @@ @Proceedings{iclp2012 } @Proceedings{iclr2014, - title = "Proceedings of the Second International Conference on Learning Representations (ICLR 2014)", - booktitle = "Proceedings of the Second International Conference on Learning Representations (ICLR 2014)", + title = "Proceedings of the Second International Conference on Learning + Representations ({ICLR} 2014)", + booktitle = "Proceedings of the Second International Conference on Learning + Representations ({ICLR} 2014)", year = "2014" } @Proceedings{iclr2015, - title = "Proceedings of the Third International Conference on Learning Representations (ICLR 2015)", - booktitle = "Proceedings of the Third International Conference on Learning Representations (ICLR 2015)", + title = "Proceedings of the Third International Conference on Learning + Representations ({ICLR} 2015)", + booktitle = "Proceedings of the Third International Conference on Learning + Representations ({ICLR} 2015)", year = "2015" } @Proceedings{iclr2016, - title = "Proceedings of the Fourth International Conference on Learning Representations (ICLR 2016)", - booktitle = "Proceedings of the Fourth International Conference on Learning Representations (ICLR 2016)", + title = "Proceedings of the Fourth International Conference on Learning + Representations ({ICLR} 2016)", + booktitle = "Proceedings of the Fourth International Conference on Learning + Representations ({ICLR} 2016)", year = "2016" } % Data based on DBLP. @Proceedings{iclr2017, - title = "Proceedings of the Fifth International Conference on Learning Representations (ICLR 2017)", - booktitle = "Proceedings of the Fifth International Conference on Learning Representations (ICLR 2017)", + title = "Proceedings of the Fifth International Conference on Learning + Representations ({ICLR} 2017)", + booktitle = "Proceedings of the Fifth International Conference on Learning + Representations ({ICLR} 2017)", publisher = "OpenReview.net", year = "2017" } % Data based on DBLP. @Proceedings{iclr2018, - title = "Proceedings of the Sixth International Conference on Learning Representations (ICLR 2018)", - booktitle = "Proceedings of the Sixth International Conference on Learning Representations (ICLR 2018)", + title = "Proceedings of the Sixth International Conference on Learning + Representations ({ICLR} 2018)", + booktitle = "Proceedings of the Sixth International Conference on Learning + Representations ({ICLR} 2018)", publisher = "OpenReview.net", year = "2018" } % Data based on DBLP. @Proceedings{iclr2019, - title = "Proceedings of the Seventh International Conference on Learning Representations (ICLR 2019)", - booktitle = "Proceedings of the Seventh International Conference on Learning Representations (ICLR 2019)", + title = "Proceedings of the Seventh International Conference on + Learning Representations ({ICLR} 2019)", + booktitle = "Proceedings of the Seventh International Conference on + Learning Representations ({ICLR} 2019)", publisher = "OpenReview.net", year = "2019" } % Data based on DBLP. @Proceedings{iclr2020, - title = "Proceedings of the Eighth International Conference on Learning Representations (ICLR 2020)", - booktitle = "Proceedings of the Eighth International Conference on Learning Representations (ICLR 2020)", + title = "Proceedings of the Eighth International Conference on Learning + Representations ({ICLR} 2020)", + booktitle = "Proceedings of the Eighth International Conference on Learning + Representations ({ICLR} 2020)", publisher = "OpenReview.net", year = "2020" } @Proceedings{iclr2023, - title = "Proceedings of the Eleventh International Conference on Learning Representations (ICLR 2023)", - booktitle = "Proceedings of the Eleventh International Conference on Learning Representations (ICLR 2023)", + title = "Proceedings of the Eleventh International Conference on + Learning Representations ({ICLR} 2023)", + booktitle = "Proceedings of the Eleventh International Conference on + Learning Representations ({ICLR} 2023)", publisher = "OpenReview.net", year = "2023" } @Proceedings{icml2001, editor = "Carla E. Brodley and Andrea {Pohoreckyj Danyluk}", - title = "Proceedings of the Eighteenth International Conference on Machine Learning (ICML 2001)", - booktitle = "Proceedings of the Eighteenth International Conference on Machine Learning (ICML 2001)", - publisher = "ACM", + title = "Proceedings of the Eighteenth International Conference on + Machine Learning ({ICML} 2001)", + booktitle = "Proceedings of the Eighteenth International Conference on + Machine Learning ({ICML} 2001)", + publisher = "{ACM}", year = "2001" } @Proceedings{icml2005, editor = "Luc De Raedt and Stefan Wrobel", - title = "Proceedings of the Twenty-Second International Conference on Machine Learning (ICML 2005)", - booktitle = "Proceedings of the Twenty-Second International Conference on Machine Learning (ICML 2005)", - publisher = "ACM", + title = "Proceedings of the Twenty-Second International Conference on + Machine Learning ({ICML} 2005)", + booktitle = "Proceedings of the Twenty-Second International Conference on + Machine Learning ({ICML} 2005)", + publisher = "{ACM}", year = "2005" } @@ -1919,10 +1955,10 @@ @Proceedings{icml2005 @Proceedings{icml2007, editor = "Zoubin Ghahramani", title = "Proceedings of the Twenty-Fourth International Conference - on Machine Learning (ICML 2007)", + on Machine Learning ({ICML} 2007)", booktitle = "Proceedings of the Twenty-Fourth International Conference - on Machine Learning (ICML 2007)", - publisher = "ACM", + on Machine Learning ({ICML} 2007)", + publisher = "{ACM}", year = "2007" } @@ -1930,9 +1966,9 @@ @Proceedings{icml2007 @Proceedings{icml2008, editor = "William W. Cohen and Andrew McCallum and Sam T. Roweis", title = "Proceedings of the Twenty-Fifth International - Conference on Machine Learning {(ICML 2008)}", + Conference on Machine Learning ({ICML} 2008)", booktitle = "Proceedings of the Twenty-Fifth International - Conference on Machine Learning {(ICML 2008)}", + Conference on Machine Learning ({ICML} 2008)", publisher = "{ACM}", year = "2008" } @@ -1940,9 +1976,9 @@ @Proceedings{icml2008 % Data based on DBLP. @Proceedings{icml2009, title = "Proceedings of the 26th International - Conference on Machine Learning {(ICML 2009)}", + Conference on Machine Learning ({ICML} 2009)", booktitle = "Proceedings of the 26th International - Conference on Machine Learning {(ICML 2009)}", + Conference on Machine Learning ({ICML} 2009)", publisher = "{ACM}", year = "2009" } @@ -1950,9 +1986,9 @@ @Proceedings{icml2009 % Data based on DBLP. @Proceedings{icml2013, title = "Proceedings of the 30th International Conference on - Machine Learning {(ICML 2013)}", + Machine Learning ({ICML} 2013)", booktitle = "Proceedings of the 30th International Conference on - Machine Learning {(ICML 2008)}", + Machine Learning ({ICML} 2008)", publisher = "{JMLR}.org", year = "2013" } @@ -1960,18 +1996,18 @@ @Proceedings{icml2013 @Proceedings{icml2017, editor = "Doina Precup and Yee Whye Teh", title = "Proceedings of the 34th International Conference on - Machine Learning {(ICML 2017)}", + Machine Learning ({ICML} 2017)", booktitle = "Proceedings of the 34th International Conference on - Machine Learning {(ICML 2017)}", + Machine Learning ({ICML} 2017)", publisher = "{JMLR}.org", year = "2017" } @Proceedings{icml2020, title = "Proceedings of the 37th International Conference on - Machine Learning {(ICML 2020)}", + Machine Learning ({ICML} 2020)", booktitle = "Proceedings of the 37th International Conference on - Machine Learning {(ICML 2020)}", + Machine Learning ({ICML} 2020)", publisher = "{JMLR}.org", year = "2020" } @@ -1979,54 +2015,56 @@ @Proceedings{icml2020 % Data based on DBLP. @Proceedings{icra1994, title = "Proceedings of the 1994 International Conference - on Robotics and Automation (ICRA 1994)", + on Robotics and Automation ({ICRA} 1994)", booktitle = "Proceedings of the 1994 International Conference - on Robotics and Automation (ICRA 1994)", - publisher = "IEEE", + on Robotics and Automation ({ICRA} 1994)", + publisher = "{IEEE}", year = "1994" } % Data based on DBLP. @Proceedings{icra2004, - title = "Proceedings of the 2004 IEEE International Conference - on Robotics and Automation (ICRA 2004)", - booktitle = "Proceedings of the 2004 IEEE International Conference - on Robotics and Automation (ICRA 2004)", - publisher = "IEEE", + title = "Proceedings of the 2004 {IEEE} International Conference + on Robotics and Automation ({ICRA} 2004)", + booktitle = "Proceedings of the 2004 {IEEE} International Conference + on Robotics and Automation ({ICRA} 2004)", + publisher = "{IEEE}", year = "2004" } @Proceedings{icra2009, - title = "Proceedings of the 2009 IEEE International Conference - on Robotics and Automation (ICRA 2009)", - booktitle = "Proceedings of the 2009 IEEE International Conference - on Robotics and Automation (ICRA 2009)", - publisher = "IEEE", + title = "Proceedings of the 2009 {IEEE} International Conference + on Robotics and Automation ({ICRA} 2009)", + booktitle = "Proceedings of the 2009 {IEEE} International Conference + on Robotics and Automation ({ICRA} 2009)", + publisher = "{IEEE}", year = "2009" } @Proceedings{ictai2004, title = "Proceedings of the 16th International Conference on Tools with - Artificial Intelligence (ICTAI 2004)", + Artificial Intelligence ({ICTAI} 2004)", booktitle = "Proceedings of the 16th International Conference on Tools with - Artificial Intelligence (ICTAI 2004)", - publisher = "IEEE", + Artificial Intelligence ({ICTAI} 2004)", + publisher = "{IEEE}", year = "2004" } @Proceedings{ictai2009, title = "Proceedings of the 21st International Conference on Tools with - Artificial Intelligence (ICTAI 2009)", + Artificial Intelligence ({ICTAI} 2009)", booktitle = "Proceedings of the 21st International Conference on Tools with - Artificial Intelligence (ICTAI 2009)", - publisher = "IEEE", + Artificial Intelligence ({ICTAI} 2009)", + publisher = "{IEEE}", year = "2009" } @Proceedings{ictai2012, - title = "Proceedings of the 24th International Conference on Tools with Artificial Intelligence (ICTAI 2012)", - booktitle = "Proceedings of the 24th International Conference on Tools with Artificial Intelligence (ICTAI 2012)", - publisher = "IEEE", + title = "Proceedings of the 24th International Conference on Tools with + Artificial Intelligence ({ICTAI} 2012)", + booktitle = "Proceedings of the 24th International Conference on Tools with + Artificial Intelligence ({ICTAI} 2012)", + publisher = "{IEEE}", year = "2012" } @@ -2034,9 +2072,9 @@ @Proceedings{ictai2012 @Proceedings{ijcai1969, editor = "Donald E. Walker and Lewis M. Norton", title = "Proceedings of the 1st International Joint - Conference on Artificial Intelligence (IJCAI 1969)", + Conference on Artificial Intelligence ({IJCAI} 1969)", booktitle = "Proceedings of the 1st International Joint - Conference on Artificial Intelligence (IJCAI 1969)", + Conference on Artificial Intelligence ({IJCAI} 1969)", publisher = "William Kaufmann", year = "1969" } @@ -2045,9 +2083,9 @@ @Proceedings{ijcai1969 @Proceedings{ijcai1973, editor = "Nils J. Nilsson", title = "Proceedings of the 3rd International Joint - Conference on Artificial Intelligence (IJCAI 1973)", + Conference on Artificial Intelligence ({IJCAI} 1973)", booktitle = "Proceedings of the 3rd International Joint - Conference on Artificial Intelligence (IJCAI 1973)", + Conference on Artificial Intelligence ({IJCAI} 1973)", publisher = "William Kaufmann", year = "1973" } @@ -2056,9 +2094,9 @@ @Proceedings{ijcai1973 @Proceedings{ijcai1977, editor = "Raj Reddy", title = "Proceedings of the 5th International Joint - Conference on Artificial Intelligence (IJCAI 1977)", + Conference on Artificial Intelligence ({IJCAI} 1977)", booktitle = "Proceedings of the 5th International Joint - Conference on Artificial Intelligence (IJCAI 1977)", + Conference on Artificial Intelligence ({IJCAI} 1977)", publisher = "William Kaufmann", year = "1977" } @@ -2171,7 +2209,7 @@ @Proceedings{ijcai2009 Artificial Intelligence ({IJCAI} 2009)", booktitle = "Proceedings of the 21st International Joint Conference on Artificial Intelligence ({IJCAI} 2009)", - publisher = "AAAI Press", + publisher = "{AAAI} Press", year = "2009" } @@ -2179,10 +2217,10 @@ @Proceedings{ijcai2009 @Proceedings{ijcai2011, editor = "Toby Walsh", title = "Proceedings of the 22nd International Joint - Conference on Artificial Intelligence (IJCAI 2011)", + Conference on Artificial Intelligence ({IJCAI} 2011)", booktitle = "Proceedings of the 22nd International Joint - Conference on Artificial Intelligence (IJCAI 2011)", - publisher = "AAAI Press", + Conference on Artificial Intelligence ({IJCAI} 2011)", + publisher = "{AAAI} Press", year = "2011" } @@ -2190,144 +2228,144 @@ @Proceedings{ijcai2011 @Proceedings{ijcai2013, editor = "Francesca Rossi", title = "Proceedings of the 23rd International Joint - Conference on Artificial Intelligence (IJCAI 2013)", + Conference on Artificial Intelligence ({IJCAI} 2013)", booktitle = "Proceedings of the 23rd International Joint - Conference on Artificial Intelligence (IJCAI 2013)", - publisher = "AAAI Press", + Conference on Artificial Intelligence ({IJCAI} 2013)", + publisher = "{AAAI} Press", year = "2013" } @Proceedings{ijcai2015, editor = "Qiang Yang and Michael Wooldridge", title = "Proceedings of the 24th International Joint - Conference on Artificial Intelligence (IJCAI 2015)", + Conference on Artificial Intelligence ({IJCAI} 2015)", booktitle = "Proceedings of the 24th International Joint - Conference on Artificial Intelligence (IJCAI 2015)", - publisher = "AAAI Press", + Conference on Artificial Intelligence ({IJCAI} 2015)", + publisher = "{AAAI} Press", year = "2015" } @Proceedings{ijcai2016, editor = "Subbarao Kambhampati", title = "Proceedings of the 25th International Joint - Conference on Artificial Intelligence (IJCAI 2016)", + Conference on Artificial Intelligence ({IJCAI} 2016)", booktitle = "Proceedings of the 25th International Joint - Conference on Artificial Intelligence (IJCAI 2016)", - publisher = "AAAI Press", + Conference on Artificial Intelligence ({IJCAI} 2016)", + publisher = "{AAAI} Press", year = "2016" } @Proceedings{ijcai2017, editor = "Carles Sierra", title = "Proceedings of the 26th International Joint - Conference on Artificial Intelligence (IJCAI 2017)", + Conference on Artificial Intelligence ({IJCAI} 2017)", booktitle = "Proceedings of the 26th International Joint - Conference on Artificial Intelligence (IJCAI 2017)", - publisher = "IJCAI", + Conference on Artificial Intelligence ({IJCAI} 2017)", + publisher = "{IJCAI}", year = "2017" } @Proceedings{ijcai2018, editor = "J{\'e}r{\^o}me Lang", title = "Proceedings of the 27th International Joint - Conference on Artificial Intelligence (IJCAI 2018)", + Conference on Artificial Intelligence ({IJCAI} 2018)", booktitle = "Proceedings of the 27th International Joint - Conference on Artificial Intelligence (IJCAI 2018)", - publisher = "IJCAI", + Conference on Artificial Intelligence ({IJCAI} 2018)", + publisher = "{IJCAI}", year = "2018" } @Proceedings{ijcai2019, editor = "Sarit Kraus", title = "Proceedings of the 28th International Joint - Conference on Artificial Intelligence (IJCAI 2019)", + Conference on Artificial Intelligence ({IJCAI} 2019)", booktitle = "Proceedings of the 28th International Joint - Conference on Artificial Intelligence (IJCAI 2019)", - publisher = "IJCAI", + Conference on Artificial Intelligence ({IJCAI} 2019)", + publisher = "{IJCAI}", year = "2019" } % TODO(Silvan): add editor @Proceedings{ijcai2020, title = "Proceedings of the 29th International Joint - Conference on Artificial Intelligence (IJCAI 2020)", + Conference on Artificial Intelligence ({IJCAI} 2020)", booktitle = "Proceedings of the 29th International Joint - Conference on Artificial Intelligence (IJCAI 2020)", - publisher = "IJCAI", + Conference on Artificial Intelligence ({IJCAI} 2020)", + publisher = "{IJCAI}", year = "2020" } @Proceedings{ijcai2021, editor = "Zhi-Hua Zhou", title = "Proceedings of the 30th International Joint - Conference on Artificial Intelligence (IJCAI 2021)", + Conference on Artificial Intelligence ({IJCAI} 2021)", booktitle = "Proceedings of the 30th International Joint - Conference on Artificial Intelligence (IJCAI 2021)", - publisher = "IJCAI", + Conference on Artificial Intelligence ({IJCAI} 2021)", + publisher = "{IJCAI}", year = "2021" } @Proceedings{ijcai2022, editor = "Luc {De Raedt}", title = "Proceedings of the 31st International Joint - Conference on Artificial Intelligence (IJCAI 2022)", + Conference on Artificial Intelligence ({IJCAI} 2022)", booktitle = "Proceedings of the 31st International Joint - Conference on Artificial Intelligence (IJCAI 2022)", - publisher = "IJCAI", + Conference on Artificial Intelligence ({IJCAI} 2022)", + publisher = "{IJCAI}", year = "2022" } @Proceedings{ijcai2022wsgenplan, - title = "IJCAI 2022 Workshop on Generalization in Planning", - booktitle = "IJCAI 2022 Workshop on Generalization in Planning", + title = "{IJCAI} 2022 Workshop on Generalization in Planning", + booktitle = "{IJCAI} 2022 Workshop on Generalization in Planning", year = "2022" } @Proceedings{ijcai2023, editor = "Edith Elkind", title = "Proceedings of the 32nd International Joint - Conference on Artificial Intelligence (IJCAI 2023)", + Conference on Artificial Intelligence ({IJCAI} 2023)", booktitle = "Proceedings of the 32nd International Joint - Conference on Artificial Intelligence (IJCAI 2023)", - publisher = "IJCAI", + Conference on Artificial Intelligence ({IJCAI} 2023)", + publisher = "{IJCAI}", year = "2023" } @Proceedings{ijcai2024, editor = "Kate Larson", title = "Proceedings of the 33rd International Joint - Conference on Artificial Intelligence (IJCAI 2024)", + Conference on Artificial Intelligence ({IJCAI} 2024)", booktitle = "Proceedings of the 33rd International Joint - Conference on Artificial Intelligence (IJCAI 2024)", - publisher = "IJCAI", + Conference on Artificial Intelligence ({IJCAI} 2024)", + publisher = "{IJCAI}", year = "2024" } @Proceedings{ijcai2025, editor = "James Kwok", title = "Proceedings of the 34th International Joint - Conference on Artificial Intelligence (IJCAI 2025)", + Conference on Artificial Intelligence ({IJCAI} 2025)", booktitle = "Proceedings of the 34th International Joint - Conference on Artificial Intelligence (IJCAI 2025)", - publisher = "IJCAI", + Conference on Artificial Intelligence ({IJCAI} 2025)", + publisher = "{IJCAI}", year = "2025" } @Proceedings{ijcar2018, editor = "Didier Galmiche and Stephan Schulz and Roberto Sebastiani", title = "Proceedings of the 9th International Joint - Conference on Automated Reasoning (IJCAR 2018)", + Conference on Automated Reasoning ({IJCAR} 2018)", booktitle = "Proceedings of the 9th International Joint - Conference on Automated Reasoning (IJCAR 2018)", + Conference on Automated Reasoning ({IJCAR} 2018)", year = "2018" } @Proceedings{ijcar2024part1, editor = "Christoph Benzm{\"u}ller and Marijn J. H. Heule and Renate A. Schmidt", title = "Proceedings of the 12th International Joint - Conference on Automated Reasoning (IJCAR 2024), Part I", + Conference on Automated Reasoning ({IJCAR} 2024), Part {I}", booktitle = "Proceedings of the 12th International Joint - Conference on Automated Reasoning (IJCAR 2024), Part I", + Conference on Automated Reasoning ({IJCAR} 2024), Part {I}", publisher = "Springer-Verlag", series = lncs, volume = "14739", @@ -2391,10 +2429,10 @@ @Proceedings{ipcl2023 } @Proceedings{ippc2018, - title = "Sixth {I}nternational {P}robabilistic {P}lanning {C}ompetition ({IPC}-6): - Planner Abstracts", - booktitle = "Sixth {I}nternational {P}robabilistic {P}lanning {C}ompetition ({IPC}-6): - Planner Abstracts", + title = "Sixth {I}nternational {P}robabilistic {P}lanning {C}ompetition + ({IPC}-6): Planner Abstracts", + booktitle = "Sixth {I}nternational {P}robabilistic {P}lanning {C}ompetition + ({IPC}-6): Planner Abstracts", year = "2018" } @@ -2430,26 +2468,26 @@ @Proceedings{isaim2010 @Proceedings{issta2014, title = "International Symposium on Software Testing and - Analysis (ISSTA 2014)", + Analysis ({ISSTA} 2014)", booktitle = "International Symposium on Software Testing and - Analysis (ISSTA 2014)", - publisher = "ACM", + Analysis ({ISSTA} 2014)", + publisher = "{ACM}", year = "2014" } @Proceedings{iwls1993, title = "Workshop Notes of the International Workshop on Logic - Synthesis (IWLS 1993)", + Synthesis ({IWLS} 1993)", booktitle = "Workshop Notes of the International Workshop on Logic - Synthesis (IWLS 1993)", + Synthesis ({IWLS} 1993)", year = "1993" } @Proceedings{iwls1995, title = "Workshop Notes of the International Workshop on Logic - Synthesis (IWLS 1995)", + Synthesis ({IWLS} 1995)", booktitle = "Workshop Notes of the International Workshop on Logic - Synthesis (IWLS 1995)", + Synthesis ({IWLS} 1995)", year = "1995" } @@ -2457,9 +2495,9 @@ @Proceedings{ki1995 editor = "Ipke Wachsmuth and Claus-Rainer Rollinger and Wilfried Brauer", title = "Proceedings of the 19th Annual German Conference on - Artificial Intelligence (KI 1995)", + Artificial Intelligence ({KI} 1995)", booktitle = "Proceedings of the 19th Annual German Conference on - Artificial Intelligence (KI 1995)", + Artificial Intelligence ({KI} 1995)", publisher = "Springer-Verlag", series = lncs, volume = "981", @@ -2470,9 +2508,9 @@ @Proceedings{ki1995 @Proceedings{ki1998, editor = "Otthein Herzog and Andreas G{\"u}nter", title = "Proceedings of the 22nd Annual German Conference on - Artificial Intelligence (KI 1998)", + Artificial Intelligence ({KI} 1998)", booktitle = "Proceedings of the 22nd Annual German Conference on - Artificial Intelligence (KI 1998)", + Artificial Intelligence ({KI} 1998)", publisher = "Springer-Verlag", series = lncs, volume = "1504", @@ -2484,9 +2522,9 @@ @Proceedings{ki2007 editor = "Joachim Hertzberg and Michael Beetz and Roman Englert", title = "Proceedings of the 30th Annual German Conference on - Artificial Intelligence (KI 2007)", + Artificial Intelligence ({KI} 2007)", booktitle = "Proceedings of the 30th Annual German Conference on - Artificial Intelligence (KI 2007)", + Artificial Intelligence ({KI} 2007)", publisher = "Springer-Verlag", series = lnai, volume = "4667", @@ -2497,9 +2535,9 @@ @Proceedings{ki2008 editor = "JAndreas Dengel and Karsten Berns and Thomas M. Breuel and Frank Bomarius and Thomas Roth{-}Berghofer", title = "Proceedings of the 31st Annual German Conference on - Artificial Intelligence (KI 2008)", + Artificial Intelligence ({KI} 2008)", booktitle = "Proceedings of the 31st Annual German Conference on - Artificial Intelligence (KI 2008)", + Artificial Intelligence ({KI} 2008)", publisher = "Springer-Verlag", series = lnai, volume = "5243", @@ -2510,9 +2548,9 @@ @Proceedings{ki2008 @Proceedings{ki2009, editor = "{B\"arbel} Mertsching and Marcus Hund and Zaheer Aziz", title = "Proceedings of the 32nd Annual German Conference on - Artificial Intelligence (KI 2009)", + Artificial Intelligence ({KI} 2009)", booktitle = "Proceedings of the 32nd Annual German Conference on - Artificial Intelligence (KI 2009)", + Artificial Intelligence ({KI} 2009)", publisher = "Springer-Verlag", series = lnai, volume = "5803", @@ -2523,9 +2561,9 @@ @Proceedings{ki2009 @Proceedings{ki2011, editor = "Joscha Bach and Stefan Edelkamp", title = "Proceedings of the 34th Annual German Conference on - Artificial Intelligence (KI 2011)", + Artificial Intelligence ({KI} 2011)", booktitle = "Proceedings of the 34th Annual German Conference on - Artificial Intelligence (KI 2011)", + Artificial Intelligence ({KI} 2011)", publisher = "Springer-Verlag", series = lnai, volume = "7006", @@ -2535,9 +2573,9 @@ @Proceedings{ki2011 @Proceedings{ki2012, editor = "Birte Glimm and Antonio Kr{\"{u}}ger", title = "Proceedings of the 35th Annual German Conference on - Artificial Intelligence (KI 2012)", + Artificial Intelligence ({KI} 2012)", booktitle = "Proceedings of the 35th Annual German Conference on - Artificial Intelligence (KI 2012)", + Artificial Intelligence ({KI} 2012)", publisher = "Springer-Verlag", series = lnai, volume = "7526", @@ -2548,9 +2586,9 @@ @Proceedings{ki2012 @Proceedings{ki2014, editor = "Carsten Lutz and Michael Thielscher", title = "Proceedings of the 37th Annual German Conference on - Artificial Intelligence (KI 2014)", + Artificial Intelligence ({KI} 2014)", booktitle = "Proceedings of the 37th Annual German Conference on - Artificial Intelligence (KI 2014)", + Artificial Intelligence ({KI} 2014)", publisher = "Springer-Verlag", series = lnai, volume = "8736", @@ -2561,9 +2599,9 @@ @Proceedings{ki2015 editor = "Steffen H{\"o}lldobler and Markus Kr{\"o}tzsch and Rafael Pe{\~n}aloza-Nyssen and Sebastian Rudolph", title = "Proceedings of the 38th Annual German Conference on - Artificial Intelligence (KI 2015)", + Artificial Intelligence ({KI} 2015)", booktitle = "Proceedings of the 38th Annual German Conference on - Artificial Intelligence (KI 2015)", + Artificial Intelligence ({KI} 2015)", publisher = "Springer-Verlag", series = lnai, volume = "9324", @@ -2575,9 +2613,9 @@ @Proceedings{ki2017 editor = "Gabriele Kern-Isberner and Johannes F{\"u}rnkranz and Matthias Thimm", title = "Proceedings of the 40th Annual German Conference on - Artificial Intelligence (KI 2017)", + Artificial Intelligence ({KI} 2017)", booktitle = "Proceedings of the 40th Annual German Conference on - Artificial Intelligence (KI 2017)", + Artificial Intelligence ({KI} 2017)", publisher = "Springer-Verlag", series = lnai, volume = "10505", @@ -2587,9 +2625,9 @@ @Proceedings{ki2017 @Proceedings{ki2019, editor = "Christoph Benzm{\"u}ller and Heiner Stuckenschmidt", title = "Proceedings of the 42nd Annual German Conference on - Artificial Intelligence (KI 2019)", + Artificial Intelligence ({KI} 2019)", booktitle = "Proceedings of the 42nd Annual German Conference on - Artificial Intelligence (KI 2019)", + Artificial Intelligence ({KI} 2019)", publisher = "Springer-Verlag", series = lncs, volume = "11793", @@ -2602,10 +2640,10 @@ @Proceedings{kr1989 Raymond Reiter", title = "Proceedings of the First International Conference on Principles of Knowledge Representation and Reasoning - (KR 1989)", + ({KR} 1989)", booktitle = "Proceedings of the First International Conference on Principles of Knowledge Representation and Reasoning - (KR 1989)", + ({KR} 1989)", publisher = "Morgan Kaufmann", year = "1989" } @@ -2615,10 +2653,10 @@ @Proceedings{kr1992 editor = "Bernhard Nebel and Charles Rich and William Swartout", title = "Proceedings of the Third International Conference on Principles of Knowledge Representation and Reasoning - (KR 1992)", + ({KR} 1992)", booktitle = "Proceedings of the Third International Conference on Principles of Knowledge Representation and Reasoning - (KR 1992)", + ({KR} 1992)", publisher = "Morgan Kaufmann", year = "1992" } @@ -2627,10 +2665,10 @@ @Proceedings{kr1994 editor = "Jon Doyle and Erik Sandewall and Pietro Torasso", title = "Proceedings of the Fourth International Conference on Principles of Knowledge Representation and Reasoning - (KR 1994)", + ({KR} 1994)", booktitle = "Proceedings of the Fourth International Conference on Principles of Knowledge Representation and Reasoning - (KR 1994)", + ({KR} 1994)", publisher = "Morgan Kaufmann", year = "1994" } @@ -2640,10 +2678,10 @@ @Proceedings{kr1996 Shapiro", title = "Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning - (KR 1996)", + ({KR} 1996)", booktitle = "Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning - (KR 1996)", + ({KR} 1996)", publisher = "Morgan Kaufmann", year = "1996" } @@ -2652,10 +2690,10 @@ @Proceedings{kr1998 editor = "Anthony G. Cohn and Lenhart Schubert and Stuart C. Shapiro", title = "Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning - (KR 1998)", + ({KR} 1998)", booktitle = "Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning - (KR 1998)", + ({KR} 1998)", publisher = "Morgan Kaufmann", year = "1998" } @@ -2664,10 +2702,10 @@ @Proceedings{kr2002 editor = "Dieter Fensel and Fausto Guinchiglia and Deborah McGuinness and Mary-Anne Williams", title = "Proceedings of the Eight International Conference on Principles of Knowledge Representation and Reasoning - (KR 2002)", + ({KR} 2002)", booktitle = "Proceedings of the Eight International Conference on Principles of Knowledge Representation and Reasoning - (KR 2002)", + ({KR} 2002)", publisher = "Morgan Kaufmann", year = "2002" } @@ -2677,11 +2715,11 @@ @Proceedings{kr2004 Mary-Anne Williams", title = "Proceedings of the Ninth International Conference on Principles of Knowledge Representation and Reasoning - (KR 2004)", + ({KR} 2004)", booktitle = "Proceedings of the Ninth International Conference on Principles of Knowledge Representation and Reasoning - (KR 2004)", - publisher = "AAAI Press", + ({KR} 2004)", + publisher = "{AAAI} Press", year = "2004" } @@ -2690,11 +2728,11 @@ @Proceedings{kr2008 editor = "Gerhard Brewka and J{\'e}r{\^o}me Lang", title = "Proceedings of the Eleventh International Conference on Principles of Knowledge Representation and Reasoning - (KR 2008)", + ({KR} 2008)", booktitle = "Proceedings of the Eleventh International Conference on Principles of Knowledge Representation and Reasoning - (KR 2008)", - publisher = "AAAI Press", + ({KR} 2008)", + publisher = "{AAAI} Press", year = "2008" } @@ -2703,11 +2741,11 @@ @Proceedings{kr2010 editor = "Fangzhen Lin and Ulrike Sattler and Miroslaw Truszczynski", title = "Proceedings of the Twelfth International Conference on Principles of Knowledge Representation and Reasoning - (KR 2010)", + ({KR} 2010)", booktitle = "Proceedings of the Twelfth International Conference on Principles of Knowledge Representation and Reasoning - (KR 2010)", - publisher = "AAAI Press", + ({KR} 2010)", + publisher = "{AAAI} Press", year = "2010" } @@ -2716,11 +2754,11 @@ @Proceedings{kr2012 editor = "Gerhard Brewka and Thomas Eiter and Sheila A. McIlraith", title = "Proceedings of the Thirteenth International Conference on Principles of Knowledge Representation and Reasoning - (KR 2012)", + ({KR} 2012)", booktitle = "Proceedings of the Thirteenth International Conference on Principles of Knowledge Representation and Reasoning - (KR 2012)", - publisher = "AAAI Press", + ({KR} 2012)", + publisher = "{AAAI} Press", year = "2012" } @@ -2728,10 +2766,10 @@ @Proceedings{kr2014 editor = "Chitta Baral and Giuseppe {De Giacomo} and Thomas Eiter", title = "Proceedings of the Fourteenth International Conference on Principles of Knowledge Representation and Reasoning - (KR 2014)", + ({KR} 2014)", booktitle = "Proceedings of the Fourteenth International Conference on Principles of Knowledge Representation and Reasoning - (KR 2014)", + ({KR} 2014)", year = "2014" } @@ -2739,11 +2777,11 @@ @Proceedings{kr2021 editor = "Esra Erdem and Meghyn Bienvenu and Gerhard Lakemeyer", title = "Proceedings of the Eighteenth International Conference on Principles of Knowledge Representation and Reasoning - (KR 2021)", + ({KR} 2021)", booktitle = "Proceedings of the Eighteenth International Conference on Principles of Knowledge Representation and Reasoning - (KR 2021)", - publisher = "IJCAI Organization", + ({KR} 2021)", + publisher = "{IJCAI} Organization", year = "2021" } @@ -2751,11 +2789,11 @@ @Proceedings{kr2022 editor = "Gabriele Kern-Isberner and Gerhard Lakemeyer and Thomas Meyer", title = "Proceedings of the Nineteenth International Conference on Principles of Knowledge Representation and Reasoning - (KR 2022)", + ({KR} 2022)", booktitle = "Proceedings of the Nineteenth International Conference on Principles of Knowledge Representation and Reasoning - (KR 2022)", - publisher = "IJCAI Organization", + ({KR} 2022)", + publisher = "{IJCAI} Organization", year = "2022" } @@ -2763,11 +2801,11 @@ @Proceedings{kr2023 editor = "Pierre Marquis and Tran Cao Son and Gabriele Kern-Isberner", title = "Proceedings of the Twentieth International Conference on Principles of Knowledge Representation and Reasoning - (KR 2023)", + ({KR} 2023)", booktitle = "Proceedings of the Twentieth International Conference on Principles of Knowledge Representation and Reasoning - (KR 2023)", - publisher = "IJCAI Organization", + ({KR} 2023)", + publisher = "{IJCAI} Organization", year = "2023" } @@ -2775,11 +2813,11 @@ @Proceedings{kr2024 editor = "Pierre Marquis and Magdalena Ortiz and Maurice Pagnucco", title = "Proceedings of the Twenty-First International Conference on Principles of Knowledge Representation and Reasoning - (KR 2024)", + ({KR} 2024)", booktitle = "Proceedings of the Twenty-First International Conference on Principles of Knowledge Representation and Reasoning - (KR 2024)", - publisher = "IJCAI Organization", + ({KR} 2024)", + publisher = "{IJCAI} Organization", year = "2024" } @@ -2787,11 +2825,11 @@ @Proceedings{kr2025 editor = "Magdalena Ortiz and Renata Wassermann and Torsten Schaub", title = "Proceedings of the Twenty-Second International Conference on Principles of Knowledge Representation and Reasoning - (KR 2025)", + ({KR} 2025)", booktitle = "Proceedings of the Twenty-Second International Conference on Principles of Knowledge Representation and Reasoning - (KR 2025)", - publisher = "IJCAI Organization", + ({KR} 2025)", + publisher = "{IJCAI} Organization", year = "2025" } @@ -2812,27 +2850,27 @@ @Book{lecturespetri1998 @Proceedings{lion2011, editor = "Carlos A. C. Coello", title = "Proceedings of the Fifth Conference on Learning and - Intelligent OptimizatioN (LION 2011)", + Intelligent OptimizatioN ({LION} 2011)", booktitle = "Proceedings of the Fifth Conference on Learning and - Intelligent OptimizatioN (LION 2011)", + Intelligent OptimizatioN ({LION} 2011)", publisher = "Springer", year = "2011" } @Proceedings{lion2012, title = "Proceedings of the Sixth Conference on Learning and - Intelligent OptimizatioN (LION 2012)", + Intelligent OptimizatioN ({LION} 2012)", booktitle = "Proceedings of the Sixth Conference on Learning and - Intelligent OptimizatioN (LION 2012)", + Intelligent OptimizatioN ({LION} 2012)", publisher = "Springer", year = "2012" } @Proceedings{lion2013, title = "Proceedings of the Sixth Conference on Learning and - Intelligent OptimizatioN (LION 2013)", + Intelligent OptimizatioN ({LION} 2013)", booktitle = "Proceedings of the Sixth Conference on Learning and - Intelligent OptimizatioN (LION 2013)", + Intelligent OptimizatioN ({LION} 2013)", publisher = "Springer", year = "2013" } @@ -2841,9 +2879,9 @@ @Proceedings{miwai2012 editor = "Chattrakul Sombattheera and Nguyen Kim Loi and Rajeev Wankar and Tho T. Quan", title = "Proceedings of the 6th International Workshop on - Multi-disciplinary Trends in Artificial Intelligence (MIWAI 2012)", + Multi-disciplinary Trends in Artificial Intelligence ({MIWAI} 2012)", booktitle = "Proceedings of the 6th International Workshop on - Multi-disciplinary Trends in Artificial Intelligence (MIWAI 2012)", + Multi-disciplinary Trends in Artificial Intelligence ({MIWAI} 2012)", publisher = "Springer", volume = "7694", year = "2012", @@ -2852,9 +2890,9 @@ @Proceedings{miwai2012 @Proceedings{mochart2006, editor = "Stefan Edelkamp and Alessio Lomuscio", title = "Proceedings of the 4th Workshop on Model Checking and - Artificial Intelligence ({MoChArt 2006})", + Artificial Intelligence ({MoChArt} 2006)", booktitle = "Proceedings of the 4th Workshop on Model Checking and - Artificial Intelligence ({MoChArt 2006})", + Artificial Intelligence ({MoChArt} 2006)", year = "2006" } @@ -2862,9 +2900,9 @@ @Proceedings{mochart2006 @Proceedings{mochart2008, editor = "Doron A. Peled and Michael J. Wooldridge", title = "Proceedings of the 5th International Workshop on Model Checking and - Artificial Intelligence ({MoChArt 2008})", + Artificial Intelligence ({MoChArt} 2008)", booktitle = "Proceedings of the 5th International Workshop on Model Checking and - Artificial Intelligence ({MoChArt 2008})", + Artificial Intelligence ({MoChArt} 2008)", year = "2008" } @@ -2873,11 +2911,11 @@ @Proceedings{naacl2003 title = "Proceedings of the 2003 Human Language Technology Conference of the North American Chapter of the Association for Computational Linguistics - (HLT-NAACL 2003)", + ({HLT-NAACL} 2003)", booktitle = "Proceedings of the 2003 Human Language Technology Conference of the North American Chapter of the Association for Computational Linguistics - (HLT-NAACL 2003)", + ({HLT-NAACL} 2003)", year = "2003" } @@ -2971,8 +3009,10 @@ @Proceedings{nips2010 } @Proceedings{nips2011ws, - title = "NIPS Workshop on Bayesian Optimization, Sequential Experimental Design, and Bandits", - booktitle = "NIPS Workshop on Bayesian Optimization, Sequential Experimental Design, and Bandits", + title = "{NIPS} Workshop on Bayesian Optimization, Sequential + Experimental Design, and Bandits", + booktitle = "{NIPS} Workshop on Bayesian Optimization, Sequential + Experimental Design, and Bandits", year = "2011", note = "Published online" } @@ -3016,9 +3056,9 @@ @Proceedings{nips2017 @Proceedings{petri1989, editor = "Grzegorz Rozenberg", title = "Proceedings of the 10th International Conference on - Applications and Theory of Petri Nets (APN 1989)", + Applications and Theory of Petri Nets ({APN} 1989)", booktitle = "Proceedings of the 10th International Conference on - Applications and Theory of Petri Nets (APN 1989)", + Applications and Theory of Petri Nets ({APN} 1989)", series = lncs, volume = "483", publisher = "Springer-Verlag", @@ -3039,29 +3079,29 @@ @Proceedings{petri2010 @Proceedings{pods2000, title = "Proceedings of the 19th {ACM} {SIGMOD-SIGACT-SIGART} Symposium - on Principles of Database Systems (PODS 2000)", + on Principles of Database Systems ({PODS} 2000)", booktitle = "Proceedings of the 19th {ACM} {SIGMOD-SIGACT-SIGART} Symposium - on Principles of Database Systems (PODS 2000)", + on Principles of Database Systems ({PODS} 2000)", publisher = "{ACM}", year = "2000" } % Data taken from DBLP. @Proceedings{popl1977, - title = "Conference Record of the Fourth ACM Symposium on + title = "Conference Record of the Fourth {ACM} Symposium on Principles of Programming Languages", - booktitle = "Conference Record of the Fourth ACM Symposium on + booktitle = "Conference Record of the Fourth {ACM} Symposium on Principles of Programming Languages", year = "1977" } @Proceedings{popl2005, editor = "Jens Palsberg and Mart\'{\i}n Abadi", - title = "Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on - Principles of Programming Languages (POPL 2005)", - booktitle = "Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on - Principles of Programming Languages (POPL 2005)", - publisher = "ACM", + title = "Proceedings of the 32nd {ACM} {SIGPLAN-SIGACT} Symposium on + Principles of Programming Languages ({POPL} 2005)", + booktitle = "Proceedings of the 32nd {ACM} {SIGPLAN-SIGACT} Symposium on + Principles of Programming Languages ({POPL} 2005)", + publisher = "{ACM}", year = "2005" } @@ -3081,9 +3121,9 @@ @Book{rap1991 @Proceedings{sara2000, editor = "Berthe Y. Choueiry and Toby Walsh", title = "Proceedings of the 4th International Symposium on - Abstraction, Reformulation and Approximation (SARA 2000)", + Abstraction, Reformulation and Approximation ({SARA} 2000)", booktitle = "Proceedings of the 4th International Symposium on - Abstraction, Reformulation and Approximation (SARA 2000)", + Abstraction, Reformulation and Approximation ({SARA} 2000)", publisher = "Springer-Verlag", series = lnai, volume = "1864", @@ -3095,9 +3135,9 @@ @Proceedings{sara2000 @Proceedings{sara2002, editor = "Sven Koenig and Robert C. Holte", title = "Proceedings of the 5th International Symposium on - Abstraction, Reformulation and Approximation (SARA 2002)", + Abstraction, Reformulation and Approximation ({SARA} 2002)", booktitle = "Proceedings of the 5th International Symposium on - Abstraction, Reformulation and Approximation (SARA 2002)", + Abstraction, Reformulation and Approximation ({SARA} 2002)", publisher = "Springer-Verlag", series = lnai, volume = "2371", @@ -3109,9 +3149,9 @@ @Proceedings{sara2002 @Proceedings{sara2005, editor = "Jean-Daniel Zucker and Lorenza Saitta", title = "Proceedings of the 6th International Symposium on - Abstraction, Reformulation and Approximation (SARA 2005)", + Abstraction, Reformulation and Approximation ({SARA} 2005)", booktitle = "Proceedings of the 6th International Symposium on - Abstraction, Reformulation and Approximation (SARA 2005)", + Abstraction, Reformulation and Approximation ({SARA} 2005)", publisher = "Springer-Verlag", series = lnai, volume = "3607", @@ -3123,9 +3163,9 @@ @Proceedings{sara2005 @Proceedings{sara2007, editor = "Ian Miguel and Wheeler Ruml", title = "Proceedings of the 7th International Symposium on - Abstraction, Reformulation and Approximation (SARA 2007)", + Abstraction, Reformulation and Approximation ({SARA} 2007)", booktitle = "Proceedings of the 7th International Symposium on - Abstraction, Reformulation and Approximation (SARA 2007)", + Abstraction, Reformulation and Approximation ({SARA} 2007)", publisher = "Springer-Verlag", series = lnai, volume = "4612", @@ -3134,29 +3174,29 @@ @Proceedings{sara2007 @Proceedings{sara2011, title = "Proceedings of the Ninth Symposium on Abstraction, - Reformulation, and Approximation (SARA 2011)", + Reformulation, and Approximation ({SARA} 2011)", booktitle = "Proceedings of the Ninth Symposium on Abstraction, - Reformulation, and Approximation (SARA 2011)", - publisher = "AAAI Press", + Reformulation, and Approximation ({SARA} 2011)", + publisher = "{AAAI} Press", year = "2011" } @Proceedings{sara2013, editor = "Alan M. Frisch and Peter Gregory", title = "Proceedings of the Tenth Symposium on Abstraction, - Reformulation, and Approximation (SARA 2013)", + Reformulation, and Approximation ({SARA} 2013)", booktitle = "Proceedings of the Tenth Symposium on Abstraction, - Reformulation, and Approximation (SARA 2013)", - publisher = "AAAI Press", + Reformulation, and Approximation ({SARA} 2013)", + publisher = "{AAAI} Press", year = "2013" } @Proceedings{sat2014, editor = "Carsten Sinz and Uwe Egly", title = "Proceedings of the 17th International Conference on - Theory and Applications of Satisfiability Testing (SAT 2014)", + Theory and Applications of Satisfiability Testing ({SAT} 2014)", booktitle = "Proceedings of the 17th International Conference on - Theory and Applications of Satisfiability Testing (SAT 2014)", + Theory and Applications of Satisfiability Testing ({SAT} 2014)", series = lncs, volume = "8561", publisher = "Springer-Verlag", @@ -3179,20 +3219,20 @@ @Proceedings{satc2020 @Proceedings{socs2010, editor = "Ariel Felner and Nathan Sturtevant", title = "Proceedings of the Third Annual Symposium on - Combinatorial Search (SoCS 2010)", + Combinatorial Search ({SoCS} 2010)", booktitle = "Proceedings of the Third Annual Symposium on - Combinatorial Search (SoCS 2010)", - publisher = "AAAI Press", + Combinatorial Search ({SoCS} 2010)", + publisher = "{AAAI} Press", year = "2010" } @Proceedings{socs2011, editor = "Daniel Borrajo and Maxim Likhachev and Carlos {Linares L{\'o}pez}", title = "Proceedings of the Fourth Annual Symposium on Combinatorial - Search (SoCS 2011)", + Search ({SoCS} 2011)", booktitle = "Proceedings of the Fourth Annual Symposium on Combinatorial - Search (SoCS 2011)", - publisher = "AAAI Press", + Search ({SoCS} 2011)", + publisher = "{AAAI} Press", year = "2011" } @@ -3201,151 +3241,151 @@ @Proceedings{socs2012 Maxim Likhachev and Carlos {Linares L{\'o}pez} and Wheeler Ruml and Nathan Sturtevant", title = "Proceedings of the Fifth Annual Symposium on Combinatorial - Search (SoCS 2012)", + Search ({SoCS} 2012)", booktitle = "Proceedings of the Fifth Annual Symposium on Combinatorial - Search (SoCS 2012)", - publisher = "AAAI Press", + Search ({SoCS} 2012)", + publisher = "{AAAI} Press", year = "2012" } @Proceedings{socs2013, editor = "Malte Helmert and Gabriele R{\"o}ger", title = "Proceedings of the Sixth Annual Symposium on Combinatorial - Search (SoCS 2013)", + Search ({SoCS} 2013)", booktitle = "Proceedings of the Sixth Annual Symposium on Combinatorial - Search (SoCS 2013)", - publisher = "AAAI Press", + Search ({SoCS} 2013)", + publisher = "{AAAI} Press", year = "2013" } @Proceedings{socs2014, editor = "Stefan Edelkamp and Roman Bart\'{a}k", title = "Proceedings of the Seventh Annual Symposium on - Combinatorial Search (SoCS 2014)", + Combinatorial Search ({SoCS} 2014)", booktitle = "Proceedings of the Seventh Annual Symposium on - Combinatorial Search (SoCS 2014)", - publisher = "AAAI Press", + Combinatorial Search ({SoCS} 2014)", + publisher = "{AAAI} Press", year = "2014" } @Proceedings{socs2015, editor = "Levi Lelis and Roni Stern", title = "Proceedings of the Eighth Annual Symposium on - Combinatorial Search (SoCS 2015)", + Combinatorial Search ({SoCS} 2015)", booktitle = "Proceedings of the Eighth Annual Symposium on - Combinatorial Search (SoCS 2015)", - publisher = "AAAI Press", + Combinatorial Search ({SoCS} 2015)", + publisher = "{AAAI} Press", year = "2015" } @Proceedings{socs2016, editor = "Jorge A. Baier and Adi Botea", title = "Proceedings of the Ninth Annual Symposium on - Combinatorial Search (SoCS 2016)", + Combinatorial Search ({SoCS} 2016)", booktitle = "Proceedings of the Ninth Annual Symposium on - Combinatorial Search (SoCS 2016)", - publisher = "AAAI Press", + Combinatorial Search ({SoCS} 2016)", + publisher = "{AAAI} Press", year = "2016" } @Proceedings{socs2017, editor = "Alex Fukunaga and Akihiro Kishimoto", title = "Proceedings of the 10th Annual Symposium on - Combinatorial Search (SoCS 2017)", + Combinatorial Search ({SoCS} 2017)", booktitle = "Proceedings of the 10th Annual Symposium on - Combinatorial Search (SoCS 2017)", - publisher = "AAAI Press", + Combinatorial Search ({SoCS} 2017)", + publisher = "{AAAI} Press", year = "2017" } @Proceedings{socs2018, editor = "Vadim Bulitko and Sabine Storandt", title = "Proceedings of the 11th Annual Symposium on - Combinatorial Search (SoCS 2018)", + Combinatorial Search ({SoCS} 2018)", booktitle = "Proceedings of the 11th Annual Symposium on - Combinatorial Search (SoCS 2018)", - publisher = "AAAI Press", + Combinatorial Search ({SoCS} 2018)", + publisher = "{AAAI} Press", year = "2018" } @Proceedings{socs2019, editor = "Pavel Surynek and William Yeoh", title = "Proceedings of the 12th Annual Symposium on - Combinatorial Search (SoCS 2019)", + Combinatorial Search ({SoCS} 2019)", booktitle = "Proceedings of the 12th Annual Symposium on - Combinatorial Search (SoCS 2019)", - publisher = "AAAI Press", + Combinatorial Search ({SoCS} 2019)", + publisher = "{AAAI} Press", year = "2019" } @Proceedings{socs2020, editor = "Daniel Harabor and Mauro Vallati", title = "Proceedings of the 13th Annual Symposium on - Combinatorial Search (SoCS 2020)", + Combinatorial Search ({SoCS} 2020)", booktitle = "Proceedings of the 13th Annual Symposium on - Combinatorial Search (SoCS 2020)", - publisher = "AAAI Press", + Combinatorial Search ({SoCS} 2020)", + publisher = "{AAAI} Press", year = "2020" } @Proceedings{socs2021, editor = "Hang Ma and Ivan Serina", title = "Proceedings of the 14th Annual Symposium on - Combinatorial Search (SoCS 2021)", + Combinatorial Search ({SoCS} 2021)", booktitle = "Proceedings of the 14th Annual Symposium on - Combinatorial Search (SoCS 2021)", - publisher = "AAAI Press", + Combinatorial Search ({SoCS} 2021)", + publisher = "{AAAI} Press", year = "2021" } @Proceedings{socs2022, editor = "Luk{\'a}{\v{s}} Chrpa and Alessandro Saetti", title = "Proceedings of the 15th Annual Symposium on - Combinatorial Search (SoCS 2022)", + Combinatorial Search ({SoCS} 2022)", booktitle = "Proceedings of the 15th Annual Symposium on - Combinatorial Search (SoCS 2022)", - publisher = "AAAI Press", + Combinatorial Search ({SoCS} 2022)", + publisher = "{AAAI} Press", year = "2022" } @Proceedings{socs2023, editor = "Roman Bart\'{a}k and Wheeler Ruml and Oren Salzman", title = "Proceedings of the 16th Annual Symposium on - Combinatorial Search (SoCS 2023)", + Combinatorial Search ({SoCS} 2023)", booktitle = "Proceedings of the 16th Annual Symposium on - Combinatorial Search (SoCS 2023)", - publisher = "AAAI Press", + Combinatorial Search ({SoCS} 2023)", + publisher = "{AAAI} Press", year = "2023" } @Proceedings{socs2024, editor = "Ariel Felner and Jiaoyang Li", title = "Proceedings of the 17th Annual Symposium on - Combinatorial Search (SoCS 2024)", + Combinatorial Search ({SoCS} 2024)", booktitle = "Proceedings of the 17th Annual Symposium on - Combinatorial Search (SoCS 2024)", - publisher = "AAAI Press", + Combinatorial Search ({SoCS} 2024)", + publisher = "{AAAI} Press", year = "2024" } % Data based on DBLP. @Proceedings{soda1991, - title = "Proceedings of the Second Annual ACM/SIGACT-SIAM - Symposium on Discrete Algorithm (SODA 1991)", - booktitle = "Proceedings of the Second Annual ACM/SIGACT-SIAM - Symposium on Discrete Algorithm (SODA 1991)", - publisher = "ACM/SIAM", + title = "Proceedings of the Second Annual {ACM/SIGACT-SIAM} + Symposium on Discrete Algorithm ({SODA} 1991)", + booktitle = "Proceedings of the Second Annual {ACM/SIGACT-SIAM} + Symposium on Discrete Algorithm ({SODA} 1991)", + publisher = "{ACM/SIAM}", year = "1991" } % Data based on DBLP. @Proceedings{soda2011, editor = "Dana Randall", - title = "Proceedings of the Twenty-Second Annual ACM-SIAM - Symposium on Discrete Algorithm (SODA 2011)", - booktitle = "Proceedings of the Twenty-Second Annual ACM-SIAM - Symposium on Discrete Algorithm (SODA 2011)", - publisher = "SIAM", + title = "Proceedings of the Twenty-Second Annual {ACM-SIAM} + Symposium on Discrete Algorithm ({SODA} 2011)", + booktitle = "Proceedings of the Twenty-Second Annual {ACM-SIAM} + Symposium on Discrete Algorithm ({SODA} 2011)", + publisher = "{SIAM}", year = "2011" } @@ -3357,10 +3397,10 @@ @Proceedings{sparkle2019 @Proceedings{spin2002, editor = "Dragan Bosnacki and Stefan Leue", - title = "Proceedings of the 9th International SPIN Workshop - (SPIN 2002)", - booktitle = "Proceedings of the 9th International SPIN Workshop - (SPIN 2002)", + title = "Proceedings of the 9th International {SPIN} Workshop + ({SPIN} 2002)", + booktitle = "Proceedings of the 9th International {SPIN} Workshop + ({SPIN} 2002)", series = lncs, volume = "2318", publisher = "Springer-Verlag", @@ -3370,10 +3410,10 @@ @Proceedings{spin2002 % Data based on DBLP. @Proceedings{spin2003, editor = "Thomas Ball and Sriram K. Rajamani", - title = "Proceedings of the 10th International SPIN Workshop - (SPIN 2003)", - booktitle = "Proceedings of the 10th International SPIN Workshop - (SPIN 2003)", + title = "Proceedings of the 10th International {SPIN} Workshop + ({SPIN} 2003)", + booktitle = "Proceedings of the 10th International {SPIN} Workshop + ({SPIN} 2003)", publisher = "Springer-Verlag", series = lncs, volume = "2648", @@ -3382,10 +3422,10 @@ @Proceedings{spin2003 @Proceedings{spin2006, editor = "Antti Valmari", - title = "Proceedings of the 13th International SPIN Workshop - (SPIN 2006)", - booktitle = "Proceedings of the 13th International SPIN Workshop - (SPIN 2006)", + title = "Proceedings of the 13th International {SPIN} Workshop + ({SPIN} 2006)", + booktitle = "Proceedings of the 13th International {SPIN} Workshop + ({SPIN} 2006)", publisher = "Springer-Verlag", volume = "3925", year = "2006", @@ -3394,10 +3434,10 @@ @Proceedings{spin2006 @Proceedings{spin2010, editor = "Jaco van de Pol and Michael Weber", - title = "Proceedings of the 17th International SPIN Workshop - (SPIN 2010)", - booktitle = "Proceedings of the 17th International SPIN Workshop - (SPIN 2010)", + title = "Proceedings of the 17th International {SPIN} Workshop + ({SPIN} 2010)", + booktitle = "Proceedings of the 17th International {SPIN} Workshop + ({SPIN} 2010)", publisher = "Springer-Verlag", series = lncs, volume = "6349", @@ -3406,10 +3446,10 @@ @Proceedings{spin2010 @Proceedings{spin2013, editor = "Ezio Bartocci and C. R. Ramakrishnan", - title = "Proceedings of the 20th International SPIN Symposium - (SPIN 2013)", - booktitle = "Proceedings of the 20th International SPIN Symposium - (SPIN 2013)", + title = "Proceedings of the 20th International {SPIN} Symposium + ({SPIN} 2013)", + booktitle = "Proceedings of the 20th International {SPIN} Symposium + ({SPIN} 2013)", publisher = "Springer-Verlag", volume = "7976", year = "2013", @@ -3419,9 +3459,9 @@ @Proceedings{spin2013 @Proceedings{stoc1971, editor = "Michael A. Harrison and Ranan B. Banerji and Jeffrey D. Ullman", title = "Proceedings of the 3rd Annual {ACM} Symposium on the Theory - of Computing (STOC 1971)", + of Computing ({STOC} 1971)", booktitle = "Proceedings of the 3rd Annual {ACM} Symposium on the Theory - of Computing (STOC 1971)", + of Computing ({STOC} 1971)", publisher = "{ACM}", year = "1971" } @@ -3429,9 +3469,9 @@ @Proceedings{stoc1971 @Proceedings{stoc1977, editor = "John E. Hopcroft and Emily P. Friedman and Michael A. Harrison", title = "Proceedings of the 9th Annual {ACM} Symposium on the Theory - of Computing (STOC 1977)", + of Computing ({STOC} 1977)", booktitle = "Proceedings of the 9th Annual {ACM} Symposium on the Theory - of Computing (STOC 1977)", + of Computing ({STOC} 1977)", publisher = "{ACM}", year = "1977" } @@ -3440,10 +3480,10 @@ @Proceedings{tacas1999 editor = "Rance Cleaveland", booktitle = "Proceedings of the 5th International Conference on Tools and Algorithms for the Construction and - Analysis of Systems (TACAS 1999)", + Analysis of Systems ({TACAS} 1999)", title = "Proceedings of the 5th International Conference on Tools and Algorithms for the Construction and - Analysis of Systems (TACAS 1999)", + Analysis of Systems ({TACAS} 1999)", series = lncs, volume = "1579", publisher = "Springer-Verlag", @@ -3454,10 +3494,10 @@ @Proceedings{tacas2001 editor = "Tiziana Margaria and Wang Yi", booktitle = "Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and - Analysis of Systems (TACAS 2001)", + Analysis of Systems ({TACAS} 2001)", title = "Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and - Analysis of Systems (TACAS 2001)", + Analysis of Systems ({TACAS} 2001)", series = lncs, volume = "2031", publisher = "Springer-Verlag", @@ -3468,10 +3508,10 @@ @Proceedings{tacas2002 editor = "Joost-Pieter Katoen and Perdita Stevens", booktitle = "Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and - Analysis of Systems (TACAS 2002)", + Analysis of Systems ({TACAS} 2002)", title = "Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and - Analysis of Systems (TACAS 2002)", + Analysis of Systems ({TACAS} 2002)", series = lncs, volume = "2280", publisher = "Springer-Verlag", @@ -3482,10 +3522,10 @@ @Proceedings{tacas2004 editor = "Kurt Jensen and Andreas Podelski", booktitle = "Proceedings of the 10th International Conference on Tools and Algorithms for the Construction and - Analysis of Systems (TACAS 2004)", + Analysis of Systems ({TACAS} 2004)", title = "Proceedings of the 10th International Conference on Tools and Algorithms for the Construction and - Analysis of Systems (TACAS 2004)", + Analysis of Systems ({TACAS} 2004)", series = lncs, volume = "2988", publisher = "Springer-Verlag", @@ -3496,10 +3536,10 @@ @Proceedings{tacas2008 editor = "C. R. Ramakrishnan and Jakob Rehof", title = "Proceedings of the 14th International Conference on Tools and Algorithms for the Construction and - Analysis of Systems (TACAS 2008)", + Analysis of Systems ({TACAS} 2008)", booktitle = "Proceedings of the 14th International Conference on Tools and Algorithms for the Construction and - Analysis of Systems (TACAS 2008)", + Analysis of Systems ({TACAS} 2008)", series = lncs, volume = "4963", publisher = "Springer-Verlag", @@ -3508,43 +3548,43 @@ @Proceedings{tacas2008 @Proceedings{uai1999, title = "Proceedings of the 15th Conference on Uncertainty - in Artificial Intelligence (UAI 1999)", + in Artificial Intelligence ({UAI} 1999)", booktitle = "Proceedings of the 15th Conference on Uncertainty - in Artificial Intelligence (UAI 1999)", + in Artificial Intelligence ({UAI} 1999)", year = "1999" } @Proceedings{uai2000, title = "Proceedings of the 16th Conference on Uncertainty - in Artificial Intelligence (UAI 2000)", + in Artificial Intelligence ({UAI} 2000)", booktitle = "Proceedings of the 16th Conference on Uncertainty - in Artificial Intelligence (UAI 2000)", + in Artificial Intelligence ({UAI} 2000)", year = "2000" } % Data based on DBLP. @Proceedings{uai2005, title = "Proceedings of the 21st Conference on Uncertainty - in Artificial Intelligence (UAI 2005)", + in Artificial Intelligence ({UAI} 2005)", booktitle = "Proceedings of the 21st Conference on Uncertainty - in Artificial Intelligence (UAI 2005)", + in Artificial Intelligence ({UAI} 2005)", year = "2005" } @Proceedings{uai2008, title = "Proceedings of the 24th Conference in Uncertainty - in Artificial Intelligence (UAI 2008)", + in Artificial Intelligence ({UAI} 2008)", booktitle = "Proceedings of the 24th Conference in Uncertainty - in Artificial Intelligence (UAI 2008)", + in Artificial Intelligence ({UAI} 2008)", year = "2008" } % Data based on Blai's homepage/made up. Not yet on DBLP. (?) @Proceedings{uai2009, title = "Proceedings of the 25th Conference in Uncertainty - in Artificial Intelligence (UAI 2009)", + in Artificial Intelligence ({UAI} 2009)", booktitle = "Proceedings of the 25th Conference in Uncertainty - in Artificial Intelligence (UAI 2009)", + in Artificial Intelligence ({UAI} 2009)", year = "2009" } @@ -3569,10 +3609,10 @@ @Proceedings{uipc2016 % https://www.vldb.org/dblp/db/conf/vldb/vldb81.html @Proceedings{vldb1981, title = "Proceedings of the 7th International Conference on Very - Large Data Bases (VLDB 1981)", + Large Data Bases ({VLDB} 1981)", booktitle = "Proceedings of the 7th International Conference on Very - Large Data Bases (VLDB 1981)", - publisher = "IEEE Press", + Large Data Bases ({VLDB} 1981)", + publisher = "{IEEE} Press", year = "1981" } @@ -3580,9 +3620,9 @@ @Proceedings{vldb1981 @Proceedings{vlsi1991, editor = "Arne Halaas and Peter B. Denyer", title = "Proceedings of the International Conference on Very - Large Scale Integration (VLSI 1991)", + Large Scale Integration ({VLSI} 1991)", booktitle = "Proceedings of the International Conference on Very - Large Scale Integration (VLSI 1991)", + Large Scale Integration ({VLSI} 1991)", year = "1991" } @@ -3590,9 +3630,9 @@ @Proceedings{vmcai2011 editor = "Ranjit Jhala and David Schmidt", title = "Proceedings of the 12th International Conference on Verification, Model Checking, and Abstract Interpretation - ({VMCAI 2011})", + ({VMCAI} 2011)", booktitle = "Proceedings of the 12th International Conference on Verification, Model Checking, and Abstract Interpretation - ({VMCAI 2011})", + ({VMCAI} 2011)", year = "2011" } diff --git a/literatur.bib b/literatur.bib index b9fc972..26b912b 100644 --- a/literatur.bib +++ b/literatur.bib @@ -196,7 +196,7 @@ @Article{akers-ieeecomp1978 @InProceedings{akguen-et-al-cp2020wsmodref, author = "{\"O}zg{\"u}r Akg{\"u}n and Nguyen Dang and Joan Espasa and Ian Miguel and Andr{\'a}s Salamon and Christopher Stone", title = "Exploring Instance Generation for Automated Planning", - booktitle = "CP 2020 Workshop on Constraint Modelling and Reformulation", + booktitle = "{CP} 2020 Workshop on Constraint Modelling and Reformulation", year = "2020" } @@ -360,7 +360,7 @@ @Article{alur-et-al-ieee2000 author = "Rajeev Alur and Thomas A. Henzinger and Gerardo Lafferriere and George J. Pappas", title = "Discrete Abstractions of Hybrid Systems", - journal = "Proceedings of the IEEE", + journal = "Proceedings of the {IEEE}", year = "2000", volume = "88", number = "7", @@ -380,7 +380,8 @@ @InProceedings{ammar-bhiri-icsoft2021 title = "A Formal Approach Combining {Event-B} and {PDDL} for Planning Problems", pages = "261--268", year = "2021", - booktitle = "Proceedings of the 16th International Conference on Software Technologies (ICSOFT 2021)", + booktitle = "Proceedings of the 16th International Conference on Software + Technologies ({ICSOFT} 2021)", } @InProceedings{anand-et-al-icaps2016, @@ -422,8 +423,8 @@ @Article{anderson-feil-mm1998 @InProceedings{andrews-focs2004, author = "Matthew Andrews", title = "Hardness of Buy-at-Bulk Network Design", - booktitle = "Proceedings of the 45th Annual IEEE Symposium on - Foundations of Computer Science (FOCS 2004)", + booktitle = "Proceedings of the 45th Annual {IEEE} Symposium on + Foundations of Computer Science ({FOCS} 2004)", pages = "115--124", year = "2004" } @@ -435,8 +436,8 @@ @InProceedings{andrews-zhang-infocom2005 title = "Bounds on Fiber Minimization in Optical Networks with Fixed Fiber Capacity", booktitle = "Proceedings of the 24th Annual Joint Conference of - the IEEE Computer and Communications Societies - (INFOCOM 2005)", + the {IEEE} Computer and Communications Societies + ({INFOCOM} 2005)", editor = "Kia Makki and Edward W. Knightly", pages = "409--419", year = "2005" @@ -519,7 +520,7 @@ @InProceedings{arlt-et-al-issta2014 @Article{arnborg-et-al-jadm1987, author = "Stefan Arnborg and Derek G. Corneil and Andrzej Proskurowski", title = "Complexity of Finding Embeddings in a k-Tree", - journal = "SIAM J. Algebraic Discrete Methods", + journal = "{SIAM} J. Algebraic Discrete Methods", year = "1987", volume = "8", number = "2", @@ -700,7 +701,7 @@ @InProceedings{babai-stoc1985 title = "Trading Group Theory for Randomness", editor = "Robert Sedgewick", booktitle = "Proceedings of the Seventeenth Annual {ACM} Symposium on - Theory of Computing (STOC '85)", + Theory of Computing ({STOC} '85)", publisher = "{ACM} Press", year = "1985", pages = "421--429" @@ -709,7 +710,8 @@ @InProceedings{babai-stoc1985 @InProceedings{babaioff-et-al-approx2007, author = "Moshe Babaioff and Nicole Immorlica and David Kempe and Robert Kleinberg", title = "A Knapsack Secretary Problem with Applications", - booktitle = "Proceedings of the 10th International Workshop on Approximation (APPROX 2007)", + booktitle = "Proceedings of the 10th International Workshop on + Approximation ({APPROX} 2007)", year = "2007", pages = "16--28", publisher = "Springer-Verlag", @@ -957,7 +959,7 @@ @InProceedings{baioletti-et-al-kr1998 Planning Domains", booktitle = "Principles of Knowledge Representation and Reasoning: Proceedings of the Sixth International Conference - (KR'98)", + ({KR}'98)", publisher = "Morgan Kaufmann", address = "San Francisco", year = "1998", @@ -983,7 +985,7 @@ @Misc{balas-msrr1974 institution = "Carnegie-Mellon University", month = "July", year = "1974", - howpublished = "MSRR \#348", + howpublished = "{MSRR} \#348", number = "348" } @@ -1086,7 +1088,7 @@ @InCollection{barrett-et-al-hos2009 booktitle = "Handbook of Satisfiability", pages = "825--885", year = "2009", - publisher = "IOS Press" + publisher = "{IOS} Press" } @InProceedings{bartak-toropila-flairs2008, @@ -1265,7 +1267,7 @@ @InProceedings{ben-or-et-al-crypto1988 title = "Everything Provable is Provable in Zero-Knowledge", editor = "Shafi Goldwasser", booktitle = "Proceedings of the Eighth Annual International Cryptology - Conference (CRYPTO 1988)", + Conference ({CRYPTO} 1988)", series = lncs, year = "1988", volume = "403", @@ -1391,7 +1393,7 @@ @Article{bertoli-et-al-aij2006 @Book{bertsekas-1991, author = "Dimitri P. Bertsekas", title = "Linear Network Optimization: Algorithms and Codes", - publisher = "The MIT Press", + publisher = "The {MIT} Press", year = "1991" } @@ -1472,11 +1474,11 @@ @InProceedings{betz-helmert-ki2009 @InProceedings{bezakova-et-al-soda2006, author = "Ivona Bez\'{a}kov\'{a} and Daniel \v{S}tefankovi\v{c} and Vijay V. Vazirani and Eric Vigoda", title = "Accelerating {S}imulated {A}nnealing for the {P}ermanent and {C}ombinatorial {C}ounting {P}roblems", - booktitle = "Proceedings of the Seventeenth Annual ACM-SIAM Symposium on Discrete Algorithms", - series = "SODA '06", + booktitle = "Proceedings of the Seventeenth Annual {ACM-SIAM} Symposium on Discrete Algorithms", + series = "{SODA} '06", year = "2006", pages = "900--907", - publisher = "ACM" + publisher = "{ACM}" } @InProceedings{bhatia-et-al-icaps2022, @@ -1519,7 +1521,7 @@ @Article{bienstock-gunluk-informs1996 author = "Daniel Bienstock and Oktay G{\"u}nl{\"u}k", title = "Capacitated Network Design -- Polyhedral Structure and Computation", - journal = "INFORMS Journal on Computing", + journal = "{INFORMS} Journal on Computing", volume = "8", number = "3", year = "1996", @@ -1597,7 +1599,7 @@ @Proceedings{biundo-et-al-2005 editor = "Susanne Biundo and Karen Myers and Kanna Rajan", title = "Proceedings of the Fifteenth International Conference on Automated Planning and Scheduling ({ICAPS} 2005)", - publisher = "AAAI Press", + publisher = "{AAAI} Press", year = "2005" } @@ -1670,7 +1672,8 @@ @InProceedings{blum-furst-ijcai1995 @InProceedings{blum-icm1986, author = "Manuel Blum", title = "How to Prove a Theorem So No One Else Can Claim It", - booktitle = "Proceedings of the International Congress of Mathematicians (ICM 1986)", + booktitle = "Proceedings of the International Congress of Mathematicians + ({ICM} 1986)", year = "1986", pages = "1444--1451", volume = "2" @@ -1698,8 +1701,8 @@ @InProceedings{bnaya-et-al-ijcai2009 @Proceedings{boddy-et-al-2007, editor = "Mark Boddy and Maria Fox and Sylvie Thi{\'e}baux", title = "Proceedings of the Seventeenth International Conference on - Automated Planning and Scheduling (ICAPS 2007)", - publisher = "AAAI Press", + Automated Planning and Scheduling ({ICAPS} 2007)", + publisher = "{AAAI} Press", year = "2007" } @@ -2089,7 +2092,7 @@ @InProceedings{borgwardt-et-al-aaai2022 @Article{borrajo-et-al-acmcs2015, author = "Daniel Borrajo and Anna Roub{\'i}{\v{c}}kov{\'a} and Ivan Serina", title = "Progress in Case-Based Planning", - journal = "ACM computing surveys", + journal = "{ACM} computing surveys", volume = "47", number = "2", year = "2015", @@ -2101,9 +2104,9 @@ @Proceedings{borrajo-kambhampati-2013 editor = "Daniel Borrajo and Subbarao Kambhampati and Angelo Oddi and Simone Fratini", title = "Proceedings of the Twenty-Third International Conference on - Automated Planning and Scheduling (ICAPS 2013)", + Automated Planning and Scheduling ({ICAPS} 2013)", year = "2013", - publisher = "AAAI Press" + publisher = "{AAAI} Press" } @Article{botea-et-al-jair2005, @@ -2321,7 +2324,7 @@ @Article{browne-et-al-ieee2012 and Philipp Rohlfshagen and Stephen Tavener and Diego Perez and Spyridon Samothrakis and Simon Colton", title = "A Survey of Monte Carlo Tree Search Methods", - journal = "IEEE Transactions Computational Intelligence and AI in Games", + journal = "{IEEE} Transactions Computational Intelligence and {AI} in Games", number = "1", pages = "1--43", volume = "4", @@ -2613,7 +2616,7 @@ @InProceedings{buro-cg1998 author = "Michael Buro", title = "From Simple Features to Sophisticated Evaluation Functions", pages = "126--145", - booktitle = "Computers and Games, First International Conference (CG 1998)", + booktitle = "Computers and Games, First International Conference ({CG} 1998)", editor = "H. Jaap {van den Herik} and Hiroyuki Iida", year = "1998" } @@ -2632,7 +2635,7 @@ @Article{buro-icca1995 author = "Michael Buro", title = "Prob{C}ut: {A}n Effective Selective Extension of the Alpha-Beta Algorithm", - journal = "ICCA Journal", + journal = "{ICCA} Journal", year = "1995", volume = "18", number = "2", @@ -2827,7 +2830,7 @@ @InProceedings{cerrito-mayer-aimsa1998 title = "Using Linear Temporal Logic to Model and Solve Planning Problems", booktitle = "Artificial Intelligence: Methodology, Systems, and - Applications (AIMSA 98)", + Applications ({AIMSA} 98)", series = lncs, volume = "1480", publisher = "Springer-Verlag", @@ -3053,7 +3056,8 @@ @InProceedings{chen-yao-ijcai2009 @InProceedings{cheng-et-al-ijcnn2008, author = "Jianlin Cheng and Zheng Wang and Gianluca Pollastri", - booktitle = "2008 IEEE International Joint Conference on Neural Networks (IEEE World Congress on Computational Intelligence)", + booktitle = "2008 {IEEE} International Joint Conference on Neural Networks + ({IEEE} World Congress on Computational Intelligence)", title = "A neural network approach to ordinal regression", year = "2008", month = "June", @@ -3268,7 +3272,7 @@ @InProceedings{ciresan-et-al-cvpr2012 classification", pages = "3642--3649", booktitle = "Proceedings of the {IEEE} Conference on Computer - Vision and Pattern Recognition (CVPR)", + Vision and Pattern Recognition ({CVPR})", year = "2012", } @@ -3364,12 +3368,12 @@ @Article{clarke-et-al-toplas1986 @Article{codd-cacm1970, author = "Edgar F. Codd", title = "A relational model of data for large shared data banks", - journal = "Communications of the ACM", + journal = "Communications of the {ACM}", volume = "13", number = "6", pages = "377--387", year = "1970", - publisher = "ACM" + publisher = "{ACM}" } @Article{codognet-diaz-jar1996, @@ -3824,10 +3828,10 @@ @Book{creignou-et-al-2001 author = "Nadia Creignou and Sanjeev Khanna and Madhu Sudan", title = "Complexity Classifications of {Boolean} Constraint Satisfaction Problems", - series = "SIAM Monographs on Discrete Mathematics and + series = "{SIAM} Monographs on Discrete Mathematics and Applications", volume = "7", - publisher = "SIAM", + publisher = "{SIAM}", year = "2001" } @@ -3846,8 +3850,8 @@ @Article{creignou-hermann-iandc1996 @InProceedings{crescenzi-ccc1997, author = "Pierluigi Crescenzi", title = "A Short Guide To Approximation Preserving Reductions", - booktitle = "Proceedings of the 12th Annual IEEE Conference on - Computational Complexity (CCC'97)", + booktitle = "Proceedings of the 12th Annual {IEEE} Conference on + Computational Complexity ({CCC}'97)", pages = "262--273", year = "1997" } @@ -3869,7 +3873,7 @@ @InProceedings{cresswell-coddington-plansig2003 author = "Stephen Cresswell and Alexandra Coddington", title = "Planning with timed literals and deadlines", booktitle = "Proceedings of the 22nd Workshop of the UK Planning and - Scheduling Special Interest Group (PlanSIG 2003)", + Scheduling Special Interest Group ({PlanSIG} 2003)", year = "2003" } @@ -3878,7 +3882,7 @@ @InProceedings{cresswell-et-al-aips2002ws author = "Stephen Cresswell and Maria Fox and Derek Long", title = "Extending {TIM} Domain Analysis to Handle {ADL} Constructs", - booktitle = "AIPS '02 Workshop on Knowledge Engineering Tools and + booktitle = "{AIPS} '02 Workshop on Knowledge Engineering Tools and Techniques for A.I. Planning", year = "2002" } @@ -4051,7 +4055,7 @@ @InProceedings{daniele-et-al-ecp1999 @Article{dantsin-et-al-acmcs2001, author = "Evgeny Dantsin and Thomas Eiter and Georg Gottlob and Andrei Voronkov", title = "Complexity and Expressive Power of Logic Programming", - journal = "ACM Computing Surveys", + journal = "{ACM} Computing Surveys", volume = "33", number = "3", year = "2001", @@ -4113,7 +4117,7 @@ @InProceedings{davies-et-al-icaps2015 @Article{davis-et-al-cacm1962, author = "Martin Davis and George Logemann and Donald W. Loveland", title = "A Machine Program for Theorem-Proving", - journal = "Communications of the ACM", + journal = "Communications of the {ACM}", volume = "5", year = "1962", pages = "394--397" @@ -4194,7 +4198,7 @@ @Book{dechter-2003 @InProceedings{dechter-itai-aaai1992, author = "Rina Dechter and Alon Itai", title = "Finding All Solutions if You can Find One", - booktitle = "AAAI 1992 Workshop on Tractable Reasoning", + booktitle = "{AAAI} 1992 Workshop on Tractable Reasoning", year = "1992", pages = "35--39" } @@ -4262,11 +4266,11 @@ @InProceedings{deharbe-et-al-cade2011 author = "David D{\'e}harbe and Pascal Fontaine and Stephan Merz and Bruno {Woltzenlogel Paleo}", title = "Exploiting Symmetry in {SMT} Problems", - booktitle = "23rd Intl. Conf. Automated Deduction (CADE 2011)", + booktitle = "23rd Intl. Conf. Automated Deduction ({CADE} 2011)", pages = "222--236", year = 2011, volume = 6803, - series = "LNCS", + series = "{LNCS}", publisher = "Springer" } @@ -4323,9 +4327,11 @@ @Article{demassey-et-al-constraints2006 @InProceedings{demirovic-et-al-cp2024, author = "Emir Demirovi{\'c} and Ciaran McCreesh and Matthew J. McIlree and - Jakob Nordstr{\"{o}}m and Andy Oertel and Konstantin Sidorov", - title = "Pseudo-{B}oolean Reasoning About States and Transitions to Certify Dynamic Programming and Decision Diagram Algorithms", - booktitle = "Proceedings of the 30th International Conference on Principles and Practice of Constraint Programming (CP-24)", + Jakob Nordstr{\"{o}}m and Andy Oertel and Konstantin Sidorov", + title = "Pseudo-{B}oolean Reasoning About States and Transitions to + Certify Dynamic Programming and Decision Diagram Algorithms", + booktitle = "Proceedings of the 30th International Conference on Principles + and Practice of Constraint Programming ({CP} 2024)", pages = "9:1--9:21", year = 2024, publisher = "Schloss Dagstuhl -- Leibniz-Zentrum f{\"{u}}r Informatik", @@ -4336,7 +4342,7 @@ @InCollection{desrosiers-luebbecke-columngeneration2005 title = "A Primer in Column Generation", booktitle = "Column Generation", editor = "Guy Desaulniers and Jacques Desrosiers and Marius M. Solomon", - publisher = "Springer US", + publisher = "Springer {US}", year = "2005", pages = "1--32" } @@ -4344,7 +4350,7 @@ @InCollection{desrosiers-luebbecke-columngeneration2005 @Article{diaz-et-al-ibm2017, author = "Gonzalo I Diaz and Achille Fokoue-Nkoutche and Giacomo Nannicini and Horst Samulowitz", title = "An effective algorithm for hyperparameter optimization of neural networks", - journal = "IBM Journal of Research and Development", + journal = "{IBM} Journal of Research and Development", volume = "61", number = "4", year = "2017", @@ -4563,7 +4569,7 @@ @InProceedings{domshlak-et-al-ipc2011a and Shaul Markovitch", title = "The {SelMax} Planner: Online Learning for Speeding up Optimal Planning", - booktitle = "IPC 2011 Planner Abstracts", + booktitle = "{IPC} 2011 Planner Abstracts", year = "2011", pages = "108--112" } @@ -4571,7 +4577,7 @@ @InProceedings{domshlak-et-al-ipc2011a @InProceedings{domshlak-et-al-ipc2011b, author = "Carmel Domshlak and Malte Helmert and Erez Karpas and Emil Keyder and Silvia Richter and Gabriele R{\"o}ger and Jendrik Seipp and Matthias Westphal", title = "{BJOLP}: The Big Joint Optimal Landmarks Planner", - booktitle = "IPC 2011 Planner Abstracts", + booktitle = "{IPC} 2011 Planner Abstracts", year = "2011", pages = "91--95" } @@ -5184,11 +5190,11 @@ @InProceedings{edelkamp-korf-aaai1998 @InProceedings{edelkamp-mbvi2001, author = "Stefan Edelkamp", title = "Directed Symbolic Exploration in {AI}-Planning", - booktitle = "AAAI Spring Symposium on Model-based Validation of + booktitle = "{AAAI} Spring Symposium on Model-based Validation of Intelligence", editor = "Lina Khatib and Charles Pecheur", year = "2001", - publisher = "AAAI Press", + publisher = "{AAAI} Press", pages = "84--92" } @@ -5415,14 +5421,14 @@ @InProceedings{esparza-lecturespetri1998 @InProceedings{espasa-et-al-cp2019wscmr, author = "Joan Espasa and Jordi Coll and Ian Miguel and Mateu Villaret", title = "Towards Lifted Encodings for Numeric Planning in {Essence Prime}", - booktitle = "CP 2019 Workshop on Constraint Modelling and Reformulation", + booktitle = "{CP} 2019 Workshop on Constraint Modelling and Reformulation", year = "2019" } @Article{even-et-al-siam1976, title = "On the Complexity of Timetable and Multicommodity Flow Problems", author = "Shimon Even and Alon Itai and Adi Shamir", - journal = "SIAM Journal on Computing", + journal = "{SIAM} Journal on Computing", year = "1976", number = "4", pages = "691--703", @@ -5503,7 +5509,7 @@ @InProceedings{fagin-caap1983 @Article{fagin-coc1974, author = "Ronald Fagin", title = "Generalized First-order Spectra and Polynomial-time Recognizable Sets", - journal = "Complexity of Computation (SIAM-AMS Proceedings)", + journal = "Complexity of Computation ({SIAM-AMS} Proceedings)", volume = "7", pages = "43--73", year = "1974", @@ -5560,7 +5566,7 @@ @InProceedings{fawcett-et-al-ipc2011a Erez Karpas and Gabriele R{\"o}ger and Jendrik Seipp", title = "{FD-Autotune}: Automated Configuration of {Fast} {Downward}", - booktitle = "IPC 2011 Planner Abstracts", + booktitle = "{IPC} 2011 Planner Abstracts", year = "2011", pages = "31--37" } @@ -5570,7 +5576,7 @@ @InProceedings{fawcett-et-al-ipc2011b Erez Karpas and Gabriele R{\"o}ger and Jendrik Seipp", title = "{FD-Autotune}: Domain-Specific Configuration of {Fast} {Downward}", - booktitle = "IPC 2011 Planner Abstracts, Planning and Learning Part", + booktitle = "{IPC} 2011 Planner Abstracts, Planning and Learning Part", year = "2011" } @@ -5699,7 +5705,7 @@ @InProceedings{ferber-et-al-icml2019ws author = "Patrick Ferber and Tengfei Ma and Siyu Huo and Jie Chen and Michael Katz", title = "{IPC}: A Benchmark Data Set for Learning with Graph-Structured Data", - booktitle = "Proceedings of the ICML-2019 Workshop on + booktitle = "Proceedings of the {ICML-2019} Workshop on Learning and Reasoning with Graph-Structured Representations", year = "2019" @@ -5963,7 +5969,7 @@ @Proceedings{fern-et-al-2020 Jonsson and Michael Katz and Hector Palacios and Scott Sanner", title = "Proceedings of the 1st Workshop on Bridging the Gap - Between {AI} Planning and Reinforcement Learning (PRL)", + Between {AI} Planning and Reinforcement Learning ({PRL})", year = "2020" } @@ -6229,7 +6235,7 @@ @InProceedings{flanagan-godefroid-popl2005 @Article{flerova-et-al-jair2016, author = "Natalia Flerova and Radu Marinescu and Rina Dechter", title = "Searching for the M Best Solutions in Graphical Models", - journal = "jair", + journal = jair, year = "2016", volume = "55", pages = "889--952" @@ -6238,7 +6244,7 @@ @Article{flerova-et-al-jair2016 @Article{floyd-cacm1962, author = "Robert Floyd", title = "Algorithm 97: {S}hortest path", - journal = "Communications of the ACM", + journal = "Communications of the {ACM}", volume = "5", number = "6", pages = "345", @@ -6297,8 +6303,8 @@ @InProceedings{fortnow-stoc2005 title = "Beyond {NP}: {T}he Work and Legacy of {L}arry {S}tockmeyer", booktitle = "Proceedings of the Thirty-Seventh Annual ACM Symposium on - Theory of Computing (STOC 2005)", - publisher = "ACM Press", + Theory of Computing ({STOC} 2005)", + publisher = "{ACM} Press", address = "New York", year = "2005", pages = "120--127" @@ -6564,7 +6570,7 @@ @Misc{froleyks-github2024-accessed-2025-12-08 @Book{fudenberg-tirole-1991, author = "Drew Fudenberg and Jean Tirole", title = "Game Theory", - publisher = "The MIT Press", + publisher = "The {MIT} Press", year = "1991" } @@ -6579,7 +6585,7 @@ @Article{fuentetaja-delarosa-aicomm2016 author = "Raquel Fuentetaja and Tom{\'a}s {de la Rosa}", title = "Compiling irrelevant objects to counters. Special case of creation planning", - journal = "AI Communications", + journal = "{AI} Communications", year = "2016", volume = "29", number = "3", @@ -6609,7 +6615,7 @@ @InProceedings{funkquist-et-al-kr2024 @Book{furbank-2009, editor = "Robert T. Furbank", title = "Plant Phenomics", - publisher = "CSIRO Publishing", + publisher = "{CSIRO} Publishing", year = "2009", volume = "36 (10--11)", series = "Functional Plant Biology" @@ -6618,8 +6624,8 @@ @Book{furbank-2009 @InProceedings{furtak-buro-cig2013, author = "Timothy Furtak and Michael Buro", title = "Recursive {M}onte {C}arlo search for imperfect information games", - booktitle = "2013 {IEEE} Conference on Computational Intelligence in Games (CIG), - Niagara Falls, ON, Canada, August 11--13, 2013", + booktitle = "2013 {IEEE} Conference on Computational Intelligence in Games + ({CIG}), Niagara Falls, ON, Canada, August 11--13, 2013", pages = "1--8", year = "2013", publisher = "{IEEE}" @@ -6734,7 +6740,7 @@ @InProceedings{gebser-et-al-lpnmr2011 editor = "James P. Delgrande and Faber, Wolfgang", title = "Advances in gringo Series 3", booktitle = "Proceedings of the Eleventh International Conference on Logic - Programming and Nonmonotonic Reasoning (LPNMR 2011)", + Programming and Nonmonotonic Reasoning ({LPNMR} 2011)", year = "2011", publisher = "Springer Berlin Heidelberg", pages = "345--351" @@ -6890,7 +6896,7 @@ @Article{gelfond-lifschitz-ngc1991 @TechReport{gelly-et-al-tr2006, title = "Modification of {UCT} with Patterns in Monte-Carlo {G}o", author = "Sylvain Gelly and Yizao Wang and R{\'e}mi Munos and Olivier Teytaud", - institution = "INRIA", + institution = "{INRIA}", number = "6062", month = "November", year = "2006" @@ -6982,7 +6988,7 @@ @InProceedings{gerevini-et-al-ipc2011 author = "Alfonso E. Gerevini and Alessandro Saetti and Mauro Vallati", title = "{PbP2}: Automatic Configuration of a Portfolio-based Multi-Planner", - booktitle = "IPC 2011 Planner Abstracts, Planning and Learning Part", + booktitle = "{IPC} 2011 Planner Abstracts, Planning and Learning Part", year = "2011" } @@ -7057,7 +7063,7 @@ @Proceedings{ghallab-et-al-2002 title = "Proceedings of the Sixth International Conference on Artificial Intelligence Planning and Scheduling ({AIPS} 2002)", - publisher = "AAAI Press", + publisher = "{AAAI} Press", year = "2002" } @@ -7442,7 +7448,8 @@ @InProceedings{gocht-et-al-aaai2024 @InProceedings{gocht-et-al-cp2022, author = "Stephan Gocht and Ciaran McCreesh and Jakob Nordstr{\"{o}}m", title = "An Auditable Constraint Programming Solver", - booktitle = "Proceedings of the 28th International Conference on Principles and Practice of Constraint Programming (CP-22)", + booktitle = "Proceedings of the 28th International Conference on Principles + and Practice of Constraint Programming ({CP} 2022)", publisher = "Schloss Dagstuhl -- Leibniz-Zentrum f{\"{u}}r Informatik", year = "2022", pages = "25:1--25:18" @@ -7501,7 +7508,7 @@ @TechReport{goertz-tr2006 author = "Inge Li G{\o}rtz", title = "Hardness of Preemptive Finite Capacity Dial-a-Ride", institution = "University of Southern Denmark", - type = "IMADA Preprints", + type = "{IMADA} Preprints", number = "4", year = "2006" } @@ -7558,7 +7565,7 @@ @InProceedings{goldwasser-et-al-stoc1985 (Extended Abstract)", editor = "Robert Sedgewick", booktitle = "Proceedings of the Seventeenth Annual {ACM} Symposium on - Theory of Computing (STOC '85)", + Theory of Computing ({STOC} 85)", publisher = "{ACM} Press", year = "1985", pages = "291--304" @@ -7594,7 +7601,7 @@ @InProceedings{gomoluch-et-al-icaps2020 @Book{goodfellow-et-al-2016, author = "Ian Goodfellow and Yoshua Bengio and Aaron Courville", title = "Deep Learning", - publisher = "MIT Press", + publisher = "{MIT} Press", year = "2016" } @@ -7919,7 +7926,7 @@ @InProceedings{haehnel-et-al-ki1998 @InProceedings{hajiaghayi-et-al-cec2004, author = "Mohammad Taghi Hajiaghayi and Robert Kleinberg and David C. Parkes", title = "Adaptive Limited-supply Online Auctions", - booktitle = "Proceedings of the 5th ACM Conference on Electronic Commerce", + booktitle = "Proceedings of the 5th {ACM} Conference on Electronic Commerce", year = "2004", pages = "71--80", publisher = "ACM", @@ -8047,9 +8054,9 @@ @InProceedings{hao-et-al-ipcl2023 @InProceedings{harabor-botea-aiide2010, author = "Daniel Harabor and Adi Botea", title = "Breaking Path Symmetries on 4-Connected Grid Maps", - booktitle = "Proceedings of the Sixth AAAI Conference on + booktitle = "Proceedings of the Sixth {AAAI} Conference on Artificial Intelligence and Interactive Digital - Entertainment (AIIDE 2010)", + Entertainment ({AIIDE} 2010)", year = "2010", pages = "33--38" } @@ -8058,7 +8065,7 @@ @Article{hart-et-al-ieeessc1968 author = "Peter E. Hart and Nils J. Nilsson and Bertram Raphael", title = "A Formal Basis for the Heuristic Determination of Minimum Cost Paths", - journal = "IEEE Transactions on Systems Science and Cybernetics", + journal = "{IEEE} Transactions on Systems Science and Cybernetics", year = "1968", volume = "4", number = "2", @@ -8406,7 +8413,7 @@ @InProceedings{helmert-et-al-atva2006 title = "Selective Approaches for Solving Weak Games", booktitle = "Proceedings of the Fourth International Symposium on Automated Technology for Verification and Analysis - (ATVA 2006)", + ({ATVA} 2006)", year = "2006", pages = "200--214" } @@ -8462,7 +8469,7 @@ @InProceedings{helmert-et-al-ijcai2019 @InProceedings{helmert-et-al-ipc2011, author = "Malte Helmert and Gabriele R{\"o}ger and Jendrik Seipp and Erez Karpas and J{\"o}rg Hoffmann and Emil Keyder and Raz Nissim and Silvia Richter and Matthias Westphal", title = "{Fast} {Downward} {Stone} {Soup}", - booktitle = "IPC 2011 Planner Abstracts", + booktitle = "{IPC} 2011 Planner Abstracts", year = "2011", pages = "38--45" } @@ -8556,8 +8563,8 @@ @PhdThesis{helmert-phd2006 @Proceedings{helmert-roeger-2013, editor = "Malte Helmert and Gabriele R{\"o}ger", title = "Proceedings of the Sixth Annual Symposium on Combinatorial - Search (SoCS 2013)", - publisher = "AAAI Press", + Search ({SoCS} 2013)", + publisher = "{AAAI} Press", year = "2013" } @@ -8619,7 +8626,7 @@ @InProceedings{heule-et-al-cade2013 title = "Verifying Refutations with Extended Resolution", pages = "345--359", booktitle = "Proceedings of the Twenty-Fourth International Conference on Automated Deduction - ({CADE}-24)", + ({CADE} 24)", publisher = "Springer, Berlin, Heidelberg", year = "2013" } @@ -8630,7 +8637,7 @@ @InProceedings{heule-et-al-fmcad2013 pages = "181--188", editor = "Barbara Jobstmann and Sandip Ray", booktitle = "Proceedings of Formal Methods in Computer Aided Design ({FMCAD} 2013)", - publisher = "IEEE", + publisher = "{IEEE}", year = "2013" } @@ -8748,7 +8755,7 @@ @InProceedings{hoen-et-al-cpaior2024 pages = "310--328", booktitle = "Proceedings of the 21st International Conference on the Integration of Constraint Programming, Artificial Intelligence, - and Operations Research ({CPAIOR}-24)", + and Operations Research ({CPAIOR} 2024)", publisher = "Springer", year = "2024" } @@ -9009,7 +9016,7 @@ @InProceedings{holler-et-al-icapswhp2019 @Article{holte-burch-aicomm2014, author = "Robert C. Holte and Neil Burch", title = "Automatic Move Pruning for Single-Agent Search", - journal = "AI Communications", + journal = "{AI} Communications", year = "2014", volume = "27", number = "4", @@ -9109,7 +9116,7 @@ @Book{holzmann-2004 @Article{holzmann-ieeesofteng1997, author = "Gerard J. Holzmann", title = "The Model Checker {SPIN}", - journal = "IEEE Transactions on Software Engineering", + journal = "{IEEE} Transactions on Software Engineering", year = "1997", volume = "23", number = "5", @@ -9165,7 +9172,7 @@ @InCollection{hoos-stutzle-sat2000 editor = "Ian Gent and Hans {Van Maaren} and Toby Walsh", booktitle = "{SAT2000}: Highlights of Satisfiability Research in the Year 2000", pages = "283--292", - publisher = "IOS Press", + publisher = "{IOS} Press", year = "2000" } @@ -9226,7 +9233,7 @@ @InProceedings{hosteteler-et-al-aaai2014 @Book{howard-1960, author = "Ronald A. Howard", title = "Dynamic Programming and Markov Processes", - publisher = "The MIT Press", + publisher = "The {MIT} Press", year = "1960" } @@ -9460,7 +9467,7 @@ @InProceedings{impagliazzo-yung-crypto1987 title = "Direct Minimum-Knowledge Computations", editor = "Carl Pomerance", booktitle = "Proceedings of the Eighth Annual International Cryptology - Conference (CRYPTO 1987)", + Conference ({CRYPTO} 1987)", series = lncs, year = "1987", volume = "293", @@ -9556,9 +9563,9 @@ @InProceedings{iverson-afips1962 author = "Kenneth E. Iverson", title = "A programming language", booktitle = "Proceedings of the May 1-3, 1962, Spring Joint Computer - Conference (AIEE-IRE 62)", + Conference ({AIEE-IRE} 62)", pages = "345--351", - publisher = "ACM New York", + publisher = "{ACM} New York", volume = "21", year = "1962" } @@ -9723,9 +9730,9 @@ @Article{jonsson-backstrom-amai1998 @InProceedings{jonsson-backstrom-ewsp1995, author = "Peter Jonsson and Christer B{\"a}ckstr{\"o}m", title = "Incremental Planning", - booktitle = "New Directions in AI Planning: EWSP '95 --- 3rd + booktitle = "New Directions in {AI} Planning: {EWSP} '95 --- 3rd European Workshop on Planning", - publisher = "IOS Press", + publisher = "{IOS} Press", address = "Amsterdam", year = "1995", volume = "31", @@ -9739,7 +9746,7 @@ @InProceedings{jonsson-caepia2007 author = "Anders Jonsson", title = "Efficient Pruning of Operators in Planning Domains", booktitle = "Proceedings of the 12th Conference of the Spanish - Association for Artificial Intelligence (CAEPIA 2007)", + Association for Artificial Intelligence ({CAEPIA} 2007)", series = lnai, volume = "4788", publisher = "Springer-Verlag", @@ -9820,7 +9827,7 @@ @InProceedings{junttila-kaski-alenex2007 @InProceedings{jurdzinski-stacs2000, author = "Marcin Jurdzi{\'n}ski", title = "Small Progress Measures for Solving Parity Games", - booktitle = "STACS 2000: 17th Annual Symposium on Theoretical + booktitle = "{STACS} 2000: 17th Annual Symposium on Theoretical Aspects of Computer Science", publisher = "Springer-Verlag", address = "New York", @@ -10154,7 +10161,7 @@ @InProceedings{katz-et-al-socs2024 @TechReport{katz-et-al-tr2012, author = "Michael Katz and J{\"o}rg Hoffmann and Malte Helmert", title = "How to Relax a Bisimulation?", - institution = "INRIA", + institution = "{INRIA}", year = "2012", number = "7901", note = "Available at \url{http://hal.inria.fr/hal-00677299}" @@ -10225,24 +10232,26 @@ @InProceedings{katz-keyder-aaai2012 @InProceedings{katz-keyder-aaai2022, author = "Michael Katz and Emil Keyder", - title = "A* Search and Bound-Sensitive Heuristics for Oversubscription Planning", + title = "A${}^*$ Search and Bound-Sensitive Heuristics for + Oversubscription Planning", crossref = "aaai2022" } @InProceedings{katz-keyder-icaps2019wshsdip, author = "Michael Katz and Emil Keyder", - title = "A* Search and Bound-Sensitive Heuristics for Oversubscription Planning", + title = "A${}^*$ Search and Bound-Sensitive Heuristics for + Oversubscription Planning", crossref = "icaps2019wshsdip" } @InProceedings{katz-lee-ijcai2023, author = "Michael Katz and Junkyu Lee", - title = "K* Search Over Orbit Space for Top-k Planning", + title = "K${}^*$ Search Over Orbit Space for Top-k Planning", crossref = "ijcai2023" } @InProceedings{katz-lee-socs2023, - title = "K* and Partial Order Reduction for Top-quality Planning", + title = "K${}^*$ and Partial Order Reduction for Top-quality Planning", author = "Michael Katz and Junkyu Lee", crossref = "socs2023" } @@ -10285,7 +10294,7 @@ @Misc{katz-sohrabi-zenodo2019 @TechReport{katz-tr2018, author = "Michael Katz", title = "Red-Black Heuristic for Planning Tasks with Conditional Effects", - institution = "IBM", + institution = "{IBM}", year = "2018", note = "Available at \url{http://ibm.biz/ceffRBTr}" } @@ -10695,7 +10704,7 @@ @InProceedings{kloessner-hoffmann-socs2021 @Article{knight-mittechnologyreview2017, author = "Will Knight", title = "The Dark Secret at the Heart of {AI}", - journal = "MIT Technology Review", + journal = "{MIT} Technology Review", year = "2017", month = "May" } @@ -11159,7 +11168,7 @@ @InProceedings{kozen-focs1977 author = "Dexter Kozen", title = "Lower Bounds for Natural Proof Systems", booktitle = "Proceedings of the 18th Annual Symposium on Foundations - of Computer Science (FOCS 1977)", + of Computer Science ({FOCS} 1977)", pages = "254--266", year = "1977" } @@ -11258,7 +11267,7 @@ @InProceedings{kupferschmid-helmert-cg2006 author = "Sebastian Kupferschmid and Malte Helmert", title = "A {Skat} Player Based on {Monte} {Carlo} Simulation", booktitle = "Proceedings of the Fifth International Conference on - Computers and Games (CG 2006)", + Computers and Games ({CG} 2006)", year = "2006", pages = "135--147" } @@ -11267,7 +11276,7 @@ @InProceedings{kurniawati-et-al-rss2008 author = "Hanna Kurniawati and David Hsu and Wee Sun Lee", title = "{SARSOP}: Efficient Point-Based {POMDP} Planning by Approximating Optimally Reachable Belief Spaces", - booktitle = "Robotics: Science and Systems IV", + booktitle = "Robotics: Science and Systems {IV}", year = "2008", } @@ -11404,7 +11413,7 @@ @Article{lavalle-hutchinson-1998 author = "Steven M. LaValle and Seth Hutchinson", title = "Optimal motion planning for multiple robots having independent goals", - journal = "IEEE Transactions on Robotics and Automation", + journal = "{IEEE} Transactions on Robotics and Automation", pages = "912--925", year = "1998" } @@ -11432,7 +11441,7 @@ @Article{leberre-parrain-jsbmc2010 number = "2--3", pages = "59--64", year = "2010", - publisher = "IOS Press" + publisher = "{IOS} Press" } % Data from IEEE website: @@ -11441,7 +11450,7 @@ @Article{lecun-et-al-ieee1998 author = "Yann LeCun and L{\'{e}}on Bottou and Yoshua Bengio and Patrick Haffner", title = "Gradient-based Learning Applied to Document Recognition", - journal = "Proceedings of the IEEE", + journal = "Proceedings of the {IEEE}", year = "1998", volume = "86", number = "11", @@ -11478,7 +11487,7 @@ @InProceedings{lee-et-al-icaps2021wsprl } @InProceedings{lee-et-al-socs2023, - title = "On K* Search for Top-k Planning", + title = "On K${}^*$ Search for Top-k Planning", author = "Junkyu Lee and Michael Katz and Shirin Sohrabi", crossref = "socs2023" } @@ -11517,7 +11526,7 @@ @InProceedings{lelis-et-al-aaai2012 @Article{lelis-et-al-aij2013, author = "Levi H. S. Lelis and Sandra Zilles and Robert C. Holte", - title = "Predicting the size of {IDA*}'s search tree", + title = "Predicting the size of {IDA${}^*$}'s search tree", journal = aij, year = "2013", volume = "196", @@ -11859,7 +11868,8 @@ @InProceedings{little-thiebaux-icaps2006 @InProceedings{little-thiebaux-icaps2007, author = "Ian Little and Sylvie Thi{\'e}baux", title = "Probabilistic Planning vs Replanning", - booktitle = "ICAPS 2007 Workshop on the International Planning Competition: Past, Present and Future", + booktitle = "{ICAPS} 2007 Workshop on the International Planning + Competition: Past, Present and Future", year = "2007" } @@ -11894,7 +11904,7 @@ @Proceedings{long-et-al-2006 and Lee McCluskey", title = "Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling ({ICAPS} 2006)", - publisher = "AAAI Press", + publisher = "{AAAI} Press", year = "2006" } @@ -11990,7 +12000,7 @@ @InProceedings{lucangeli-et-al-secart2010 and Gerardo Richarte", title = "Attack Planning in the Real World", booktitle = "Proceedings of the 2010 AAAI Workshop on Intelligent - Security (SecArt)", + Security ({SecArt})", year = "2010", pages = "10--17" } @@ -12022,7 +12032,7 @@ @InProceedings{luna-bekris-ijcai2011 @InProceedings{luna-bekris-iros2011, author = "Ryan Luna and Kostas E. Bekris", title = "Efficient and Complete Centralized Multi-Robot Path Planning", - booktitle = "Proceedings of the IEEE/RSJ International Conference on + booktitle = "Proceedings of the {IEEE/RSJ} International Conference on Intelligent Robots and Systems ({IROS} 2011)", pages = "3268--3275", year = "2011" @@ -12196,7 +12206,7 @@ @InProceedings{matiyasevich-senizerguez-lics1996 author = "Yuri Matiyasevich and G{\'e}reaud Senizerguez", title = "Decision Problems for Semi-{Thue} Systems with a Few Rules", booktitle = "Proceedings of the Eleventh Annual Symposium on Logic - in Computer Science ({LICS} '96)", + in Computer Science ({LICS} 1996)", year = "1996", pages = "523--531" } @@ -12370,8 +12380,8 @@ @InProceedings{mcilree-et-al-cpaior2024 author = "Matthew J. McIlree and Ciaran McCreesh and Jakob Nordstr{\"{o}}m", title = "Proof Logging for the Circuit Constraint", booktitle = "Proceedings of the 21st International Conference on the - Integration of Constraint Programming, Artificial Intelligence, - and Operations Research (CPAIOR-24)", + Integration of Constraint Programming, Artificial Intelligence, + and Operations Research ({CPAIOR} 2024)", publisher = "Springer", year = "2024", pages = "38--55" @@ -12380,7 +12390,8 @@ @InProceedings{mcilree-et-al-cpaior2024 @InProceedings{mcilree-mccreesh-cp2023, author = "Matthew J. McIlree and Ciaran McCreesh", title = "Proof Logging for Smart Extensional Constraints", - booktitle = "Proceedings of the 29th International Conference on Principles and Practice of Constraint Programming, (CP-23)", + booktitle = "Proceedings of the 29th International Conference on Principles + and Practice of Constraint Programming, ({CP} 2023)", publisher = "Schloss Dagstuhl -- Leibniz-Zentrum f{\"{u}}r Informatik", year = "2023", pages = "26:1--26:17" @@ -12412,7 +12423,7 @@ @InProceedings{mcmillan-cav2003 author = "Kenneth L. McMillan", title = "Interpolation and {SAT}-Based Model Checking", booktitle = "Proceedings of the 15th International Conference on - Computer Aided Verification (CAV 2003)", + Computer Aided Verification ({CAV} 2003)", year = "2003", pages = "1--13" } @@ -12501,7 +12512,7 @@ @InProceedings{miller-ismvl1993 title = "Multiple-Valued Logic Design Tools", pages = "2--11", booktitle = "23rd {IEEE} International Symposium on Multiple-Valued Logic - (ISMVL 1993)", + ({ISMVL} 1993)", publisher = "{IEEE} Computer Society", year = "1993" } @@ -12617,7 +12628,7 @@ @InProceedings{moraes-et-al-aiide2018 author = "Rubens O. Moraes and Julian R. H. Mari{\~{n}}o and Levi H. S. Lelis and Mario A. Nascimento", title = "Action Abstractions for Combinatorial Multi-Armed Bandit Tree Search", booktitle = "Proceedings of the Fourteenth Artificial Intelligence and - Interactive Digital Entertainment Conference (AIIDE 2018)", + Interactive Digital Entertainment Conference ({AIIDE} 2018)", year = "2018", pages = "74--80", } @@ -12670,7 +12681,7 @@ @Book{moschovakis-1974 @Article{motzkin-et-al-theoryofgames1953, author = "T. S. Motzkin and H. Raiffa and G. L. Thompson and R. M. Thrall", title = "The Double Description Method", - journal = "Contributions to the Theory of Games (AM-28)", + journal = "Contributions to the Theory of Games ({AM}-28)", publisher = "Princeton University Press", year = "1953", volume = "II", @@ -12845,7 +12856,7 @@ @InProceedings{newell-et-al-ifip1959 author = "Allen Newell and J. C. Shaw and Herbert A. Simon", title = "Report on General Problem-Solving Program", booktitle = "Proceedings of the 1st International Conference on - Information Processing (IFIP 1959)", + Information Processing ({IFIP} 1959)", year = "1959", pages = "256--264" } @@ -12989,7 +13000,7 @@ @InProceedings{nissim-et-al-ipc2011 author = "Raz Nissim and J{\"o}rg Hoffmann and Malte Helmert", title = "The {Merge-and-Shrink} Planner: Bisimulation-based Abstraction for Optimal Planning", - booktitle = "IPC 2011 Planner Abstracts", + booktitle = "{IPC} 2011 Planner Abstracts", year = "2011", pages = "106--107" } @@ -13025,9 +13036,16 @@ @InProceedings{nunez-molina-et-al-ecai2024 } @InProceedings{ocon-et-al-iac2018, - author = "Jorge Oc{\'o}n and Francisco Colmenero and Joaquin Estremera and Karl Buckley and Mercedes Alonso and Enrique Heredia and Javier Garcia and Andrew Coles and Amanda Coles and Moises Mart\'{\i}nez and Emre Sava\c{s} and Florian Pommerening and Thomas Keller and Spyros Karachalios and Mark Woods and Iulia Dragomir and Saddek Bensalem and Pierre Dissaux and Arnaud Schach", + author = "Jorge Oc{\'o}n and Francisco Colmenero and Joaquin Estremera + and Karl Buckley and Mercedes Alonso and Enrique Heredia and + Javier Garcia and Andrew Coles and Amanda Coles and Moises + Mart\'{\i}nez and Emre Sava\c{s} and Florian Pommerening and + Thomas Keller and Spyros Karachalios and Mark Woods and Iulia + Dragomir and Saddek Bensalem and Pierre Dissaux and Arnaud + Schach", title = "The {ERGO} Framework and its Use in Planetary/Orbital Scenarios", - booktitle = "Proceedings of the 69th International Astronautical Congress (IAC 2018)", + booktitle = "Proceedings of the 69th International Astronautical Congress + ({IAC} 2018)", year = "2018" } @@ -13078,7 +13096,7 @@ @InProceedings{orseau-lelis-aaai2021 @Book{osborne-rubinstein-1994, author = "Martin J. Osborne and Ariel Rubinstein", title = "A course in game theory", - publisher = "MIT press", + publisher = "{MIT} press", year = "1994" } @@ -13095,7 +13113,7 @@ @Proceedings{palacios-et-al-2021 Scott Sanner and Anders Jonsson and Andrey Kolobov and Alan Fern", title = "Proceedings of the 2nd Workshop on Bridging the Gap - Between {AI} Planning and Reinforcement Learning (PRL)", + Between {AI} Planning and Reinforcement Learning ({PRL})", year = "2021" } @@ -13121,7 +13139,7 @@ @Book{papadimitriou-1985 title = "A note the expressive power of Prolog", publisher = "Addison-Wesley", year = "1985", - journal = "Bulletin of the EATCS", + journal = "Bulletin of the {EATCS}", volume = "26", pages = "21--22", } @@ -13268,7 +13286,7 @@ @InProceedings{pearl-ijcai1981 @Article{peasgood-et-al-ieeerob2008, author = "Mike Peasgood and Christopher Michael Clark and John McPhee", title = "Complete and Scalable Multi-Robot Roadmap Coordination Planning", - journal = "IEEE Transactions on Robotics", + journal = "{IEEE} Transactions on Robotics", volume = "24", number = "2", pages = "283--292", @@ -13375,7 +13393,7 @@ @InProceedings{pessoa-isaac2004 in Bidirectional Pipeline Networks", pages = "766--777", booktitle = "Algorithms and Computation, 15th International - Symposium (ISAAC 2004)", + Symposium ({ISAAC} 2004)", editor = "Rudolf Fleischer and Gerhard Trippen", series = lncs, volume = "3341", @@ -13464,7 +13482,7 @@ @InProceedings{pnueli-focs1977 author = "Amir Pnueli", title = "The Temporal Logic of Programs", booktitle = "Proceedings of the 18th Annual Symposium on - Foundations of Computer Science (FOCS 1977)", + Foundations of Computer Science ({FOCS} 1977)", pages = "46--57", year = "1977" } @@ -13514,13 +13532,13 @@ @Book{polya-1945 title = "How to Solve It: A New Aspect of Mathematical Method", publisher = "Princeton University Press", year = "1945", - address = "Princeton, NJ" + address = "Princeton, {NJ}" } @Article{polyak-dansssr1967, author = "Boris T. Polyak", title = "A general method for solving extremal problems", - journal = "Doklady Akademii Nauk SSSR", + journal = "Doklady Akademii Nauk {SSSR}", volume = "174", year = "1967", pages = "33--36", @@ -13698,7 +13716,7 @@ @InProceedings{porteous-cresswell-plansig2002 title = "Extending Landmarks Analysis to Reason about Resources and Repetition", booktitle = "Proceedings of the 21st Workshop of the UK Planning and - Scheduling Special Interest Group (PLANSIG '02)", + Scheduling Special Interest Group ({PLANSIG} 2002)", year = "2002", pages = "45--54" } @@ -13717,7 +13735,7 @@ @InProceedings{porteous-sebastia-plansig2000 author = "Julie Porteous and Laura Sebastia", title = "Extracting and Ordering Landmarks for Planning", booktitle = "Proceedings of the 19th Workshop of the UK Planning and - Scheduling Special Interest Group (PlanSIG 2000)", + Scheduling Special Interest Group ({PlanSIG} 2000)", year = "2000" } @@ -13769,7 +13787,7 @@ @InProceedings{puget-ismis1993 Satisfaction Problems", pages = "350--361", booktitle = "Proceedings of the 7th International Symposium on - Methodologies for Intelligent Systems (ISMIS 1993)", + Methodologies for Intelligent Systems ({ISMIS} 1993)", year = "1993" } @@ -13863,7 +13881,7 @@ @Article{rankooh-ghassem-sani-jair2015 @Article{raphael-ieeepami2001, author = "Christopher Raphael", title = "Coarse-to-Fine Dynamic Programming", - journal = "IEEE Transactions on Pattern Analysis + journal = "{IEEE} Transactions on Pattern Analysis and Machine Intelligence", year = "2001", volume = "23", @@ -13931,7 +13949,7 @@ @InProceedings{reffel-edelkamp-fm1999 @Article{reinefeld-marsland-ieeepami1994, author = "Alexander Reinefeld and T. Anthony Marsland", title = "Enhanced Iterative-Deepening Search", - journal = "IEEE Transactions on Pattern Analysis + journal = "{IEEE} Transactions on Pattern Analysis and Machine Intelligence", year = "1994", volume = "16", @@ -13953,7 +13971,7 @@ @Book{reiter2001 author = "Raymond Reiter", title = "Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems", - publisher = "MIT Press", + publisher = "{MIT} Press", year = "2001" } @@ -13964,8 +13982,8 @@ @InProceedings{rey-et-al-fss2015symposia Dam Management Using Factored Markov Decision Processess", pages = "69--74", booktitle = "Sequential Decision Making for Intelligent Agents: Papers from - the AAAI Fall Symposium", - publisher = "AAAI Press", + the {AAAI} Fall Symposium", + publisher = "{AAAI} Press", year = "2015", } @@ -14020,7 +14038,7 @@ @InProceedings{richter-et-al-icaps2010 @InProceedings{richter-et-al-ipc2011, author = "Silvia Richter and Matthias Westphal and Malte Helmert", title = "{LAMA} 2008 and 2011 (planner abstract)", - booktitle = "IPC 2011 Planner Abstracts", + booktitle = "{IPC} 2011 Planner Abstracts", year = "2011", pages = "50--54" } @@ -14243,7 +14261,7 @@ @InProceedings{rintanen-icaps2007 @InProceedings{rintanen-ijcai2011, author = "Jussi Rintanen", - title = "Planning with {SAT}, Admissible Heuristics and {A*}", + title = "Planning with {SAT}, Admissible Heuristics and {A${}^*$}", pages = "2015--2020", crossref = "ijcai2011" } @@ -14258,7 +14276,7 @@ @InProceedings{rintanen-ijcai2017 @InProceedings{rintanen-ipc2011, author = "Jussi Rintanen", title = "Madagascar: Scalable Planning with {SAT}", - booktitle = "IPC 2011 Planner Abstracts", + booktitle = "{IPC} 2011 Planner Abstracts", year = "2011", pages = "61--64" } @@ -14499,7 +14517,7 @@ @Article{rokicki-et-al-siam2014 author = "Tomas Rokicki and Herbert Kociemba and Morley Davidson and John Dethridge", title = "The Diameter of the {Rubik's Cube} Group is Twenty", - journal = "SIAM Review", + journal = "{SIAM} Review", year = "2014", volume = "56", number = "4", @@ -14723,7 +14741,7 @@ @InProceedings{sagiv-et-al-popl1999 author = "Mooly Sagiv and Thomas Reps and Reinhard Wilhelm", title = "Parametric shape analysis via 3-valued logic", booktitle = "Proceedings of the Twenty-sixth {ACM SIGPLAN-SIGACT} - Symposium on Principles of Programming Languages (POPL 1999)", + Symposium on Principles of Programming Languages ({POPL} 1999)", year = "1999", pages = "105--118" } @@ -14847,7 +14865,7 @@ @Article{scarselli-et-al-ieeenn2009 Markus Hagenbuchner and Gabriele Monfardini", title = "The Graph Neural Network Model", journal = ieeenn, - publisher = "IEEE", + publisher = "{IEEE}", volume = "20", number = "1", year = "2009", @@ -14870,8 +14888,8 @@ @InProceedings{schaefer-stoc1976 title = "Complexity of Decision Problems Based on Finite Two-Person Perfect-Information Games", booktitle = "Proceedings of the Eighth Annual ACM Symposium on - Theory of Computing (STOC '76)", - publisher = "ACM Press", + Theory of Computing ({STOC} 1976)", + publisher = "{ACM} Press", address = "New York", year = "1976", pages = "41--49" @@ -14883,8 +14901,8 @@ @InProceedings{schaefer-stoc1978 author = "Thomas J. Schaefer", title = "The Complexity of Satisfiability Problems", booktitle = "Proceedings of the Tenth Annual ACM Symposium on - Theory of Computing (STOC '78)", - publisher = "ACM Press", + Theory of Computing ({STOC} 1978)", + publisher = "{ACM} Press", address = "New York", year = "1978", pages = "216--226" @@ -14898,9 +14916,7 @@ @InProceedings{schaeffer-et-al-ijcai2005 Burch and Akihiro Kishimoto and Martin M{\"u}ller and Rob Lake and Paul Lu and Steve Sutphen", title = "Solving Checkers", - booktitle = "Proceedings of the International Joint Conference on - Artificial Intelligence (IJCAI 2005)", - year = "2005", + crossref = "ijcai2005", pages = "292--297" } @@ -15010,7 +15026,7 @@ @Article{schweitzer-seidmann-jmam1985 @Article{sebastia-et-al-aicom2006, author = "Laura Sebastia and Eva Onaindia and Eliseo Marzal", title = "Decomposition of planning problems", - journal = "AI Communications", + journal = "{AI} Communications", volume = "19", number = "1", year = "2006", @@ -15541,8 +15557,9 @@ @InProceedings{shaik-vandepol-iccad2023 title = "Optimal layout synthesis for quantum circuits as classical planning", pages = "1--9", - booktitle = "Proceedings of International Conference on Computer Aided Design (ICCAD)", - publisher = "IEEE/ACM", + booktitle = "Proceedings of International Conference on Computer Aided + Design ({ICCAD} 2023)", + publisher = "{IEEE/ACM}", year = "2023" } @@ -15611,8 +15628,8 @@ @InProceedings{shen-et-al-icassp2018 Zhifeng Chen and Yu Zhang and Yuxuan Wang and Rj Skerrv-Ryan and Rif A. Saurous and Yannis Agiomvrgiannakis and Yonghui Wu", title = "Natural {TTS} Synthesis by Conditioning Wavenet on {MEL} Spectrogram Predictions", - booktitle = "Proceedings of the 2018 IEEE International Conference on - Acoustics, Speech and Signal Processing (ICASSP 2018)", + booktitle = "Proceedings of the 2018 {IEEE} International Conference on + Acoustics, Speech and Signal Processing ({ICASSP} 2018)", pages = "4779--4783", year = "2018" } @@ -15976,7 +15993,7 @@ @InProceedings{silver-aiide2005 author = "David Silver", title = "Cooperative Pathfinding", booktitle = "Proceedings of the First Artificial Intelligence and - Interactive Digital Entertainment Conference (AIIDE 2005)", + Interactive Digital Entertainment Conference ({AIIDE} 2005)", year = "2005", pages = "117--122" } @@ -16620,7 +16637,7 @@ @InProceedings{stearns-et-al-swct1965 {II}", title = "Hierarchies of memory limited computations", booktitle = "Proceedings of the Sixth Annual Symposium on Switching Circuit - Theory and Logical Design (SWCT 1965)", + Theory and Logical Design ({SWCT} 1965)", publisher = "{IEEE} Computer Society", year = "1965", pages = "179--190", @@ -16817,7 +16834,7 @@ @InProceedings{sturtevant-felner-aaai2018 @Article{sturtevant-ieeetciaig2012, author = "Nathan R. Sturtevant", title = "Benchmarks for Grid-Based Pathfinding", - journal = "IEEE Transactions on Computational Intelligence and AI in Games", + journal = "{IEEE} Transactions on Computational Intelligence and AI in Games", volume = "4", number = "2", pages = "144--148", @@ -16885,8 +16902,8 @@ @InProceedings{surynek-ictai2009 @Book{sutton-barto-1998, author = "Richard S. Sutton and Andrew G. Barto", title = "Reinforcement Learning: An Introduction", - publisher = "MIT Press", - address = "Cambridge, MA, USA", + publisher = "{MIT} Press", + address = "Cambridge, {MA}, {USA}", year = "1998" } @@ -17056,7 +17073,7 @@ @InProceedings{thomas-cav2002 author = "Wolfgang Thomas", title = "Infinite Games and Verification", booktitle = "Computer Aided Verification: 14th International - Conference (CAV 2002)", + Conference ({CAV} 2002)", publisher = "Springer-Verlag", address = "New York", year = "2002", @@ -17198,7 +17215,7 @@ @InProceedings{torralba-et-al-ipc2014b @InProceedings{torralba-et-al-ipc2014c, author = "{\'A}lvaro Torralba and Vidal {Alc\'azar} and Daniel Borrajo and Peter Kissmann and Stefan Edelkamp", - title = "{SymBA*}: A Symbolic Bidirectional {A*} Planner", + title = "{SymBA${}^*$}: A Symbolic Bidirectional {A${}^*$} Planner", crossref = "ipc2014", pages = "105--109" } @@ -17259,7 +17276,7 @@ @PhdThesis{torralba-phd2015 author = "{\'A}lvaro Torralba", title = "Symbolic Search and Abstraction Heuristics for Cost-Optimal Planning", - school = "Universidad Carlos III de Madrid", + school = "Universidad Carlos {III} de Madrid", year = "2015" } @@ -17296,7 +17313,7 @@ @Article{torreno-et-al-acmcs2017 author = "Alejandro Torre{\~n}o and Eva Onaindia and Anton{\'i}n Komenda and Michal \v{S}tolba", title = "Cooperative Multi-Agent Planning: {A} Survey", - journal = "ACM Computing Surveys", + journal = "{ACM} Computing Surveys", volume = "50", number = "6", year = "2017", @@ -17363,7 +17380,8 @@ @InProceedings{trevizan-et-al-ijcai2017 @InCollection{tseitin-scmml1968, author = "Grigori Tseitin", title = "On the Complexity of Derivation in the Propositional Calculus", - booktitle = "Studies in Constructive Mathematics and Mathematical Logic, Part II", + booktitle = "Studies in Constructive Mathematics and Mathematical Logic, + Part {II}", year = "1968", pages = "115--125", publisher = "Consultants Bureau, New York", @@ -17473,7 +17491,7 @@ @InProceedings{vallati-et-al-ipc2011 Holger Hoos and Alessandro Saetti", title = "{ParLPG}: Generating Domain-Specific Planners through Automatic Parameter Configuration in {LPG}", - booktitle = "IPC 2011 Planner Abstracts, Planning and Learning Part", + booktitle = "{IPC} 2011 Planner Abstracts, Planning and Learning Part", year = "2011" } @@ -17697,7 +17715,7 @@ @InProceedings{vangelder-isaim2008 @InProceedings{vangelder-lpar2005, author = "Allen {van Gelder}", title = "Pool Resolution and its Relation to Regular Resolution and {DPLL} with Clause Learning", - booktitle = "Proc.\ LPAR 2005", + booktitle = "Proc.\ {LPAR} 2005", year = "2005", pages = "580--594" } @@ -17705,7 +17723,7 @@ @InProceedings{vangelder-lpar2005 @Misc{vanmeerbeeck-et-al-cpaior2024, author = "Damien {Van Meerbeeck} and Gilles Pesant and Jendrik Seipp", title = "End-to-End Classical Planning using {CP} and Belief Propagation (Extended Abstract)", - howpublished = "Extended Abstracts Presented at CPAIOR 2024", + howpublished = "Extended Abstracts Presented at {CPAIOR} 2024", year = "2024", } @@ -17736,7 +17754,7 @@ @InProceedings{vardi-stoc1982 editor = "Harry R. Lewis and Barbara B. Simons and Walter A. Burkhard and Lawrence H. Landweber", booktitle = "Proceedings of the Fourteenth Annual {ACM} Symposium on - Theory of Computing (STOC '82)", + Theory of Computing ({STOC} 1982)", publisher = "{ACM} Press", year = "1982", pages = "137--146" @@ -17789,7 +17807,7 @@ @InProceedings{vidal-icaps2004 @InProceedings{vidal-ipc2011, author = "Vincent Vidal", title = "{YAHSP}2: Keep It Simple, Stupid", - booktitle = "IPC 2011 Planner Abstracts", + booktitle = "{IPC} 2011 Planner Abstracts", year = "2011", pages = "83--90" } @@ -17949,7 +17967,7 @@ @InProceedings{wehrle-helmert-sas2009 author = "Martin Wehrle and Malte Helmert", title = "The Causal Graph Revisited for Directed Model Checking", booktitle = "Proceedings of the 16th International Static Analysis - Symposium (SAS 2009)", + Symposium ({SAS} 2009)", year = "2009", pages = "86--101" } @@ -18009,7 +18027,7 @@ @InProceedings{west-et-al-plansig2002 author = "Margaret M. West and Diane E. Kitchin and T.L. McCluskey", title = "Validating Planning Domain Models Using {B-AMN}", booktitle = "Proceedings of the 21st Workshop of the UK Planning and - Scheduling Special Interest Group (PLANSIG '02)", + Scheduling Special Interest Group ({PLANSIG} 2002)", year = "2002", } @@ -18547,8 +18565,10 @@ @Article{zhou-hansen-aij2006 @InProceedings{zhou-naroditskiy-www2008, author = "Yunhong Zhou and Victor Naroditskiy", - title = "An Algorithm for Stochastic Multiple-Choice Knapsack Problem and Keywords Bidding", - booktitle = "Proceedings of the 17th International World Wide Web Conference (WWW 2008)", + title = "An Algorithm for Stochastic Multiple-Choice Knapsack Problem + and Keywords Bidding", + booktitle = "Proceedings of the 17th International World Wide Web + Conference ({WWW} 2008)", year = "2008", pages = "1175--1176" } @@ -18557,7 +18577,7 @@ @InProceedings{zhou-naroditskiy-www2008 @InProceedings{zhu-givan-icaps2003dc, author = "Lin Zhu and Robert Givan", title = "Landmark Extraction via Planning Graph Propagation", - booktitle = "ICAPS 2003 Doctoral Consortium", + booktitle = "{ICAPS} 2003 Doctoral Consortium", year = "2003", pages = "156--160" } @@ -18611,7 +18631,7 @@ @Proceedings{zilberstein-et-al-2004 editor = "Shlomo Zilberstein and Jana Koehler and Sven Koenig", title = "Proceedings of the Fourteenth International Conference on Automated Planning and Scheduling ({ICAPS} 2004)", - publisher = "AAAI Press", + publisher = "{AAAI} Press", year = "2004" }