crossref.bib

%%%%% Conference proceedings, long form.
%
% Sorted by key. When adding new entries, also add a short form
% to crossref-short.bib.
%
% For formatting instructions, please see literatur.bib.
%
% Do not cite directly. Instead, add a Book entry in literatur.bib.
%
@Proceedings{aaai1991,
  title =        "Proceedings of the Ninth National Conference on
                  Artificial Intelligence ({AAAI} 1991)",
  booktitle =    "Proceedings of the Ninth National Conference on
                  Artificial Intelligence ({AAAI} 1991)",
  publisher =    "{AAAI} Press",
  year =         "1991"
}

@Proceedings{aaai1993,
  title =        "Proceedings of the Eleventh National Conference on
                  Artificial Intelligence ({AAAI} 1993)",
  booktitle =    "Proceedings of the Eleventh National Conference on
                  Artificial Intelligence ({AAAI} 1993)",
  publisher =    "{AAAI} Press/{MIT} Press",
  year =         "1993"
}

% Data taken from DBLP.
@Proceedings{aaai1994,
  title =        "Proceedings of the Twelfth National Conference on
                  Artificial Intelligence ({AAAI} 1994)",
  booktitle =    "Proceedings of the Twelfth National Conference on
                  Artificial Intelligence ({AAAI} 1994)",
  publisher =    "{AAAI} Press",
  year =         "1994"
}

% Data taken from DBLP.
% NOTE: No editor (verified).
@Proceedings{aaai1996,
  title =        "Proceedings of the Thirteenth National Conference on
                  Artificial Intelligence ({AAAI} 1996)",
  booktitle =    "Proceedings of the Thirteenth National Conference on
                  Artificial Intelligence ({AAAI} 1996)",
  publisher =    "{AAAI} Press",
  year =         "1996"
}

% Data taken from AAAI Press homepage.
% NOTE: No editor (verified).
@Proceedings{aaai1997,
  title =        "Proceedings of the Fourteenth National Conference on
                  Artificial Intelligence ({AAAI} 1997)",
  booktitle =    "Proceedings of the Fourteenth National Conference on
                  Artificial Intelligence ({AAAI} 1997)",
  publisher =    "{AAAI} Press",
  year =         "1997"
}

% Data taken from AAAI Press homepage.
@Proceedings{aaai1998,
  editor =       "Charles Rich and Jack Mostow",
  title =        "Proceedings of the Fifteenth National Conference on
                  Artificial Intelligence ({AAAI} 1998)",
  booktitle =    "Proceedings of the Fifteenth National Conference on
                  Artificial Intelligence ({AAAI} 1998)",
  publisher =    "{AAAI} Press",
  year =         "1998"
}

% Data taken from DBLP.
@Proceedings{aaai1999,
  title =        "Proceedings of the Sixteenth National Conference on
                  Artificial Intelligence ({AAAI} 1999)",
  booktitle =    "Proceedings of the Sixteenth National Conference on
                  Artificial Intelligence ({AAAI} 1999)",
  publisher =    "{AAAI} Press",
  year =         "1999"
}

% Data taken from AAAI Press homepage.
@Proceedings{aaai2000,
  editor =       "Henry Kautz and Bruce Porter",
  title =        "Proceedings of the Seventeenth National Conference on
                  Artificial Intelligence ({AAAI} 2000)",
  booktitle =    "Proceedings of the Seventeenth National Conference on
                  Artificial Intelligence ({AAAI} 2000)",
  publisher =    "{AAAI} Press",
  year =         "2000"
}

% Data taken from AAAI Press homepage.
@Proceedings{aaai2002,
  title =        "Proceedings of the Eighteenth National Conference on
                  Artificial Intelligence ({AAAI} 2002)",
  booktitle =    "Proceedings of the Eighteenth National Conference on
                  Artificial Intelligence ({AAAI} 2002)",
  publisher =    "{AAAI} Press",
  year =         "2002"
}

@Proceedings{aaai2004,
  title =        "Proceedings of the Nineteenth National Conference on
                  Artificial Intelligence ({AAAI} 2004)",
  booktitle =    "Proceedings of the Nineteenth National Conference on
                  Artificial Intelligence ({AAAI} 2004)",
  publisher =    "{AAAI} Press",
  year =         "2004"
}

% Data taken from AAAI Press homepage.
@Proceedings{aaai2005,
  title =        "Proceedings of the Twentieth National Conference on
                  Artificial Intelligence ({AAAI} 2005)",
  booktitle =    "Proceedings of the Twentieth National Conference on
                  Artificial Intelligence ({AAAI} 2005)",
  publisher =    "{AAAI} Press",
  year =         "2005"
}

% Data taken from AAAI Press homepage.
@Proceedings{aaai2006,
  title =        "Proceedings of the Twenty-First National Conference on
                  Artificial Intelligence ({AAAI} 2006)",
  booktitle =    "Proceedings of the Twenty-First National Conference on
                  Artificial Intelligence ({AAAI} 2006)",
  publisher =    "{AAAI} Press",
  year =         "2006"
}

@Proceedings{aaai2006wslearningforsearch,
  editor =       "Wheeler Ruml and Frank Hutter",
  title =        "{AAAI} 2006 Workshop on Learning for Search",
  booktitle =    "{AAAI} 2006 Workshop on Learning for Search",
  year =         "2006"
}

% Data taken from AAAI Press homepage.
@Proceedings{aaai2007,
  title =        "Proceedings of the Twenty-Second {AAAI} Conference on
                  Artificial Intelligence ({AAAI} 2007)",
  booktitle =    "Proceedings of the Twenty-Second {AAAI} Conference on
                  Artificial Intelligence ({AAAI} 2007)",
  publisher =    "{AAAI} Press",
  year =         "2007"
}

% Data taken from AAAI Press homepage.
@Proceedings{aaai2008,
  title =        "Proceedings of the Twenty-Third {AAAI} Conference on
                  Artificial Intelligence ({AAAI} 2008)",
  booktitle =    "Proceedings of the Twenty-Third {AAAI} Conference on
                  Artificial Intelligence ({AAAI} 2008)",
  publisher =    "{AAAI} Press",
  year =         "2008"
}

@Proceedings{aaai2008wssearch,
  editor =       "David Furcy and Sven Koenig and Wheeler Ruml and
                  Rong Zhou",
  title =        "{AAAI} 2008 Workshop on Search in Artificial
                  Intelligence and Robotics",
  booktitle =    "{AAAI} 2008 Workshop on Search in Artificial
                  Intelligence and Robotics",
  year =         "2008"
}

@Proceedings{aaai2010,
  editor =       "Maria Fox and David Poole",
  title =        "Proceedings of the Twenty-Fourth {AAAI} Conference on
                  Artificial Intelligence ({AAAI} 2010)",
  booktitle =    "Proceedings of the Twenty-Fourth {AAAI} Conference on
                  Artificial Intelligence ({AAAI} 2010)",
  publisher =    "{AAAI} Press",
  year =         "2010"
}

@Proceedings{aaai2011,
  editor =       "Wolfram Burgard and Dan Roth",
  title =        "Proceedings of the Twenty-Fifth {AAAI} Conference on Artificial
                  Intelligence ({AAAI} 2011)",
  booktitle =    "Proceedings of the Twenty-Fifth {AAAI} Conference on Artificial
                  Intelligence ({AAAI} 2011)",
  publisher =    "{AAAI} Press",
  year =         "2011"
}

@Proceedings{aaai2012,
  editor =       "J{\"o}rg Hoffmann and Bart Selman",
  title =        "Proceedings of the Twenty-Sixth {AAAI} Conference on Artificial
                  Intelligence ({AAAI} 2012)",
  booktitle =    "Proceedings of the Twenty-Sixth {AAAI} Conference on Artificial
                  Intelligence ({AAAI} 2012)",
  publisher =    "{AAAI} Press",
  year =         "2012"
}

@Proceedings{aaai2012wsproblem,
  editor =       "Hector Palacios and Patrik Haslum and Jorge Baier",
  title =        "{AAAI} 2012 Workshop on Problem Solving Using Classical Planners",
  booktitle =    "{AAAI} 2012 Workshop on Problem Solving Using Classical Planners",
  year =         "2012"
}

@Proceedings{aaai2013,
  editor =       "Marie desJardins and Michael L. Littman",
  title =        "Proceedings of the Twenty-Seventh {AAAI} Conference on
                  Artificial Intelligence ({AAAI} 2013)",
  booktitle =    "Proceedings of the Twenty-Seventh {AAAI} Conference on
                  Artificial Intelligence ({AAAI} 2013)",
  publisher =    "{AAAI} Press",
  year =         "2013"
}

@Proceedings{aaai2013lbp,
  editor =       "Marie desJardins and Michael L. Littman",
  title =        "Late-Breaking Developments in the Field of
                  Artificial Intelligence -- Papers Presented at the
                  Twenty-Seventh {AAAI} Conference on Artificial Intelligence
                  ({AAAI} 2013) -- {AAAI} Technical Report WS-13-17",
  booktitle =    "Late-Breaking Developments in the Field of
                  Artificial Intelligence -- Papers Presented at the
                  Twenty-Seventh {AAAI} Conference on Artificial Intelligence
                  ({AAAI} 2013) -- {AAAI} Technical Report WS-13-17",
  publisher =    "{AAAI} Press",
  year =         "2013"
}

@Proceedings{aaai2014,
  editor =       "Carla E. Brodley and Peter Stone",
  title =        "Proceedings of the Twenty-Eighth {AAAI} Conference on
                  Artificial Intelligence ({AAAI} 2014)",
  booktitle =    "Proceedings of the Twenty-Eighth {AAAI} Conference on
                  Artificial Intelligence ({AAAI} 2014)",
  publisher =    "{AAAI} Press",
  year =         "2014"
}

@Proceedings{aaai2015,
  editor =       "Blai Bonet and Sven Koenig",
  title =        "Proceedings of the Twenty-Ninth {AAAI} Conference on
                  Artificial Intelligence ({AAAI} 2015)",
  booktitle =    "Proceedings of the Twenty-Ninth {AAAI} Conference on
                  Artificial Intelligence ({AAAI} 2015)",
  publisher =    "{AAAI} Press",
  year =         "2015"
}

@Proceedings{aaai2015wsplansopt,
  editor =       "J. Christopher Beck and Robert Holte and Thorsten Koch and Sylvie Thi{\'e}baux",
  title =        "{AAAI} 2015 Workshop on Planning, Search, and Optimization",
  booktitle =    "{AAAI} 2015 Workshop on Planning, Search, and Optimization",
  year =         "2015"
}

@Proceedings{aaai2016,
  editor =       "Dale Schuurmans and Michael Wellman",
  title =        "Proceedings of the Thirtieth {AAAI} Conference on
                  Artificial Intelligence ({AAAI} 2016)",
  booktitle =    "Proceedings of the Thirtieth {AAAI} Conference on
                  Artificial Intelligence ({AAAI} 2016)",
  publisher =    "{AAAI} Press",
  year =         "2016"
}

@Proceedings{aaai2017,
  editor =       "Satinder Singh and Shaul Markovitch",
  title =        "Proceedings of the Thirty-First {AAAI} Conference on
                  Artificial Intelligence ({AAAI} 2017)",
  booktitle =    "Proceedings of the Thirty-First {AAAI} Conference on
                  Artificial Intelligence ({AAAI} 2017)",
  publisher =    "{AAAI} Press",
  year =         "2017"
}

% No editors mentioned on https://www.aaai.org/Library/AAAI/aaai18contents.php
@Proceedings{aaai2018,
  title =        "Proceedings of the Thirty-Second {AAAI} Conference on
                  Artificial Intelligence ({AAAI} 2018)",
  booktitle =    "Proceedings of the Thirty-Second {AAAI} Conference on
                  Artificial Intelligence ({AAAI} 2018)",
  publisher =    "{AAAI} Press",
  year =         "2018"
}

% No editors mentioned on https://www.aaai.org/Library/AAAI/aaai19contents.php
@Proceedings{aaai2019,
  title =        "Proceedings of the Thirty-Third {AAAI} Conference on
                  Artificial Intelligence ({AAAI} 2019)",
  booktitle =    "Proceedings of the Thirty-Third {AAAI} Conference on
                  Artificial Intelligence ({AAAI} 2019)",
  publisher =    "{AAAI} Press",
  year =         "2019"
}

@Proceedings{aaai2020,
  editor =       "Vincent Conitzer and Fei Sha",
  title =        "Proceedings of the Thirty-Fourth {AAAI} Conference on
                  Artificial Intelligence ({AAAI} 2020)",
  booktitle =    "Proceedings of the Thirty-Fourth {AAAI} Conference on
                  Artificial Intelligence ({AAAI} 2020)",
  publisher =    "{AAAI} Press",
  year =         "2020"
}

@Proceedings{aaai2021,
  editor =       "Kevin Leyton-Brown and Mausam",
  title =        "Proceedings of the Thirty-Fifth {AAAI} Conference on
                  Artificial Intelligence ({AAAI} 2021)",
  booktitle =    "Proceedings of the Thirty-Fifth {AAAI} Conference on
                  Artificial Intelligence ({AAAI} 2021)",
  publisher =    "{AAAI} Press",
  year =         "2021"
}

@Proceedings{aaai2022,
  editor =       "Vasant Honavar and Matthijs Spaan",
  title =        "Proceedings of the Thirty-Sixth {AAAI} Conference on
                  Artificial Intelligence ({AAAI} 2022)",
  booktitle =    "Proceedings of the Thirty-Sixth {AAAI} Conference on
                  Artificial Intelligence ({AAAI} 2022)",
  publisher =    "{AAAI} Press",
  year =         "2022"
}

@Proceedings{aaai2023,
  editor =       "Yiling Chen and Jennifer Neville",
  title =        "Proceedings of the Thirty-Seventh {AAAI} Conference on
                  Artificial Intelligence ({AAAI} 2023)",
  booktitle =    "Proceedings of the Thirty-Seventh {AAAI} Conference on
                  Artificial Intelligence ({AAAI} 2023)",
  publisher =    "{AAAI} Press",
  year =         "2023"
}

@Proceedings{aaai2024,
  editor =       "Jennifer Dy and Sriraam Natarajan",
  title =        "Proceedings of the Thirty-Eighth {AAAI} Conference on
                  Artificial Intelligence ({AAAI} 2024)",
  booktitle =    "Proceedings of the Thirty-Eighth {AAAI} Conference on
                  Artificial Intelligence ({AAAI} 2024)",
  publisher =    "{AAAI} Press",
  year =         "2024"
}

@Proceedings{aamas2010,
  editor =       "W. van der Hoek and G.A. Kaminka and Y. Lesp{\'e}rance and M. Luck and S. Sen",
  title =        "Proceedings of the 9th International Conference
                  on Autonomous Agents and Multi-Agent Systems ({AAMAS}
                  2010)",
  booktitle =    "Proceedings of the 9th International Conference
                  on Autonomous Agents and Multi-Agent Systems ({AAMAS}
                  2010)",
  publisher =    "{IFAAMAS/ACM}",
  year =         "2010"
}

@Proceedings{aamas2013,
  editor =       "Maria L. Gini and Onn Shehory and Takayuki Ito and Catholijn
                  M. Jonker",
  title =        "Proceedings of the 2013 International Conference
                  on Autonomous Agents and Multi-Agent Systems ({AAMAS}
                  2013)",
  booktitle =    "Proceedings of the 2013 International Conference
                  on Autonomous Agents and Multi-Agent Systems ({AAMAS}
                  2013)",
  publisher =    "{IFAAMAS/ACM}",
  year =         "2013"
}

@Proceedings{aamas2014,
  editor =       "Ana L. C. Bazzan and Michael N. Huhns and Alessio
                  Lomuscio and Paul Scerri",
  title =        "Proceedings of the Thirteenth International Conference
                  on Autonomous Agents and Multi-Agent Systems ({AAMAS}
                  2014)",
  booktitle =    "Proceedings of the Thirteenth International Conference
                  on Autonomous Agents and Multi-Agent Systems ({AAMAS}
                  2014)",
  publisher =    "{IFAAMAS/ACM}",
  year =         "2014"
}

@Proceedings{aamas2016,
  editor =       "Catholijn M. Jonker and Stacy Marcella and John Thangarajah
                  and Karl Tuyls",
  title =        "Proceedings of the 2016 International Conference
                  on Autonomous Agents and Multi-Agent Systems ({AAMAS}
                  2016)",
  booktitle =    "Proceedings of the 2016 International Conference
                  on Autonomous Agents and Multi-Agent Systems ({AAMAS}
                  2016)",
  publisher =    "{ACM}",
  year =         "2016"
}

@Proceedings{ai2013,
  editor =       "Stephen Cranefield and Abhaya Nayak",
  title =        "Proceedings of the 26th Australasian Joint Conference
                  on Artificial Intelligence (AI 2013)",
  booktitle =    "Proceedings of the 26th Australasian Joint Conference
                  on Artificial Intelligence (AI 2013)",
  publisher =    "Springer-Verlag",
  year =         "2013",
  volume =       "8272",
  series =       lnai
}

@Proceedings{aiide2015,
  editor =       "Arnav Jhala and Nathan Sturtevant",
  title =        "Proceedings of the Eleventh AAAI Conference on
                  Artificial Intelligence and Interactive Digital
                  Entertainment (AIIDE 2015)",
  booktitle =    "Proceedings of the Eleventh AAAI Conference on
                  Artificial Intelligence and Interactive Digital
                  Entertainment (AIIDE 2015)",
  publisher =    "{AAAI} Press",
  year =         "2015"
}

@Proceedings{aips1992,
  editor =       "James Hendler",
  title =        "Proceedings of the 1st International Conference on
                  Artificial Intelligence Planning Systems ({AIPS} 1992)",
  booktitle =    "Proceedings of the 1st International Conference on
                  Artificial Intelligence Planning Systems ({AIPS} 1992)",
  publisher =    "Morgan Kaufmann",
  year =         "1992",
}

@Proceedings{aips1996,
  editor =       "Brian Drabble",
  title =        "Proceedings of the Third International Conference on
                  Artificial Intelligence Planning Systems
                  ({AIPS} 1996)",
  booktitle =    "Proceedings of the Third International Conference on
                  Artificial Intelligence Planning Systems
                  ({AIPS} 1996)",
  publisher =    "AAAI Press",
  year =         "1996"
}

% Data verified.
% Available in printed form.
@Proceedings{aips2000,
  editor =       "Steve Chien and Subbarao Kambhampati and Craig
                  A. Knoblock",
  title =        "Proceedings of the Fifth International Conference
                  on Artificial Intelligence Planning and Scheduling
                  ({AIPS} 2000)",
  booktitle =    "Proceedings of the Fifth International Conference
                  on Artificial Intelligence Planning and Scheduling
                  ({AIPS} 2000)",
  publisher =    "AAAI Press",
  year =         "2000"
}

% Data taken from Ulrich Scholz's homepage.
@Proceedings{aips2000wsdk,
  title =        "{AIPS-2000} Workshop on Analyzing and Exploiting
                  Domain Knowledge for Efficient Planning",
  booktitle =    "{AIPS-2000} Workshop on Analyzing and Exploiting
                  Domain Knowledge for Efficient Planning",
  year =         "2000"
}

% Data verified.
% Postscript available.
@Proceedings{aips2000wsmt,
  editor =       "Paolo Traverso and Manuela Veloso and Fausto
                  Giunchiglia",
  title =        "Proceedings of the {AIPS 2000} Workshop on
                  Model-Theoretic Approaches to Planning",
  booktitle =    "Proceedings of the {AIPS 2000} Workshop on
                  Model-Theoretic Approaches to Planning",
  year =         "2000"
}

% Data verified.
% Available in printed form.
@Proceedings{aips2002,
  editor =       "Malik Ghallab and Joachim Hertzberg and Paolo Traverso",
  title =        "Proceedings of the Sixth International Conference
                  on Artificial Intelligence Planning and Scheduling
                  ({AIPS} 2002)",
  booktitle =    "Proceedings of the Sixth International Conference
                  on Artificial Intelligence Planning and Scheduling
                  ({AIPS} 2002)",
  publisher =    "AAAI Press",
  year =         "2002"
}

@Proceedings{aistats2013,
  title =        "Proceedings of the Sixteenth International Conference on Artificial
                  Intelligence and Statistics ({AISTATS} 2013)",
  booktitle =    "Proceedings of the Sixteenth International Conference on Artificial
                  Intelligence and Statistics ({AISTATS} 2013)",
  publisher =    "JMLR.org",
  year =         "2013"
}

@Proceedings{aistats2014,
  title =        "Proceedings of the Seventeenth International Conference on Artificial
                  Intelligence and Statistics ({AISTATS} 2014)",
  booktitle =    "Proceedings of the Seventeenth International Conference on Artificial
                  Intelligence and Statistics ({AISTATS} 2014)",
  publisher =    "JMLR.org",
  year =         "2014"
}

@Proceedings{alenex2007,
  title =        "Proceedings of the Ninth Workshop on Algorithm Engineering
                  and Experiments (ALENEX 2007)",
  booktitle =    "Proceedings of the Ninth Workshop on Algorithm Engineering
                  and Experiments (ALENEX 2007)",
  year =         "2007",
  publisher =    "SIAM"
}

@Proceedings{algorithmics2009,
  editor =       "J{\"u}rgen Lerner and
                  Dorothea Wagner and
                  Katharina Anna Zweig",
  title =        "Algorithmics of Large and Complex Networks",
  booktitle =    "Algorithmics of Large and Complex Networks",
  publisher =    "Springer-Verlag",
  series =       lncs,
  volume =       "5515",
  year =         "2009"
}

@Proceedings{atva2009,
  editor =       "Zhiming Liu and Anders P. Ravn",
  title =        "Proceedings of the 7th International Symposium on
                  Automated Technology for Verification and Analysis ({ATVA} 2009)",
  booktitle =    "Proceedings of the 7th International Symposium on
                  Automated Technology for Verification and Analysis ({ATVA} 2009)",
  series =       lncs,
  volume =       "5799",
  publisher =    "Springer-Verlag",
  year =         "2009"
}

@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)",
  series =       "Electronic Notes in Theoretical Computer Science",
  volume =       "128",
  publisher =    "Springer-Verlag",
  year =         "2004"
}

@Proceedings{cai2018,
  editor =       "Ebrahim Bagheri and Jackie C.K. Cheung",
  title =        "Proceedings of the 31st Canadian Conference on
                  Artificial Intelligence (CAI 2018)",
  booktitle =    "Proceedings of the 31st Canadian Conference on
                  Artificial Intelligence (CAI 2018)",
  publisher =    "Springer-Verlag",
  series =       lncs,
  volume =       "10832",
  year =         "2018"
}

@Proceedings{cav1992,
  editor =       "Gregor {von Bochmann} and David K. Probst",
  title =        "Proceedings of the Fourth International Workshop on
                  Computer Aided Verification (CAV 1992)",
  booktitle =    "Proceedings of the Fourth International Workshop on
                  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)",
  booktitle =    "Proceedings of the 5th International Conference on
                  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)",
  booktitle =    "Proceedings of the 12th International Conference on
                  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)",
  booktitle =    "Proceedings of the 14th International Conference on
                  Computer Aided Verification (CAV 2002)",
  publisher =    "Springer-Verlag",
  series =       lncs,
  volume =       "2404",
  year =         "2002"
}

@Proceedings{cav2008,
  editor =       "Aarti Gupta and Sharad Malik",
  title =        "Proceedings of the 20th International Conference on
                  Computer Aided Verification (CAV 2008)",
  booktitle =    "Proceedings of the 20th International Conference on
                  Computer Aided Verification (CAV 2008)",
  publisher =    "Springer-Verlag",
  series =       lncs,
  volume =       "5123",
  year =         "2008"
}

@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)",
  booktitle =    "Proceedings of the 22nd International Conference on
                  Computer Aided Verification (CAV 2010)",
  publisher =    "Springer-Verlag",
  series =       lncs,
  volume =       "6174",
  year =         "2010"
}

@Proceedings{cig2008,
  editor =       "Philip Hingston and Luigi Barone",
  title =        "Proceedings of the 2008 {IEEE} Symposium on
                  Computational Intelligence and Games, (CIG 2008)",
  booktitle =    "Proceedings of the 2008 {IEEE} Symposium on
                  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)",
  year =         "2012",
}

@Proceedings{core2022,
  editor =       "Takehide Soh and Yoshio Okamoto and Takehiro Ito",
  title =        "First {CoRe} Challenge: Solver and Graph Descriptions",
  booktitle =    "First {CoRe} Challenge: Solver and Graph Descriptions",
  year =         "2022"
}

@Proceedings{cp2004,
  editor =       "Mark Wallace",
  title =        "Proceedings of the Tenth International Conference on
                  Principles and Practice of Constraint Programming (CP 2004)",
  booktitle =    "Proceedings of the Tenth International Conference on
                  Principles and Practice of Constraint Programming (CP 2004)",
  year =         "2004",
  publisher =    "Springer-Verlag",
  volume =       "3258",
  series =       lncs
}

@Proceedings{cp2007,
  editor =       "Christian Bessiere",
  title =        "Proceedings of the Thirteenth International Conference on
                  Principles and Practice of Constraint Programming (CP 2007)",
  booktitle =    "Proceedings of the Thirteenth International Conference on
                  Principles and Practice of Constraint Programming (CP 2007)",
  year =         "2007",
  publisher =    "Springer-Verlag",
  volume =       "4741",
  series =       lncs
}

@Proceedings{cp2009,
  editor =       "Ian P. Gent",
  title =        "Proceedings of the Fifteenth International Conference on
                  Principles and Practice of Constraint Programming (CP 2009)",
  booktitle =    "Proceedings of the Fifteenth International Conference on
                  Principles and Practice of Constraint Programming (CP 2009)",
  year =         "2009",
  publisher =    "Springer-Verlag",
  volume =       "5732",
  series =       lncs
}

@Proceedings{cp2010,
  editor =       "David Cohen",
  title =        "Proceedings of the 16th International Conference on
                  Principles and Practice of Constraint Programming",
  booktitle =    "Proceedings of the 16th International Conference on
                  Principles and Practice of Constraint Programming",
  year =         "2010",
  publisher =    "Springer-Verlag"
}

@Proceedings{cp2018,
  editor =       "John Hooker",
  title =        "Proceedings of the 24th International Conference on
                  Principles and Practice of Constraint Programming",
  booktitle =    "Proceedings of the 24th International Conference on
                  Principles and Practice of Constraint Programming",
  year =         "2018",
  publisher =    "Springer-Verlag"
}

% Data taken from springer
@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)",
  booktitle =    "Proceedings of the 10th International Conference on
                  Integration of AI and OR Techniques in Constraint Programming
                  for Combinatorial Optimization Problems (CPAIOR 2013)",
  year =         "2013",
  publisher =    "Springer-Verlag"
}

@Proceedings{cscsi1996,
  editor =       "Gordon I. McCalla",
  title =        "Proceedings of the Eleventh Biennial Conference of
                  the Canadian Society for Computational Studies of
                  Intelligence (CSCSI 1996)",
  booktitle =    "Proceedings of the Eleventh Biennial Conference of
                  the Canadian Society for Computational Studies of
                  Intelligence (CSCSI 1996)",
  year =         "1996",
  publisher =    "Springer-Verlag",
  volume =       "1081",
  series =       lncs
}

% Data taken from DBLP.
@Proceedings{cvpr2016,
  title =        "Proceedings of the 2016 IEEE Conference on Computer
                  Vision and Pattern Recognition",
  booktitle =    "Proceedings of the 2016 IEEE Conference on Computer
                  Vision and Pattern Recognition",
  publisher =    "{IEEE} Computer Society",
  year =         "2016"
}

% 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)",
  year =         "1985"
}

% Data taken from DBLP.
@Proceedings{dac1990,
  editor =       "Richard C. Smith",
  title =        "Proceedings of the 27th {ACM/IEEE} Design Automation
                  Conference (DAC 1990)",
  booktitle =    "Proceedings of the 27th {ACM/IEEE} Design Automation
                  Conference (DAC 1990)",
  year =         "1990"
}

% Data taken from DBLP.
@Proceedings{dac1992,
  editor =       "Daniel G. Schweikert",
  title =        "Proceedings of the 29th {ACM/IEEE} Design Automation Conference
                  (DAC 1992)",
  booktitle =    "Proceedings of the 29th {ACM/IEEE} Design Automation Conference
                  (DAC 1992)",
  year =         "1992"
}

% Data taken from DBLP.
@Proceedings{dac1993,
  editor =       "Alfred E. Dunlop",
  title =        "Proceedings of the 30th Design Automation Conference
                  (DAC 1993)",
  booktitle =    "Proceedings of the 30th Design Automation Conference
                  (DAC 1993)",
  year =         "1993"
}

% Data taken from DBLP.
@Proceedings{dac1994,
  title =        "Proceedings of the 31st Conference on
                  Design Automation (DAC 1994)",
  booktitle =    "Proceedings of the 31st Conference on
                  Design Automation (DAC 1994)",
  year =         "1994"
}

% Data taken from DBLP.
@Proceedings{ecai1992,
  editor =       "Bernd Neumann",
  title =        "Proceedings of the 10th {European} Conference on
                  {Artificial} {Intelligence} ({ECAI} 1992)",
  booktitle =    "Proceedings of the 10th {European} Conference on
                  {Artificial} {Intelligence} ({ECAI} 1992)",
  publisher =    "John Wiley and Sons",
  year =         "1992"
}

@Proceedings{ecai2000,
  editor =       "Werner Horn",
  title =        "Proceedings of the 14th European Conference on Artificial
                  Intelligence ({ECAI} 2000)",
  booktitle =    "Proceedings of the 14th European Conference on Artificial
                  Intelligence ({ECAI} 2000)",
  publisher =    "IOS Press",
  year =         "2000",
}

@Proceedings{ecai2000wspuk,
  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
                  Planning, Scheduling and Design ({PuK}2000)",
  year =         "2000"
}

@Proceedings{ecai2006,
  editor =       "Gerhard Brewka and Silvia Coradeschi and Anna Perini
                  and Paolo Traverso",
  title =        "Proceedings of the 17th {European} Conference on
                  {Artificial} {Intelligence} ({ECAI} 2006)",
  booktitle =    "Proceedings of the 17th {European} Conference on
                  {Artificial} {Intelligence} ({ECAI} 2006)",
  publisher =    "IOS Press",
  year =         "2006"
}

@Proceedings{ecai2008,
  editor =       "Malik Ghallab and Constantine D. Spyropoulos and
                  Nikos Fakotakis and Nikos Avouris",
  title =        "Proceedings of the 18th {European} Conference on
                  {Artificial} {Intelligence} ({ECAI} 2008)",
  booktitle =    "Proceedings of the 18th {European} Conference on
                  {Artificial} {Intelligence} ({ECAI} 2008)",
  publisher =    "IOS Press",
  year =         "2008"
}

@Proceedings{ecai2010,
  editor =       "Helder Coelho and Rudi Studer and Michael Wooldridge",
  title =        "Proceedings of the 19th {European} Conference on
                  {Artificial} {Intelligence} ({ECAI} 2010)",
  booktitle =    "Proceedings of the 19th {European} Conference on
                  {Artificial} {Intelligence} ({ECAI} 2010)",
  publisher =    "IOS Press",
  year =         "2010"
}

@Proceedings{ecai2012,
  editor =       "Luc {De Raedt} and Christian Bessiere and Didier Dubois and Patrick
                  Doherty and Paolo Frasconi and Fredrik Heintz and Peter
                  Lucas",
  title =        "Proceedings of the 20th {European} Conference on
                  {Artificial} {Intelligence} ({ECAI} 2012)",
  booktitle =    "Proceedings of the 20th {European} Conference on
                  {Artificial} {Intelligence} ({ECAI} 2012)",
  publisher =    "IOS Press",
  year =         "2012"
}

@Proceedings{ecai2014,
  editor =       "Torsten Schaub and Gerhard Friedrich and Barry O'Sullivan",
  title =        "Proceedings of the 21st {European} Conference on
                  {Artificial} {Intelligence} ({ECAI} 2014)",
  booktitle =    "Proceedings of the 21st {European} Conference on
                  {Artificial} {Intelligence} ({ECAI} 2014)",
  publisher =    "IOS Press",
  year =         "2014"
}

@Proceedings{ecai2016,
  editor =       "Gal A. Kaminka and Maria Fox and Paolo Bouquet and Eyke H{\"u}llermeier
                  and Virginia Dignum and Frank Dignum and Frank van Harmelen",
  title =        "Proceedings of the 22nd {European} Conference on
                  {Artificial} {Intelligence} ({ECAI} 2016)",
  booktitle =    "Proceedings of the 22nd {European} Conference on
                  {Artificial} {Intelligence} ({ECAI} 2016)",
  publisher =    "IOS Press",
  year =         "2016"
}

@Proceedings{ecai2020,
  editor =       "Giuseppe {De Giacomo}",
  title =        "Proceedings of the 24th {European} Conference on
                  {Artificial} {Intelligence} ({ECAI} 2020)",
  booktitle =    "Proceedings of the 24th {European} Conference on
                  {Artificial} {Intelligence} ({ECAI} 2020)",
  publisher =    "IOS Press",
  year =         "2020"
}

@Proceedings{ecai2023,
  editor =       "Kobi Gal and Ann Now{\'e} and Grzegorz J. Nalepa and
                  Roy Fairstein and Roxana R\u{a}dulescu",
  title =        "Proceedings of the 26th {European} Conference on
                  {Artificial} {Intelligence} ({ECAI} 2023)",
  booktitle =    "Proceedings of the 26th {European} Conference on
                  {Artificial} {Intelligence} ({ECAI} 2023)",
  publisher =    "IOS Press",
  year =         "2023"
}

@Proceedings{ecai2024,
  editor =       "Ulle Endriss and Francisco S. Melo",
  title =        "Proceedings of the 27th {European} Conference on
                  {Artificial} {Intelligence} ({ECAI} 2024)",
  booktitle =    "Proceedings of the 27th {European} Conference on
                  {Artificial} {Intelligence} ({ECAI} 2024)",
  publisher =    "IOS Press",
  year =         "2024"
}

% Data based on DBLP.
@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)",
  booktitle =    "Proceedings of the 17th European Conference on Machine
                  Learning (ECML 2006)",
  publisher =    "Springer-Verlag",
  series =       lncs,
  volume =       "4212",
  year =         "2006"
}

% Data taken from DBLP
% They do not provide an iteration like 10th.
@Proceedings{ecmlpkdd2019,
  editor =       "Ulf Brefeld and {\'{E}}lisa Fromont and
                  Andreas Hotho and Arno J. Knobbe and
                  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)",
  booktitle =    "Proceedings of the European Conference on Machine
                  Learning and Principles and Practice of Knowledge Discovery
                  in Databases (ECML PKDD 2019)",
  publisher =    "Springer-Verlag",
  series =       lncs,
  volume =       "11907",
  year =         "2019"
}

% Data verified.
% Not available.
@Proceedings{ecp1997,
  editor =       "Sam Steel and Rachid Alami",
  title =        "Recent Advances in {AI} Planning. 4th European
                  Conference on Planning ({ECP} 1997)",
  booktitle =    "Recent Advances in {AI} Planning. 4th European
                  Conference on Planning ({ECP} 1997)",
  publisher =    "Springer-Verlag",
  year =         "1997",
  volume =       "1348",
  series =       lnai
}

% Data verified.
% Available in printed form.
@Proceedings{ecp1999,
  editor =       "Susanne Biundo and Maria Fox",
  title =        "Recent Advances in {AI} Planning. 5th European
                  Conference on Planning ({ECP} 1999)",
  booktitle =    "Recent Advances in {AI} Planning. 5th European
                  Conference on Planning ({ECP} 1999)",
  publisher =    "Springer-Verlag",
  year =         "1999",
  volume =       "1809",
  series =       lnai,
  address =      "Heidelberg"
}

% Data taken from AAAI Press page.
@Proceedings{ecp2001,
  editor =       "Amedeo Cesta and Daniel Borrajo",
  title =        "Proceedings of the Sixth European
                  Conference on Planning ({ECP} 2001)",
  booktitle =    "Proceedings of the Sixth European
                  Conference on Planning ({ECP} 2001)",
  year =         "2001",
  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",
  year =         "2014"
}

@Proceedings{emnlp2023,
  title =        "Proceedings of the 2023 Conference on
                  Empirical Methods in Natural Language
                  Processing ({EMNLP} 2023)",
  booktitle =    "Proceedings of the 2023 Conference on
                  Empirical Methods in Natural Language
                  Processing ({EMNLP} 2023)",
  year =         "2023"
}

@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)",
  year =         "2008",
  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)",
  booktitle =    "Proceedings of the World Congress on Formal Methods
                  in the Development of Computing Systems (FM 1999)",
  publisher =    "Springer-Verlag",
  series =       lncs,
  volume =       "1708",
  year =         "1999",
}

@Proceedings{fmcad2002,
  editor =       "Mark Aagaard and John W. O'Leary",
  title =        "Proceedings of the Fourth International Conference on
                  Formal Methods in Computer-Aided Design ({FMCAD} 2002)",
  booktitle =    "Proceedings of the Fourth International Conference on
                  Formal Methods in Computer-Aided Design ({FMCAD} 2002)",
  publisher =    "Springer-Verlag",
  series =       lncs,
  volume =       "2517",
  year =         "2002"
}

@Proceedings{fmcad2011,
  editor =       "Per Bjesse and Anna Slobodova",
  title =        "Proceedings of the 11th International Conference on Formal
                  Methods in Computer-Aided Design ({FMCAD} 2011)",
  booktitle =    "Proceedings of the 11th International Conference on Formal
                  Methods in Computer-Aided Design ({FMCAD} 2011)",
  year =         "2011",
}

@Proceedings{gecco2011,
  title =        "Proceedings of the 13th annual conference on Genetic
                  and evolutionary computation (GECCO 2011)",
  booktitle =    "Proceedings of the 13th annual conference on Genetic
                  and evolutionary computation (GECCO 2011)",
  year =         "2011"
}

@Proceedings{gecco2013,
  title =        "Proceedings of the 15th annual conference on Genetic
                  and evolutionary computation (GECCO 2013)",
  booktitle =    "Proceedings of the 15th annual conference on Genetic
                  and evolutionary computation (GECCO 2013)",
  publisher =    "ACM",
  year =         "2013"
}

% Data based on DBLP.
@Proceedings{htcs1990,
  title =        "Handbook of Theoretical Computer Science,
                  Volume B: Formal Models and Sematics",
  booktitle =    "Handbook of Theoretical Computer Science,
                  Volume B: Formal Models and Sematics",
  editor =       "Jan van Leeuwen",
  publisher =    "Elsevier and MIT Press",
  year =         "1990"
}

% Data verified.
% Printed version missing??
@Proceedings{icaps2003,
  editor =       "Enrico Giunchiglia and Nicola Muscettola and Dana Nau",
  title =        "Proceedings of the Thirteenth International Conference on
                  Automated Planning and Scheduling ({ICAPS} 2003)",
  booktitle =    "Proceedings of the Thirteenth International Conference on
                  Automated Planning and Scheduling ({ICAPS} 2003)",
  year =         "2003",
  publisher =    "AAAI Press"
}

% Data verified.
% Available in printed form.
@Proceedings{icaps2003wscompetition,
  editor =       "Stefan Edelkamp and J{\"o}rg Hoffmann",
  title =        "Proceedings of the {ICAPS 2003} Workshop on the
                  Competition: Impact, Organisation, Evaluation,
                  Benchmarks",
  booktitle =    "Proceedings of the {ICAPS 2003} Workshop on the
                  Competition: Impact, Organisation, Evaluation,
                  Benchmarks",
  year =         "2003"
}

% Data verified.
% Available in printed form.
@Proceedings{icaps2004,
  editor =       "Shlomo Zilberstein and Jana Koehler and Sven Koenig",
  title =        "Proceedings of the Fourteenth International Conference on
                  Automated Planning and Scheduling ({ICAPS} 2004)",
  booktitle =    "Proceedings of the Fourteenth International Conference on
                  Automated Planning and Scheduling ({ICAPS} 2004)",
  year =         "2004",
  publisher =    "AAAI Press"
}

% Data verified.
% Available in printed form.
@Proceedings{icaps2005,
  editor =       "Susanne Biundo and Karen Myers and Kanna Rajan",
  title =        "Proceedings of the Fifteenth International Conference on
                  Automated Planning and Scheduling ({ICAPS} 2005)",
  booktitle =    "Proceedings of the Fifteenth International Conference on
                  Automated Planning and Scheduling ({ICAPS} 2005)",
  year =         "2005",
  publisher =    "AAAI Press"
}

% Verified.
@Proceedings{icaps2006,
  editor =       "Derek Long and Stephen F. Smith and Daniel Borrajo
                  and Lee McCluskey",
  title =        "Proceedings of the Sixteenth International Conference on
                  Automated Planning and Scheduling ({ICAPS} 2006)",
  booktitle =    "Proceedings of the Sixteenth International Conference on
                  Automated Planning and Scheduling ({ICAPS} 2006)",
  year =         "2006",
  publisher =    "AAAI Press"
}

@Proceedings{icaps2006wspreferences,
  title =        "ICAPS 2006 Workshop on Preferences and Soft Constraints
                  in Planning",
  booktitle =    "ICAPS 2006 Workshop on Preferences and Soft Constraints
                  in Planning",
  year =         "2006"
}

% Verified.
@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)",
  booktitle =    "Proceedings of the Seventeenth International Conference on
                  Automated Planning and Scheduling (ICAPS 2007)",
  year =         "2007",
  publisher =    "AAAI Press"
}

% Data verified.
% Only electronic copies exist.
@Proceedings{icaps2007wshdip,
  title =        "ICAPS 2007 Workshop on Heuristics for
                  Domain-Independent Planning: Progress, Ideas,
                  Limitations, Challenges",
  booktitle =    "ICAPS 2007 Workshop on Heuristics for
                  Domain-Independent Planning: Progress, Ideas,
                  Limitations, Challenges",
  year =         "2007"
}

% Verified.
@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)",
  booktitle =    "Proceedings of the Eighteenth International Conference on
                  Automated Planning and Scheduling (ICAPS 2008)",
  year =         "2008",
  publisher =    "AAAI Press"
}

% Verified.
@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)",
  booktitle =    "Proceedings of the Nineteenth International Conference on
                  Automated Planning and Scheduling (ICAPS 2009)",
  year =         "2009",
  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)",
  year =         "2009"
}

@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)",
  booktitle =    "Proceedings of the Twentieth International Conference on
                  Automated Planning and Scheduling (ICAPS 2010)",
  year =         "2010",
  publisher =    "AAAI Press"
}

@Proceedings{icaps2010wsuncertainty,
  title =        "ICAPS 2010 Workshop on Planning and Scheduling
                  Under Uncertainty",
  booktitle =    "ICAPS 2010 Workshop on Planning and Scheduling
                  Under Uncertainty",
  year =         "2010"
}

@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)",
  booktitle =    "Proceedings of the Twenty-First International Conference on
                  Automated Planning and Scheduling (ICAPS 2011)",
  year =         "2011",
  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)",
  year =         "2011"
}

@Proceedings{icaps2011wskeps,
  title =        "{ICAPS} 2011 Workshop on Knowledge Engineering for Planning
                  and Scheduling",
  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",
  year =         "2011"
}

@Proceedings{icaps2011wsspark,
  title =        "{ICAPS} 2011 Scheduling and Planning Applications woRKshop",
  booktitle =    "{ICAPS} 2011 Scheduling and Planning Applications woRKshop",
  year =         "2011"
}

@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)",
  booktitle =    "Proceedings of the Twenty-Second International Conference on
                  Automated Planning and Scheduling (ICAPS 2012)",
  year =         "2012",
  publisher =    "AAAI Press"
}

@Proceedings{icaps2012wswipc,
  title =        "ICAPS Workshop on the International Planning
                  Competition (WIPC)",
  booktitle =    "ICAPS Workshop on the International Planning
                  Competition (WIPC)",
  year =         "2012"
}

@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)",
  booktitle =    "Proceedings of the Twenty-Third International Conference on
                  Automated Planning and Scheduling (ICAPS 2013)",
  year =         "2013",
  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)",
  year =         "2013"
}

@Proceedings{icaps2013wspal,
  title =        "{ICAPS} 2013 Workshop on Planning and Learning",
  booktitle =    "{ICAPS} 2013 Workshop on Planning and Learning",
  year =         "2013"
}

@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)",
  booktitle =    "Proceedings of the Twenty-Fourth International Conference on
                  Automated Planning and Scheduling (ICAPS 2014)",
  year =         "2014",
  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)",
  year =         "2014"
}

@Proceedings{icaps2014wsspark,
  title =        "{ICAPS} 2014 Scheduling and Planning Applications woRKshop",
  booktitle =    "{ICAPS} 2014 Scheduling and Planning Applications woRKshop",
  year =         "2014"
}

@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)",
  booktitle =    "Proceedings of the Twenty-Fifth International Conference on
                  Automated Planning and Scheduling (ICAPS 2015)",
  year =         "2015",
  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)",
  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)",
  year =         "2015"
}

@Proceedings{icaps2015wswipc,
  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",
  title =        "Proceedings of the Twenty-Sixth International Conference on
                  Automated Planning and Scheduling (ICAPS 2016)",
  booktitle =    "Proceedings of the Twenty-Sixth International Conference on
                  Automated Planning and Scheduling (ICAPS 2016)",
  year =         "2016",
  publisher =    "AAAI Press"
}

@Proceedings{icaps2016systemdemos,
  title =        "{ICAPS} 2016 System Demonstrations and Exhibits",
  booktitle =    "{ICAPS} 2016 System Demonstrations and Exhibits",
  year =         "2016"
}

@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)",
  year =         "2016"
}

@Proceedings{icaps2016wsspark,
  title =        "{ICAPS} 2016 Scheduling and Planning Applications woRKshop",
  booktitle =    "{ICAPS} 2016 Scheduling and Planning Applications woRKshop",
  year =         "2016"
}

@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)",
  booktitle =    "Proceedings of the Twenty-Seventh International Conference on
                  Automated Planning and Scheduling (ICAPS 2017)",
  year =         "2017",
  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)",
  year =         "2017"
}

@Proceedings{icaps2018,
  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)",
  booktitle =    "Proceedings of the Twenty-Eighth International Conference on
                  Automated Planning and Scheduling (ICAPS 2018)",
  year =         "2018",
  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)",
  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)",
  booktitle =    "Proceedings of the Twenty-Ninth International Conference on
                  Automated Planning and Scheduling (ICAPS 2019)",
  year =         "2019",
  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)",
  year =         "2019"
}

@Proceedings{icaps2019wsipc,
  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)",
  booktitle =    "Proceedings of the Thirtieth International Conference on
                  Automated Planning and Scheduling (ICAPS 2020)",
  year =         "2020",
  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)",
  year =         "2020"
}

@Proceedings{icaps2020wskeps,
  title =        "{ICAPS} 2020 Workshop on Knowledge Engineering for Planning
                  and Scheduling",
  booktitle =    "{ICAPS} 2020 Workshop on Knowledge Engineering for Planning
                  and Scheduling",
  year =         "2020"
}

@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)",
  year =         "2020"
}

@Proceedings{icaps2020wsxaip,
  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)",
  booktitle =    "Proceedings of the Thirty-First International Conference on
                  Automated Planning and Scheduling (ICAPS 2021)",
  year =         "2021",
  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)",
  year =         "2021"
}

@Proceedings{icaps2021wskeps,
  title =        "{ICAPS} 2021 Workshop on Knowledge Engineering for Planning
                  and Scheduling",
  booktitle =    "{ICAPS} 2021 Workshop on Knowledge Engineering for Planning
                  and Scheduling",
  year =         "2021"
}

@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)",
  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)",
  booktitle =    "Proceedings of the Thirty-Second International Conference on
                  Automated Planning and Scheduling (ICAPS 2022)",
  year =         "2022",
  publisher =    "AAAI Press"
}

@Proceedings{icaps2022systemdemos,
  title =        "{ICAPS} 2022 System Demonstrations and Exhibits",
  booktitle =    "{ICAPS} 2022 System Demonstrations and Exhibits",
  year =         "2022"
}

@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)",
  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)",
  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)",
  booktitle =    "Proceedings of the Thirty-Third International Conference on
                  Automated Planning and Scheduling (ICAPS 2023)",
  year =         "2023",
  publisher =    "AAAI Press"
}

@Proceedings{icaps2023systemdemos,
  title =        "{ICAPS} 2023 System Demonstrations and Exhibits",
  booktitle =    "{ICAPS} 2023 System Demonstrations and Exhibits",
  year =         "2023"
}

@Proceedings{icaps2023wsplanrob,
  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",
  year =         "2023"
}

@Proceedings{icaps2024,
  editor =       "Sara Bernardini and Christian Muise",
  title =        "Proceedings of the Thirty-Fourth International Conference on
                  Automated Planning and Scheduling (ICAPS 2024)",
  booktitle =    "Proceedings of the Thirty-Fourth International Conference on
                  Automated Planning and Scheduling (ICAPS 2024)",
  year =         "2024",
  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)",
  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)",
  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)",
  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)",
  year =         "2024"
}

% 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)",
  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)",
  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)",
  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)",
  year =         "1996"
}

@Proceedings{ickeps2009,
  title =        "Proceedings of the Third International Competition on
                  Knowledge Engineering for Planning and Scheduling, ICAPS
                  2009",
  booktitle =    "Proceedings of the Third International Competition on
                  Knowledge Engineering for Planning and Scheduling, ICAPS
                  2009",
  year =         "2009"
}

@Proceedings{iclp1988,
  editor =       "Robert A. Kowalski and Kenneth A. Bowen",
  title =        "Proceedings of the Fifth International Conference
                  and Symposium on Logic Programming",
  booktitle =    "Proceedings of the Fifth International Conference
                  and Symposium on Logic Programming",
  publisher =    "{MIT} Press",
  year =         "1988",
}

@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,
                  Hungary",
  booktitle =    "ICLP (Technical Communications)",
  publisher =    "Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik",
  series =       "LIPIcs",
  volume =       "17",
  year =         "2012",
}

@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)",
  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)",
  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)",
  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)",
  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)",
  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)",
  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)",
  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)",
  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",
  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",
  year =         "2005"
}

% Data based on DBLP.
@Proceedings{icml2007,
  editor =       "Zoubin Ghahramani",
  title =        "Proceedings of the Twenty-Fourth International Conference
                  on Machine Learning (ICML 2007)",
  booktitle =    "Proceedings of the Twenty-Fourth International Conference
                  on Machine Learning (ICML 2007)",
  publisher =    "ACM",
  year =         "2007"
}

% Data based on DBLP.
@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)}",
  booktitle =    "Proceedings of the Twenty-Fifth International
                  Conference on Machine Learning {(ICML 2008)}",
  publisher =    "{ACM}",
  year =         "2008"
}

% Data based on DBLP.
@Proceedings{icml2009,
  title =        "Proceedings of the 26th International
                  Conference on Machine Learning {(ICML 2009)}",
  booktitle =    "Proceedings of the 26th International
                  Conference on Machine Learning {(ICML 2009)}",
  publisher =    "{ACM}",
  year =         "2009"
}

% Data based on DBLP.
@Proceedings{icml2013,
  title =        "Proceedings of the 30th International Conference on
                  Machine Learning {(ICML 2013)}",
  booktitle =    "Proceedings of the 30th International Conference on
                  Machine Learning {(ICML 2008)}",
  publisher =    "{JMLR}.org",
  year =         "2013"
}

@Proceedings{icml2017,
  editor =       "Doina Precup and Yee Whye Teh",
  title =        "Proceedings of the 34th International Conference on
                 Machine Learning {(ICML 2017)}",
  booktitle =    "Proceedings of the 34th International Conference on
                 Machine Learning {(ICML 2017)}",
  publisher =    "{JMLR}.org",
  year =         "2017"
}

@Proceedings{icml2020,
  title =        "Proceedings of the 37th International Conference on
                 Machine Learning {(ICML 2020)}",
  booktitle =    "Proceedings of the 37th International Conference on
                 Machine Learning {(ICML 2020)}",
  publisher =    "{JMLR}.org",
  year =         "2020"
}

% Data based on DBLP.
@Proceedings{icra1994,
  title =        "Proceedings of the 1994 International Conference
                  on Robotics and Automation (ICRA 1994)",
  booktitle =    "Proceedings of the 1994 International Conference
                  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",
  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",
  year =         "2009"
}

@Proceedings{ictai2009,
  title =        "Proceedings of the 21st International Conference on Tools with
                  Artificial Intelligence (ICTAI 2009)",
  booktitle =    "Proceedings of the 21st International Conference on Tools with
                  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",
  year =         "2012"
}

% Data from DBLP.
@Proceedings{ijcai1969,
  editor =       "Donald E. Walker and Lewis M. Norton",
  title =        "Proceedings of the 1st International Joint
                  Conference on Artificial Intelligence (IJCAI 1969)",
  booktitle =    "Proceedings of the 1st International Joint
                  Conference on Artificial Intelligence (IJCAI 1969)",
  publisher =    "William Kaufmann",
  year =         "1969"
}

% Data from DBLP.
@Proceedings{ijcai1973,
  editor =       "Nils J. Nilsson",
  title =        "Proceedings of the 3rd International Joint
                  Conference on Artificial Intelligence (IJCAI 1973)",
  booktitle =    "Proceedings of the 3rd International Joint
                  Conference on Artificial Intelligence (IJCAI 1973)",
  publisher =    "William Kaufmann",
  year =         "1973"
}

% Data from DBLP.
@Proceedings{ijcai1977,
  editor =       "Raj Reddy",
  title =        "Proceedings of the 5th International Joint
                  Conference on Artificial Intelligence (IJCAI 1977)",
  booktitle =    "Proceedings of the 5th International Joint
                  Conference on Artificial Intelligence (IJCAI 1977)",
  publisher =    "William Kaufmann",
  year =         "1977"
}

% Data from DBLP.
@Proceedings{ijcai1981,
  editor =       "Patrick J. Hayes",
  title =        "Proceedings of the 7th International Joint
                  Conference on Artificial Intelligence ({IJCAI} 1981)",
  booktitle =    "Proceedings of the Fourteenth International Joint
                  Conference on Artificial Intelligence ({IJCAI} 1981)",
  publisher =    "William Kaufmann",
  year =         "1981"
}

% Data verified.
% Available in printed form in the department.
@Proceedings{ijcai1991,
  editor =       "John Mylopoulos and Raymond Reiter",
  title =        "Proceedings of the 12th International Joint Conference on
                  Artificial Intelligence ({IJCAI} 1991)",
  booktitle =    "Proceedings of the 12th International Joint Conference on
                  Artificial Intelligence ({IJCAI} 1991)",
  publisher =    "Morgan Kaufmann",
  year =         "1991"
}

% Data from DBLP.
@Proceedings{ijcai1995,
  title =        "Proceedings of the Fourteenth International Joint
                  Conference on Artificial Intelligence ({IJCAI} 1995)",
  booktitle =    "Proceedings of the Fourteenth International Joint
                  Conference on Artificial Intelligence ({IJCAI} 1995)",
  publisher =    "Morgan Kaufmann",
  year =         "1995"
}

% Data verified.
% Available in printed form in the department.
@Proceedings{ijcai1997,
  editor =       "Martha E. Pollack",
  title =        "Proceedings of the 15th International Joint Conference on
                  Artificial Intelligence ({IJCAI} 1997)",
  booktitle =    "Proceedings of the 15th International Joint Conference on
                  Artificial Intelligence ({IJCAI} 1997)",
  publisher =    "Morgan Kaufmann",
  year =         "1997"
}

% Data taken from DBLP.
@Proceedings{ijcai1999,
  editor =       "Thomas Dean",
  title =        "Proceedings of the Sixteenth International Joint
                  Conference on Artificial Intelligence ({IJCAI} 1999)",
  booktitle =    "Proceedings of the Sixteenth International Joint
                  Conference on Artificial Intelligence ({IJCAI} 1999)",
  publisher =    "Morgan Kaufmann",
  year =         "1999"
}

% Data verified.
% Available in printed form in the department.
@Proceedings{ijcai2001,
  editor =       "Bernhard Nebel",
  title =        "Proceedings of the 17th International Joint Conference on
                  Artificial Intelligence ({IJCAI} 2001)",
  booktitle =    "Proceedings of the 17th International Joint Conference on
                  Artificial Intelligence ({IJCAI} 2001)",
  publisher =    "Morgan Kaufmann",
  year =         "2001"
}

% Data verified.
% Available in printed form in the department.
@Proceedings{ijcai2003,
  editor =       "Georg Gottlob and Toby Walsh",
  title =        "Proceedings of the 18th International Joint Conference on
                  Artificial Intelligence ({IJCAI} 2003)",
  booktitle =    "Proceedings of the 18th International Joint Conference on
                  Artificial Intelligence ({IJCAI} 2003)",
  publisher =    "Morgan Kaufmann",
  year =         "2003"
}

% Data based on DBLP.
@Proceedings{ijcai2005,
  editor =       "Leslie Pack Kaelbling and Alessandro Saffiotti",
  title =        "Proceedings of the 19th International Joint Conference on
                  Artificial Intelligence ({IJCAI} 2005)",
  booktitle =    "Proceedings of the 19th International Joint Conference on
                  Artificial Intelligence ({IJCAI} 2005)",
  publisher =    "Professional Book Center",
  year =         "2005"
}

% Data taken from DBLP.
@Proceedings{ijcai2007,
  editor =       "Manuela M. Veloso",
  title =        "Proceedings of the 20th International Joint Conference on
                  Artificial Intelligence ({IJCAI} 2007)",
  booktitle =    "Proceedings of the 20th International Joint Conference on
                  Artificial Intelligence ({IJCAI} 2007)",
  year =         "2007"
}

% Data based on DBLP.
@Proceedings{ijcai2009,
  editor =       "Craig Boutilier",
  title =        "Proceedings of the 21st International Joint Conference on
                  Artificial Intelligence ({IJCAI} 2009)",
  booktitle =    "Proceedings of the 21st International Joint Conference on
                  Artificial Intelligence ({IJCAI} 2009)",
  publisher =    "AAAI Press",
  year =         "2009"
}

% Data based on DBLP.
@Proceedings{ijcai2011,
  editor =       "Toby Walsh",
  title =        "Proceedings of the 22nd International Joint
                  Conference on Artificial Intelligence (IJCAI 2011)",
  booktitle =    "Proceedings of the 22nd International Joint
                  Conference on Artificial Intelligence (IJCAI 2011)",
  publisher =    "AAAI Press",
  year =         "2011"
}

% Data based on DBLP.
@Proceedings{ijcai2013,
  editor =       "Francesca Rossi",
  title =        "Proceedings of the 23rd International Joint
                  Conference on Artificial Intelligence (IJCAI 2013)",
  booktitle =    "Proceedings of the 23rd International Joint
                  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)",
  booktitle =    "Proceedings of the 24th International Joint
                  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)",
  booktitle =    "Proceedings of the 25th International Joint
                  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)",
  booktitle =    "Proceedings of the 26th International Joint
                  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)",
  booktitle =    "Proceedings of the 27th International Joint
                  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)",
  booktitle =    "Proceedings of the 28th International Joint
                  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)",
  booktitle =    "Proceedings of the 29th International Joint
                  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)",
  booktitle =    "Proceedings of the 30th International Joint
                  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)",
  booktitle =    "Proceedings of the 31st International Joint
                  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",
  year =         "2022"
}

@Proceedings{ijcai2023,
  editor =       "Edith Elkind",
  title =        "Proceedings of the 32nd International Joint
                  Conference on Artificial Intelligence (IJCAI 2023)",
  booktitle =    "Proceedings of the 32nd International Joint
                  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)",
  booktitle =    "Proceedings of the 33rd International Joint
                  Conference on Artificial Intelligence (IJCAI 2024)",
  publisher =    "IJCAI",
  year =         "2024"
}

@Proceedings{ijcar2018,
  editor =       "Didier Galmiche and Stephan Schulz and Roberto Sebastiani",
  title =        "Proceedings of the 9th International Joint
                  Conference on Automated Reasoning (IJCAR 2018)",
  booktitle =    "Proceedings of the 9th International Joint
                  Conference on Automated Reasoning (IJCAR 2018)",
  year =         "2018"
}

@Proceedings{ipc2006,
  title =        "Fifth {I}nternational {P}lanning {C}ompetition ({IPC}-5):
                  Planner Abstracts",
  booktitle =    "Fifth {I}nternational {P}lanning {C}ompetition ({IPC}-5):
                  Planner Abstracts",
  year =         "2006"
}

@Proceedings{ipc2011,
  title =        "Seventh {I}nternational {P}lanning {C}ompetition ({IPC}-7):
                  Planner Abstracts",
  booktitle =    "Seventh {I}nternational {P}lanning {C}ompetition ({IPC}-7):
                  Planner Abstracts",
  year =         "2011"
}

@Proceedings{ipc2014,
  title =        "Eighth {I}nternational {P}lanning {C}ompetition ({IPC}-8):
                  Planner Abstracts",
  booktitle =    "Eighth {I}nternational {P}lanning {C}ompetition ({IPC}-8):
                  Planner Abstracts",
  year =         "2014"
}

@Proceedings{ipc2018,
  title =        "Ninth {I}nternational {P}lanning {C}ompetition ({IPC}-9):
                  Planner Abstracts",
  booktitle =    "Ninth {I}nternational {P}lanning {C}ompetition ({IPC}-9):
                  Planner Abstracts",
  year =         "2018"
}

@Proceedings{ipc2023,
  title =        "Tenth {I}nternational {P}lanning {C}ompetition ({IPC}-10):
                  Planner Abstracts",
  booktitle =    "Tenth {I}nternational {P}lanning {C}ompetition ({IPC}-10):
                  Planner Abstracts",
  year =         "2023"
}

@Proceedings{ipcl2014,
  title =        "Eighth {I}nternational {P}lanning {C}ompetition ({IPC}-8)
                  Planning and Learning Part: Planner Abstracts",
  booktitle =    "Eighth {I}nternational {P}lanning {C}ompetition ({IPC}-8)
                  Planning and Learning Part: Planner Abstracts",
  year =         "2014"
}

@Proceedings{ipcl2023,
  title =        "Learning Track of the {I}nternational {P}lanning
                  {C}ompetition 2023: Planner Abstracts",
  booktitle =    "Learning Track of the {I}nternational {P}lanning
                  {C}ompetition 2023: Planner Abstracts",
  year =         "2023"
}

@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",
  year =         "2018"
}

@Proceedings{isaac2008,
  title =        "Algorithms and Computation, 19th International
                  Symposium ({ISAAC} 2008)",
  booktitle =    "Algorithms and Computation, 19th International
                  Symposium ({ISAAC} 2008)",
  editor =       "Seok{-}Hee Hong and
                  Hiroshi Nagamochi and
                  Takuro Fukunaga",
  publisher =    "Springer-Verlag",
  series =       lncs,
  volume =       "5369",
  year =         "2008"
}

@Proceedings{isaim2006,
  title =        "International Symposium on Artificial Intelligence and
                  Mathematics ({ISAIM} 2006)",
  booktitle =    "International Symposium on Artificial Intelligence and
                  Mathematics ({ISAIM} 2006)",
  year =         "2006"
}

@Proceedings{isaim2010,
  title =        "International Symposium on Artificial Intelligence and
                  Mathematics ({ISAIM} 2010)",
  booktitle =    "International Symposium on Artificial Intelligence and
                  Mathematics ({ISAIM} 2010)",
  year =         "2010"
}

@Proceedings{issta2014,
  title =        "International Symposium on Software Testing and
                  Analysis (ISSTA 2014)",
  booktitle =    "International Symposium on Software Testing and
                  Analysis (ISSTA 2014)",
  publisher =    "ACM",
  year =         "2014"
}

@Proceedings{iwls1993,
  title =        "Workshop Notes of the International Workshop on Logic
                  Synthesis (IWLS 1993)",
  booktitle =    "Workshop Notes of the International Workshop on Logic
                  Synthesis (IWLS 1993)",
  year =         "1993"
}

@Proceedings{iwls1995,
  title =        "Workshop Notes of the International Workshop on Logic
                  Synthesis (IWLS 1995)",
  booktitle =    "Workshop Notes of the International Workshop on Logic
                  Synthesis (IWLS 1995)",
  year =         "1995"
}

@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)",
  booktitle =    "Proceedings of the 19th Annual German Conference on
                  Artificial Intelligence (KI 1995)",
  publisher =    "Springer-Verlag",
  series =       lncs,
  volume =       "981",
  year =         "1995"
}

% Data taken from DBLP.
@Proceedings{ki1998,
  editor =       "Otthein Herzog and Andreas G{\"u}nter",
  title =        "Proceedings of the 22nd Annual German Conference on
                  Artificial Intelligence (KI 1998)",
  booktitle =    "Proceedings of the 22nd Annual German Conference on
                  Artificial Intelligence (KI 1998)",
  publisher =    "Springer-Verlag",
  series =       lncs,
  volume =       "1504",
  year =         "1998",
}

% Data verified.
@Proceedings{ki2007,
  editor =       "Joachim Hertzberg and Michael Beetz and
                  Roman Englert",
  title =        "Proceedings of the 30th Annual German Conference on
                  Artificial Intelligence (KI 2007)",
  booktitle =    "Proceedings of the 30th Annual German Conference on
                  Artificial Intelligence (KI 2007)",
  publisher =    "Springer-Verlag",
  series =       lnai,
  volume =       "4667",
  year =         "2007"
}

@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)",
  booktitle =    "Proceedings of the 31st Annual German Conference on
                  Artificial Intelligence (KI 2008)",
  publisher =    "Springer-Verlag",
  series =       lnai,
  volume =       "5243",
  year =         "2008"
}

% Data verified.
@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)",
  booktitle =    "Proceedings of the 32nd Annual German Conference on
                  Artificial Intelligence (KI 2009)",
  publisher =    "Springer-Verlag",
  series =       lnai,
  volume =       "5803",
  year =         "2009"
}

% Data verified.
@Proceedings{ki2011,
  editor =       "Joscha Bach and Stefan Edelkamp",
  title =        "Proceedings of the 34th Annual German Conference on
                  Artificial Intelligence (KI 2011)",
  booktitle =    "Proceedings of the 34th Annual German Conference on
                  Artificial Intelligence (KI 2011)",
  publisher =    "Springer-Verlag",
  series =       lnai,
  volume =       "7006",
  year =         "2011"
}

@Proceedings{ki2012,
  editor =       "Birte Glimm and Antonio Kr{\"{u}}ger",
  title =        "Proceedings of the 35th Annual German Conference on
                  Artificial Intelligence (KI 2012)",
  booktitle =    "Proceedings of the 35th Annual German Conference on
                  Artificial Intelligence (KI 2012)",
  publisher =    "Springer-Verlag",
  series =       lnai,
  volume =       "7526",
  year =         "2012"
}

%From DBLP
@Proceedings{ki2014,
  editor =       "Carsten Lutz and Michael Thielscher",
  title =        "Proceedings of the 37th Annual German Conference on
                  Artificial Intelligence (KI 2014)",
  booktitle =    "Proceedings of the 37th Annual German Conference on
                  Artificial Intelligence (KI 2014)",
  publisher =    "Springer-Verlag",
  series =       lnai,
  volume =       "8736",
  year =         "2014"
}

@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)",
  booktitle =    "Proceedings of the 38th Annual German Conference on
                  Artificial Intelligence (KI 2015)",
  publisher =    "Springer-Verlag",
  series =       lnai,
  volume =       "9324",
  year =         "2015"
}

% Data verified.
@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)",
  booktitle =    "Proceedings of the 40th Annual German Conference on
                  Artificial Intelligence (KI 2017)",
  publisher =    "Springer-Verlag",
  series =       lnai,
  volume =       "10505",
  year =         "2017"
}

@Proceedings{ki2019,
  editor =       "Christoph Benzm{\"u}ller and Heiner Stuckenschmidt",
  title =        "Proceedings of the 42nd Annual German Conference on
                  Artificial Intelligence (KI 2019)",
  booktitle =    "Proceedings of the 42nd Annual German Conference on
                  Artificial Intelligence (KI 2019)",
  publisher =    "Springer-Verlag",
  series =       lncs,
  volume =       "11793",
  year =         "2019"
}

% Data verified.
@Proceedings{kr1989,
  editor =       "Ronald J. Brachman and Hector J. Levesque and
                  Raymond Reiter",
  title =        "Proceedings of the First International Conference on
                  Principles of Knowledge Representation and Reasoning
                  (KR 1989)",
  booktitle =    "Proceedings of the First International Conference on
                  Principles of Knowledge Representation and Reasoning
                  (KR 1989)",
  publisher =    "Morgan Kaufmann",
  year =         "1989"
}

% Data verified.
@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)",
  booktitle =    "Proceedings of the Third International Conference on
                  Principles of Knowledge Representation and Reasoning
                  (KR 1992)",
  publisher =    "Morgan Kaufmann",
  year =         "1992"
}

@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)",
  booktitle =    "Proceedings of the Fourth International Conference on
                  Principles of Knowledge Representation and Reasoning
                  (KR 1994)",
  publisher =    "Morgan Kaufmann",
  year =         "1994"
}

@Proceedings{kr1996,
  editor =       "Luigia Carlucci Aiello and Jon Doyle and Stuart C.
                  Shapiro",
  title =        "Proceedings of the Fifth International Conference on
                  Principles of Knowledge Representation and Reasoning
                  (KR 1996)",
  booktitle =    "Proceedings of the Fifth International Conference on
                  Principles of Knowledge Representation and Reasoning
                  (KR 1996)",
  publisher =    "Morgan Kaufmann",
  year =         "1996"
}

@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)",
  booktitle =    "Proceedings of the Sixth International Conference on
                  Principles of Knowledge Representation and Reasoning
                  (KR 1998)",
  publisher =    "Morgan Kaufmann",
  year =         "1998"
}

@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)",
  booktitle =    "Proceedings of the Eight International Conference on
                  Principles of Knowledge Representation and Reasoning
                  (KR 2002)",
  publisher =    "Morgan Kaufmann",
  year =         "2002"
}

@Proceedings{kr2004,
  editor =       "Didier Dubois and Christopher A. Welty and
                  Mary-Anne Williams",
  title =        "Proceedings of the Ninth International Conference on
                  Principles of Knowledge Representation and Reasoning
                  (KR 2004)",
  booktitle =    "Proceedings of the Ninth International Conference on
                  Principles of Knowledge Representation and Reasoning
                  (KR 2004)",
  publisher =    "AAAI Press",
  year =         "2004"
}

% Data taken from DBLP.
@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)",
  booktitle =    "Proceedings of the Eleventh International Conference on
                  Principles of Knowledge Representation and Reasoning
                  (KR 2008)",
  publisher =    "AAAI Press",
  year =         "2008"
}

% Data taken from DBLP.
@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)",
  booktitle =    "Proceedings of the Twelfth International Conference on
                  Principles of Knowledge Representation and Reasoning
                  (KR 2010)",
  publisher =    "AAAI Press",
  year =         "2010"
}

% Data taken from DBLP.
@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)",
  booktitle =    "Proceedings of the Thirteenth International Conference on
                  Principles of Knowledge Representation and Reasoning
                  (KR 2012)",
  publisher =    "AAAI Press",
  year =         "2012"
}

@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)",
  booktitle =    "Proceedings of the Fourteenth International Conference on
                  Principles of Knowledge Representation and Reasoning
                  (KR 2014)",
  year =         "2014"
}

@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)",
  booktitle =    "Proceedings of the Eighteenth International Conference on
                  Principles of Knowledge Representation and Reasoning
                  (KR 2021)",
  publisher =    "IJCAI Organization",
  year =         "2021"
}

@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)",
  booktitle =    "Proceedings of the Nineteenth International Conference on
                  Principles of Knowledge Representation and Reasoning
                  (KR 2022)",
  publisher =    "IJCAI Organization",
  year =         "2022"
}

@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)",
  booktitle =    "Proceedings of the Twentieth International Conference on
                  Principles of Knowledge Representation and Reasoning
                  (KR 2023)",
  publisher =    "IJCAI Organization",
  year =         "2023"
}

% TODO(Dominik): add editors
@Proceedings{kr2024,
  title =        "Proceedings of the Twenty-First International Conference on
                  Principles of Knowledge Representation and Reasoning
                  (KR 2024)",
  booktitle =    "Proceedings of the Twenty-First International Conference on
                  Principles of Knowledge Representation and Reasoning
                  (KR 2024)",
  publisher =    "IJCAI Organization",
  year =         "2024"
}

% Data based on DBLP.
% Note: the course took place in 1996, the book was published in 1998.
%       I'm using 1998 as the reference year here.
% Use for crossrefs and use reisig-rozenberg-1998 to cite the whole book.
@Book{lecturespetri1998,
  editor =       "Wolfgang Reisig and Grzegorz Rozenberg",
  title =        "Lectures on {Petri} Nets {I}: Basic Models",
  booktitle =    "Lectures on {Petri} Nets {I}: Basic Models",
  publisher =    "Springer-Verlag",
  series =       lncs,
  volume =       "1491",
  year =         "1998"
}

@Proceedings{lion2011,
  editor =       "Carlos A. C. Coello",
  title =        "Proceedings of the Fifth Conference on Learning and
                  Intelligent OptimizatioN (LION 2011)",
  booktitle =    "Proceedings of the Fifth Conference on Learning and
                  Intelligent OptimizatioN (LION 2011)",
  publisher =    "Springer",
  year =         "2011"
}

@Proceedings{lion2012,
  title =        "Proceedings of the Sixth Conference on Learning and
                  Intelligent OptimizatioN (LION 2012)",
  booktitle =    "Proceedings of the Sixth Conference on Learning and
                  Intelligent OptimizatioN (LION 2012)",
  publisher =    "Springer",
  year =         "2012"
}

@Proceedings{lion2013,
  title =        "Proceedings of the Sixth Conference on Learning and
                  Intelligent OptimizatioN (LION 2013)",
  booktitle =    "Proceedings of the Sixth Conference on Learning and
                  Intelligent OptimizatioN (LION 2013)",
  publisher =    "Springer",
  year =         "2013"
}

@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)",
  booktitle =    "Proceedings of the 6th International Workshop on
                  Multi-disciplinary Trends in Artificial Intelligence (MIWAI 2012)",
  publisher =    "Springer",
  volume =       "7694",
  year =         "2012",
}

@Proceedings{mochart2006,
  editor =       "Stefan Edelkamp and Alessio Lomuscio",
  title =        "Proceedings of the 4th Workshop on Model Checking and
                  Artificial Intelligence ({MoChArt 2006})",
  booktitle =    "Proceedings of the 4th Workshop on Model Checking and
                  Artificial Intelligence ({MoChArt 2006})",
  year =         "2006"
}

%% The proceedings were published in 2009.
@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})",
  booktitle =    "Proceedings of the 5th International Workshop on Model Checking and
                  Artificial Intelligence ({MoChArt 2008})",
  year =         "2008"
}

% Data taken from DBLP and http://acl.ldc.upenn.edu/N/N03/.
@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)",
  booktitle =    "Proceedings of the 2003 Human Language Technology
                  Conference of the North American Chapter of the
                  Association for Computational Linguistics
                  (HLT-NAACL 2003)",
  year =         "2003"
}

% On November 17th, 2018, the Neural Information Processing Systems Foundation
% Board of Trustees decided to change the official abbreviation and acronym of
% the conference from NIPS to NeurIPS
@Proceedings{neurips2018,
  title =        "Proceedings of the Thirty-second Annual Conference on
                  Neural Information Processing Systems ({NeurIPS} 2018)",
  booktitle =    "Proceedings of the Thirty-second Annual Conference on
                  Neural Information Processing Systems ({NeurIPS} 2018)",
  year =         "2018"
}

@Proceedings{neurips2019,
  title =        "Proceedings of the Thirty-third Annual Conference on
                  Neural Information Processing Systems ({NeurIPS} 2019)",
  booktitle =    "Proceedings of the Thirty-third Annual Conference on
                  Neural Information Processing Systems ({NeurIPS} 2019)",
  year =         "2019"
}

@Proceedings{neurips2022,
  title =        "Proceedings of the Thirty-Sixth Annual Conference on
                  Neural Information Processing Systems ({NeurIPS} 2022)",
  booktitle =    "Proceedings of the Thirty-Sixth Annual Conference on
                  Neural Information Processing Systems ({NeurIPS} 2022)",
  year =         "2022"
}

@Proceedings{neurips2023,
  title =        "Proceedings of the Thirty-Seventh Annual Conference on
                  Neural Information Processing Systems ({NeurIPS} 2023)",
  booktitle =    "Proceedings of the Thirty-Seventh Annual Conference on
                  Neural Information Processing Systems ({NeurIPS} 2023)",
  year =         "2023"
}

@Proceedings{neurips2023wsgenplan,
  title =        "{NeurIPS} 2023 Workshop on Generalization in Planning",
  booktitle =    "{NeurIPS} 2023 Workshop on Generalization in Planning",
  year =         "2023"
}

@Proceedings{nips1999,
  title =        "Proceedings of the Thirteenth Annual Conference on
                  Neural Information Processing Systems ({NIPS} 1999)",
  booktitle =    "Proceedings of the Thirteenth Annual Conference on
                  Neural Information Processing Systems ({NIPS} 1999)",
  year =         "1999"
}

@Proceedings{nips2001,
  title =        "Proceedings of the Fifteenth Annual Conference on
                  Neural Information Processing Systems ({NIPS} 2001)",
  booktitle =    "Proceedings of the Fifteenth Annual Conference on
                  Neural Information Processing Systems ({NIPS} 2001)",
  year =         "2001"
}

@Proceedings{nips2003,
  title =        "Proceedings of the Seventeenth Annual Conference on
                  Neural Information Processing Systems ({NIPS} 2003)",
  booktitle =    "Proceedings of the Seventeenth Annual Conference on
                  Neural Information Processing Systems ({NIPS} 2003)",
  year =         "2003"
}

@Proceedings{nips2010,
  title =        "Proceedings of the Twentyfourth Annual Conference on
                  Neural Information Processing Systems ({NIPS} 2010)",
  booktitle =    "Proceedings of the Twentyfourth Annual Conference on
                  Neural Information Processing Systems ({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",
  year =         "2011",
  note =         "Published online"
}

@Proceedings{nips2015,
  editor =       "C. Cortes and N.D. Lawrence and D.D. Lee and M. Sugiyama
                  and R. Garnett",
  title =        "Proceedings of the Twenty-ninth Conference on Neural
                  Information Processing Systems ({NIPS} 2015)",
  booktitle =    "Proceedings of the Twenty-ninth Conference on Neural
                  Information Processing Systems ({NIPS} 2015)",
  publisher =    "Curran Associates, Inc.",
  year =         "2015"
}

@Proceedings{nips2016,
  editor =       "D. Lee and M. Sugiyama and U. Luxburg and I. Guyon and R. Garnett",
  title =        "Proceedings of the Thirtieth Conference on Neural
                  Information Processing Systems ({NIPS} 2016)",
  booktitle =    "Proceedings of the Thirtieth Conference on Neural
                  Information Processing Systems ({NIPS} 2016)",
  publisher =    "Curran Associates, Inc.",
  year =         "2016"
}

@Proceedings{nips2017,
  editor =       "Isabelle Guyon and Ulrike von Luxburg and Samy Bengio and
                  Hanna M. Wallach and Rob Fergus and S. V. N. Vishwanathan and
                  Roman Garnett",
  title =        "Proceedings of the Thirty-first Conference on Neural
                  Information Processing Systems ({NIPS} 2017)",
  booktitle =    "Proceedings of the Thirty-first Conference on Neural
                  Information Processing Systems ({NIPS} 2017)",
  publisher =    "Curran Associates, Inc.",
  year =         "2017"
}

% Conference was 1989, book was formally called "Advances in Petri Nets 1990"
% and was actually published in 1991 -- sigh.
% See DBLP page for details: http://www.informatik.uni-trier.de/~ley/db/conf/apn/
@Proceedings{petri1989,
  editor =       "Grzegorz Rozenberg",
  title =        "Proceedings of the 10th International Conference on
                  Applications and Theory of Petri Nets (APN 1989)",
  booktitle =    "Proceedings of the 10th International Conference on
                  Applications and Theory of Petri Nets (APN 1989)",
  series =       lncs,
  volume =       "483",
  publisher =    "Springer-Verlag",
  year =         "1989"
}

@Proceedings{petri2010,
  editor =       "Johan Lilius and Wojciech Penczek",
  title =        "Proceedings of the 31st International Conference on
                  Applications and Theory of Petri Nets (Petri Nets 2010)",
  booktitle =    "Proceedings of the 31st International Conference on
                  Applications and Theory of Petri Nets (Petri Nets 2010)",
  series =       lncs,
  volume =       "6128",
  publisher =    "Springer-Verlag",
  year =         "2010"
}

@Proceedings{pods2000,
  title =        "Proceedings of the 19th {ACM} {SIGMOD-SIGACT-SIGART} Symposium
                  on Principles of Database Systems (PODS 2000)",
  booktitle =    "Proceedings of the 19th {ACM} {SIGMOD-SIGACT-SIGART} Symposium
                  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
                  Principles of Programming Languages",
  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",
  year =         "2005"
}

% Use for crossrefs and use allen-et-al-1991 to cite the whole book.
@Book{rap1991,
  editor =       "James F. Allen and Henry A. Kautz and Richard N.
                  Pelavin and Josh D. Tenenberg",
  title =        "Reasoning About Plans",
  booktitle =    "Reasoning About Plans",
  publisher =    "Morgan Kaufmann",
  year =         "1991",
  address =      "San Mateo"
}

% Data based on DBLP, but changed LNCS to the correct LNAI (verified
% by looking at the title page on Amazon).
@Proceedings{sara2000,
  editor =       "Berthe Y. Choueiry and Toby Walsh",
  title =        "Proceedings of the 4th International Symposium on
                  Abstraction, Reformulation and Approximation (SARA 2000)",
  booktitle =    "Proceedings of the 4th International Symposium on
                  Abstraction, Reformulation and Approximation (SARA 2000)",
  publisher =    "Springer-Verlag",
  series =       lnai,
  volume =       "1864",
  year =         "2000"
}

% Data based on DBLP, but changed LNCS to the correct LNAI (verified
% by looking at the title page on Springer Online).
@Proceedings{sara2002,
  editor =       "Sven Koenig and Robert C. Holte",
  title =        "Proceedings of the 5th International Symposium on
                  Abstraction, Reformulation and Approximation (SARA 2002)",
  booktitle =    "Proceedings of the 5th International Symposium on
                  Abstraction, Reformulation and Approximation (SARA 2002)",
  publisher =    "Springer-Verlag",
  series =       lnai,
  volume =       "2371",
  year =         "2002"
}

% Data based on DBLP, but changed LNCS to the correct LNAI (verified
% by looking at the front matter on Springer Online).
@Proceedings{sara2005,
  editor =       "Jean-Daniel Zucker and Lorenza Saitta",
  title =        "Proceedings of the 6th International Symposium on
                  Abstraction, Reformulation and Approximation (SARA 2005)",
  booktitle =    "Proceedings of the 6th International Symposium on
                  Abstraction, Reformulation and Approximation (SARA 2005)",
  publisher =    "Springer-Verlag",
  series =       lnai,
  volume =       "3607",
  year =         "2005"
}

% Data based on DBLP, but changed LNCS to the correct LNAI (verified
% by looking at the front matter on Springer Online).
@Proceedings{sara2007,
  editor =       "Ian Miguel and Wheeler Ruml",
  title =        "Proceedings of the 7th International Symposium on
                  Abstraction, Reformulation and Approximation (SARA 2007)",
  booktitle =    "Proceedings of the 7th International Symposium on
                  Abstraction, Reformulation and Approximation (SARA 2007)",
  publisher =    "Springer-Verlag",
  series =       lnai,
  volume =       "4612",
  year =         "2007"
}

@Proceedings{sara2011,
  title =        "Proceedings of the Ninth Symposium on Abstraction,
                  Reformulation, and Approximation (SARA 2011)",
  booktitle =    "Proceedings of the Ninth Symposium on Abstraction,
                  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)",
  booktitle =    "Proceedings of the Tenth Symposium on Abstraction,
                  Reformulation, and Approximation (SARA 2013)",
  publisher =    "AAAI Press",
  year =         "2013"
}

@Proceedings{satc2020,
  editor =       "Tomas Balyo and Nils Froleyks and Marijn Heule and Markus Iser
		  and Matti J{\"a}rvisalo and Martin Suda",
  title =        "Proceedings of {SAT Competition} 2020 -- Solver and Benchmark
		  Descriptions",
  booktitle =    "Proceedings of {SAT Competition} 2020 -- Solver and Benchmark
		  Descriptions",
  series =       "Department of Computer Science Report Series B",
  volume =       "B-2020-1",
  publisher =    "University of Helsinki",
  year =         "2020"
}

@Proceedings{socs2010,
  editor =       "Ariel Felner and Nathan Sturtevant",
  title =        "Proceedings of the Third Annual Symposium on
                  Combinatorial Search (SoCS 2010)",
  booktitle =    "Proceedings of the Third Annual Symposium on
                  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)",
  booktitle =    "Proceedings of the Fourth Annual Symposium on Combinatorial
                  Search (SoCS 2011)",
  publisher =    "AAAI Press",
  year =         "2011"
}

@Proceedings{socs2012,
  editor =       "Daniel Borrajo and Ariel Felner and Richard Korf and
                  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)",
  booktitle =    "Proceedings of the Fifth Annual Symposium on Combinatorial
                  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)",
  booktitle =    "Proceedings of the Sixth Annual Symposium on Combinatorial
                  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)",
  booktitle =    "Proceedings of the Seventh Annual Symposium on
                  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)",
  booktitle =    "Proceedings of the Eighth Annual Symposium on
                  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)",
  booktitle =    "Proceedings of the Ninth Annual Symposium on
                  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)",
  booktitle =    "Proceedings of the 10th Annual Symposium on
                  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)",
  booktitle =    "Proceedings of the 11th Annual Symposium on
                  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)",
  booktitle =    "Proceedings of the 12th Annual Symposium on
                  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)",
  booktitle =    "Proceedings of the 13th Annual Symposium on
                  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)",
  booktitle =    "Proceedings of the 14th Annual Symposium on
                  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)",
  booktitle =    "Proceedings of the 15th Annual Symposium on
                  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)",
  booktitle =    "Proceedings of the 16th Annual Symposium on
                  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)",
  booktitle =    "Proceedings of the 17th Annual Symposium on
                  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",
  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",
  year =         "2011"
}

@Proceedings{sparkle2019,
  title =        "Sparkle Planning Challenge: Planner Abstracts",
  booktitle =    "Sparkle Planning Challenge: Planner Abstracts",
  year =         "2019"
}

@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)",
  series =       lncs,
  volume =       "2318",
  publisher =    "Springer-Verlag",
  year =         "2002"
}

% 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)",
  publisher =    "Springer-Verlag",
  series =       lncs,
  volume =       "2648",
  year =         "2003"
}

@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)",
  publisher =    "Springer-Verlag",
  volume =       "3925",
  year =         "2006",
  series =       lncs
}

@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)",
  publisher =    "Springer-Verlag",
  series =       lncs,
  volume =       "6349",
  year =         "2010",
}

@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)",
  publisher =    "Springer-Verlag",
  volume =       "7976",
  year =         "2013",
  series =       lncs
}

@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)",
  booktitle =    "Proceedings of the 3rd Annual {ACM} Symposium on the Theory
                  of Computing (STOC 1971)",
  publisher =    "{ACM}",
  year =         "1971"
}

@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)",
  booktitle =    "Proceedings of the 9th Annual {ACM} Symposium on the Theory
                  of Computing (STOC 1977)",
  publisher =    "{ACM}",
  year =         "1977"
}

@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)",
  title =        "Proceedings of the 5th International Conference on
                  Tools and Algorithms for the Construction and
                  Analysis of Systems (TACAS 1999)",
  series =       lncs,
  volume =       "1579",
  publisher =    "Springer-Verlag",
  year =         "1999"
}

@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)",
  title =        "Proceedings of the 7th International Conference on
                  Tools and Algorithms for the Construction and
                  Analysis of Systems (TACAS 2001)",
  series =       lncs,
  volume =       "2031",
  publisher =    "Springer-Verlag",
  year =         "2001"
}

@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)",
  title =        "Proceedings of the 8th International Conference on
                  Tools and Algorithms for the Construction and
                  Analysis of Systems (TACAS 2002)",
  series =       lncs,
  volume =       "2280",
  publisher =    "Springer-Verlag",
  year =         "2002"
}

@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)",
  title =        "Proceedings of the 10th International Conference on
                  Tools and Algorithms for the Construction and
                  Analysis of Systems (TACAS 2004)",
  series =       lncs,
  volume =       "2988",
  publisher =    "Springer-Verlag",
  year =         "2004"
}

@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)",
  booktitle =    "Proceedings of the 14th International Conference on
                  Tools and Algorithms for the Construction and
                  Analysis of Systems (TACAS 2008)",
  series =       lncs,
  volume =       "4963",
  publisher =    "Springer-Verlag",
  year =         "2008",
}

@Proceedings{uai1999,
  title =        "Proceedings of the 15th Conference on Uncertainty
                  in Artificial Intelligence (UAI 1999)",
  booktitle =    "Proceedings of the 15th Conference on Uncertainty
                  in Artificial Intelligence (UAI 1999)",
  year =         "1999"
}

@Proceedings{uai2000,
  title =        "Proceedings of the 16th Conference on Uncertainty
                  in Artificial Intelligence (UAI 2000)",
  booktitle =    "Proceedings of the 16th Conference on Uncertainty
                  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)",
  booktitle =    "Proceedings of the 21st Conference on Uncertainty
                  in Artificial Intelligence (UAI 2005)",
  year =         "2005"
}

@Proceedings{uai2008,
  title =        "Proceedings of the 24th Conference in Uncertainty
                  in Artificial Intelligence (UAI 2008)",
  booktitle =    "Proceedings of the 24th Conference in Uncertainty
                  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)",
  booktitle =    "Proceedings of the 25th Conference in Uncertainty
                  in Artificial Intelligence (UAI 2009)",
  year =         "2009"
}

@Proceedings{uai2010,
  title =        "Proceedings of the 26th Conference on Uncertainty in
                   Artificial Intelligence ({UAI} 2010)",
  booktitle =    "Proceedings of the 26th Conference on Uncertainty in
                   Artificial Intelligence ({UAI} 2010)",
  year =         "2010"
}

@Proceedings{uipc2016,
  editor =       "Christian Muise and Nir Lipovetzky",
  title =        "{U}nsolvability {I}nternational {P}lanning {C}ompetition:
                  Planner Abstracts",
  booktitle =    "{U}nsolvability {I}nternational {P}lanning {C}ompetition:
                  Planner Abstracts",
  year =         "2016"
}

% Data taken from the conference website
% 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)",
  booktitle =    "Proceedings of the 7th International Conference on Very
                  Large Data Bases (VLDB 1981)",
  publisher =    "IEEE Press",
  year =         "1981"
}

% Data taken from DBLP.
@Proceedings{vlsi1991,
  editor =       "Arne Halaas and Peter B. Denyer",
  title =        "Proceedings of the International Conference on Very
                  Large Scale Integration (VLSI 1991)",
  booktitle =    "Proceedings of the International Conference on Very
                  Large Scale Integration (VLSI 1991)",
  year =         "1991"
}

@Proceedings{vmcai2011,
  editor =       "Ranjit Jhala and David Schmidt",
  title =        "Proceedings of the 12th International Conference on
                  Verification, Model Checking, and Abstract Interpretation
                  ({VMCAI 2011})",
  booktitle =    "Proceedings of the 12th International Conference on
                  Verification, Model Checking, and Abstract Interpretation
                  ({VMCAI 2011})",
  year =         "2011"
}