procs.bib

@proceedings{aaai00,
  title = {Proceedings of the Seventeenth National Conference on Artificial Intelligence (AAAI'00)},
  booktitle = {Proceedings of the Seventeenth National Conference on Artificial Intelligence (AAAI'00)},
  publisher = aaaimit,
  year = {2000}
}

@proceedings{aaai02,
  title = {Proceedings of the Eighteenth National Conference on Artificial Intelligence (AAAI'02)},
  editor = {R. Dechter and M. Kearns and R. Sutton},
  booktitle = {Proceedings of the Eighteenth National Conference on Artificial Intelligence (AAAI'02)},
  publisher = {{AAAI} Press},
  year = {2002}
}

@proceedings{aaai04,
  title = {Proceedings of the Nineteenth National Conference on Artificial Intelligence (AAAI'04)},
  editor = {D. McGuinness and G. Ferguson},
  booktitle = {Proceedings of the Nineteenth National Conference on Artificial Intelligence (AAAI'04)},
  publisher = {{AAAI} Press},
  year = {2004}
}

@proceedings{aaai05,
  title = {Proceedings of the Twentieth National Conference on Artificial Intelligence (AAAI'05)},
  editor = {M. Veloso and S. Kambhampati},
  booktitle = {Proceedings of the Twentieth National Conference on Artificial Intelligence (AAAI'05)},
  publisher = {{AAAI} Press},
  year = {2005}
}

@proceedings{aaai06,
  title = {Proceedings of the Twenty-first National Conference on Artificial Intelligence (AAAI'06)},
  editor = {Y. Gil and R. Mooney},
  booktitle = {Proceedings of the Twenty-first National Conference on Artificial Intelligence (AAAI'06)},
  publisher = {{AAAI} Press},
  year = {2006}
}

@proceedings{aaai07,
  title = {Proceedings of the Twenty-second National Conference on Artificial Intelligence (AAAI'07)},
  booktitle = {Proceedings of the Twenty-second National Conference on Artificial Intelligence (AAAI'07)},
  publisher = {{AAAI} Press},
  year = {2007}
}

@proceedings{aaai08,
  title = {Proceedings of the Twenty-third National Conference on Artificial Intelligence (AAAI'08)},
  editor = {D. Fox and C. Gomes},
  booktitle = {Proceedings of the Twenty-third National Conference on Artificial Intelligence (AAAI'08)},
  publisher = {{AAAI} Press},
  year = {2008}
}

@proceedings{aaai10,
  title = {Proceedings of the Twenty-fourth National Conference on Artificial Intelligence (AAAI'10)},
  editor = {M. Fox and D. Poole},
  booktitle = {Proceedings of the Twenty-fourth National Conference on Artificial Intelligence (AAAI'10)},
  publisher = {{AAAI} Press},
  year = {2010}
}

@proceedings{aaai11,
  title = {Proceedings of the Twenty-fifth National Conference on Artificial Intelligence (AAAI'11)},
  editor = {W. Burgard and D. Roth},
  booktitle = {Proceedings of the Twenty-fifth National Conference on Artificial Intelligence (AAAI'11)},
  publisher = {{AAAI} Press},
  year = {2011}
}

@proceedings{aaai12,
  title = {Proceedings of the Twenty-sixth National Conference on Artificial Intelligence (AAAI'12)},
  editor = {J. Hoffmann and B. Selman},
  booktitle = {Proceedings of the Twenty-sixth National Conference on Artificial Intelligence (AAAI'12)},
  publisher = {{AAAI} Press},
  year = {2012}
}

@proceedings{aaai13,
  title = {Proceedings of the Twenty-seventh National Conference on Artificial Intelligence (AAAI'13)},
  editor = {M. {desJardins} and M. Littman},
  booktitle = {Proceedings of the Twenty-seventh National Conference on Artificial Intelligence (AAAI'13)},
  publisher = {{AAAI} Press},
  year = {2013}
}

@proceedings{aaai14,
  title = {Proceedings of the Twenty-eighth National Conference on Artificial Intelligence (AAAI'14)},
  editor = {C. Brodley and P. Stone},
  booktitle = {Proceedings of the Twenty-eighth National Conference on Artificial Intelligence (AAAI'14)},
  publisher = {{AAAI} Press},
  year = {2014}
}

@proceedings{aaai15,
  title = {Proceedings of the Twenty-ninth National Conference on Artificial Intelligence (AAAI'15)},
  editor = {B. Bonet and S. Koenig},
  booktitle = {Proceedings of the Twenty-ninth National Conference on Artificial Intelligence (AAAI'15)},
  publisher = {{AAAI} Press},
  year = {2015}
}

@proceedings{aaai16,
  title = {Proceedings of the Thirtieth National Conference on Artificial Intelligence (AAAI'16)},
  editor = {D. Schuurmans and M. Wellman},
  booktitle = {Proceedings of the Thirtieth National Conference on Artificial Intelligence (AAAI'16)},
  publisher = {{AAAI} Press},
  year = {2016}
}

@proceedings{aaai17,
  title = {Proceedings of the Thirty-first National Conference on Artificial Intelligence (AAAI'17)},
  editor = {P. Satinder and S. Markovitch},
  booktitle = {Proceedings of the Thirty-first National Conference on Artificial Intelligence (AAAI'17)},
  publisher = {{AAAI} Press},
  year = {2017}
}

@proceedings{aaai19,
  title = {Proceedings of the Thirty-third National Conference on Artificial Intelligence (AAAI'19)},
  editor = {P. {Van Hentenryck} and Z. Zhou},
  booktitle = {Proceedings of the Thirty-third National Conference on Artificial Intelligence (AAAI'19)},
  publisher = {{AAAI} Press},
  year = {2019}
}

@proceedings{aaai20,
  title = {Proceedings of the Thirty-fourth National Conference on Artificial Intelligence (AAAI'20)},
  booktitle = {Proceedings of the Thirty-fourth National Conference on Artificial Intelligence (AAAI'20)},
  publisher = {{AAAI} Press},
  year = {2020}
}

@proceedings{aaai21,
  title = {Proceedings of the Thirty-fifth National Conference on Artificial Intelligence (AAAI'21)},
  booktitle = {Proceedings of the Thirty-fifth National Conference on Artificial Intelligence (AAAI'21)},
  publisher = {{AAAI} Press},
  year = {2021}
}

@proceedings{aaai22,
  title = {Proceedings of the Thirty-sixth National Conference on Artificial Intelligence (AAAI'22)},
  booktitle = {Proceedings of the Thirty-sixth National Conference on Artificial Intelligence (AAAI'22)},
  publisher = {{AAAI} Press},
  url = {https://ojs.aaai.org/index.php/AAAI/issue/view/507},
  year = {2022}
}

@proceedings{aaai23,
  title = {Proceedings of the Thirty-seventh National Conference on Artificial Intelligence (AAAI'23)},
  booktitle = {Proceedings of the Thirty-seventh National Conference on Artificial Intelligence (AAAI'23)},
  publisher = {{AAAI} Press},
  year = {2023}
}

@proceedings{aaai87,
  title = {Proceedings of the Sixth National Conference on Artificial Intelligence (AAAI'87)},
  editor = {K. Forbus and H. Shrobe},
  booktitle = {Proceedings of the Sixth National Conference on Artificial Intelligence (AAAI'87)},
  publisher = m-k,
  year = {1987}
}

@proceedings{aaai88,
  title = {Proceedings of the Seventh National Conference on Artificial Intelligence (AAAI'88)},
  editor = {H. Shrobe and T. Mitchell and R. Smith},
  booktitle = {Proceedings of the Seventh National Conference on Artificial Intelligence (AAAI'88)},
  publisher = {{AAAI} Press / The {MIT} Press},
  year = {1988}
}

@proceedings{aaai90,
  title = {Proceedings of the Eighth National Conference on Artificial Intelligence (AAAI'90)},
  editor = {H. Shrobe and T. Dietterich and W. Swartout},
  booktitle = {Proceedings of the Eighth National Conference on Artificial Intelligence (AAAI'90)},
  publisher = {{AAAI} Press},
  year = {1990}
}

@proceedings{aaai91,
  title = {Proceedings of the Ninth National Conference on Artificial Intelligence (AAAI'91)},
  editor = {T. Dean and K. McKeown},
  booktitle = {Proceedings of the Nineth National Conference on Artificial Intelligence (AAAI'91)},
  publisher = {{AAAI} Press},
  year = {1991}
}

@proceedings{aaai94,
  title = {Proceedings of the Twelfth National Conference on Artificial Intelligence (AAAI'94)},
  editor = {B. Hayes-Roth and R. Korf},
  booktitle = {Proceedings of the Twelfth National Conference on Artificial Intelligence (AAAI'94)},
  publisher = {{AAAI} Press},
  year = {1994}
}

@proceedings{aaai96,
  title = {Proceedings of the Thirteenth National Conference on Artificial Intelligence (AAAI'96)},
  editor = {W. Clancey and D. Weld},
  booktitle = {Proceedings of the Thirteenth National Conference on Artificial Intelligence (AAAI'96)},
  publisher = aaaimit,
  year = {1996}
}

@proceedings{aaai97,
  title = {Proceedings of the Fourteenth National Conference on Artificial Intelligence (AAAI'97)},
  editor = {B. Kuipers and B. Webber},
  booktitle = {Proceedings of the Fourteenth National Conference on Artificial Intelligence (AAAI'97)},
  publisher = aaaimit,
  year = {1997}
}

@proceedings{aaai98,
  title = {Proceedings of the Fifteenth National Conference on Artificial Intelligence (AAAI'98)},
  editor = {J. Mostow and C. Rich},
  booktitle = {Proceedings of the Fifteenth National Conference on Artificial Intelligence (AAAI'98)},
  publisher = aaaimit,
  year = {1998}
}

@proceedings{aaai99,
  title = {Proceedings of the Sixteenth National Conference on Artificial Intelligence (AAAI'99)},
  editor = {J. Hendler and D. Subramanian},
  booktitle = {Proceedings of the Sixteenth National Conference on Artificial Intelligence (AAAI'99)},
  publisher = aaaimit,
  year = {1999}
}

@proceedings{aamas02,
  title = {Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'02)},
  booktitle = {Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'02)},
  publisher = acm,
  year = {2002}
}

@proceedings{aamas06,
  title = {Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'06)},
  editor = {H. Nakashima and M. Wellman and G. Weiss and P. Stone},
  booktitle = {Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'06)},
  publisher = acm,
  year = {2006}
}

@proceedings{aamas09,
  title = {Proceedings of the Eighth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009)},
  editor = {C. Sierra and C. Castelfranchi and K. Decker and J. Sichman},
  booktitle = {Proceedings of the Eighth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009)},
  publisher = {IFAAMAS},
  year = {2009}
}

@proceedings{aamas10,
  title = {Proceedings of the Ninth International Conference on Autonomous Agents and Multiagent Systems (AAMAS'10)},
  editor = {W. {van der Hoek} and G. Kaminka and Y. Lesp{\'e}rance and M. Luck and S. Sen},
  booktitle = {Proceedings of the Ninth International Conference on Autonomous Agents and Multiagent Systems (AAMAS'10)},
  publisher = {IFAAMAS},
  year = {2010}
}

@proceedings{aamas12,
  title = {Proceedings of the Eleventh International Conference on Autonomous Agents and Multiagent Systems (AAMAS'12)},
  editor = {W. {van der Hoek} and L. Padgham and V. Conitzer and M. Winikoff},
  booktitle = {Proceedings of the Eleventh International Conference on Autonomous Agents and Multiagent Systems (AAMAS'12)},
  publisher = {IFAAMAS},
  year = {2012}
}

@proceedings{aamas16,
  title = {Proceedings of the Fifteenth International Conference on Autonomous Agents and Multiagent Systems (AAMAS'16)},
  editor = {C. Jonker and S. Marsella and J. Thangarajah and K. Tuyls},
  booktitle = {Proceedings of the Fifteenth International Conference on Autonomous Agents and Multiagent Systems (AAMAS'16)},
  publisher = acm,
  year = {2016}
}

@proceedings{aamas18,
  title = {Proceedings of the Seventeenth International Conference on Autonomous Agents and Multiagent Systems (AAMAS'18)},
  editor = {E. Andr{\'e} and S. Koenig and M. Dastani and G. Sukthankar},
  booktitle = {Proceedings of the Seventeenth International Conference on Autonomous Agents and Multiagent Systems (AAMAS'18)},
  publisher = {IFAAMAS},
  year = {2018}
}

@proceedings{aamas20,
  title = {Proceedings of the Nineteenth International Conference on Autonomous Agents and Multiagent Systems (AAMAS'20)},
  editor = {A. {El Fallah Seghrouchni} and G. Sukthankar and B. An and N. Yorke{-}Smith},
  booktitle = {Proceedings of the Nineteenth International Conference on Autonomous Agents and Multiagent Systems (AAMAS'20)},
  publisher = {IFAAMAS},
  year = {2020}
}

@proceedings{aamas22,
  title = {Proceedings of the Twenty-first International Conference on Autonomous Agents and Multiagent Systems (AAMAS'22)},
  editor = {P. Faliszewski and V. Mascardi and C. Pelachaud and M. Taylor},
  booktitle = {Proceedings of the Twenty-first International Conference on Autonomous Agents and Multiagent Systems (AAMAS'22)},
  doi = {10.5555/3535850},
  publisher = {International Foundation for Autonomous Agents and Multiagent Systems {(IFAAMAS)}},
  year = {2022}
}

@proceedings{ab07,
  title = {Proceedings of the Second International Conference on Algebraic Biology (AB'07)},
  editor = {H. Anai and K. Horimoto and T. Kutsia},
  booktitle = {Proceedings of the Second International Conference on Algebraic Biology (AB'07)},
  publisher = springer,
  series = lncs,
  volume = {4545},
  year = {2007}
}

@book{ads07,
  title = {Data Streams --- Models and Algorithms},
  editor = {C. Aggarwal},
  booktitle = {Data Streams --- Models and Algorithms},
  publisher = springer,
  series = {Advances in Database Systems},
  volume = {31},
  year = {2007}
}

@proceedings{agp03,
  title = {Proceedings of the Joint Conference on Declarative Programming (AGP'03)},
  editor = {F. Buccafurri},
  booktitle = {Proceedings of the Joint Conference on Declarative Programming (AGP'03)},
  year = {2003}
}

@proceedings{ai11,
  title = {Proceedings of the Twenty-fourth Canadian Conference on Artificial Intelligence},
  editor = {C. Butz and P. Lingras},
  booktitle = {Proceedings of the Twenty-fourth Canadian Conference on Artificial Intelligence},
  publisher = springer,
  series = lncs,
  volume = {6657},
  year = {2011}
}

@proceedings{ai12,
  title = {Proceedings of the Twenty-fifth Canadian Conference on Artificial Intelligence (AI'12)},
  editor = {L. Kosseim and D. Inkpen},
  booktitle = {Proceedings of the Twenty-fifth Canadian Conference on Artificial Intelligence (AI'12)},
  publisher = springer,
  series = lncs,
  volume = {7310},
  year = {2012}
}

@proceedings{aimsa08,
  title = {Proceedings of the Thirteenth International Conference on Artificial Intelligence: Methodology, Systems, and Applications (AIMSA'08)},
  editor = {D. Dochev and M. Pistore and P. Traverso},
  booktitle = {Proceedings of the Thirteenth International Conference on Artificial Intelligence: Methodology, Systems, and Applications (AIMSA'08)},
  publisher = springer,
  series = lnai,
  volume = {5253},
  year = {2008}
}

@proceedings{aips00,
  title = {Proceedings of the Fifth International Conference on Artificial Intelligence Planning Systems (AIPS'00)},
  editor = {S. Chien and S. Kambhampati and C. Knoblock},
  booktitle = {Proceedings of the Fifth International Conference on Artificial Intelligence Planning Systems (AIPS'00)},
  publisher = {{AAAI} Press},
  year = {2000}
}

@proceedings{aips92,
  title = {Proceedings of the First International Conference on Artificial Intelligence Planning Systems (AIPS'92)},
  editor = {J. Hendler},
  booktitle = {Proceedings of the First International Conference on Artificial Intelligence Planning Systems (AIPS'92)},
  publisher = m-k,
  year = {1992}
}

@proceedings{aips98,
  title = {Proceedings of the Fourth International Conference on Artificial Intelligence Planning Systems (AIPS'98)},
  editor = {R. Simmons and M. Veloso and S. Smith},
  booktitle = {Proceedings of the Fourth International Conference on Artificial Intelligence Planning Systems (AIPS'98)},
  publisher = {{AAAI} Press},
  year = {1998}
}

@proceedings{amai04,
  title = {Proceedings of the Eighth International Symposium on Artificial Intelligence and Mathematics},
  booktitle = {Proceedings of the Eighth International Symposium on Artificial Intelligence and Mathematics},
  year = {2004}
}

@proceedings{anb10,
  title = {Proceedings of the Fourth International Conference on Algebraic and Numeric Biology (ANB'10)},
  editor = {K. Horimoto and M. Nakatsui and N. Popov},
  booktitle = {Proceedings of the Fourth International Conference on Algebraic and Numeric Biology (ANB'10)},
  publisher = springer,
  series = lncs,
  volume = {6479},
  year = {2012}
}

@proceedings{aose00,
  title = {Proceedings of the First International Workshop of Agent-Oriented Software Engineering (AOSE'00)},
  editor = {P. Ciancarini and M. Wooldridge},
  booktitle = {Proceedings of the First International Workshop of Agent-Oriented Software Engineering (AOSE'00)},
  publisher = springer,
  series = lncs,
  volume = {1957},
  year = {2001}
}

@book{ARHandbook,
  title = {Handbook of Automated Reasoning},
  editor = {A. Robinson and A. Voronkov},
  booktitle = {Handbook of Automated Reasoning},
  publisher = {Elsevier and MIT Press},
  year = {2001}
}

@proceedings{asmc22,
  title = {Proceedings of the Thirty-third Annual SEMI Advanced
Semiconductor Manufacturing Conference (ASMC'22)},
  booktitle = {Proceedings of the Thirty-third Annual SEMI Advanced
Semiconductor Manufacturing Conference (ASMC'22)},
  publisher = ieee,
  year = {2022}
}

@proceedings{asp01,
  title = {Proceedings of the AAAI Spring Symposium on Answer Set Programming (ASP'01)},
  editor = {A. Provetti and T. Son},
  booktitle = {Proceedings of the AAAI Spring Symposium on Answer Set Programming (ASP'01)},
  publisher = aaaimit,
  year = {2001}
}

@proceedings{asp03,
  title = {Proceedings of the Second International Workshop on Answer Set Programming (ASP'03)},
  editor = {M. {de Vos} and A. Provetti},
  booktitle = {Proceedings of the Second International Workshop on Answer Set Programming (ASP'03)},
  publisher = {CEUR Workshop Proceedings},
  volume = {78},
  year = {2003}
}

@proceedings{asp05,
  title = {Proceedings of the Third International Workshop on Answer Set Programming (ASP'05)},
  editor = {M. {de Vos} and A. Provetti},
  booktitle = {Proceedings of the Third International Workshop on Answer Set Programming (ASP'05)},
  publisher = {CEUR Workshop Proceedings},
  url = {http://ceur-ws.org/Vol-142},
  volume = {142},
  year = {2005}
}

@proceedings{asp07,
  title = {Proceedings of the Fourth International Workshop on Answer Set Programming (ASP'07)},
  editor = {S. Costantini and R. Watson},
  booktitle = {Proceedings of the Fourth International Workshop on Answer Set Programming (ASP'07)},
  year = {2007}
}

@proceedings{aspdac18,
  title = {Proceedings of the Twenty-third Asia and South Pacific Design Automation Conference (ASP-DAC'18)},
  editor = {Y. Shin},
  booktitle = {Proceedings of the Twenty-third Asia and South Pacific Design Automation Conference (ASP-DAC'18)},
  publisher = {{IEEE}},
  url = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8291862},
  year = {2018}
}

@proceedings{asplos00,
  title = {Proceedings of the Ninth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS'00)},
  editor = {L. Rudolph and A. Gupta},
  booktitle = {Proceedings of the Ninth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS'00)},
  publisher = acm,
  year = {2000}
}

@proceedings{aspocp09,
  title = {Proceedings of the Second Workshop on Answer Set Programming and Other Computing Paradigms
(ASPOCP'09)},
  editor = {W. Faber and J. Lee},
  booktitle = {Proceedings of the Second Workshop on Answer Set Programming and Other Computing Paradigms
(ASPOCP'09)},
  year = {2009}
}

@proceedings{aspocp12,
  title = {Proceedings of the Fifth Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP'12)},
  editor = {M. Fink and Y. Lierler},
  booktitle = {Proceedings of the Fifth Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP'12)},
  year = {2012}
}

@proceedings{aspocp13,
  title = {Proceedings of the Sixth Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP'13)},
  editor = {M. Fink and Y. Lierler},
  booktitle = {Proceedings of the Sixth Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP'13)},
  publisher = {CoRR},
  year = {2013}
}

@proceedings{aspocp14,
  title = {Proceedings of the Seventh Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP'14)},
  editor = {D. Inclezan and M. Maratea},
  booktitle = {Proceedings of the Seventh Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP'14)},
  year = {2014}
}

@proceedings{aspocp15,
  title = {Proceedings of the Eighth Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP'15)},
  editor = {D. Inclezan and M. Maratea},
  booktitle = {Proceedings of the Eighth Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP'15)},
  year = {2015}
}

@proceedings{aspocp16,
  title = {Proceedings of the Ninth Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP'16)},
  editor = {B. Bogaerts and A. Harrison},
  booktitle = {Proceedings of the Ninth Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP'16)},
  url = {https://sites.google.com/site/aspocp2016/},
  year = {2016}
}

@proceedings{aspocp17,
  title = {Proceedings of the Tenth Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP'17)},
  editor = {B. Bogaerts and A. Harrison},
  booktitle = {Proceedings of the Tenth Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP'17)},
  publisher = {{CEUR} Workshop Proceedings},
  volume = {1868},
  year = {2017}
}

@proceedings{aspocp18,
  title = {Proceedings of the Eleventh Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP'18)},
  editor = {J. Fandinno and J. Fichte},
  booktitle = {Proceedings of the Eleventh Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP'18)},
  year = {2018}
}

@proceedings{aspocp20,
  title = {Proceedings of the Thirteenth  Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP'20)},
  editor = {M. Hecher and J. Zangari},
  booktitle = {Proceedings of the Thirteenth  Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP'20)},
  year = {2020}
}

@proceedings{aspocp21,
  title = {Proceedings of the Fourteenth Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP'21)},
  booktitle = {Proceedings of the Fourteenth Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP'21)},
  year = {2021}
}

@proceedings{aspocp22,
  title = {Proceedings of the Fifteenth Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP'22)},
  booktitle = {Proceedings of the Fifteenth Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP'22)},
  publisher = {CEUR-WS.org},
  series = {{CEUR} Workshop Proceedings},
  volume = {3193},
  year = {2022}
}

@proceedings{ausai07,
  title = {Proceedings of the Twentieth Australian Joint Conference on Artificial Intelligence (AI'07)},
  editor = {M. Orgun and J. Thornton},
  booktitle = {Proceedings of the Twentieth Australian Joint Conference on Artificial Intelligence (AI'07)},
  publisher = springer,
  series = lncs,
  volume = {4830},
  year = {2007}
}

@proceedings{ausai10,
  title = {Proceedings of the Twenty-third Australasian Joint Conference on Artificial Intelligence},
  editor = {J. Li},
  booktitle = {Proceedings of the Twenty-third Australasian Joint Conference on Artificial Intelligence},
  publisher = springer,
  series = lncs,
  volume = {6464},
  year = {2011}
}

@proceedings{baader60,
  title = {Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday},
  editor = {C. Lutz and U. Sattler and C. Tinelli and A. Turhan and F. Wolter},
  booktitle = {Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday},
  publisher = springer,
  series = lncs,
  volume = {11560},
  year = {2019}
}

@proceedings{bpm14,
  title = {Proceedings of the Twelfth International Conference on Business Process Management (BPM'14)},
  editor = {S. Sadiq and P. Soffer and H. V{\"{o}}lzer},
  booktitle = {Proceedings of the Twelfth International Conference on Business Process Management (BPM'14)},
  publisher = springer,
  series = lncs,
  volume = {8659},
  year = {2014}
}

@proceedings{bpm16,
  title = {Proceedings of the Business Process Management Forum (BPM'16)},
  editor = {M. La Rosa and P. Loos and O. Pastor},
  booktitle = {Proceedings of the Business Process Management Forum (BPM'16)},
  publisher = springer,
  series = {Lecture Notes in Business Information Processing},
  volume = {260},
  year = {2016}
}

@proceedings{cade09,
  title = {Proceedings of the Twenty-second International Conference on Automated Deduction (CADE'09)},
  editor = {R. Schmidt},
  booktitle = {Proceedings of the Twenty-second International Conference on Automated Deduction (CADE'09)},
  publisher = springer,
  series = lncs,
  volume = {5663},
  year = {2009}
}

@proceedings{cade11,
  title = {Proceedings of the Twenty-third International Conference on Automated Deduction (CADE'11)},
  editor = {N. Bj{\o}rner and V. Sofronie-Stokkermans},
  booktitle = {Proceedings of the Twenty-third International Conference on Automated Deduction (CADE'11)},
  publisher = springer,
  series = lncs,
  volume = {6803},
  year = {2011}
}

@proceedings{cade17,
  title = {Proceedings of the Twenty-sixth International Conference on Automated Deduction (CADE'17)},
  editor = {L. de Moura},
  booktitle = {Proceedings of the Twenty-sixth International Conference on Automated Deduction (CADE'17)},
  publisher = springer,
  series = lncs,
  volume = {10395},
  year = {2017}
}

@proceedings{cade19,
  title = {Proceedings of the Twenty-seventh International Conference on Automated Deduction (CADE'19)},
  editor = {P. Fontaine},
  booktitle = {Proceedings of the Twenty-seventh International Conference on Automated Deduction (CADE'19)},
  publisher = springer,
  series = lncs,
  volume = {11716},
  year = {2019}
}

@proceedings{cade88,
  title = {Proceedings of the Nineth International Conference on Automated Deduction (CADE'88)},
  editor = {E. Lusk and R. Overbeek},
  booktitle = {Proceedings of the Nineth International Conference on Automated Deduction (CADE'88)},
  publisher = springer,
  series = lncs,
  volume = {310},
  year = {1988}
}

@proceedings{cade90,
  title = {Proceedings of the Tenth International Conference on Automated Deduction (CADE'90)},
  editor = {M. Stickel},
  booktitle = {Proceedings of the Tenth International Conference on Automated Deduction (CADE'90)},
  publisher = springer,
  series = lncs,
  volume = {449},
  year = {1990}
}

@proceedings{cade96,
  title = {Proceedings of the Thirteenth International Conference on Automated Deduction (CADE'96)},
  editor = {M. McRobbie and J. Slaney},
  booktitle = {Proceedings of the Thirteenth International Conference on Automated Deduction (CADE'96)},
  publisher = springer,
  series = lncs,
  volume = {1104},
  year = {1996}
}

@proceedings{cade97,
  title = {Proceedings of the Fourteenth International Conference on Automated Deduction (CADE'97)},
  editor = {W. McCune},
  booktitle = {Proceedings of the Fourteenth International Conference on Automated Deduction (CADE'97)},
  publisher = springer,
  series = lncs,
  volume = {1249},
  year = {1997}
}

@proceedings{cav05,
  title = {Proceedings of the Seventeenth International Conference on Computer Aided Verification (CAV'05)},
  editor = {K. Etessami and S. Rajamani},
  booktitle = {Proceedings of the Seventeenth International Conference on Computer Aided Verification (CAV'05)},
  publisher = springer,
  series = lncs,
  volume = {3576},
  year = {2005}
}

@proceedings{cav06,
  title = {Proceedings of the Eighteenth International Conference on Computer Aided Verification (CAV'06)},
  editor = {T. Ball and R. Jones},
  booktitle = {Proceedings of the Eighteenth International Conference on Computer Aided Verification (CAV'06)},
  publisher = springer,
  series = lncs,
  volume = {4144},
  year = {2006}
}

@proceedings{cav07,
  title = {Proceedings of the Nineteenth International Conference on Computer Aided Verification (CAV'07)},
  editor = {W. Damm and H. Hermanns},
  booktitle = {Proceedings of the Nineteenth International Conference on Computer Aided Verification (CAV'07)},
  publisher = springer,
  series = lncs,
  volume = {4590},
  year = {2007}
}

@proceedings{cav10,
  title = {Proceedings of the Twenty-second International Conference on Computer Aided Verification (CAV'10)},
  editor = {T. Touili and B. Cook and P. Jackson},
  booktitle = {Proceedings of the Twenty-second International Conference on Computer Aided Verification (CAV'10)},
  publisher = springer,
  series = lncs,
  volume = {6174},
  year = {2010}
}

@proceedings{cav12,
  title = {Proceedings of the Twenty-fourth International Conference on Computer Aided Verification (CAV'12)},
  editor = {P. Madhusudan and S. Seshia},
  booktitle = {Proceedings of the Twenty-fourth International Conference on Computer Aided Verification (CAV'12)},
  publisher = springer,
  series = lncs,
  volume = {7358},
  year = {2012}
}

@proceedings{cav13,
  title = {Proceedings of the Twenty-fifth International Conference on Computer Aided Verification (CAV'13)},
  editor = {N. Sharygina and H. Veith},
  booktitle = {Proceedings of the Twenty-fifth International Conference on Computer Aided Verification (CAV'13)},
  publisher = springer,
  series = lncs,
  volume = {8044},
  year = {2013}
}

@proceedings{cent07,
  title = {Proceedings of the Workshop on Correspondence and Equivalence for Nonmonotonic Theories (CENT'07)},
  editor = {D. Pearce and A. Polleres and A. Valverde and S. Woltran},
  booktitle = {Proceedings of the Workshop on Correspondence and Equivalence for Nonmonotonic Theories (CENT'07)},
  year = {2007}
}

@proceedings{cfv07,
  title = {Proceedings of the Fourth International Workshop on Constraints in Formal Verification (CFV'07)},
  editor = {M. Velev},
  booktitle = {Proceedings of the Fourth International Workshop on Constraints in Formal Verification (CFV'07)},
  year = {2007}
}

@proceedings{charme05,
  title = {Proceedings of the Thirteenth Conference on Correct Hardware Design and Verification Methods (CHARME'05)},
  editor = {D. Borrione and W. Paul},
  booktitle = {Proceedings of the Thirteenth Conference on Correct Hardware Design and Verification Methods (CHARME'05)},
  publisher = springer,
  series = lncs,
  volume = {3725},
  year = {2005}
}

@book{ci04,
  title = {Special Issue on Preferences in Artificial Intelligence},
  editor = {J. Delgrande and J. Doyle and U. Junker and F. Rossi and T. Schaub},
  booktitle = {Special Issue on Preferences in Artificial Intelligence},
  publisher = wiley,
  series = {Computational Intelligence},
  volume = {20(2)},
  year = {2004}
}

@proceedings{cikm06,
  title = {Proceedings of the Fifteenth International Conference on Information and Knowledge Management},
  editor = {P. Yu and V. Tsotras and E. Fox and B. Liu},
  booktitle = {Proceedings of the Fifteenth International Conference on Information and Knowledge Management},
  publisher = acm,
  year = {2006}
}

@proceedings{cikm13,
  title = {Proceedings of the Twenty-second International Conference on Information and Knowledge Management (CIKM'13)},
  editor = {Q. He and A. Iyengar and W. Nejdl and J. Pei and R. Rastogi},
  booktitle = {Proceedings of the Twenty-second International Conference on Information and Knowledge Management (CIKM'13)},
  publisher = acm,
  year = {2013}
}

@proceedings{cisis09,
  title = {Proceedings of the Third International Conference on Complex, Intelligent and Software Intensive Systems (CISIS'09)},
  editor = {L. Barolli and F. Xhafa and H. Hsu},
  booktitle = {Proceedings of the Third International Conference on Complex, Intelligent and Software Intensive Systems (CISIS'09)},
  publisher = ieee,
  year = {2009}
}

@proceedings{cisis10,
  title = {Proceedings of the Fourth International Conference on Complex, Intelligent and Software Intensive Systems (CISIS'10)},
  editor = {L. Barolli and F. Xhafa and S. Vitabile and H. Hsu},
  booktitle = {Proceedings of the Fourth International Conference on Complex, Intelligent and Software Intensive Systems (CISIS'10)},
  publisher = ieee,
  year = {2010}
}

@proceedings{cl00,
  title = {Proceedings of the First International Conference on Computational Logic (CL'00)},
  editor = {J. Lloyd and V. Dahl and U. Furbach and M. Kerber and K. Lau and C. Palamidessi and L. Pereira and Y. Sagiv and P. Stuckey},
  booktitle = {Proceedings of the First International Conference on Computational Logic (CL'00)},
  publisher = springer,
  series = lncs,
  volume = {1861},
  year = {2000}
}

@proceedings{cmsb12,
  title = {Proceedings of the Tenth International Conference on Computational Methods in Systems Biology (CMSB'12)},
  editor = {D. Gilbert and M. Heiner},
  booktitle = {Proceedings of the Tenth International Conference on Computational Methods in Systems Biology (CMSB'12)},
  publisher = springer,
  series = lncs,
  volume = {7605},
  year = {2012}
}

@proceedings{cmsb15,
  title = {Proceedings of the Thirteenth International Conference on Computational Methods in Systems Biology (CMSB'15)},
  editor = {O. Roux and J. Bourdon},
  booktitle = {Proceedings of the Thirteenth International Conference on Computational Methods in Systems Biology (CMSB'15)},
  publisher = springer,
  series = lnbi,
  volume = {9308},
  year = {2015}
}

@proceedings{cmsb18,
  title = {Proceedings of the Sixteenth International Conference on Computational Methods in Systems Biology (CMSB'18)},
  editor = {M. Ceska and D. Safr{\'a}nek},
  booktitle = {Proceedings of the Sixteenth International Conference on Computational Methods in Systems Biology (CMSB'18)},
  publisher = springer,
  series = lncs,
  volume = {11095},
  year = {2018}
}

@proceedings{cocomile12,
  title = {Proceedings of the First Workshop on Combining Constraint Solving with Mining and Learning (CoCoMile'12)},
  editor = {R. Coletta and T. Guns and B. O'Sullivan and A. Passerini and G. Tack},
  booktitle = {Proceedings of the First Workshop on Combining Constraint Solving with Mining and Learning (CoCoMile'12)},
  year = {2012}
}

@proceedings{cogrob18,
  title = {Proceedings of the Eleventh Workshop on Cognitive Robotics (CogRob'18)},
  editor = {G. Steinbauer and A. Ferrein},
  booktitle = {Proceedings of the Eleventh Workshop on Cognitive Robotics (CogRob'18)},
  publisher = {{CEUR} Workshop Proceedings},
  url = {http://ceur-ws.org/Vol-2325},
  volume = {2325},
  year = {2019}
}

@proceedings{comma10,
  title = {Proceedings of Computational Models of Argument (COMMA'10)},
  editor = {P. Baroni and F. Cerutti and M. Giacomin and G. Simari},
  booktitle = {Proceedings of Computational Models of Argument (COMMA'10)},
  publisher = ios,
  series = {Frontiers in Artificial Intelligence and Applications},
  volume = {216},
  year = {2010}
}

@proceedings{conf14,
  title = {Proceedings of the Sixteenth International Configuration Workshop (CONF'14)},
  editor = {A. Felfernig and C. Forza and A. Haag},
  booktitle = {Proceedings of the Sixteenth International Configuration Workshop (CONF'14)},
  publisher = {{CEUR} Workshop Proceedings},
  volume = {1220},
  year = {2014}
}

@proceedings{conf15,
  title = {Proceedings of the Seventeenth International Configuration Workshop (CONF'15)},
  editor = {J. Tiihonen and A. Falkner and T. Axling},
  booktitle = {Proceedings of the Seventeenth International Configuration Workshop (CONF'15)},
  publisher = {{CEUR} Workshop Proceedings},
  volume = {1453},
  year = {2015}
}

@proceedings{conf17,
  title = {Proceedings of the Nineteenth International Configuration Workshop (CONF'17)},
  editor = {L. Zhang and A. Haag},
  booktitle = {Proceedings of the Nineteenth International Configuration Workshop (CONF'17)},
  year = {2017}
}

@proceedings{conf18,
  title = {Proceedings of the Twentieth Configuration Workshop (CONF'18)},
  editor = {A. Felfernig and J. Tiihonen and L. Hotz and M. Stettinger},
  booktitle = {Proceedings of the Twentieth Configuration Workshop (CONF'18)},
  publisher = {{CEUR} Workshop Proceedings},
  volume = {2220},
  year = {2018}
}

@proceedings{conf23,
  title = {Proceedings of the Twenty-fifth International Configuration Workshop (CONF'23)},
  editor = {J. Horcas and J. Galindo and R. Comploi{-}Taupe and L. Fuentes},
  booktitle = {Proceedings of the Twenty-fifth International Configuration Workshop (CONF'23)},
  publisher = {{CEUR} Workshop Proceedings},
  volume = {3509},
  year = {2023}
}

@proceedings{cp00,
  title = {Proceedings of the Sixth International Conference on Principles and Practice of Constraint Programming (CP'00)},
  editor = {R. Dechter},
  booktitle = {Proceedings of the Sixth International Conference on Principles and Practice of Constraint Programming (CP'00)},
  publisher = springer,
  series = lncs,
  volume = {1894},
  year = {2000}
}

@proceedings{cp01,
  title = {Proceedings of the Seventh International Conference on Principles and Practice of Constraint Programming (CP'01)},
  editor = {T. Walsh},
  booktitle = {Proceedings of the Seventh International Conference on Principles and Practice of Constraint Programming (CP'01)},
  publisher = springer,
  series = lncs,
  volume = {2239},
  year = {2001}
}

@proceedings{cp02,
  title = {Proceedings of the Eighth International Conference on Principles and Practice of Constraint Programming (CP'02)},
  editor = {P. Van Hentenryck},
  booktitle = {Proceedings of the Eighth International Conference on Principles and Practice of Constraint Programming (CP'02)},
  publisher = springer,
  series = lncs,
  volume = {2470},
  year = {2002}
}

@proceedings{cp03,
  title = {Proceedings of the Ninth International Conference on Principles and Practice of Constraint Programming (CP'03)},
  editor = {F. Rossi},
  booktitle = {Proceedings of the Ninth International Conference on Principles and Practice of Constraint Programming (CP'03)},
  publisher = springer,
  series = lncs,
  volume = {2833},
  year = {2003}
}

@proceedings{cp04,
  title = {Proceedings of the Tenth International Conference on Principles and Practice of Constraint Programming (CP'04)},
  editor = {M. Wallace},
  booktitle = {Proceedings of the Tenth International Conference on Principles and Practice of Constraint Programming (CP'04)},
  publisher = springer,
  series = lncs,
  volume = {3258},
  year = {2004}
}

@proceedings{cp05,
  title = {Proceedings of the Eleventh International Conference on Principles and Practice of Constraint Programming (CP'05)},
  editor = {P. {van Beek}},
  booktitle = {Proceedings of the Eleventh International Conference on Principles and Practice of Constraint Programming (CP'05)},
  publisher = springer,
  series = lncs,
  volume = {3709},
  year = {2005}
}

@proceedings{cp06,
  title = {Proceedings of the Twelfth International Conference on Principles and Practice of Constraint Programming (CP'06)},
  editor = {F. Benhamou},
  booktitle = {Proceedings of the Twelfth International Conference on Principles and Practice of Constraint Programming (CP'06)},
  publisher = springer,
  series = lncs,
  volume = {4204},
  year = {2006}
}

@proceedings{cp07,
  title = {Proceedings of the Thirteenth International Conference on Principles and Practice of Constraint Programming (CP'07)},
  editor = {C. Bessiere},
  booktitle = {Proceedings of the Thirteenth International Conference on Principles and Practice of Constraint Programming (CP'07)},
  publisher = springer,
  series = lncs,
  volume = {4741},
  year = {2007}
}

@proceedings{cp08,
  title = {Proceedings of the Fourteenth International Conference on Principles and Practice of Constraint Programming (CP'08)},
  editor = {P. Stuckey},
  booktitle = {Proceedings of the Fourteenth International Conference on Principles and Practice of Constraint Programming (CP'08)},
  publisher = springer,
  series = lncs,
  volume = {5202},
  year = {2008}
}

@proceedings{cp09,
  title = {Proceedings of the Fifteenth International Conference on Principles and Practice of Constraint Programming (CP'09)},
  editor = {I. Gent},
  booktitle = {Proceedings of the Fifteenth International Conference on Principles and Practice of Constraint Programming (CP'09)},
  publisher = springer,
  series = lncs,
  volume = {5732},
  year = {2009}
}

@proceedings{cp10,
  title = {Proceedings of the Sixteenth International Conference on Principles and Practice of Constraint Programming (CP'10)},
  editor = {D. Cohen},
  booktitle = {Proceedings of the Sixteenth International Conference on Principles and Practice of Constraint Programming (CP'10)},
  publisher = springer,
  series = lncs,
  volume = {6308},
  year = {2010}
}

@proceedings{cp11,
  title = {Proceedings of the Seventeenth International Conference on Principles and Practice of Constraint Programming (CP'11)},
  editor = {J. Lee},
  booktitle = {Proceedings of the Seventeenth International Conference on Principles and Practice of Constraint Programming (CP'11)},
  publisher = springer,
  series = lncs,
  volume = {6876},
  year = {2011}
}

@proceedings{cp13,
  title = {Proceedings of the Nineteenth International Conference on Principles and Practice of Constraint Programming (CP'13)},
  editor = {C. Schulte},
  booktitle = {Proceedings of the Nineteenth International Conference on Principles and Practice of Constraint Programming (CP'13)},
  publisher = springer,
  series = lncs,
  volume = {8124},
  year = {2013}
}

@proceedings{cp15,
  title = {Proceedings of the Twenty-first International Conference on Principles and Practice of Constraint Programming (CP'15)},
  editor = {G. Pesant},
  booktitle = {Proceedings of the Twenty-first International Conference on Principles and Practice of Constraint Programming (CP'15)},
  publisher = springer,
  series = lncs,
  volume = {9255},
  year = {2015}
}

@proceedings{cp19,
  title = {Proceedings of the Twenty-fifth International Conference on Principles and Practice of Constraint Programming (CP'19)},
  editor = {T. Schiex and S. de Givry},
  booktitle = {Proceedings of the Twenty-fifth International Conference on Principles and Practice of Constraint Programming (CP'19)},
  publisher = springer,
  series = lncs,
  volume = {11802},
  year = {2019}
}

@proceedings{cp21,
  title = {Proceedings of the Twenty-seventh International Conference on Principles and Practice of Constraint Programming (CP'21)},
  editor = {L. Michel},
  booktitle = {Proceedings of the Twenty-seventh International Conference on Principles and Practice of Constraint Programming (CP'21)},
  publisher = {Leibniz International Proceedings in Informatics (LIPIcs)},
  volume = {210},
  year = {2021}
}

@proceedings{cp95,
  title = {Proceedings of the First International Conference on Principles and Practice of Constraint Programming (CP'95)},
  editor = {U. Montanari and F. Rossi},
  booktitle = {Proceedings of the First International Conference on Principles and Practice of Constraint Programming (CP'95)},
  publisher = springer,
  series = lncs,
  volume = {976},
  year = {1995}
}

@proceedings{cp98,
  title = {Proceedings of the Fourth International Conference on Principles and Practice of Constraint Programming (CP'98)},
  editor = {M. Maher and J. Puget},
  booktitle = {Proceedings of the Fourth International Conference on Principles and Practice of Constraint Programming (CP'98)},
  doi = {10.1007/3-540-49481-2},
  publisher = springer,
  series = lncs,
  volume = {1520},
  year = {1998}
}

@proceedings{cpaior04,
  title = {Proceedings of the First Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR'04)},
  editor = {J. R{\'e}gin and M. Rueher},
  booktitle = {Proceedings of the First Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR'04)},
  publisher = springer,
  series = lncs,
  volume = {3011},
  year = {2004}
}

@proceedings{cpaior08,
  title = {Proceedings of the Fifth International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR'08)},
  editor = {L. Perron and M. Trick},
  booktitle = {Proceedings of the Fifth International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR'08)},
  publisher = springer,
  series = lncs,
  volume = {5015},
  year = {2008}
}

@proceedings{cpaior09,
  title = {Proceedings of the Sixth International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR'09)},
  editor = {W. {van Hoeve} and J. Hooker},
  booktitle = {Proceedings of the Sixth International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR'09)},
  publisher = springer,
  series = lncs,
  volume = {5547},
  year = {2009}
}

@proceedings{cpaior10,
  title = {Proceedings of the Seventh International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR'10)},
  editor = {A. Lodi and M. Milano and P. Toth},
  booktitle = {Proceedings of the Seventh International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR'10)},
  publisher = springer,
  series = lncs,
  volume = {6140},
  year = {2010}
}

@proceedings{cpaior11,
  title = {Proceedings of the Eighth International Conference on Integration of {AI} and {OR} Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR'11)},
  editor = {T. Achterberg and C. Beck},
  booktitle = {Proceedings of the Eighth International Conference on Integration of {AI} and {OR} Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR'11)},
  publisher = springer,
  series = lncs,
  volume = {6697},
  year = {2011}
}

@proceedings{cpaior15,
  title = {Proceedings of the Twelfth International Conference on Integration of {AI} and {OR} Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR'15)},
  editor = {L. Michel},
  booktitle = {Proceedings of the Twelfth International Conference on Integration of {AI} and {OR} Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR'15)},
  publisher = springer,
  series = lncs,
  volume = {9075},
  year = {2015}
}

@book{CPHandbook,
  title = {Handbook of Constraint Programming},
  editor = {F. Rossi and P. {van Beek} and T. Walsh},
  booktitle = {Handbook of Constraint Programming},
  publisher = elsevier,
  year = {2006}
}

@proceedings{cs05,
  title = {Proceedings of the Seventh International Symposium on Logical Formalizations of Commonsense Reasoning},
  editor = {S. McIlraith and P. Peppas and M. Thielscher},
  booktitle = {Proceedings of the Seventh International Symposium on Logical Formalizations of Commonsense Reasoning},
  organization = {Fakult{\"a}t Informatik, TU Dresden},
  year = {2005}
}

@proceedings{cs07,
  title = {Proceedings of the Eighth International Symposium on Logical Formalizations of Commonsense Reasoning},
  editor = {E. Amir and V. Lifschitz and R. Miller},
  booktitle = {Proceedings of the Eighth International Symposium on Logical Formalizations of Commonsense Reasoning},
  publisher = aaai,
  year = {2007}
}

@proceedings{cspsat12,
  title = {Proceedings of the Second International Workshop on the Cross-Fertilization Between {CSP} and {SAT} (CSPSAT'12)},
  editor = {Y. Ben-Haim and Y. Naveh},
  booktitle = {Proceedings of the Second International Workshop on the Cross-Fertilization Between {CSP} and {SAT} (CSPSAT'12)},
  year = {2012}
}

@proceedings{dac01,
  title = {Proceedings of the Thirty-eighth Conference on Design Automation (DAC'01)},
  booktitle = {Proceedings of the Thirty-eighth Conference on Design Automation (DAC'01)},
  publisher = acm,
  year = {2001}
}

@proceedings{dac07,
  title = {Proceedings of the Forty-fourth Conference on Design Automation (DAC'07)},
  booktitle = {Proceedings of the Forty-fourth Conference on Design Automation (DAC'07)},
  publisher = {IEEE Press},
  year = {2007}
}

@proceedings{dalt04,
  title = {Proceedings of the Second International Workshop on Declarative Agent Languages and Technologies (DALT'04)},
  editor = {J. Leite and A. Omicini and P. Torroni and P. Yolum},
  booktitle = {Proceedings of the Second International Workshop on Declarative Agent Languages and Technologies (DALT'04)},
  publisher = springer,
  series = lncs,
  volume = {3476},
  year = {2005}
}

@proceedings{damp10,
  title = {Proceedings of the POPL 2010 Workshop on Declarative Aspects of Multicore Programming (DAMP'10)},
  editor = {L. Petersen and E. Pontelli},
  booktitle = {Proceedings of the POPL 2010 Workshop on Declarative Aspects of Multicore Programming (DAMP'10)},
  publisher = acm,
  year = {2010}
}

@proceedings{datalog10,
  title = {Proceedings of the First International Workshop on Datalog},
  editor = {O. {de Moor} and G. Gottlob and T. Furche and A. Sellers},
  booktitle = {Proceedings of the First International Workshop on Datalog},
  publisher = springer,
  series = lncs,
  volume = {6702},
  year = {2011}
}

@proceedings{datalog12,
  title = {Proceedings of the Second International Workshop on Datalog},
  editor = {P. Barcel{\'o} and R. Pichler},
  booktitle = {Proceedings of the Second International Workshop on Datalog},
  publisher = springer,
  series = lncs,
  volume = {7494},
  year = {2012}
}

@proceedings{datalog19,
  title = {Proceedings of the Third International Workshop on Datalog},
  editor = {M. Alviano and A. Pieris},
  booktitle = {Proceedings of the Third International Workshop on Datalog},
  publisher = {{CEUR} Workshop Proceedings},
  volume = {2368},
  year = {2019}
}

@proceedings{date03,
  title = {Proceedings of the Sixth Conference on Design, Automation and Test in Europe (DATE'03)},
  booktitle = {Proceedings of the Sixth Conference on Design, Automation and Test in Europe (DATE'03)},
  publisher = ieee,
  year = {2003}
}

@proceedings{date06,
  title = {Proceedings of the Ninth Conference on Design, Automation and Test in Europe (DATE'06)},
  editor = {G. Gielen},
  booktitle = {Proceedings of the Ninth Conference on Design, Automation and Test in Europe (DATE'06)},
  year = {2006}
}

@proceedings{date08,
  title = {Proceedings of the Eleventh Conference on Design, Automation and Test in Europe (DATE'08)},
  booktitle = {Proceedings of the Eleventh Conference on Design, Automation and Test in Europe (DATE'08)},
  publisher = ieee,
  year = {2008}
}

@proceedings{date15,
  title = {Proceedings of the Eighteenth Conference on Design, Automation and Test in Europe (DATE'15)},
  editor = {W. Nebel and D. Atienza},
  booktitle = {Proceedings of the Eighteenth Conference on Design, Automation and Test in Europe (DATE'15)},
  publisher = acm,
  year = {2015}
}

@proceedings{date17,
  title = {Proceedings of the Twentieth Conference on Design, Automation and Test in Europe (DATE'17)},
  editor = {D. Atienza and G. {Di Natale}},
  booktitle = {Proceedings of the Twentieth Conference on Design, Automation and Test in Europe (DATE'17)},
  publisher = ieee,
  year = {2017}
}

@proceedings{date18,
  title = {Proceedings of the Twenty-first Conference on Design, Automation and Test in Europe (DATE'18)},
  editor = {J. Madsen and A. Coskun},
  booktitle = {Proceedings of the Twenty-first Conference on Design, Automation and Test in Europe (DATE'18)},
  publisher = ieee,
  year = {2018}
}

@proceedings{date99,
  title = {Proceedings of the Second Conference on Design, Automation and Test in Europe (DATE'99)},
  booktitle = {Proceedings of the Second Conference on Design, Automation and Test in Europe (DATE'99)},
  publisher = ieee,
  year = {1999}
}

@proceedings{ddecs11,
  title = {Proceedings of the 14th International Symposium on the Design and Diagnostics of Electronic Circuits and Systems (DDECS'11)},
  booktitle = {Proceedings of the 14th International Symposium on the Design and Diagnostics of Electronic Circuits and Systems (DDECS'11)},
  publisher = ieee,
  year = {2011}
}

@book{DeclarativeLP,
  title = {Declarative Logic Programming: Theory, Systems, and Applications},
  editor = {M. Kifer and Y. Liu},
  publisher = {{ACM} / Morgan {\&} Claypool},
  year = {2018}
}

@book{DLHandbook,
  title = {The Description Logic Handbook: Theory, Implementation, and Applications},
  editor = {F. Baader and D. Calvanese and D. McGuinness and D. Nardi and P. Patel-Schneider},
  booktitle = {The Description Logic Handbook: Theory, Implementation, and Applications},
  publisher = {Cambridge University Press},
  year = {2003}
}

@proceedings{ecai00,
  title = {Proceedings of the Fourteenth European Conference on Artificial Intelligence (ECAI'00)},
  editor = {W. Horn},
  booktitle = {Proceedings of the Fourteenth European Conference on Artificial Intelligence (ECAI'00)},
  publisher = {IOS Press},
  year = {2000}
}

@proceedings{ecai02,
  title = {Proceedings of the Fifteenth Eureopean Conference on Artificial Intelligence (ECAI'02)},
  editor = {F. {van Harmelen}},
  booktitle = {Proceedings of the Fifteenth Eureopean Conference on Artificial Intelligence (ECAI'02)},
  publisher = {IOS Press},
  year = {2002}
}

@proceedings{ecai04,
  title = {Proceedings of the Sixteenth Eureopean Conference on Artificial Intelligence (ECAI'04)},
  editor = {R. {L{\'o}pez de M{\'a}ntaras} and L. Saitta},
  booktitle = {Proceedings of the Sixteenth Eureopean Conference on Artificial Intelligence (ECAI'04)},
  publisher = {IOS Press},
  year = {2004}
}

@proceedings{ecai06,
  title = {Proceedings of the Seventeenth European Conference on Artificial Intelligence (ECAI'06)},
  editor = {G. Brewka and S. Coradeschi and A. Perini and P. Traverso},
  booktitle = {Proceedings of the Seventeenth European Conference on Artificial Intelligence (ECAI'06)},
  publisher = {IOS Press},
  year = {2006}
}

@proceedings{ecai08,
  title = {Proceedings of the Eighteenth European Conference on Artificial Intelligence (ECAI'08)},
  editor = {M. Ghallab and C. Spyropoulos and N. Fakotakis and N. Avouris},
  booktitle = {Proceedings of the Eighteenth European Conference on Artificial Intelligence (ECAI'08)},
  publisher = {IOS Press},
  year = {2008}
}

@proceedings{ecai10,
  title = {Proceedings of the Nineteenth European Conference on Artificial Intelligence (ECAI'10)},
  editor = {H. Coelho and R. Studer and M. Wooldridge},
  booktitle = {Proceedings of the Nineteenth European Conference on Artificial Intelligence (ECAI'10)},
  publisher = {IOS Press},
  year = {2010}
}

@proceedings{ecai12,
  title = {Proceedings of the Twentieth European Conference on Artificial Intelligence (ECAI'12)},
  editor = {L. {De Raedt} and C. Bessiere and D. Dubois and P. Doherty and P. Frasconi and F. Heintz and P. Lucas},
  booktitle = {Proceedings of the Twentieth European Conference on Artificial Intelligence (ECAI'12)},
  publisher = {IOS Press},
  year = {2012}
}

@proceedings{ecai14,
  title = {Proceedings of the Twenty-first European Conference on Artificial Intelligence (ECAI'14)},
  editor = {T. Schaub and G. Friedrich and B. {O'Sullivan}},
  booktitle = {Proceedings of the Twenty-first European Conference on Artificial Intelligence (ECAI'14)},
  publisher = {IOS Press},
  year = {2014}
}

@proceedings{ecai16,
  title = {Proceedings of the Twenty-second European Conference on Artificial Intelligence (ECAI'16)},
  editor = {G. Kaminka and M. Fox and P. Bouquet and E. H{\"u}llermeier and V. Dignum and F. Dignum and F. {van Harmelen}},
  booktitle = {Proceedings of the Twenty-second European Conference on Artificial Intelligence (ECAI'16)},
  publisher = {IOS Press},
  year = {2016}
}

@proceedings{ecai20,
  title = {Proceedings of the Twenty-fourth European Conference on Artificial Intelligence (ECAI'20)},
  editor = {G. {De Giacomo} and A. Catal{\'a} and B. Dilkina and M. Milano and S. Barro and A. Bugar{\'{\i}}n and J. Lang},
  booktitle = {Proceedings of the Twenty-fourth European Conference on Artificial Intelligence (ECAI'20)},
  publisher = ios,
  year = {2020}
}

@proceedings{ecai88,
  title = {Proceedings of the Eighth European Conference on Artificial Intelligence (ECAI'92)},
  editor = {Y. Kodratoff},
  booktitle = {Proceedings of the Eighth European Conference on Artificial Intelligence (ECAI'92)},
  publisher = pitman,
  year = {1988}
}

@proceedings{ecai92,
  title = {Proceedings of the Tenth European Conference on Artificial Intelligence (ECAI'92)},
  editor = {B. Neumann},
  booktitle = {Proceedings of the Tenth European Conference on Artificial Intelligence (ECAI'92)},
  publisher = wiley,
  year = {1992}
}

@proceedings{ecai96,
  title = {Proceedings of the Twelfth European Conference on Artificial Intelligence (ECAI'96)},
  editor = {W. Wahlster},
  booktitle = {Proceedings of the Twelfth European Conference on Artificial Intelligence (ECAI'96)},
  publisher = wiley,
  year = {1996}
}

@proceedings{eccb-posters10,
  title = {Poster Proceedings of the Ninth European Conference on Computational Biology (ECCB'10)},
  editor = {J. Vilo and Z. Yakhini},
  booktitle = {Poster Proceedings of the Ninth European Conference on Computational Biology (ECCB'10)},
  year = {2010}
}

@proceedings{ecp97,
  title = {Proceedings of the Fourth European Conference on Planning (ECP'97)},
  editor = {S. Steel and R. Alami},
  booktitle = {Proceedings of the Fourth European Conference on Planning (ECP'97)},
  publisher = springer,
  series = lncs,
  volume = {1348},
  year = {1997}
}

@proceedings{ecp99,
  title = {Proceedings of the Fifth European Conference on Planning (ECP'99)},
  editor = {S. Biundo and M. Fox},
  booktitle = {Proceedings of the Fifth European Conference on Planning (ECP'99)},
  publisher = springer,
  series = lncs,
  volume = {1809},
  year = {2000}
}

@proceedings{ecsqaru07,
  title = {Proceedings of the Ninth European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU'07)},
  editor = {K. Mellouli},
  booktitle = {Proceedings of the Ninth European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU'07)},
  publisher = springer,
  series = lnai,
  volume = {4724},
  year = {2007}
}

@proceedings{ecsqaru95,
  title = {Proceedings of the Third European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty (ECSQARU'95)},
  editor = {C. Froidevaux and J. Kohlas},
  booktitle = {Proceedings of the Third European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty (ECSQARU'95)},
  publisher = springer,
  series = lnai,
  volume = {946},
  year = {1995}
}

@book{EncyclopediaDB,
  title = {Encyclopedia of Database Systems},
  editor = {L. Liu and M. {\"O}zsu},
  booktitle = {Encyclopedia of Database Systems},
  publisher = springer,
  year = {2009}
}

@proceedings{epia01,
  title = {Proceedings of the Tenth Portuguese Conference on Artificial Intelligence (EPIA'01)},
  editor = {P. Brazdil and A. Jorge},
  booktitle = {Proceedings of the Tenth Portuguese Conference on Artificial Intelligence (EPIA'01)},
  publisher = springer,
  series = lncs,
  volume = {2258},
  year = {2001}
}

@proceedings{epia19,
  title = {Proceedings of the Nineteenth {EPIA} Conference on Artificial Intelligence, (EPIA'19)},
  editor = {P. Oliveira and P. Novais and L. Reis},
  booktitle = {Proceedings of the Nineteenth {EPIA} Conference on Artificial Intelligence, (EPIA'19)},
  publisher = {Springer},
  series = lncs,
  volume = {11805},
  year = {2019}
}

@proceedings{epia99,
  title = {Proceedings of the Ninth Portuguese Conference on Artificial Intelligence (EPIA'99)},
  editor = {P. Barahona and J. Alferes},
  booktitle = {Proceedings of the Ninth Portuguese Conference on Artificial Intelligence (EPIA'99)},
  publisher = springer,
  series = lncs,
  volume = {1695},
  year = {1999}
}

@proceedings{eswc10,
  title = {Proceedings of the Seventh Extended Semantic Web Conference (ESWC'10)},
  editor = {L. Aroyo and G. Antoniou and E. Hyv{\"o}nen and A. Teije and H. Stuckenschmidt and L. Cabral and T. Tudorache},
  booktitle = {Proceedings of the Seventh Extended Semantic Web Conference (ESWC'10)},
  publisher = springer,
  series = lncs,
  volume = {6088},
  year = {2010}
}

@proceedings{ewcg06,
  title = {Proceedings of the Twenty-second European Workshop on Computational Geometry (EWCG'06)},
  booktitle = {Proceedings of the Twenty-second European Workshop on Computational Geometry (EWCG'06)},
  year = {2006}
}

@proceedings{fisowe93a,
  title = {Proceedings of the Workshop on Executable Modal and Temporal Logics},
  editor = {M. Fisher and R. Owens},
  booktitle = {Proceedings of the Workshop on Executable Modal and Temporal Logics},
  publisher = springer,
  series = lncs,
  volume = {897},
  year = {1995}
}

@proceedings{flops08,
  title = {Proceedings of the Ninth International Symposium on Functional and Logic Programming (FLOPS'08)},
  editor = {J. Garrigue and M. Hermenegildo},
  booktitle = {Proceedings of the Ninth International Symposium on Functional and Logic Programming (FLOPS'08)},
  publisher = springer,
  series = lncs,
  volume = {4989},
  year = {2008}
}

@proceedings{fmcad00,
  title = {Proceedings of the Third International Conference on Formal Methods in Computer-Aided Design (FMCAD'00)},
  editor = {W. Hunt and S. Johnson},
  booktitle = {Proceedings of the Third International Conference on Formal Methods in Computer-Aided Design (FMCAD'00)},
  publisher = springer,
  series = lncs,
  volume = {1954},
  year = {2000}
}

@proceedings{fmcad04,
  title = {Proceedings of the Fifth International Conference on Formal Methods in Computer-Aided Design (FMCAD'04)},
  editor = {A. Hu and A. Martin},
  booktitle = {Proceedings of the Fifth International Conference on Formal Methods in Computer-Aided Design (FMCAD'04)},
  publisher = springer,
  series = lncs,
  volume = {3312},
  year = {2004}
}

@proceedings{fmcad15,
  title = {Proceedings of the Fifteenth International Conference on Formal Methods in Computer-Aided Design (FMCAD'15)},
  editor = {R. Kaivola and T. Wahl},
  booktitle = {Proceedings of the Fifteenth International Conference on Formal Methods in Computer-Aided Design (FMCAD'15)},
  publisher = ieee,
  year = {2015}
}

@proceedings{focs03,
  title = {Proceedings of the Forty-fourth Symposium on Foundations of Computer Science (FOCS'03)},
  booktitle = {Proceedings of the Forty-fourth Symposium on Foundations of Computer Science (FOCS'03)},
  publisher = ieee,
  year = {2003}
}

@proceedings{focs77,
  title = {Proceedings of the Eight-teenth Symposium on Foundations of Computer Science (FOCS'77)},
  booktitle = {Proceedings of the Eight-teenth Symposium on Foundations of Computer Science (FOCS'77)},
  publisher = ieee,
  year = {1977}
}

@proceedings{foiks08,
  title = {Proceedings of the Fifth International Symposium on Foundations of Information and Knowledge Systems (FoIKS'08)},
  editor = {S. Hartmann and G. Kern-Isberner},
  booktitle = {Proceedings of the Fifth International Symposium on Foundations of Information and Knowledge Systems (FoIKS'08)},
  publisher = springer,
  series = lncs,
  volume = {4932},
  year = {2008}
}

@book{fpm14,
  title = {Frequent Pattern Mining},
  editor = {C. Aggarwal and J. Han},
  booktitle = {Frequent Pattern Mining},
  publisher = springer,
  year = {2014}
}

@proceedings{fqas09,
  title = {Proceedings of the Eighth International Conference on Flexible Query Answering Systems (FQAS'09)},
  editor = {T. Andreasen and R. Yager and H. Bulskov and H. Christiansen and H. Larsen},
  booktitle = {Proceedings of the Eighth International Conference on Flexible Query Answering Systems (FQAS'09)},
  publisher = springer,
  series = lncs,
  volume = {5822},
  year = {2009}
}

@proceedings{frocos96,
  title = {Proceedings of the First International Workshop on Frontiers of Combining Systems (FroCoS'96)},
  editor = {F. Baader and K. Schulz},
  publisher = {Kluwer Academic Publishers},
  series = {Applied Logic Series},
  volume = {3},
  year = {1996}
}

@proceedings{fsttcs08,
  title = {IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'08)},
  editor = {R. Hariharan and M. Mukund and V. Vinay},
  booktitle = {IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'08)},
  publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  series = {Leibniz International Proceedings in Informatics (LIPIcs)},
  volume = {2},
  year = {2008}
}

@proceedings{gb60,
  title = {Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation: Essays Dedicated to {G}erhard {B}rewka on the Occasion of His 60th Birthday},
  editor = {T. Eiter and H. Strass and M. Truszczy{\'n}ski and S. Woltran},
  booktitle = {Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation: Essays Dedicated to {G}erhard {B}rewka on the Occasion of His 60th Birthday},
  publisher = springer,
  series = lnai,
  volume = {9060},
  year = {2015}
}

@proceedings{gd04,
  title = {Proceedings of the Twelfth International Symposium on Graph Drawing (GD'04)},
  editor = {J. Pach},
  booktitle = {Proceedings of the Twelfth International Symposium on Graph Drawing (GD'04)},
  publisher = springer,
  series = lncs,
  volume = {3383},
  year = {2004}
}

@proceedings{gecco02,
  title = {Proceedings of the Fourth Annual Conference on Genetic and Evolutionary Computation (GECCO'02)},
  editor = {M. Kaufmann},
  booktitle = {Proceedings of the Fourth Annual Conference on Genetic and Evolutionary Computation (GECCO'02)},
  publisher = acm,
  year = {2002}
}

@proceedings{gecco09,
  title = {Proceedings of the Eleventh Annual Conference on Genetic and Evolutionary Computation (GECCO'09)},
  editor = {F. Rothlauf},
  booktitle = {Proceedings of the Eleventh Annual Conference on Genetic and Evolutionary Computation (GECCO'09)},
  publisher = acm,
  year = {2009}
}

@proceedings{gttv11,
  title = {Proceedings of the First Workshop on Grounding and Transformation for Theories with Variables (GTTV'11)},
  editor = {P. Cabalar and D. Mitchell and D. Pearce and E. Ternovska},
  booktitle = {Proceedings of the First Workshop on Grounding and Transformation for Theories with Variables (GTTV'11)},
  year = {2011}
}

@proceedings{gttv13,
  title = {Proceedings of the Second Workshop on Grounding and Transformation for Theories with Variables (GTTV'13)},
  editor = {D. Pearce and S. Tasharrofi and E. Ternovska and C. Vidal},
  booktitle = {Proceedings of the Second Workshop on Grounding and Transformation for Theories with Variables (GTTV'13)},
  year = {2013}
}

@proceedings{gttv15,
  title = {Proceedings of the Third Workshop on Grounding, Transforming, and Modularizing Theories with Variables (GTTV'15)},
  editor = {M. Denecker and T. Janhunen},
  booktitle = {Proceedings of the Third Workshop on Grounding, Transforming, and Modularizing Theories with Variables (GTTV'15)},
  year = {2015}
}

@proceedings{gurevich70,
  title = {Fields of Logic and Computation, Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday},
  editor = {A. Blass and N. Dershowitz and W. Reisig},
  booktitle = {Fields of Logic and Computation, Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday},
  publisher = springer,
  series = lncs,
  volume = {6300},
  year = {2010}
}

@proceedings{gurevich80,
  title = {Fields of Logic and Computation {III}, Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday},
  editor = {A. Blass and P. Cegielski and N. Dershowitz and M. Droste and B. Finkbeiner},
  booktitle = {Fields of Logic and Computation {III}, Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday},
  publisher = springer,
  series = lncs,
  volume = {12180},
  year = {2020}
}

@proceedings{hvc05,
  title = {Proceedings of the First Haifa Verification Conference (HVC'05)},
  editor = {S. Ur and E. Bin and Y. Wolfsthal},
  booktitle = {Proceedings of the First Haifa Verification Conference (HVC'05)},
  publisher = springer,
  series = lncs,
  volume = {3875},
  year = {2006}
}

@proceedings{iat09,
  title = {Proceedings of the IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT'09)},
  booktitle = {Proceedings of the IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT'09)},
  publisher = ieee,
  year = {2009}
}

@proceedings{icaart22,
  title = {Proceedings of the Fourteenth International Conference on Agents and Artificial Intelligence (ICAART'22)},
  editor = {A. Rocha and L. Steels and H. {van den Herik}},
  booktitle = {Proceedings of the Fourteenth International Conference on Agents and Artificial Intelligence (ICAART'22)},
  publisher = {{SciTePress}},
  year = {2022}
}

@proceedings{icaart23,
  title = {Proceedings of the Fifteenth International Conference on Agents and Artificial Intelligence (ICAART'23)},
  editor = {A. Rocha and L. Steels and J. {van den Herik}},
  booktitle = {Proceedings of the Fifteenth International Conference on Agents and Artificial Intelligence (ICAART'23)},
  doi = {10.5220/0000170600003393},
  publisher = {{SciTePress}},
  year = {2023}
}

@proceedings{icaart24,
  title = {Proceedings of the Sixteenth International Conference on Agents and Artificial Intelligence (ICAART'24)},
  editor = {A. Rocha and L. Steels and H. {Jaap van den Herik}},
  booktitle = {Proceedings of the Sixteenth International Conference on Agents and Artificial Intelligence (ICAART'24)},
  publisher = {{SciTePress}},
  url = {https://www.scitepress.org/ProceedingsDetails.aspx?ID=7POrHKUPtlI=},
  year = {2024}
}

@proceedings{icaps03,
  title = {Proceedings of the Thirteenth International Conference on Automated Planning and Scheduling (ICAPS'03)},
  editor = {E. Giunchiglia and N. Muscettola and D. Nau},
  booktitle = {Proceedings of the Thirteenth International Conference on Automated Planning and Scheduling (ICAPS'03)},
  publisher = {{AAAI} Press},
  year = {2003}
}

@proceedings{icaps04,
  title = {Proceedings of the Fourteenth International Conference on Automated Planning and Scheduling (ICAPS'04)},
  editor = {S. Zilberstein and J. Koehler and S. Koenig},
  booktitle = {Proceedings of the Fourteenth International Conference on Automated Planning and Scheduling (ICAPS'04)},
  publisher = {{AAAI} Press},
  year = {2004}
}

@proceedings{icaps07,
  title = {Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling (ICAPS'07)},
  editor = {M. Boddy and M. Fox and S. Thi{\'e}baux},
  booktitle = {Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling (ICAPS'07)},
  publisher = {{AAAI} Press},
  year = {2007}
}

@proceedings{icaps08,
  title = {Proceedings of the Eighteenth International Conference on Automated Planning and Scheduling (ICAPS'08)},
  editor = {J. Rintanen and B. Nebel and J. Beck and E. Hansen},
  booktitle = {Proceedings of the Eighteenth International Conference on Automated Planning and Scheduling (ICAPS'08)},
  publisher = {{AAAI} Press},
  year = {2008}
}

@proceedings{icaps09,
  title = {Proceedings of the Nineteenth International Conference on Automated Planning and Scheduling (ICAPS'09)},
  editor = {A. Gerevini and A. Howe and A. Cesta and I. Refanidis},
  booktitle = {Proceedings of the Nineteenth International Conference on Automated Planning and Scheduling (ICAPS'09)},
  publisher = {{AAAI} Press},
  year = {2009}
}

@proceedings{icaps10,
  title = {Proceedings of the Twentieth International Conference on Automated Planning and Scheduling (ICAPS'10)},
  editor = {R. Brafman and H. Geffner and J. Hoffmann and H. Kautz},
  booktitle = {Proceedings of the Twentieth International Conference on Automated Planning and Scheduling (ICAPS'10)},
  publisher = {{AAAI} Press},
  year = {2010}
}

@proceedings{icaps11,
  title = {Proceedings of the Twenty-first International Conference on Automated Planning and Scheduling (ICAPS'11)},
  editor = {F. Bacchus and C. Domshlak and S. Edelkamp and M. Helmert},
  booktitle = {Proceedings of the Twenty-first International Conference on Automated Planning and Scheduling (ICAPS'11)},
  publisher = {{AAAI} Press},
  year = {2011}
}

@proceedings{icaps12,
  title = {Proceedings of the Twenty-second International Conference on Automated Planning and Scheduling (ICAPS'12)},
  editor = {L. McCluskey and B. Williams and J. Silva and B. Bonet},
  booktitle = {Proceedings of the Twenty-second International Conference on Automated Planning and Scheduling (ICAPS'12)},
  publisher = {{AAAI} Press},
  year = {2012}
}

@proceedings{icaps14,
  title = {Proceedings of the Twenty-fourth International Conference on Automated Planning and Scheduling (ICAPS'14)},
  editor = {S. Chien and M. Do and A. Fern and W. Ruml},
  booktitle = {Proceedings of the Twenty-fourth International Conference on Automated Planning and Scheduling (ICAPS'14)},
  publisher = {{AAAI} Press},
  year = {2014}
}

@proceedings{icaps15,
  title = {Proceedings of the Twenty-fifth International Conference on Automated Planning and Scheduling (ICAPS'15)},
  editor = {R. Brafman and C. Domshlak and P. Haslum and S. Zilberstein},
  booktitle = {Proceedings of the Twenty-fifth International Conference on Automated Planning and Scheduling (ICAPS'15)},
  publisher = {{AAAI} Press},
  year = {2015}
}

@proceedings{icaps16,
  title = {Proceedings of the Twenty-sixth International Conference on Automated Planning and Scheduling (ICAPS'16)},
  editor = {A. Coles and A. Coles and S. Edelkamp and D. Magazzeni and S. Sanner},
  booktitle = {Proceedings of the Twenty-sixth International Conference on Automated Planning and Scheduling (ICAPS'16)},
  publisher = {{AAAI} Press},
  year = {2016}
}

@proceedings{icaps17,
  title = {Proceedings of the Twenty-seventh International Conference on Automated Planning and Scheduling (ICAPS'17)},
  editor = {L. Barbulescu and J. Frank and Mausam and S. Smith},
  booktitle = {Proceedings of the Twenty-seventh International Conference on Automated Planning and Scheduling (ICAPS'17)},
  publisher = {{AAAI} Press},
  year = {2017}
}

@proceedings{icaps18,
  title = {Proceedings of the Twenty-eighth International Conference on Automated Planning and Scheduling (ICAPS'18)},
  editor = {M. {de Weerdt} and S. Koenig and G. R{\"o}ger and M. Spaan},
  booktitle = {Proceedings of the Twenty-eighth International Conference on Automated Planning and Scheduling (ICAPS'18)},
  publisher = {{AAAI} Press},
  year = {2018}
}

@proceedings{icaps19,
  title = {Proceedings of the Twenty-ninth International Conference on Automated Planning and Scheduling (ICAPS'19)},
  editor = {J. Benton and N. Lipovetzky and E. Onaindia and D. Smith and S. Srivastava},
  booktitle = {Proceedings of the Twenty-ninth International Conference on Automated Planning and Scheduling (ICAPS'19)},
  publisher = {{AAAI} Press},
  year = {2019}
}

@proceedings{icaps20,
  title = {Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling (ICAPS'20)},
  editor = {J. Beck and O. Buffet and J. Hoffmann and E. Karpas and S. Sohrabi},
  booktitle = {Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling (ICAPS'20)},
  publisher = {{AAAI} Press},
  year = {2020}
}

@proceedings{icaps21,
  title = {Proceedings of the Thirty-first International Conference on Automated Planning and Scheduling (ICAPS'21)},
  editor = {S. Biundo and M. Do and R. Goldman and M. Katz and Q. Yang and H. Hankui Zhu},
  booktitle = {Proceedings of the Thirty-First International Conference on Automated Planning and Scheduling (ICAPS'21)},
  publisher = {{AAAI} Press},
  year = {2021}
}

@proceedings{icaps22,
  title = {Proceedings of the Thirty-second International Conference on Automated Planning and Scheduling (ICAPS'22)},
  editor = {A. Kumar and S. Thi{\'{e}}baux and P. Varakantham and W. Yeoh},
  booktitle = {Proceedings of the Thirty-second International Conference on Automated Planning and Scheduling (ICAPS'22)},
  publisher = {{AAAI} Press},
  year = {2022}
}

@proceedings{iccad02,
  title = {Proceedings of the International Conference on Computer-Aided Design (ICCAD'02)},
  editor = {L. Pileggi and A. Kuehlmann},
  booktitle = {Proceedings of the International Conference on Computer-Aided Design (ICCAD'02)},
  publisher = acm,
  year = {2002}
}

@proceedings{icdcs06,
  title = {Proceedings of the Twenty-sixth IEEE International Conference on Distributed Computing Systems (ICDCS'06)},
  booktitle = {Proceedings of the Twenty-sixth IEEE International Conference on Distributed Computing Systems (ICDCS'06)},
  publisher = ieee,
  year = {2006}
}

@proceedings{iced03,
  title = {Proceedings of the Fourteenth International Conference on Engineering Design (ICED'03)},
  editor = {A. Folkeson and K. Gralen and M. Norell and U. Sellgren},
  booktitle = {Proceedings of the Fourteenth International Conference on Engineering Design (ICED'03)},
  publisher = {Design Society (DS)},
  year = {2003}
}

@proceedings{iclp-lipics10,
  title = {Technical Communications of the Twenty-sixth International Conference on Logic Programming (ICLP'10)},
  editor = {M. Hermenegildo and T. Schaub},
  booktitle = {Technical Communications of the Twenty-sixth International Conference on Logic Programming (ICLP'10)},
  publisher = {Leibniz International Proceedings in Informatics (LIPIcs)},
  volume = {7},
  year = {2010}
}

@proceedings{iclp-lipics11,
  title = {Technical Communications of the Twenty-seventh International Conference on Logic Programming (ICLP'11)},
  editor = {J. Gallagher and M. Gelfond},
  booktitle = {Technical Communications of the Twenty-seventh International Conference on Logic Programming (ICLP'11)},
  publisher = {Leibniz International Proceedings in Informatics (LIPIcs)},
  volume = {11},
  year = {2011}
}

@proceedings{iclp-lipics12,
  title = {Technical Communications of the Twenty-eighth International Conference on Logic Programming (ICLP'12)},
  editor = {A. Dovier and V. {Santos Costa}},
  booktitle = {Technical Communications of the Twenty-eighth International Conference on Logic Programming (ICLP'12)},
  publisher = {Leibniz International Proceedings in Informatics (LIPIcs)},
  volume = {17},
  year = {2012}
}

@proceedings{iclp-lipics16,
  title = {Technical Communications of the Thirty-second International Conference on Logic Programming (ICLP'16)},
  editor = {M. Carro and A. King},
  booktitle = {Technical Communications of the Thirty-second International Conference on Logic Programming (ICLP'16)},
  publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  series = {Open Access Series in Informatics (OASIcs)},
  volume = {52},
  year = {2016}
}

@proceedings{iclp-tc13,
  title = {Technical Communications of the Twenty-ninth International Conference on Logic Programming (ICLP'13)},
  editor = {E. Lamma and T. Swift},
  booktitle = {Technical Communications of the Twenty-ninth International Conference on Logic Programming (ICLP'13)},
  series = {Theory and Practice of Logic Programming, Online Supplement},
  volume = {13(4-5)},
  year = {2013}
}

@proceedings{iclp-tc14,
  title = {Technical Communications of the Thirtieth International Conference on Logic Programming (ICLP'14)},
  editor = {M. Leuschel and T. Schrijvers},
  booktitle = {Technical Communications of the Thirtieth International Conference on Logic Programming (ICLP'14)},
  series = {Theory and Practice of Logic Programming, Online Supplement},
  volume = {14(4-5)},
  year = {2014}
}

@proceedings{iclp-tc16,
  title = {Technical Communications of the Thiry second International Conference on Logic Programming (ICLP'16)},
  editor = {M. Leuschel and T. Schrijvers},
  booktitle = {Technical Communications of the Thiry second International Conference on Logic Programming (ICLP'19)},
  publisher = {Cambridge University Press},
  series = {Theory and Practice of Logic Programming, Online Supplement},
  volume = {19},
  year = {2019}
}

@proceedings{iclp-tc19,
  title = {Technical Communications of the Thiry fifth International Conference on Logic Programming (ICLP'19)},
  booktitle = {Technical Communications of the Thiry fifth International Conference on Logic Programming (ICLP'19)},
  publisher = {Cambridge University Press},
  series = {Theory and Practice of Logic Programming, Online Supplement},
  volume = {19},
  year = {2019}
}

@proceedings{iclp-tc20,
  title = {Technical Communications of the Thirty sixth International Conference on Logic Programming (ICLP'20)},
  editor = {F. Ricca and A. Russo and S. Greco and N. Leone and A. Artikis and G. Friedrich and P. Fodor and A. Kimmig and F. Lisi and M. Maratea and A. Mileo and F. Riguzzi},
  booktitle = {Technical Communications of the Thirty sixth International Conference on Logic Programming (ICLP'20)},
  doi = {10.4204/EPTCS.325},
  series = {{EPTCS}},
  volume = {325},
  year = {2020}
}

@proceedings{iclp-tc21,
  title = {Technical Communications of the Thirty seventh International Conference on Logic Programming (ICLP'21)},
  editor = {A. Formisano and A. Liu and B. Bogaerts and A. Brik and V. Dahl and C. Dodaro and P. Fodor and G. Pozzato and J. Vennekens and N. Zhou},
  booktitle = {Technical Communications of the Thirty seventh International Conference on Logic Programming (ICLP'21)},
  doi = {10.4204/EPTCS.345},
  series = {{EPTCS}},
  volume = {345},
  year = {2021}
}

@proceedings{iclp-tc22,
  title = {Technical Communications of the Thirty eighth International Conference on Logic Programming (ICLP'22)},
  editor = {Y. Lierler and J. Morales and C. Dodaro and V. Dahl and M. Gebser and K. Tekle},
  booktitle = {Technical Communications of the Thirty eighth International Conference on Logic Programming (ICLP'22)},
  doi = {10.4204/EPTCS.364},
  series = {{EPTCS}},
  volume = {364},
  year = {2022}
}

@proceedings{iclp-tc23,
  title = {Technical Communications of the Thirty nineth International Conference on Logic Programming (ICLP'23)},
  author = {E. Pontelli and S. Costantini and C. Dodaro and S. Gaggl and R. Calegari and A. {D'Avila Garcez} and F. Fabiano and A. Russo and F. Toni},
  doi = {https://doi.org/10.4204/EPTCS.385},
  publisher = {Open Publishing Association},
  volume = {385},
  year = {2023}
}

@proceedings{iclp-tc24,
  title = {Technical Communications of the Fortieth International Conference on Logic Programming (ICLP'24)},
  editor = {P. Cabalar and T. Swift},
  booktitle = {Technical Communications of the Fortieth International Conference on Logic Programming (ICLP'24)},
  optdoi = {10.4204/EPTCS.325},
  optvolume = {},
  series = {{EPTCS}},
  year = {2024}
}

@proceedings{iclp-ws23,
  title = {Proceedings of the International Conference on Logic Programming Workshops},
  editor = {J. Arias and S. Batsakis and W. Faber and G. Gupta and F. Pacenza and E. Papadakis and L. Robaldo and K. R{\"{u}}ckschlo{\ss} and E. Salazar and Z. Saribatur and I. Tachmazidis and F. Weitk{\"{a}}mper and A. Wyner},
  booktitle = {Proceedings of the International Conference on Logic Programming Workshops},
  publisher = {CEUR-WS.org},
  series = {{CEUR} Workshop Proceedings},
  url = {https://ceur-ws.org/Vol-3437},
  volume = {3437},
  year = {2023}
}

@proceedings{iclp01,
  title = {Proceedings of the Seventeenth International Conference on Logic Programming (ICLP'01)},
  editor = {P. Codognet},
  booktitle = {Proceedings of the Seventeenth International Conference on Logic Programming (ICLP'01)},
  publisher = springer,
  series = lncs,
  volume = {2237},
  year = {2001}
}

@proceedings{iclp02,
  title = {Proceedings of the Eighteenth International Conference on Logic Programming (ICLP'02)},
  editor = {P. Stuckey},
  booktitle = {Proceedings of the Eighteenth International Conference on Logic Programming (ICLP'02)},
  publisher = springer,
  series = lncs,
  volume = {2401},
  year = {2002}
}

@proceedings{iclp03,
  title = {Proceedings of the Nineteenth International Conference on Logic Programming (ICLP'03)},
  editor = {C. Palamidessi},
  booktitle = {Proceedings of the Nineteenth International Conference on Logic Programming (ICLP'03)},
  publisher = springer,
  series = lncs,
  volume = {2916},
  year = {2003}
}

@proceedings{iclp04,
  title = {Proceedings of the Twentieth International Conference on Logic Programming (ICLP'04)},
  editor = {B. Demoen and V. Lifschitz},
  booktitle = {Proceedings of the Twentieth International Conference on Logic Programming (ICLP'04)},
  publisher = springer,
  series = lncs,
  volume = {3132},
  year = {2004}
}

@proceedings{iclp05,
  title = {Proceedings of the Twenty-first International Conference on Logic Programming (ICLP'05)},
  editor = {M. Gabbrielli and G. Gupta},
  booktitle = {Proceedings of the Twenty-first International Conference on Logic Programming (ICLP'05)},
  publisher = springer,
  series = lncs,
  volume = {3668},
  year = {2005}
}

@proceedings{iclp06,
  title = {Proceedings of the Twenty-second International Conference on Logic Programming (ICLP'06)},
  editor = {S. Etalle and M. Truszczy{\'n}ski},
  booktitle = {Proceedings of the Twenty-second International Conference on Logic Programming (ICLP'06)},
  publisher = springer,
  series = lncs,
  volume = {4079},
  year = {2006}
}

@proceedings{iclp07,
  title = {Proceedings of the Twenty-third International Conference on Logic Programming (ICLP'07)},
  editor = {V. Dahl and I. Niemel{\"a}},
  booktitle = {Proceedings of the Twenty-third International Conference on Logic Programming (ICLP'07)},
  publisher = springer,
  series = lncs,
  volume = {4670},
  year = {2007}
}

@proceedings{iclp08,
  title = {Proceedings of the Twenty-fourth International Conference on Logic Programming (ICLP'08)},
  editor = {M. {Garcia de la Banda} and E. Pontelli},
  booktitle = {Proceedings of the Twenty-fourth International Conference on Logic Programming (ICLP'08)},
  publisher = springer,
  series = lncs,
  volume = {5366},
  year = {2008}
}

@proceedings{iclp09,
  title = {Proceedings of the Twenty-fifth International Conference on Logic Programming (ICLP'09)},
  editor = {P. Hill and D. Warren},
  booktitle = {Proceedings of the Twenty-fifth International Conference on Logic Programming (ICLP'09)},
  publisher = springer,
  series = lncs,
  volume = {5649},
  year = {2009}
}

@proceedings{iclp86,
  title = {Proceedings of the Third International Conference on Logic Programming (ICLP'86)},
  editor = {E. Shapiro},
  booktitle = {Proceedings of the Third International Conference on Logic Programming (ICLP'86)},
  publisher = {Springer},
  series = lncs,
  volume = {225},
  year = {1986}
}

@proceedings{iclp88,
  title = {Proceedings of the Fifth International Conference on Logic Programming (ICLP'88)},
  editor = {R. Kowalski and K. Bowen},
  booktitle = {Proceedings of the Fifth International Conference on Logic Programming (ICLP'88)},
  publisher = {{MIT} Press},
  year = {1988}
}

@proceedings{iclp89,
  title = {Proceedings of the Sixth International Conference on Logic Programming (ICLP'89)},
  editor = {G. Levi and M. Martelli},
  booktitle = {Proceedings of the Sixth International Conference on Logic Programming (ICLP'89)},
  publisher = {{MIT} Press},
  year = {1989}
}

@proceedings{iclp90,
  title = {Proceedings of the Seventh International Conference on Logic Programming (ICLP'90)},
  editor = {D. Warren and P. Szeredi},
  booktitle = {Proceedings of the Seventh International Conference on Logic Programming (ICLP'90)},
  publisher = {{MIT} Press},
  year = {1990}
}

@proceedings{iclp93,
  title = {Proceedings of the Tenth International Conference on Logic Programming (ICLP'90)},
  editor = {D. Warren},
  booktitle = {Proceedings of the Tenth International Conference on Logic Programming (ICLP'90)},
  publisher = {{MIT} Press},
  year = {1993}
}

@proceedings{icra11,
  title = {Proceedings of the IEEE International Conference on Robotics and Automation (ICRA'11)},
  booktitle = {Proceedings of the IEEE International Conference on Robotics and Automation (ICRA'11)},
  publisher = ieee,
  year = {2011}
}

@proceedings{icra13,
  title = {Proceedings of the IEEE International Conference on Robotics and Automation (ICRA'13)},
  booktitle = {Proceedings of the IEEE International Conference on Robotics and Automation (ICRA'13)},
  publisher = ieee,
  year = {2013}
}

@proceedings{icra14,
  title = {Proceedings of the IEEE International Conference on Robotics and Automation (ICRA'14)},
  booktitle = {Proceedings of the IEEE International Conference on Robotics and Automation (ICRA'14)},
  publisher = ieee,
  year = {2014}
}

@proceedings{icra86,
  title = {Proceedings of the IEEE International Conference on Robotics and Automation (ICRA'86)},
  booktitle = {Proceedings of the IEEE International Conference on Robotics and Automation (ICRA'86)},
  publisher = ieee,
  year = {1986}
}

@proceedings{ictai05,
  title = {Proceedings of the Seventeenth IEEE International Conference on Tools with Artificial Intelligence (ICTAI'05)},
  booktitle = {Proceedings of the Seventeenth IEEE International Conference on Tools with Artificial Intelligence (ICTAI'05)},
  publisher = ieee,
  year = {2005}
}

@proceedings{ictai08,
  title = {Proceedings of the Twentieth IEEE International Conference on Tools with Artificial Intelligence (ICTAI'08)},
  booktitle = {Proceedings of the Twentieth IEEE International Conference on Tools with Artificial Intelligence (ICTAI'08)},
  publisher = ieee,
  year = {2008}
}

@proceedings{ictai09,
  title = {Proceedings of the Twenty-first IEEE International Conference on Tools with Artificial Intelligence (ICTAI'09)},
  booktitle = {Proceedings of the Twenty-first IEEE International Conference on Tools with Artificial Intelligence (ICTAI'09)},
  publisher = ieee,
  year = {2009}
}

@proceedings{ictai10,
  title = {Proceedings of the Twenty-second IEEE International Conference on Tools with Artificial Intelligence (ICTAI'10)},
  editor = {E. Gr{\'e}goire},
  booktitle = {Proceedings of the Twenty-second IEEE International Conference on Tools with Artificial Intelligence (ICTAI'10)},
  publisher = ieee,
  year = {2010}
}

@proceedings{ictai12,
  title = {Proceedings of the Twenty-fourth IEEE International Conference on Tools with Artificial Intelligence (ICTAI'12)},
  booktitle = {Proceedings of the Twenty-fourth IEEE International Conference on Tools with Artificial Intelligence (ICTAI'12)},
  publisher = ieee,
  year = {2012}
}

@proceedings{ictai13,
  title = {Proceedings of the Twenty-fifth IEEE International Conference on Tools with Artificial Intelligence (ICTAI'13)},
  editor = {A. Brodsky},
  booktitle = {Proceedings of the Twenty-fifth IEEE International Conference on Tools with Artificial Intelligence (ICTAI'13)},
  publisher = ieee,
  year = {2013}
}

@proceedings{ictai14,
  title = {Proceedings of the Twenty-sixth IEEE International Conference on Tools with Artificial Intelligence (ICTAI'14)},
  booktitle = {Proceedings of the Twenty-sixth IEEE International Conference on Tools with Artificial Intelligence (ICTAI'14)},
  publisher = ieee,
  year = {2014}
}

@proceedings{ictai20,
  title = {Proceedings of the Thirty-second IEEE International Conference on Tools with Artificial Intelligence (ICTAI'20)},
  booktitle = {Proceedings of the Thirty-second IEEE International Conference on Tools with Artificial Intelligence (ICTAI'20)},
  publisher = ieee,
  year = {2020}
}

@proceedings{ictl94,
  title = {Proceedings of the First International Conference on Temporal Logic (ICTL'94)},
  editor = {D. Gabbay and H. Ohlbach},
  booktitle = {Proceedings of the First International Conference on Temporal Logic (ICTL'94)},
  publisher = springer,
  series = lncs,
  volume = {827},
  year = {1994}
}

@proceedings{ieaaie13,
  title = {Proceedings of the 26th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems (IEA/AIE'13)},
  editor = {M. Ali and T. Bosse and K. Hindriks and M. Hoogendoorn and C. Jonker and J. Treur},
  booktitle = {Proceedings of the 26th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems (IEA/AIE'13)},
  publisher = springer,
  series = lncs,
  volume = {7906},
  year = {2013}
}

@proceedings{ijcai01,
  title = {Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence (IJCAI'01)},
  editor = {B. Nebel},
  booktitle = {Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence (IJCAI'01)},
  publisher = m-k,
  year = {2001}
}

@proceedings{ijcai03,
  title = {Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence (IJCAI'03)},
  editor = {G. Gottlob and T. Walsh},
  booktitle = {Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence (IJCAI'03)},
  publisher = m-k,
  year = {2003}
}

@proceedings{ijcai05,
  title = {Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence (IJCAI'05)},
  editor = {L. Kaelbling and A. Saffiotti},
  booktitle = {Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence (IJCAI'05)},
  publisher = {Professional Book Center},
  year = {2005}
}

@proceedings{ijcai07,
  title = {Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI'07)},
  editor = {M. Veloso},
  booktitle = {Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI'07)},
  publisher = aaaimit,
  year = {2007}
}

@proceedings{ijcai09,
  title = {Proceedings of the Twenty-first International Joint Conference on Artificial Intelligence (IJCAI'09)},
  editor = {C. Boutilier},
  booktitle = {Proceedings of the Twenty-first International Joint Conference on Artificial Intelligence (IJCAI'09)},
  publisher = aaaimit,
  year = {2009}
}

@proceedings{ijcai11,
  title = {Proceedings of the Twenty-second International Joint Conference on Artificial Intelligence (IJCAI'11)},
  editor = {T. Walsh},
  booktitle = {Proceedings of the Twenty-second International Joint Conference on Artificial Intelligence (IJCAI'11)},
  publisher = {IJCAI/AAAI Press},
  year = {2011}
}

@proceedings{ijcai13,
  title = {Proceedings of the Twenty-third International Joint Conference on Artificial Intelligence (IJCAI'13)},
  editor = {F. Rossi},
  booktitle = {Proceedings of the Twenty-third International Joint Conference on Artificial Intelligence (IJCAI'13)},
  publisher = {IJCAI/AAAI Press},
  year = {2013}
}

@proceedings{ijcai15,
  title = {Proceedings of the Twenty-fourth International Joint Conference on Artificial Intelligence (IJCAI'15)},
  editor = {Q. Yang and M. Wooldridge},
  booktitle = {Proceedings of the Twenty-fourth International Joint Conference on Artificial Intelligence (IJCAI'15)},
  publisher = {{AAAI} Press},
  url = {http://ijcai.org/proceedings/2015},
  year = {2015}
}

@proceedings{ijcai16,
  title = {Proceedings of the Twenty-fifth International Joint Conference on Artificial Intelligence (IJCAI'16)},
  editor = {R. Kambhampati},
  booktitle = {Proceedings of the Twenty-fifth International Joint Conference on Artificial Intelligence (IJCAI'16)},
  publisher = {IJCAI/AAAI Press},
  year = {2016}
}

@proceedings{ijcai17,
  title = {Proceedings of the Twenty-sixth International Joint Conference on Artificial Intelligence (IJCAI'17)},
  editor = {C. Sierra},
  booktitle = {Proceedings of the Twenty-sixth International Joint Conference on Artificial Intelligence (IJCAI'17)},
  publisher = {IJCAI/AAAI Press},
  year = {2017}
}

@proceedings{ijcai18,
  title = {Proceedings of the Twenty-seventh International Joint Conference on Artificial Intelligence (IJCAI'18)},
  editor = {J. Lang},
  booktitle = {Proceedings of the Twenty-seventh International Joint Conference on Artificial Intelligence (IJCAI'18)},
  publisher = {ijcai.org},
  year = {2018}
}

@proceedings{ijcai19,
  title = {Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence (IJCAI'19)},
  editor = {S. Kraus},
  booktitle = {Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence (IJCAI'19)},
  publisher = {ijcai.org},
  year = {2019}
}

@proceedings{ijcai20,
  title = {Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence (IJCAI'20)},
  editor = {C. Bessiere},
  booktitle = {Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence (IJCAI'20)},
  publisher = {ijcai.org},
  year = {2020}
}

@proceedings{ijcai21,
  title = {Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence (IJCAI'21)},
  editor = {Z. Zhou},
  booktitle = {Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence (IJCAI'21)},
  publisher = {ijcai.org},
  year = {2021}
}

@proceedings{ijcai69,
  title = {Proceedings of the First International Joint Conference on Artificial Intelligence (IJCAI'69)},
  editor = {D. Walker and L. Norton},
  booktitle = {Proceedings of the First International Joint Conference on Artificial Intelligence (IJCAI'69)},
  publisher = {William Kaufmann},
  year = {1969}
}

@proceedings{ijcai75,
  title = {Proceedings of the Fourth International Joint Conference on Artificial Intelligence},
  booktitle = {Proceedings of the Fourth International Joint Conference on Artificial Intelligence},
  publisher = m-k,
  year = {1975}
}

@proceedings{ijcai89,
  title = {Proceedings of the Eleventh International Joint Conference on Artificial Intelligence (IJCAI'89)},
  editor = {N. Sridharan},
  booktitle = {Proceedings of the Eleventh International Joint Conference on Artificial Intelligence (IJCAI'89)},
  publisher = m-k,
  year = {1989}
}

@proceedings{ijcai91,
  title = {Proceedings of the Twelfth International Joint Conference on Artificial Intelligence (IJCAI'91)},
  editor = {J. Mylopoulos and R. Reiter},
  booktitle = {Proceedings of the Twelfth International Joint Conference on Artificial Intelligence (IJCAI'91)},
  publisher = m-k,
  year = {1991}
}

@proceedings{ijcai95,
  title = {Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence (IJCAI'95)},
  editor = {C. Mellish},
  booktitle = {Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence (IJCAI'95)},
  publisher = m-k,
  year = {1995}
}

@proceedings{ijcai97,
  title = {Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence (IJCAI'97)},
  booktitle = {Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence (IJCAI'97)},
  publisher = m-k,
  year = {1997}
}

@proceedings{ijcai99,
  title = {Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence (IJCAI'99)},
  editor = {T. Dean},
  booktitle = {Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence (IJCAI'99)},
  publisher = m-k,
  year = {1999}
}

@proceedings{ijcar10,
  title = {Proceedings of the Fifth International Joint Conference on Automated Reasoning (IJCAR'10)},
  editor = {J. Giesl and R. H{\"a}hnle},
  booktitle = {Proceedings of the Fifth International Joint Conference on Automated Reasoning (IJCAR'10)},
  publisher = springer,
  series = lncs,
  volume = {6173},
  year = {2010}
}

@proceedings{ilp01,
  title = {Proceedings of the Eleventh International Conference on Inductive Logic Programming (ILP'01)},
  editor = {C. Rouveirol and M. Sebag},
  booktitle = {Proceedings of the Eleventh International Conference on Inductive Logic Programming (ILP'01)},
  publisher = springer,
  series = lncs,
  volume = {2157},
  year = {2001}
}

@proceedings{inap11,
  title = {Proceedings of the Nineteenth International Conference on Applications of Declarative Programming and Knowledge Management (INAP'11)},
  editor = {S. Abreu and J. Oetsch and J. P{\"u}hrer and D. Seipel and H. Tompits and M. Umeda and A. Wolf},
  booktitle = {Proceedings of the Nineteenth International Conference on Applications of Declarative Programming and Knowledge Management (INAP'11)},
  number = {INFSYS RR-1843-11-06},
  series = {Institute for Information Systems, Technische Universit{\"a}t Wien, Technical Report Series},
  year = {2011}
}

@proceedings{inapwlp11,
  title = {Proceedings of the Nineteenth International Conference on Applications of Declarative Programming and Knowledge Management (INAP'11) and the Twenty-fifth Workshop on Logic Programming (WLP'11)},
  editor = {H. Tompits and S. Abreu and J. Oetsch and J. P{\"u}hrer and D. Seipel and M. Umeda and A. Wolf},
  booktitle = {Proceedings of the Nineteenth International Conference on Applications of Declarative Programming and Knowledge Management (INAP'11) and the Twenty-fifth Workshop on Logic Programming (WLP'11)},
  publisher = springer,
  series = lncs,
  volume = {7773},
  year = {2013}
}

@proceedings{incotol05,
  title = {Inconsistency Tolerance},
  editor = {L. Bertossi and A. Hunter and T. Schaub},
  booktitle = {Inconsistency Tolerance},
  publisher = springer,
  series = lncs,
  volume = {3300},
  year = {2005}
}

@proceedings{ipc14,
  title = {Proceedings of the Eighth International Planning Competition (IPC'14)},
  editor = {M. Vallati and L. Chrpa and T. McCluskey},
  booktitle = {Proceedings of the Eighth International Planning Competition (IPC'14)},
  publisher = {University of Huddersfield},
  url = {https://helios.hud.ac.uk/scommv/IPC-14/repository/booklet2014.pdf},
  year = {2014}
}

@proceedings{ips-rcra21,
  title = {Proceedings of the Ninth Italian Workshop on Planning and Scheduling (IPS'21) and the Twenty-eighth International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA'21)},
  editor = {R. {De Benedictis} and M. Maratea and A. Micheli and E. Scala and I. Serina and M. Vallati and A. Umbrico},
  booktitle = {Proceedings of the Ninth Italian Workshop on Planning and Scheduling (IPS'21) and the Twenty-eighth International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA'21)},
  publisher = {CEUR-WS.org},
  series = {CEUR Workshop Proceedings},
  volume = {3065},
  year = {2022}
}

@proceedings{iski94,
  title = {Proceedings of the Third Workshop on Information Systems and Artificial Intelligence (IS/KI'94)},
  editor = {K. von Luck and H. Marburger},
  booktitle = {Proceedings of the Third Workshop on Information Systems and Artificial Intelligence (IS/KI'94)},
  publisher = springer,
  series = lncs,
  volume = {777},
  year = {1994}
}

@proceedings{ismb04,
  title = {Proceedings of the Twelfth International Conference on Intelligent Systems for Molecular Biology/Third European Conference on Computational Biology (ISMB'04/ECCB'04)},
  booktitle = {Proceedings of the Twelfth International Conference on Intelligent Systems for Molecular Biology/Third European Conference on Computational Biology (ISMB'04/ECCB'04)},
  publisher = {Oxford University Press},
  year = {2004}
}

@proceedings{isvlsi05,
  title = {Proceedings of the IEEE Computer Society Annual Symposium on VLSI (ISVLSI'05)},
  booktitle = {Proceedings of the IEEE Computer Society Annual Symposium on VLSI (ISVLSI'05)},
  publisher = ieee,
  year = {2005}
}

@proceedings{iswc11,
  title = {Proceedings of the Tenth International Semantic Web Conference (ISWC'11)},
  editor = {L. Aroyo and C. Welty and H. Alani and J. Taylor and A. Bernstein and L. Kagal and N. Noy and E. Blomqvist},
  booktitle = {Proceedings of the Tenth International Semantic Web Conference (ISWC'11)},
  publisher = springer,
  series = lncs,
  volume = {7031},
  year = {2011}
}

@proceedings{iulp15,
  title = {Proceedings of the International Workshop on User-Oriented Logic Programming (IULP'15)},
  editor = {S. Ellmauthaler and C. Schulz},
  booktitle = {Proceedings of the International Workshop on User-Oriented Logic Programming (IULP'15)},
  url = {http://iulp2015.uni-leipzig.de/},
  year = {2015}
}

@proceedings{iwil08,
  title = {Proceedings of the Seventh International Workshop on the Implementation of Logics (IWIL'08)},
  editor = {P. Rudnicki and G. Sutcliffe and B. Konev and R. Schmidt and S. Schulz},
  booktitle = {Proceedings of the Seventh International Workshop on the Implementation of Logics (IWIL'08)},
  publisher = {CEUR Workshop Proceedings},
  url = {http://ceur-ws.org/Vol-418},
  volume = {418},
  year = {2008}
}

@proceedings{jds2,
  title = {Journal on Data Semantics {II}},
  editor = {S. Spaccapietra and E. Bertino and S. Jajodia and R. King and D. McLeod and M. Orlowska and L. Strous},
  booktitle = {Journal of Data Semantics {II}},
  publisher = springer,
  series = lncs,
  volume = {3360},
  year = {2005}
}

@proceedings{jelia02,
  title = {Proceedings of the Eighth European Conference on Logics in Artificial Intelligence (JELIA'02)},
  editor = {S. Flesca and S. Greco and N. Leone and G. Ianni},
  booktitle = {Proceedings of the Eighth European Conference on Logics in Artificial Intelligence (JELIA'02)},
  publisher = springer,
  series = lncs,
  volume = {2424},
  year = {2002}
}

@proceedings{jelia04,
  title = {Proceedings of the Ninth European Conference on Logics in Artificial Intelligence (JELIA'04)},
  editor = {J. Alferes and J. Leite},
  booktitle = {Proceedings of the Ninth European Conference on Logics in Artificial Intelligence (JELIA'04)},
  publisher = springer,
  series = lncs,
  volume = {3229},
  year = {2004}
}

@proceedings{jelia08,
  title = {Proceedings of the Eleventh European Conference on Logics in Artificial Intelligence (JELIA'08)},
  editor = {S. H{\"o}lldobler and C. Lutz and H. Wansing},
  booktitle = {Proceedings of the Eleventh European Conference on Logics in Artificial Intelligence (JELIA'08)},
  publisher = springer,
  series = lncs,
  volume = {5293},
  year = {2008}
}

@proceedings{jelia10,
  title = {Proceedings of the Twelfth European Conference on Logics in Artificial Intelligence (JELIA'10)},
  editor = {T. Janhunen and I. Niemel{\"a}},
  booktitle = {Proceedings of the Twelfth European Conference on Logics in Artificial Intelligence (JELIA'10)},
  publisher = springer,
  series = lnai,
  volume = {6341},
  year = {2010}
}

@proceedings{jelia12,
  title = {Proceedings of the Thirteenth European Conference on Logics in Artificial Intelligence (JELIA'12)},
  editor = {L. Fari{\~n}as del Cerro and A. Herzig and J. Mengin},
  booktitle = {Proceedings of the Thirteenth European Conference on Logics in Artificial Intelligence (JELIA'12)},
  publisher = springer,
  series = lncs,
  volume = {7519},
  year = {2012}
}

@proceedings{jelia14,
  title = {Proceedings of the Fourteenth European Conference on Logics in Artificial Intelligence (JELIA'14)},
  editor = {E. Ferm{\'e} and J. Leite},
  booktitle = {Proceedings of the Fourteenth European Conference on Logics in Artificial Intelligence (JELIA'14)},
  publisher = springer,
  series = lnai,
  volume = {8761},
  year = {2014}
}

@proceedings{jelia16,
  title = {Proceedings of the Fifteenth European Conference on Logics in Artificial Intelligence (JELIA'16)},
  editor = {L. Michael and A. Kakas},
  booktitle = {Proceedings of the Fifteenth European Conference on Logics in Artificial Intelligence (JELIA'16)},
  publisher = springer,
  series = lnai,
  volume = {10021},
  year = {2016}
}

@proceedings{jelia19,
  title = {Proceedings of the Sixteenth European Conference on Logics in Artificial Intelligence (JELIA'19)},
  editor = {F. Calimeri and N. Leone and M. Manna},
  booktitle = {Proceedings of the Sixteenth European Conference on Logics in Artificial Intelligence (JELIA'19)},
  publisher = springer,
  series = lncs,
  volume = {11468},
  year = {2019}
}

@proceedings{jelia21,
  title = {Proceedings of the Seventeenth European Conference on Logics in Artificial Intelligence (JELIA'21)},
  editor = {W. Faber and G. Friedrich and M. Gebser and M. Morak},
  booktitle = {Proceedings of the Seventeenth European Conference on Logics in Artificial Intelligence (JELIA'21)},
  publisher = springer,
  series = lncs,
  volume = {12678},
  year = {2021}
}

@proceedings{jelia23,
  title = {Proceedings of the Eighteenth European Conference on Logics in Artificial Intelligence (JELIA'23)},
  editor = {S. Gaggl and M. Martinez and M. Ortiz},
  booktitle = {Proceedings of the Eighteenth European Conference on Logics in Artificial Intelligence (JELIA'23)},
  doi = {10.1007/978-3-031-43619-2},
  publisher = springer,
  series = lncs,
  volume = {14281},
  year = {2023}
}

@book{jm64,
  title = {Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of {J}ohn {M}c{C}arthy},
  editor = {V. Lifschitz},
  booktitle = {Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of {J}ohn {M}c{C}arthy},
  publisher = {Academic Press},
  year = {1991}
}

@book{kbc14,
  title = {Knowledge-Based Configuration: From Research to Business Cases},
  editor = {A. Felfernig and L. Hotz and C. Bagley and J. Tiihonen},
  booktitle = {Knowledge-Based Configuration: From Research to Business Cases},
  doi = {10.1016/C2011-0-69705-4},
  publisher = {Elsevier/Morgan Kaufmann},
  year = {2014}
}

@proceedings{kdd98,
  title = {Proceedings of the Fourth International Conference on Knowledge Discovery and Data Mining (KDD'98)},
  editor = {R. Agrawal and P. Stolorz and G. Piatetsky-Shapiro},
  booktitle = {Proceedings of the Fourth International Conference on Knowledge Discovery and Data Mining (KDD'98)},
  publisher = {{AAAI} Press},
  year = {1998}
}

@proceedings{ki12,
  title = {Proceedings of the Thirty-fifth Annual German Conference on Artificial Intelligence (KI'12)},
  editor = {B. Glimm and A. Kr{\"u}ger},
  booktitle = {Proceedings of the Thirty-fifth Annual German Conference on Artificial Intelligence (KI'12)},
  publisher = springer,
  series = lncs,
  volume = {7526},
  year = {2012}
}

@proceedings{ki98,
  title = {Proceedings of the Twenty-second Annual German Conference on Artificial Intelligence (KI'98)},
  editor = {O. Herzog and A. G{\"u}nter},
  booktitle = {Proceedings of the Twenty-second Annual German Conference on Artificial Intelligence (KI'98)},
  publisher = springer,
  series = lncs,
  volume = {1504},
  year = {1998}
}

@proceedings{kowalski02,
  title = {Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert Kowalski},
  editor = {A. Kakas and F. Sadri},
  booktitle = {Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert Kowalski},
  publisher = springer,
  series = lncs,
  volume = {2408},
  year = {2002}
}

@proceedings{kr00,
  title = {Proceedings of the Seventh International Conference on Principles of Knowledge Representation and Reasoning (KR'00)},
  editor = {A. Cohn and F. Giunchiglia and B. Selman},
  booktitle = {Proceedings of the Seventh International Conference on Principles of Knowledge Representation and Reasoning (KR'00)},
  publisher = m-k,
  year = {2000}
}

@proceedings{kr02,
  title = {Proceedings of the Eighth International Conference on Principles of Knowledge Representation and Reasoning (KR'02)},
  editor = {D. Fensel and F. Giunchiglia and D. McGuiness and M. Williams},
  booktitle = {Proceedings of the Eighth International Conference on Principles of Knowledge Representation and Reasoning (KR'02)},
  publisher = m-k,
  year = {2002}
}

@proceedings{kr04,
  title = {Proceedings of the Ninth International Conference on Principles of Knowledge Representation and Reasoning (KR'04)},
  editor = {D. Dubois and C. Welty and M. Williams},
  booktitle = {Proceedings of the Ninth International Conference on Principles of Knowledge Representation and Reasoning (KR'04)},
  publisher = {{AAAI} Press},
  year = {2004}
}

@proceedings{kr06,
  title = {Proceedings of the Tenth International Conference on Principles of Knowledge Representation and Reasoning (KR'06)},
  editor = {P. Doherty and J. Mylopoulos and C. Welty},
  booktitle = {Proceedings of the Tenth International Conference on Principles of Knowledge Representation and Reasoning (KR'06)},
  publisher = {{AAAI} Press},
  year = {2006}
}

@proceedings{kr08,
  title = {Proceedings of the Eleventh International Conference on Principles of Knowledge Representation and Reasoning (KR'08)},
  editor = {G. Brewka and J. Lang},
  booktitle = {Proceedings of the Eleventh International Conference on Principles of Knowledge Representation and Reasoning (KR'08)},
  publisher = {{AAAI} Press},
  year = {2008}
}

@proceedings{kr10,
  title = {Proceedings of the Twelfth International Conference on Principles of Knowledge Representation and Reasoning (KR'10)},
  editor = {F. Lin and U. Sattler},
  booktitle = {Proceedings of the Twelfth International Conference on Principles of Knowledge Representation and Reasoning (KR'10)},
  publisher = {{AAAI} Press},
  year = {2010}
}

@proceedings{kr12,
  title = {Proceedings of the Thirteenth International Conference on Principles of Knowledge Representation and Reasoning (KR'12)},
  editor = {G. Brewka and T. Eiter and S. McIlraith},
  booktitle = {Proceedings of the Thirteenth International Conference on Principles of Knowledge Representation and Reasoning (KR'12)},
  publisher = {{AAAI} Press},
  year = {2012}
}

@proceedings{kr14,
  title = {Proceedings of the Fourteenth International Conference on Principles of Knowledge Representation and Reasoning (KR'14)},
  editor = {C. Baral and G. {De Giacomo} and T. Eiter},
  booktitle = {Proceedings of the Fourteenth International Conference on Principles of Knowledge Representation and Reasoning (KR'14)},
  publisher = {{AAAI} Press},
  year = {2014}
}

@proceedings{kr16,
  title = {Proceedings of the Fifteenth International Conference on Principles of Knowledge Representation and
Reasoning (KR'16)},
  editor = {C. Baral and J. Delgrande and F. Wolter},
  booktitle = {Proceedings of the Fifteenth International Conference on Principles of Knowledge Representation and
Reasoning (KR'16)},
  publisher = {{AAAI} Press},
  year = {2016}
}

@proceedings{kr18,
  title = {Proceedings of the Sixteenth International Conference on Principles of Knowledge Representation and Reasoning (KR'18)},
  editor = {M. Thielscher and F. Toni and F. Wolter},
  booktitle = {Proceedings of the Sixteenth International Conference on Principles of Knowledge Representation and Reasoning (KR'18)},
  publisher = {{AAAI} Press},
  year = {2018}
}

@proceedings{kr20,
  title = {Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning (KR'21)},
  editor = {D. Calvanese and E. Erdem and M. Thielscher},
  booktitle = {Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning (KR'21)},
  publisher = {{AAAI} Press},
  year = {2020}
}

@proceedings{kr21,
  title = {Proceedings of the Eighteenth International Conference on Principles of Knowledge Representation and Reasoning (KR'21)},
  editor = {M. Bienvenu and G. Lakemeyer and E. Erdem},
  booktitle = {Proceedings of the Eighteenth International Conference on Principles of Knowledge Representation and Reasoning (KR'21)},
  publisher = {{AAAI} Press},
  year = {2021}
}

@proceedings{kr22,
  title = {Proceedings of the Nineteenth International Conference on Principles of Knowledge Representation and Reasoning (KR'22)},
  editor = {G. Kern{-}Isberner and G. Lakemeyer and T. Meyer},
  booktitle = {Proceedings of the Nineteenth International Conference on Principles of Knowledge Representation and Reasoning (KR'22)},
  doi = {10.24963/KR.2022},
  year = {2022}
}

@proceedings{kr23,
  title = {Proceedings of the Twentieth International Conference on Principles of Knowledge Representation and Reasoning (KR'23)},
  editor = {P. Marquis and T. Son and G. Kern{-}Isberner},
  booktitle = {Proceedings of the Twentieth International Conference on Principles of Knowledge Representation and Reasoning (KR'23)},
  doi = {10.24963/KR.2023},
  year = {2023}
}

@proceedings{kr24,
  title = {Proceedings of the Twenty-first International Conference on Principles of Knowledge Representation and Reasoning (KR'23)},
  editor = {G. Kern{-}Isberner and M. Ortiz and M. Pagnucco},
  booktitle = {Proceedings of the Twenty-first International Conference on Principles of Knowledge Representation and Reasoning (KR'23)},
  optdoi = {10.24963/KR.2024},
  year = {2023}
}

@proceedings{kr89,
  title = {Proceedings of the First International Conference on Principles of Knowledge Representation and Reasoning (KR'89)},
  editor = {R. Brachman and H. Levesque and R. Reiter},
  booktitle = {Proceedings of the First International Conference on Principles of Knowledge Representation and Reasoning (KR'89)},
  publisher = m-k,
  year = {1989}
}

@proceedings{kr91,
  title = {Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning (KR'91)},
  editor = {J. Allen and R. Fikes and E. Sandewall},
  booktitle = {Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning (KR'91)},
  publisher = m-k,
  year = {1991}
}

@proceedings{kr92,
  title = {Proceedings of the Third International Conference on Principles of Knowledge Representation and Reasoning (KR'92)},
  editor = {B. Nebel and C. Rich and W. Swartout},
  booktitle = {Proceedings of the Third International Conference on Principles of Knowledge Representation and Reasoning (KR'92)},
  publisher = m-k,
  year = {1992}
}

@proceedings{kr94,
  title = {Proceedings of the Fourth International Conference on Principles of Knowledge Representation and Reasoning (KR'94)},
  editor = {J. Doyle and P. Torasso and E. Sandewall},
  booktitle = {Proceedings of the Fourth International Conference on Principles of Knowledge Representation and Reasoning (KR'94)},
  publisher = m-k,
  year = {1994}
}

@proceedings{kr96,
  title = {Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR'96)},
  editor = {L. Aiello and J. Doyle and S. Shapiro},
  booktitle = {Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR'96)},
  publisher = m-k,
  year = {1996}
}

@proceedings{kr98,
  title = {Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98)},
  editor = {A. Cohn and L. Schubert and S. Shapiro},
  booktitle = {Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98)},
  publisher = m-k,
  year = {1998}
}

@book{KRHandbook,
  title = {Handbook of Knowledge Representation},
  editor = {V. Lifschitz and F. {van Harmelen} and B. Porter},
  booktitle = {Handbook of Knowledge Representation},
  publisher = elsevier,
  year = {2008}
}

@proceedings{lash08,
  title = {Proceedings of the Second International Workshop on Logic and Search (LaSh'08)},
  editor = {M. Denecker},
  booktitle = {Proceedings of the Second International Workshop on Logic and Search (LaSh'08)},
  year = {2008}
}

@book{lbai,
  title = {Logic-Based Artificial Intelligence},
  editor = {J. Minker},
  address = {Dordrecht},
  booktitle = {Logic-Based Artificial Intelligence},
  publisher = kluwer,
  year = {2000}
}

@proceedings{lics05,
  title = {Proceedings of the Twentieth Annual Symposium on Logic in Computer Science (LICS'10)},
  booktitle = {Proceedings of the Twentieth Annual Symposium on Logic in Computer Science (LICS'10)},
  publisher = ieee,
  year = {2005}
}

@proceedings{lics10,
  title = {Proceedings of the Twenty-fifth Annual Symposium on Logic in Computer Science (LICS'10)},
  booktitle = {Proceedings of the Twenty-Fifth Annual Symposium on Logic in Computer Science (LICS'10)},
  publisher = ieee,
  year = {2010}
}

@proceedings{lics13,
  title = {Proceedings of the Twenty-eighth Annual Symposium on Logic in Computer Science (LICS'13)},
  booktitle = {Proceedings of the Twenty-eighth Annual Symposium on Logic in Computer Science (LICS'13)},
  publisher = ieee,
  year = {2013}
}

@proceedings{lics15,
  title = {Proceedings of the Thirtieth Annual Symposium on Logic in Computer Science (LICS'15)},
  booktitle = {Proceedings of the Thirtieth Annual Symposium on Logic in Computer Science (LICS'15)},
  publisher = ieee,
  year = {2015}
}

@proceedings{lics87,
  title = {Proceedings of the Second Annual Symposium on Logic in Computer Science (LICS'87)},
  booktitle = {Proceedings of the Second Annual Symposium on Logic in Computer Science (LICS'87)},
  publisher = ieee,
  year = {1987}
}

@proceedings{lics89,
  title = {Proceedings of the Fourth Annual Symposium on Logic in Computer Science (LICS'89)},
  booktitle = {Proceedings of the Fourth Annual Symposium on Logic in Computer Science (LICS'89)},
  publisher = ieee,
  year = {1989}
}

@proceedings{lics94,
  title = {Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS'94)},
  booktitle = {Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS'94)},
  publisher = ieee,
  year = {1994}
}

@proceedings{lion10,
  title = {Proceedings of the Fourth International Conference on Learning and Intelligent Optimization (LION'10)},
  editor = {C. Blum and R. Battiti},
  booktitle = {Proceedings of the Fourth International Conference on Learning and Intelligent Optimization (LION'10)},
  publisher = springer,
  series = lncs,
  volume = {6073},
  year = {2010}
}

@proceedings{lion11,
  title = {Proceedings of the Fifth International Conference on Learning and Intelligent Optimization (LION'11)},
  booktitle = {Proceedings of the Fifth International Conference on Learning and Intelligent Optimization (LION'11)},
  publisher = springer,
  series = lncs,
  volume = {6683},
  year = {2011}
}

@proceedings{lion12,
  title = {Proceedings of the Sixth International Conference Learning and Intelligent Optimization (LION'12)},
  editor = {Y. Hamadi and M. Schoenauer},
  booktitle = {Proceedings of the Sixth International Conference Learning and Intelligent Optimization (LION'12)},
  publisher = springer,
  series = lncs,
  volume = {7219},
  year = {2012}
}

@proceedings{lion13,
  title = {Proceedings of the Seventh International Conference on Learning and Intelligent Optimization (LION'13)},
  editor = {P. Pardalos and G. Nicosia},
  booktitle = {Proceedings of the Seventh International Conference on Learning and Intelligent Optimization (LION'13)},
  publisher = springer,
  series = lncs,
  volume = {7997},
  year = {2013}
}

@proceedings{lion14,
  title = {Proceedings of the Eighth International Conference on Learning and Intelligent Optimization (LION'14)},
  editor = {P. Pardalos and M. Resende},
  booktitle = {Proceedings of the Eighth International Conference on Learning and Intelligent Optimization (LION'14)},
  publisher = springer,
  series = lncs,
  volume = {8426},
  year = {2014}
}

@proceedings{lococo10,
  title = {Proceedings of the First International Workshop on Logics for Component Configuration (LoCoCo'10)},
  editor = {I. Lynce and R. Treinen},
  booktitle = {Proceedings of the First International Workshop on Logics for Component Configuration (LoCoCo'10)},
  series = {Electronic Proceedings in Theoretical Computer Science (EPTCS)},
  volume = {29},
  year = {2010}
}

@proceedings{lococo11,
  title = {Proceedings of the Second International Workshop on Logics for Component Configuration (LoCoCo'11)},
  editor = {C. Drescher and I. Lynce and R. Treinen},
  booktitle = {Proceedings of the Second International Workshop on Logics for Component Configuration (LoCoCo'11)},
  series = {Electronic Proceedings in Theoretical Computer Science (EPTCS)},
  volume = {65},
  year = {2011}
}

@proceedings{lopstr01,
  title = {Proceedings of the Eleventh International Workshop on Logic Based Program Synthesis and Transformation (LOPSTR'01)},
  editor = {A. Pettorossi},
  booktitle = {Proceedings of the Eleventh International Workshop on Logic Based Program Synthesis and Transformation (LOPSTR'01)},
  publisher = springer,
  series = lncs,
  volume = {2372},
  year = {2001}
}

@proceedings{lopstr05,
  title = {Proceedings of the Fifteenth International Symposium on Logic Based Program Synthesis and Transformation (LOPSTR'05)},
  editor = {P. Hill},
  booktitle = {Proceedings of the Fifteenth International Symposium on Logic Based Program Synthesis and Transformation (LOPSTR'05)},
  publisher = springer,
  series = lncs,
  volume = {3901},
  year = {2006}
}

@proceedings{lopstr09,
  title = {Proceedings of the Nineteenth International Symposium on Logic Based Program Synthesis and Transformation (LOPSTR'09)},
  editor = {D. Schreye},
  booktitle = {Proceedings of the Nineteenth International Symposium on Logic Based Program Synthesis and Transformation (LOPSTR'09)},
  publisher = springer,
  series = lncs,
  volume = {6037},
  year = {2009}
}

@proceedings{lopstr12,
  title = {Proceedings of the Twenty-second International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR'12)},
  editor = {E. Albert},
  booktitle = {Proceedings of the Twenty-second International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR'12)},
  publisher = springer,
  series = lncs,
  volume = {7844},
  year = {2013}
}

@proceedings{lpar05,
  title = {Proceedings of the Twelfth International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'05)},
  editor = {G. Sutcliffe and A. Voronkov},
  booktitle = {Proceedings of the Twelfth International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'05)},
  publisher = springer,
  series = lnai,
  volume = {3835},
  year = {2005}
}

@proceedings{lpar06,
  title = {Proceedings of the Thirteenth International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'06)},
  editor = {M. Hermann and A. Voronkov},
  booktitle = {Proceedings of the Thirteenth International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'06)},
  publisher = springer,
  series = lncs,
  volume = {4246},
  year = {2006}
}

@proceedings{lpar12,
  title = {Proceedings of the Eighteenth International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'12)},
  editor = {N. Bj{\o}rner and A. Voronkov},
  booktitle = {Proceedings of the Eighteenth International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'12)},
  publisher = springer,
  series = lncs,
  volume = {7180},
  year = {2012}
}

@proceedings{lpar13,
  title = {Proceedings of the Ninteenth International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'13)},
  editor = {K. McMillan and A. Middeldorp and A. Voronkov},
  booktitle = {Proceedings of the Ninteenth International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'13)},
  publisher = springer,
  series = lncs,
  volume = {8312},
  year = {2013}
}

@proceedings{lpnmr01,
  title = {Proceedings of the Sixth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'01)},
  editor = {T. Eiter and W. Faber and M. Truszczy{\'n}ski},
  booktitle = {Proceedings of the Sixth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'01)},
  publisher = springer,
  series = lncs,
  volume = {2173},
  year = {2001}
}

@proceedings{lpnmr04,
  title = {Proceedings of the Seventh International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'04)},
  editor = {V. Lifschitz and I. Niemel{\"a}},
  booktitle = {Proceedings of the Seventh International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'04)},
  publisher = springer,
  series = lnai,
  volume = {2923},
  year = {2004}
}

@proceedings{lpnmr05,
  title = {Proceedings of the Eighth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'05)},
  editor = {C. Baral and G. Greco and N. Leone and G. Terracina},
  booktitle = {Proceedings of the Eighth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'05)},
  publisher = springer,
  series = lnai,
  volume = {3662},
  year = {2005}
}

@proceedings{lpnmr07,
  title = {Proceedings of the Ninth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'07)},
  editor = {C. Baral and G. Brewka and J. Schlipf},
  booktitle = {Proceedings of the Ninth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'07)},
  publisher = springer,
  series = lnai,
  volume = {4483},
  year = {2007}
}

@proceedings{lpnmr09,
  title = {Proceedings of the Tenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'09)},
  editor = {E. Erdem and F. Lin and T. Schaub},
  booktitle = {Proceedings of the Tenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'09)},
  publisher = springer,
  series = lnai,
  volume = {5753},
  year = {2009}
}

@proceedings{lpnmr11,
  title = {Proceedings of the Eleventh International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'11)},
  editor = {J. Delgrande and W. Faber},
  booktitle = {Proceedings of the Eleventh International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'11)},
  publisher = springer,
  series = lnai,
  volume = {6645},
  year = {2011}
}

@proceedings{lpnmr13,
  title = {Proceedings of the Twelfth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'13)},
  editor = {P. Cabalar and T. Son},
  booktitle = {Proceedings of the Twelfth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'13)},
  publisher = springer,
  series = lnai,
  volume = {8148},
  year = {2013}
}

@proceedings{lpnmr15,
  title = {Proceedings of the Thirteenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'15)},
  editor = {F. Calimeri and G. Ianni and M. Truszczy{\'n}ski},
  booktitle = {Proceedings of the Thirteenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'15)},
  publisher = springer,
  series = lnai,
  volume = {9345},
  year = {2015}
}

@proceedings{lpnmr17,
  title = {Proceedings of the Fourteenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'17)},
  editor = {M. Balduccini and T. Janhunen},
  booktitle = {Proceedings of the Fourteenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'17)},
  publisher = springer,
  series = lnai,
  volume = {10377},
  year = {2017}
}

@proceedings{lpnmr19,
  title = {Proceedings of the Fifteenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'19)},
  editor = {M. Balduccini and Y. Lierler and S. Woltran},
  booktitle = {Proceedings of the Fifteenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'19)},
  publisher = springer,
  series = lnai,
  volume = {11481},
  year = {2019}
}

@proceedings{lpnmr22,
  title = {Proceedings of the Sixteenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'22)},
  editor = {G. Gottlob and D. Inclezan and M. Maratea},
  booktitle = {Proceedings of the Sixteenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'22)},
  publisher = springer,
  series = lnai,
  volume = {13416},
  year = {2022}
}

@proceedings{lpnmr24,
  title = {Proceedings of the Seventeenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'24)},
  editor = {C. Dodaro and V. Martinez},
  booktitle = {Proceedings of the Seventeenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'24)},
  optvolume = {},
  publisher = springer,
  series = lnai,
  year = {2024}
}

@proceedings{lpnmr93,
  title = {Proceedings of the Second International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'93)},
  editor = {L. Pereira and A. Nerode},
  booktitle = {Proceedings of the Second International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'93)},
  publisher = springer,
  series = lnai,
  volume = {928},
  year = {1993}
}

@proceedings{lpnmr95,
  title = {Proceedings of the Third International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'95)},
  editor = {V. Marek and A. Nerode},
  booktitle = {Proceedings of the Third International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'95)},
  publisher = springer,
  series = lnai,
  volume = {928},
  year = {1995}
}

@proceedings{lpnmr97,
  title = {Proceedings of the Fourth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'97)},
  editor = {J. Dix and U. Furbach and A. Nerode},
  booktitle = {Proceedings of the Fourth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'97)},
  publisher = springer,
  series = lnai,
  volume = {1265},
  year = {1997}
}

@proceedings{lpnmr99,
  title = {Proceedings of the Fifth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'99)},
  editor = {M. Gelfond and N. Leone and G. Pfeifer},
  booktitle = {Proceedings of the Fifth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'99)},
  publisher = springer,
  series = lnai,
  volume = {1730},
  year = {1999}
}

@proceedings{lwda18,
  title = {Proceedings of the Conference "Lernen, Wissen, Daten, Analysen", {LWDA'18}},
  editor = {R. Gemulla and S. Ponzetto and C. Bizer and M. Keuper and H. Stuckenschmidt},
  booktitle = {Proceedings of the Conference "Lernen, Wissen, Daten, Analysen", {LWDA'18}},
  publisher = {CEUR-WS.org},
  series = {{CEUR} Workshop Proceedings},
  volume = {2191},
  year = {2018}
}

@proceedings{lwda22,
  title = {Proceedings of the Conference "Lernen, Wissen, Daten, Analysen", {LWDA'22}},
  editor = {P. Reuss and V. Eisenstadt and J. Sch{\"{o}}nborn and J. Sch{\"{a}}fer},
  booktitle = {Proceedings of the Conference "Lernen, Wissen, Daten, Analysen", {LWDA'22}},
  publisher = {CEUR-WS.org},
  series = {{CEUR} Workshop Proceedings},
  volume = {3341},
  year = {2022}
}

@proceedings{mbmv13,
  title = {Sechzehnter Workshop f{\"u}r Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV'13)},
  editor = {C. Haubelt and D. Timmermann},
  booktitle = {Sechzehnter Workshop f{\"u}r Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV'13)},
  publisher = {Institut f{\"u}r Angewandte Mikroelektronik und Datentechnik, Universit{\"a}t Rostock},
  year = {2013}
}

@proceedings{mbmv18,
  title = {Einundzwanzigster Workshop f{\"u}r Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV'18)},
  editor = {O. Bringmann and A. {von Bernuth}},
  booktitle = {Einundzwanzigster Workshop f{\"u}r Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV'18)},
  year = {2018}
}

@proceedings{mg65,
  title = {Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning: Essays Dedicated to {M}ichael {G}elfond on the Occasion of his 65th Birthday},
  editor = {M. Balduccini and T. Son},
  booktitle = {Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning: Essays Dedicated to {M}ichael {G}elfond on the Occasion of his 65th Birthday},
  publisher = springer,
  series = lncs,
  volume = {6565},
  year = {2011}
}

@proceedings{mh60,
  title = {Essays Dedicated to {M}anuel {H}ermenegildo on the Occasion of his 60th Birthday},
  editor = {P. Lopez-Garcia and J. Gallagher and R. Giacobazzi},
  booktitle = {Essays Dedicated to {M}anuel {H}ermenegildo on the Occasion of his 60th Birthday},
  note = {To appear},
  optnumber = {tbf},
  optvolume = {tbf},
  publisher = springer,
  series = lncs,
  year = {2022}
}

@book{MLHandbook,
  title = {Handbook of Modal Logic},
  editor = {P. Blackburn and F. Wolter and J. van Benthem},
  booktitle = {Handbook of Modal Logic},
  publisher = elsevier,
  year = {2006}
}

@proceedings{modref10,
  title = {Proceedings of the Ninth International Workshop on Constraint Modelling and Reformulation (ModRef'10)},
  booktitle = {Proceedings of the Ninth International Workshop on Constraint Modelling and Reformulation (ModRef'10)},
  year = {2010}
}

@proceedings{mtv05,
  title = {Proceedings of the Sixth International Workshop on Microprocessor Test and Verification (MTV'05)},
  editor = {M. Abadir and L. Wang},
  booktitle = {Proceedings of the Sixth International Workshop on Microprocessor Test and Verification (MTV'05)},
  publisher = ieee,
  year = {2005}
}

@proceedings{nips06,
  title = {Proceedings of the Twentieth Annual Conference on Neural Information Processing Systems (NIPS'06)},
  editor = {B. Sch{\"o}lkopf and J. Platt and T. Hofmann},
  booktitle = {Proceedings of the Twentieth Annual Conference on Neural Information Processing Systems (NIPS'06)},
  publisher = {{MIT} Press},
  year = {2007}
}

@proceedings{nips13,
  title = {Proceedings of the Twenty-seventh Annual Conference on Neural Information Processing Systems (NIPS'13)},
  editor = {C. Burges and L. Bottou and Z. Ghahramani and K. Weinberger},
  booktitle = {Proceedings of the Twenty-seventh Annual Conference on Neural Information Processing Systems (NIPS'13)},
  publisher = {Neural Information Processing Systems Foundation},
  series = {Advances in Neural Information Processing Systems},
  volume = {26},
  year = {2013}
}

@proceedings{nmelp96,
  title = {Proceedings of the Sixth International Workshop on Non-Monotonic Extensions of Logic Programming (NMELP'96)},
  editor = {J. Dix and L. Pereira and T. Przymusinski},
  booktitle = {Proceedings of the Sixth International Workshop on Non-Monotonic Extensions of Logic Programming (NMELP'96)},
  publisher = springer,
  series = lncs,
  volume = {1216},
  year = {1997}
}

@proceedings{nmr00,
  title = {Proceedings of the Eighth International Workshop on Nonmonotonic Reasoning (NMR'00)},
  editor = {C. Baral and M. Truszczy{\'n}ski},
  booktitle = {Proceedings of the Eighth International Workshop on Nonmonotonic Reasoning (NMR'00)},
  year = {2000}
}

@proceedings{nmr04,
  title = {Proceedings of the Tenth International Workshop on Nonmonotonic Reasoning (NMR'04)},
  editor = {J. Delgrande and T. Schaub},
  booktitle = {Proceedings of the Tenth International Workshop on Nonmonotonic Reasoning (NMR'04)},
  year = {2004}
}

@proceedings{nmr06,
  title = {Proceedings of the Eleventh International Workshop on Nonmonotonic Reasoning (NMR'06)},
  editor = {J. Dix and A. Hunter},
  annote = {http://www.in.tu-clausthal.de/forschung/technical-reports/},
  booktitle = {Proceedings of the Eleventh International Workshop on Nonmonotonic Reasoning (NMR'06)},
  number = {IFI-06-04},
  organization = {Clausthal University of Technology},
  publisher = {Institute for Informatics},
  series = {Technical Report Series},
  year = {2006}
}

@proceedings{nmr08,
  title = {Proceedings of the Twelfth International Workshop on Nonmonotonic Reasoning (NMR'08)},
  editor = {M. Pagnucco and M. Thielscher},
  booktitle = {Proceedings of the Twelfth International Workshop on Nonmonotonic Reasoning (NMR'08)},
  number = {UNSW-CSE-TR-0819},
  series = {School of Computer Science and Engineering, The University of New South Wales, Technical Report Series},
  year = {2008}
}

@proceedings{nmr10,
  title = {Proceedings of the Thirteens International Workshop on Nonmonotonic Reasoning (NMR'10)},
  editor = {T. Meyer and E. Ternovska},
  booktitle = {Proceedings of the Thirteens International Workshop on Nonmonotonic Reasoning (NMR'10)},
  year = {2010}
}

@proceedings{nmr14,
  title = {Proceedings of the Fifteenth International Workshop on Nonmonotonic Reasoning (NMR'14)},
  editor = {S. Konieczny and H. Tompits},
  booktitle = {Proceedings of the Fifteenth International Workshop on Nonmonotonic Reasoning (NMR'14)},
  year = {2014}
}

@proceedings{nmr18,
  title = {Proceedings of the Seventeenth International Workshop on Nonmonotonic Reasoning (NMR'18)},
  editor = {E. Ferm{\'e} and S. Villata},
  booktitle = {Proceedings of the Seventeenth International Workshop on Nonmonotonic Reasoning (NMR'18)},
  year = {2018}
}

@proceedings{nmr84,
  title = {Proceedings of the First International Workshop on Nonmonotonic Reasoning},
  booktitle = {Proceedings of the First International Workshop on Nonmonotonic Reasoning},
  organization = aaai,
  year = {1984}
}

@proceedings{nmr90,
  title = {Proceedings of the Third International Workshop on Nonmonotonic Reasoning},
  editor = {K. Konolige},
  booktitle = {Proceedings of the Third International Workshop on Nonmonotonic Reasoning},
  organization = aaai,
  year = {1990}
}

@proceedings{nmr92,
  title = {Proceedings of the Fourth International Workshop on Nonmonotonic Reasoning},
  editor = {D. Etherington and H. Kautz},
  booktitle = {Proceedings of the Fourth International Workshop on Nonmonotonic Reasoning},
  organization = aaai,
  year = {1992}
}

@proceedings{padl04,
  title = {Proceedings of the Sixth International Symposium on Practical Aspects of Declarative Languages (PADL'04)},
  editor = {B. Jayaraman},
  booktitle = {Proceedings of the Sixth International Symposium on Practical Aspects of Declarative Languages (PADL'04)},
  publisher = springer,
  series = lncs,
  volume = {3057},
  year = {2004}
}

@proceedings{padl09,
  title = {Proceedings of the Eleventh International Symposium on Practical Aspects of Declarative Languages (PADL'09)},
  editor = {A. Gill and T. Swift},
  booktitle = {Proceedings of the Eleventh International Symposium on Practical Aspects of Declarative Languages (PADL'09)},
  publisher = springer,
  series = lncs,
  volume = {5418},
  year = {2009}
}

@proceedings{padl10,
  title = {Proceedings of the Twelfth International Symposium on Practical Aspects of Declarative Languages (PADL'10)},
  editor = {M. Carro and R. Pe{\~n}a},
  booktitle = {Proceedings of the Twelfth International Symposium on Practical Aspects of Declarative Languages (PADL'10)},
  publisher = springer,
  series = lncs,
  volume = {5937},
  year = {2010}
}

@proceedings{padl19,
  title = {Proceedings of the Twenty-first International Symposium on Practical Aspects of Declarative Languages (PADL'19)},
  editor = {J. Alferes and M. Johansson},
  booktitle = {Proceedings of the Twenty-first International Symposium on Practical Aspects of Declarative Languages (PADL'19)},
  publisher = springer,
  series = lncs,
  volume = {11372},
  year = {2019}
}

@proceedings{padl22,
  title = {Proceedings of the Twenty-fourth International Symposium on Practical Aspects of Declarative Languages (PADL'22)},
  editor = {J. Cheney and S. Perri},
  booktitle = {Proceedings of the Twenty-fourth International Symposium on Practical Aspects of Declarative Languages (PADL'22)},
  publisher = springer,
  series = lncs,
  volume = {13165},
  year = {2022}
}

@proceedings{padl23,
  title = {Proceedings of the Twenty-fifth International Symposium on Practical Aspects of Declarative Languages (PADL'23)},
  editor = {M. Hanus and D. Inclezan},
  booktitle = {Proceedings of the Twenty-fifth International Symposium on Practical Aspects of Declarative Languages (PADL'23)},
  publisher = springer,
  series = lncs,
  volume = {13880},
  year = {2023}
}

@proceedings{patat16,
  title = {Proceedings of the Eleventh International Conference of the Practice and Theory of Automated Timetabling (PATAT'16)},
  editor = {E. Burke and L. Di Gaspero and B. McCollum and A. Schaerf and E. {\"O}zcan},
  booktitle = {Proceedings of the Eleventh International Conference of the Practice and Theory of Automated Timetabling (PATAT'16)},
  year = {2016}
}

@proceedings{pdmc09,
  title = {Proceedings of the Eighth International Workshop on Parallel and Distributed Methods in Verification (PDMC'09)},
  editor = {L. Brim and J. van de Pol},
  booktitle = {Proceedings of the Eighth International Workshop on Parallel and Distributed Methods in Verification (PDMC'09)},
  series = {Electronic Proceedings in Theoretical Computer Science},
  volume = {14},
  year = {2009}
}

@proceedings{petra08,
  title = {Proceedings of the ACM International Conference on Pervasive Technologies Related to Assistive Environments (PETRA'08)},
  editor = {F. Makedon and L. Baillie},
  booktitle = {Proceedings of the ACM International Conference on Pervasive Technologies Related to Assistive Environments (PETRA'08)},
  publisher = acm,
  series = {ACM International Conference Proceeding Series},
  volume = {282},
  year = {2008}
}

@book{PHandbook,
  title = {Handbook of Philosophical Logic},
  editor = {D. Gabbay and F. Guenthner},
  booktitle = {Handbook of Philosophical Logic},
  publisher = springer,
  year = {2001}
}

@proceedings{pkdd07,
  title = {Proceedings of the Eleventh European Conference on Principles and Practice of Knowledge Discovery in Databases (PKDD'07)},
  editor = {J. Kok and J. Koronacki and R. {L{\'o}pez de M{\'a}ntaras} and S. Matwin and D. Mladenic and A. Skowron},
  booktitle = {Proceedings of the Eleventh European Conference on Principles and Practice of Knowledge Discovery in Databases (PKDD'07)},
  publisher = springer,
  series = lncs,
  volume = {4702},
  year = {2007}
}

@proceedings{pldi04,
  title = {Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'04)},
  editor = {W. Pugh and C. Chambers},
  booktitle = {Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'04)},
  publisher = acm,
  year = {2004}
}

@proceedings{podc96,
  title = {Proceedings of the Fifteenth Annual ACM Symposium on Principles of Distributed Computing (PODC'96)},
  booktitle = {Proceedings of the Fifteenth Annual ACM Symposium on Principles of Distributed Computing (PODC'96)},
  publisher = acm,
  year = {1996}
}

@proceedings{pods02,
  title = {Proceedings of the Twenty-first ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS'02)},
  editor = {L. Popa},
  booktitle = {Proceedings of the Twenty-first ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS'02)},
  publisher = acm,
  year = {2002}
}

@proceedings{pods06,
  title = {Proceedings of the Twenty-Fifth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS'06)},
  editor = {S. Vansummeren},
  booktitle = {Proceedings of the Twenty-Fifth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS'06)},
  publisher = acm,
  year = {2006}
}

@proceedings{pods86,
  title = {Proceedings of the Fifth ACM SIGACT-SIGMOD Symposium on Principles of Database Systems},
  booktitle = {Proceedings of the Fifth ACM SIGACT-SIGMOD Symposium on Principles of Database Systems},
  publisher = acm,
  year = {1986}
}

@proceedings{pods92,
  title = {Proceedings of the Eleventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS'92)},
  editor = {M. Vardi and P. Kanellakis},
  booktitle = {Proceedings of the Eleventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS'92)},
  publisher = {ACM Press},
  year = {1992}
}

@proceedings{pods93,
  title = {Proceedings of the Twelfth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS'93)},
  booktitle = {Proceedings of the Twelfth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS'93)},
  publisher = acm,
  year = {1993}
}

@proceedings{policy05,
  title = {Proceedings of the Sixth IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY'05)},
  booktitle = {Proceedings of the Sixth IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY'05)},
  publisher = ieee,
  year = {2005}
}

@proceedings{popl80,
  title = {Proceedings of the Seventh Symposium on Principles of Programming Languages (POPL'80)},
  editor = {P. Abrahams and R. Lipton and S. Bourne},
  booktitle = {Proceedings of the Seventh Symposium on Principles of Programming Languages (POPL'80)},
  publisher = acm,
  year = {1980}
}

@proceedings{pos10,
  title = {Proceedings of the First Workshop on Pragmatics of SAT (PoS'10)},
  editor = {D. {Le Berre}},
  booktitle = {Proceedings of the First Workshop on Pragmatics of SAT (PoS'10)},
  publisher = {EasyChair},
  series = {EPiC Series in Computing},
  volume = {8},
  year = {2012}
}

@proceedings{pos11,
  title = {Proceedings of the Second Workshop on Pragmatics of SAT (PoS'11)},
  editor = {D. {Le Berre} and A. {Van Gelder}},
  booktitle = {Proceedings of the Second Workshop on Pragmatics of SAT (PoS'11)},
  year = {2011}
}

@proceedings{pos13,
  title = {Proceedings of the Fourth Workshop on Pragmatics of SAT (PoS'13)},
  editor = {D. {Le Berre} and A. {Van Gelder}},
  booktitle = {Proceedings of the Fourth Workshop on Pragmatics of SAT (PoS'13)},
  year = {2013}
}

@proceedings{pos13epic,
  title = {Proceedings of the Fourth Workshop on Pragmatics of SAT (PoS'13)},
  editor = {D. {Le Berre}},
  booktitle = {Proceedings of the Fourth Workshop on Pragmatics of SAT (PoS'13)},
  publisher = {EasyChair},
  series = {EasyChair Proceedings in Computing},
  volume = {29},
  year = {2014}
}

@proceedings{ppdp12,
  title = {Proceedings of the Fourteenth International Symposium on Principles and Practice of Declarative Programming (PPDP'12)},
  editor = {D. Schreye and G. Janssens and A. King},
  booktitle = {Proceedings of the Fourteenth International Symposium on Principles and Practice of Declarative Programming (PPDP'12)},
  publisher = acm,
  year = {2012}
}

@proceedings{ppdp14,
  title = {Proceedings of the Sixteenth International Symposium on Principles and Practice of Declarative Programming (PPDP'14)},
  editor = {O. Chitil and A. King and O. Danvy},
  booktitle = {Proceedings of the Sixteenth International Symposium on Principles and Practice of Declarative Programming (PPDP'14)},
  publisher = acm,
  year = {2014}
}

@proceedings{ppdp16,
  title = {Proceedings of the Eighteenth International Symposium on Principles and Practice of Declarative Programming (PPDP'16)},
  editor = {J. Cheney and G. Vidal},
  booktitle = {Proceedings of the Eighteenth International Symposium on Principles and Practice of Declarative Programming (PPDP'16)},
  publisher = acm,
  year = {2016}
}

@proceedings{prefs06,
  title = {Proceedings of the International Workshop on Preferences in Logic Programming Systems (PREFS'06)},
  editor = {E. Pontelli and T. Son},
  booktitle = {Proceedings of the International Workshop on Preferences in Logic Programming Systems (PREFS'06)},
  year = {2006}
}

@proceedings{pricai14,
  title = {Proceedings of the Thirteenth Pacific Rim International Conference on Artificial Intelligence (PRICAI'14)},
  editor = {D. Pham and S. Park},
  booktitle = {Proceedings of the Thirteenth Pacific Rim International Conference on Artificial Intelligence (PRICAI'14)},
  publisher = springer,
  series = lnai,
  volume = {8862},
  year = {2014}
}

@proceedings{prima20,
  title = {Proceedings of the Twenty-third International Conference on Principles and Practice of Multi-Agent Systems (PRIMA'20)},
  editor = {T. Uchiya and Q. Bai and I. Mars{\'a}{-}Maestre},
  booktitle = {Proceedings of the Twenty-third International Conference on Principles and Practice of Multi-Agent Systems (PRIMA'20)},
  publisher = springer,
  series = lncs,
  year = {2021}
}

@proceedings{prl21,
  title = {Proceedings of the ICAPS 2021 Workshop on Planning and Reinforcement Learning (PRL'21)},
  editor = {H. Palacios},
  booktitle = {Proceedings of the ICAPS 2021 Workshop on Planning and Reinforcement Learning (PRL'21)},
  year = {2021}
}

@proceedings{pvmmpi09,
  title = {Proceedings of the Sixteenth European PVM/MPI Users' Group Meeting on Recent Advances in Parallel Virtual Machine and Message Passing Interface (PVM/MPI'09)},
  editor = {M. Ropo and J. Westerholm and J. Dongarra},
  booktitle = {Proceedings of the Sixteenth European PVM/MPI Users' Group Meeting on Recent Advances in Parallel Virtual Machine and Message Passing Interface (PVM/MPI'09)},
  publisher = springer,
  series = lncs,
  volume = {5759},
  year = {2009}
}

@proceedings{rcra09,
  title = {Proceedings of the Sixteenth International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA'09)},
  editor = {M. Gavanelli and T. Mancini},
  booktitle = {Proceedings of the Sixteenth International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA'09)},
  publisher = {CEUR Workshop Proceedings},
  year = {2009}
}

@proceedings{rcra13,
  title = {Proceedings of the Twentieth International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA'13)},
  booktitle = {Proceedings of the Twentieth  International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA'13)},
  series = {{CEUR} Workshop Proceedings},
  year = {2013}
}

@proceedings{rcra15,
  title = {Proceedings of the Twenty-second International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA'15)},
  editor = {S. Bistarelli and A. Formisano and M. Maratea},
  booktitle = {Proceedings of the Twenty-second International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA'15)},
  publisher = {CEUR Workshop Proceedings},
  volume = {1451},
  year = {2015}
}

@proceedings{reinfrank89a,
  title = {Proceedings of the Second International Workshop on Nonmonotonic Reasoning},
  editor = {M. Reinfrank and J. de Kleer and M. Ginsberg and E. Sandewall},
  booktitle = {Proceedings of the Second International Workshop on Nonmonotonic Reasoning},
  publisher = springer,
  series = lnai,
  volume = {346},
  year = {1989}
}

@proceedings{rr08,
  title = {Proceedings of the Second International Conference on Web Reasoning and Rule Systems (RR'08)},
  editor = {D. Calvanese and G. Lausen},
  booktitle = {Proceedings of the Second International Conference on Web Reasoning and Rule Systems (RR'08)},
  publisher = springer,
  series = lncs,
  volume = {5341},
  year = {2008}
}

@proceedings{rr10,
  title = {Proceedings of the Fourth International Conference on Web Reasoning and Rule Systems (RR'10)},
  editor = {P. Hitzler and T. Lukasiewicz},
  booktitle = {Proceedings of the Fourth International Conference on Web Reasoning and Rule Systems (RR'10)},
  publisher = springer,
  series = lncs,
  volume = {6333},
  year = {2010}
}

@proceedings{rr15,
  title = {Proceedings of the Ninth International Conference on Web Reasoning and Rule Systems (RR'15)},
  editor = {B. {ten Cate} and A. Mileo},
  booktitle = {Proceedings of the Ninth International Conference on Web Reasoning and Rule Systems (RR'15)},
  publisher = springer,
  series = lncs,
  volume = {9209},
  year = {2015}
}

@proceedings{rss-cp13,
  title = {Proceedings of Combined Robot Motion Planning and AI Planning for Practical Applications (RSS-CP13)},
  booktitle = {Proceedings of Combined Robot Motion Planning and AI Planning for Practical Applications (RSS-CP13)},
  year = {2013}
}

@proceedings{ruleml12,
  title = {Proceedings of the Sixth International Symposium on Rules on the Web: Research and Applications},
  editor = {A. Bikakis and A. Giurca},
  booktitle = {Proceedings of the Sixth International Symposium on Rules on the Web: Research and Applications},
  publisher = springer,
  series = lncs,
  volume = {7438},
  year = {2012}
}

@proceedings{ruleml19,
  title = {Proceedings of the Third International Joint Conference on Rules and Reasoning (RuleML+RR'19)},
  editor = {P. Fodor and M. Montali and D. Calvanese and D. Roman},
  booktitle = {Proceedings of the Third International Joint Conference on Rules and Reasoning (RuleML+RR'19)},
  publisher = springer,
  series = lncs,
  volume = {11784},
  year = {2019}
}

@proceedings{ruleml22,
  title = {Proceedings of the Sixth International Joint Conference on Rules and Reasoning (RuleML+RR'22)},
  editor = {G. Governatori and A. Turhan},
  booktitle = {Proceedings of the Sixth International Joint Conference on Rules and Reasoning (RuleML+RR'22)},
  publisher = springer,
  series = lncs,
  volume = {13752},
  year = {2022}
}

@proceedings{rw17,
  title = {Proceedings of the Thirteenth International Summer School of the Reasoning Web},
  editor = {G. Ianni and D. Lembo and L. Bertossi and W. Faber and B. Glimm and G. Gottlob and S. Staab},
  booktitle = {Proceedings of the Thirteenth International Summer School of the Reasoning Web},
  publisher = springer,
  series = lncs,
  volume = {10370},
  year = {2017}
}

@proceedings{sat01,
  title = {Proceedings of the Fourth Workshop on Theory and Applications of Satisfiability Testing (SAT'01)},
  editor = {H. Kautz and B. Selman},
  booktitle = {Proceedings of the Fourth Workshop on Theory and Applications of Satisfiability Testing (SAT'01)},
  publisher = elsevier,
  series = {Electronic Notes in Discrete Mathematics},
  volume = {9},
  year = {2001}
}

@proceedings{sat02,
  title = {Proceedings of the Fifth International Symposium on Theory and Applications of Satisfiability Testing (SAT'02)},
  booktitle = {Proceedings of the Fifth International Symposium on Theory and Applications of Satisfiability Testing (SAT'02)},
  note = {Available at http://gauss.ececs.uc.edu/Conferences/SAT2002/sat2002list.html},
  year = {2002}
}

@proceedings{sat03,
  title = {Proceedings of the Sixth International Conference on Theory and Applications of Satisfiability Testing (SAT'03)},
  editor = {E. Giunchiglia and A. Tacchella},
  booktitle = {Proceedings of the Sixth International Conference on Theory and Applications of Satisfiability Testing (SAT'03)},
  publisher = springer,
  series = lncs,
  volume = {2919},
  year = {2004}
}

@proceedings{sat04,
  title = {Proceedings of the Seventh International Conference on Theory and Applications of Satisfiability Testing (SAT'04)},
  editor = {H. Hoos and D. Mitchell},
  booktitle = {Proceedings of the Seventh International Conference on Theory and Applications of Satisfiability Testing (SAT'04)},
  publisher = springer,
  series = lncs,
  volume = {3542},
  year = {2004}
}

@proceedings{sat05,
  title = {Proceedings of the Eighth International Conference on Theory and Applications of Satisfiability Testing (SAT'05)},
  editor = {F. Bacchus and T. Walsh},
  booktitle = {Proceedings of the Eighth International Conference on Theory and Applications of Satisfiability Testing (SAT'05)},
  publisher = springer,
  series = lncs,
  volume = {3569},
  year = {2005}
}

@proceedings{sat06,
  title = {Proceedings of the Ninth International Conference on Theory and Applications of Satisfiability Testing (SAT'06)},
  editor = {A. Biere and C. Gomes},
  booktitle = {Proceedings of the Ninth International Conference on Theory and Applications of Satisfiability Testing (SAT'06)},
  publisher = springer,
  series = lncs,
  volume = {4121},
  year = {2006}
}

@proceedings{sat07,
  title = {Proceedings of the Tenth International Conference on Theory and Applications of Satisfiability Testing (SAT'07)},
  editor = {J. Marques-Silva and K. Sakallah},
  booktitle = {Proceedings of the Tenth International Conference on Theory and Applications of Satisfiability Testing (SAT'07)},
  publisher = springer,
  series = lncs,
  volume = {4501},
  year = {2007}
}

@proceedings{sat08,
  title = {Proceedings of the Eleventh International Conference on Theory and Applications of Satisfiability Testing (SAT'08)},
  editor = {H. {Kleine B{\"u}ning} and X. Zhao},
  booktitle = {Proceedings of the Eleventh International Conference on Theory and Applications of Satisfiability Testing (SAT'08)},
  publisher = springer,
  series = lncs,
  volume = {4996},
  year = {2008}
}

@proceedings{sat09,
  title = {Proceedings of the Twelfth International Conference on Theory and Applications of Satisfiability Testing (SAT'09)},
  editor = {O. Kullmann},
  booktitle = {Proceedings of the Twelfth International Conference on Theory and Applications of Satisfiability Testing (SAT'09)},
  publisher = springer,
  series = lncs,
  volume = {5584},
  year = {2009}
}

@proceedings{sat10,
  title = {Proceedings of the Thirteenth International Conference on Theory and Applications of Satisfiability Testing (SAT'10)},
  editor = {O. Strichman and S. Szeider},
  booktitle = {Proceedings of the Thirteenth International Conference on Theory and Applications of Satisfiability Testing (SAT'10)},
  publisher = springer,
  series = lncs,
  volume = {6175},
  year = {2010}
}

@proceedings{sat11,
  title = {Proceedings of the Fourteenth International Conference on Theory and Applications of Satisfiability Testing (SAT'11)},
  editor = {K. Sakallah and L. Simon},
  booktitle = {Proceedings of the Fourteenth International Conference on Theory and Applications of Satisfiability Testing (SAT'11)},
  publisher = springer,
  series = lncs,
  volume = {6695},
  year = {2011}
}

@proceedings{sat12,
  title = {Proceedings of the Fifteenth International Conference on Theory and Applications of Satisfiability Testing (SAT'12)},
  editor = {A. Cimatti and R. Sebastiani},
  booktitle = {Proceedings of the Fifteenth International Conference on Theory and Applications of Satisfiability Testing (SAT'12)},
  publisher = springer,
  series = lncs,
  volume = {7317},
  year = {2012}
}

@proceedings{sat15,
  title = {Proceedings of the Eighteenth International Conference on Theory and Applications of Satisfiability Testing (SAT'15)},
  editor = {M. Heule and S. Weaver},
  booktitle = {Proceedings of the Eighteenth International Conference on Theory and Applications of Satisfiability Testing (SAT'15)},
  publisher = springer,
  series = lncs,
  volume = {9340},
  year = {2015}
}

@proceedings{sat19,
  title = {Proceedings of the Twenty-second International Conference on Theory and Applications of Satisfiability Testing (SAT'19)},
  editor = {M. Janota and I. Lynce},
  booktitle = {Proceedings of the Twenty-second International Conference on Theory and Applications of Satisfiability Testing (SAT'19)},
  publisher = springer,
  series = lncs,
  volume = {11628},
  year = {2019}
}

@proceedings{sat20,
  title = {Proceedings of the Twenty-third International Conference on Theory and Applications of Satisfiability Testing (SAT'20)},
  editor = {L. Pulina and M. Seidl},
  booktitle = {Proceedings of the Twenty-third International Conference on Theory and Applications of Satisfiability Testing (SAT'20)},
  publisher = springer,
  series = lncs,
  volume = {12178},
  year = {2020}
}

@proceedings{satbooklet09,
  title = {{SAT} 2009 competitive events booklet: preliminary version},
  editor = {D. {Le Berre} and O. Roussel and L. Simon and V. Manquinho and J. Argelich and C. Li and F. Many{\`a} and J. Planes},
  booktitle = {{SAT} 2009 competitive events booklet: preliminary version},
  note = {Available at \url{http://www.cril.univ-artois.fr/SAT09/solvers/booklet.pdf}},
  year = {2009}
}

@proceedings{satchallenge12,
  title = {Proceedings of {SAT} Challenge 2012: Solver and Benchmark Descriptions},
  editor = {A. Balint and A. Belov and D. Diepold and S. Gerber and M. J{\"a}rvisalo and C. Sinz},
  booktitle = {Proceedings of {SAT} Challenge 2012: Solver and Benchmark Descriptions},
  note = {Available at \url{https://helda.helsinki.fi/handle/10138/34218}},
  publisher = {University of Helsinki},
  series = {Department of Computer Science Series of Publications B},
  volume = {B-2012-2},
  year = {2012}
}

@book{SATHandbook,
  title = {Handbook of Satisfiability},
  editor = {A. Biere and M. Heule and H. {van Maaren} and T. Walsh},
  booktitle = {Handbook of Satisfiability},
  doi = {10.3233/FAIA336},
  publisher = {IOS Press},
  series = {Frontiers in Artificial Intelligence and Applications},
  volume = {185},
  year = {2009}
}

@proceedings{sbmf09,
  title = {Proceedings of the Twelfth Brazilian Symposium on Formal Methods (SBMF'09)},
  editor = {M. Oliveira and J. Woodcock},
  booktitle = {Proceedings of the Twelfth Brazilian Symposium on Formal Methods (SBMF'09)},
  publisher = springer,
  series = lncs,
  volume = {5902},
  year = {2009}
}

@proceedings{sc03,
  title = {Proceedings of the Sixteenth International Conference for High Performance Computing, Networking, Storage, and Analysis (SC'03)},
  booktitle = {Proceedings of the Sixteenth International Conference for High Performance Computing, Networking, Storage, and Analysis (SC'03)},
  publisher = ieee,
  year = {2003}
}

@proceedings{sea07,
  title = {Proceedings of the First Workshop on Software Engineering for Answer Set Programming (SEA'07)},
  editor = {M. {de Vos} and T. Schaub},
  booktitle = {Proceedings of the First Workshop on Software Engineering for Answer Set Programming (SEA'07)},
  publisher = {CEUR Workshop Proceedings},
  url = {http://ceur-ws.org/Vol-281},
  volume = {281},
  year = {2007}
}

@proceedings{sea09,
  title = {Proceedings of the Second Workshop on Software Engineering for Answer Set Programming (SEA'09)},
  editor = {M. {de Vos} and T. Schaub},
  booktitle = {Proceedings of the Second Workshop on Software Engineering for Answer Set Programming (SEA'09)},
  publisher = {CEUR Workshop Proceedings},
  url = {http://ceur-ws.org/Vol-546},
  volume = {546},
  year = {2009}
}

@proceedings{seaa17,
  title = {Proceedings of the Forty-Third Euromicro Conference on Software Engineering and Advanced Applications (SEAA'17)},
  editor = {M. Felderer and H. Olsson and A. Skavhaug},
  booktitle = {Proceedings of the Forty-Third Euromicro Conference on Software Engineering and Advanced Applications (SEAA'17)},
  publisher = ieee,
  year = {2017}
}

@proceedings{siekmann60,
  title = {Mechanizing Mathematical Reasoning, Essays in Honor of J{\"o}rg H. Siekmann on the Occasion of His 60th Birthday},
  editor = {D. Hutter and W. Stephan},
  booktitle = {Mechanizing Mathematical Reasoning},
  publisher = springer,
  series = lncs,
  volume = {2605},
  year = {2005}
}

@proceedings{sigmod05,
  title = {Proceedings of the ACM SIGMOD International Conference on Management of Data (SIGMOD'05)},
  editor = {F. {\"O}zcan},
  booktitle = {Proceedings of the ACM SIGMOD International Conference on Management of Data (SIGMOD'05)},
  publisher = acm,
  year = {2005}
}

@proceedings{slp91,
  title = {Proceedings of the International Symposium on Logic Programming},
  editor = {V. Saraswat and K. Ueda},
  booktitle = {Proceedings of the International Symposium on Logic Programming},
  publisher = {{MIT} Press},
  year = {1991}
}

@proceedings{slp95,
  title = {Proceedings of the International Symposium on Logic Programming},
  editor = {J. Lloyd},
  booktitle = {Proceedings of the International Symposium on Logic Programming},
  publisher = {{MIT} Press},
  year = {1995}
}

@proceedings{slp97,
  title = {Proceedings of the International Symposium on Logic Programming},
  editor = {J. Maluszynski},
  booktitle = {Proceedings of the International Symposium on Logic Programming},
  publisher = {{MIT} Press},
  year = {1997}
}

@proceedings{smc17,
  title = {Proceedings of the Fourteenth Sound and Music Computing Conference (SMC'17)},
  editor = {T. Lokki and J. P{\"a}tynen and V. V{\"a}lim{\"a}ki},
  booktitle = {Proceedings of the Fourteenth Sound and Music Computing Conference (SMC'17)},
  publisher = {Aalto University},
  year = {2017}
}

@proceedings{socs11,
  title = {Proceedings of the Fourth Annual Symposium on Combinatorial Search (SOCS'11)},
  editor = {D. Borrajo and M. Likhachev and C. L{\'o}pez},
  booktitle = {Proceedings of the Fourth Annual Symposium on Combinatorial Search (SOCS'11)},
  publisher = aaai,
  year = {2011}
}

@proceedings{socs12,
  title = {Proceedings of the Fourth Annual Symposium on Combinatorial Search (SOCS'12)},
  editor = {D. Borrajo and A. Felner and R. Korf and M. Likhachev and C. {Linares L{\'{o}}pez} and W. Ruml and N. Sturtevant},
  booktitle = {Proceedings of the Fourth Annual Symposium on Combinatorial Search (SOCS'12)},
  publisher = aaai,
  year = {2012}
}

@proceedings{socs17,
  title = {Proceedings of the Tenth International Symposium on Combinatorial Search (SOCS'17)},
  editor = {A. Fukunaga and A. Kishimoto},
  booktitle = {Proceedings of the Tenth International Symposium on Combinatorial Search (SOCS'17)},
  publisher = {{AAAI} Press},
  year = {2017}
}

@proceedings{socs18,
  title = {Proceedings of the Eleventh International Symposium on Combinatorial Search (SOCS'18)},
  editor = {V. Bulitko and S. Storandt},
  booktitle = {Proceedings of the Eleventh International Symposium on Combinatorial Search (SOCS'18)},
  publisher = {{AAAI} Press},
  year = {2018}
}

@proceedings{socs19,
  title = {Proceedings of the Twelfth International Symposium on Combinatorial Search (SOCS'19)},
  editor = {P. Surynek and W. Yeoh},
  booktitle = {Proceedings of the Twelfth International Symposium on Combinatorial Search (SOCS'19)},
  publisher = {{AAAI} Press},
  year = {2019}
}

@proceedings{socs21,
  title = {Proceedings of the Fourteenth International Symposium on Combinatorial Search (SOCS'21)},
  editor = {H. Ma and I. Serina},
  booktitle = {Proceedings of the Fourteenth International Symposium on Combinatorial Search (SOCS'21)},
  publisher = {{AAAI} Press},
  year = {2021}
}

@proceedings{socs23,
  title = {Proceedings of the Sixteenth International Symposium on Combinatorial Search (SOCS'23)},
  editor = {R. Bart{\'{a}}k and W. Ruml and O. Salzman},
  booktitle = {Proceedings of the Sixteenth International Symposium on Combinatorial Search (SOCS'23)},
  publisher = {{AAAI} Press},
  year = {2023}
}

@proceedings{socs24,
  title = {Proceedings of the Seventeenth International Symposium on Combinatorial Search (SOCS'24)},
  editor = {A. Felner and J. Li},
  booktitle = {Proceedings of the Seventeenth International Symposium on Combinatorial Search (SOCS'24)},
  publisher = {{AAAI} Press},
  year = {2024}
}

@proceedings{soda02,
  title = {Proceedings of the Thirteenth Annual ACM-SIAM Symposium on Discrete Algorithms (SODA'02)},
  booktitle = {Proceedings of the Thirteenth Annual ACM-SIAM Symposium on Discrete Algorithms (SODA'02)},
  publisher = {Society for Industrial and Applied Mathematics},
  year = {2002}
}

@proceedings{spin10,
  title = {Proceedings of the Seventeenth International {SPIN} Workshop (SPIN'10)},
  editor = {J. {van de Pol} and M. Weber},
  booktitle = {Proceedings of the Seventeenth International {SPIN} Workshop (SPIN'10)},
  publisher = springer,
  series = lncs,
  volume = {6349},
  year = {2010}
}

@proceedings{taasp20,
  title = {Proceedings of the Fourth Workshop on Trends and Applications of Answer Set Programming (TAASP'20)},
  editor = {M. Gebser and F. Laferri{\`{e}}re and Z. Saribatur},
  booktitle = {Proceedings of the Fourth Workshop on Trends and Applications of Answer Set Programming (TAASP'20)},
  optpublisher = {Technische Universit{\"a}t Wien},
  url = {http://www.kr.tuwien.ac.at/events/taasp20/accepted.html},
  year = {2020}
}

@proceedings{taasp22,
  title = {Proceedings of the Fifth Workshop on Trends and Applications of Answer Set Programming (TAASP'22)},
  editor = {A. Tarzariol and F. Laferri{\`{e}}re and Z. Saribatur},
  booktitle = {Proceedings of the Fifth Workshop on Trends and Applications of Answer Set Programming (TAASP'22)},
  optpublisher = {Technische Universit{\"a}t Wien},
  url = {http://www.kr.tuwien.ac.at/events/taasp22/accepted.html},
  year = {2022}
}

@book{TableauHandbook,
  title = {Handbook of Tableau Methods},
  editor = {M. {D'Agostino} and D. Gabbay and R. H{\"a}hnle and J. Posegga},
  booktitle = {Handbook of Tableau Methods},
  publisher = kluwer,
  year = {1999}
}

@proceedings{tableaux00,
  title = {Proceedings of the Ninth International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX'00)},
  editor = {R. Dyckhoff},
  booktitle = {Proceedings of the Ninth International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX'00)},
  publisher = springer,
  series = lncs,
  volume = {1847},
  year = {2000}
}

@proceedings{tableaux02,
  title = {Proceedings of the Eleventh International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX'02)},
  editor = {U. Egly and C. Ferm{\"u}ller},
  booktitle = {Proceedings of the Eleventh International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX'02)},
  publisher = springer,
  series = lncs,
  volume = {2381},
  year = {2002}
}

@proceedings{tableaux05,
  title = {Proceedings of the Fourteenth International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX'05)},
  editor = {B. Beckert},
  booktitle = {Proceedings of the Fourteenth International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX'05)},
  publisher = springer,
  series = lncs,
  volume = {3702},
  year = {2005}
}

@proceedings{tacas05,
  title = {Proceedings of the Eleventh International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'05)},
  editor = {N. Halbwachs and L. Zuck},
  booktitle = {Proceedings of the Eleventh International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'05)},
  publisher = springer,
  series = lncs,
  volume = {3440},
  year = {2005}
}

@proceedings{tacas08,
  title = {Proceedings of the Fourteenth International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'08)},
  editor = {C. Ramakrishnan and J. Rehof},
  booktitle = {Proceedings of the Fourteenth International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'08)},
  publisher = springer,
  series = lncs,
  volume = {4963},
  year = {2008}
}

@proceedings{tacas10,
  title = {Proceedings of the Sixteenth International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'10)},
  editor = {J. Esparza and R. Majumdar},
  booktitle = {Proceedings of the Sixteenth International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'10)},
  publisher = springer,
  series = lncs,
  volume = {6015},
  year = {2010}
}

@proceedings{tacas17,
  title = {Proceedings of the Twenty-third International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'17)},
  editor = {A. Legay and T. Margaria},
  booktitle = {Proceedings of the Twenty-third International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'17)},
  publisher = springer,
  series = lncs,
  volume = {10205},
  year = {2017}
}

@proceedings{tacas95,
  title = {Proceedings of the First International Workshop on Tools and Algorithms for Construction and Analysis of Systems (TACAS'95)},
  editor = {E. Brinksma and R. Cleaveland and K. Larsen and T. Margaria and B. Steffen},
  booktitle = {Proceedings of the First International Workshop on Tools and Algorithms for Construction and Analysis of Systems (TACAS'95)},
  publisher = springer,
  series = lncs,
  volume = {1019},
  year = {1995}
}

@proceedings{tacas98,
  title = {Proceedings of the Fourth International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS'98)},
  editor = {B. Steffen},
  booktitle = {Proceedings of the Fourth International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS'98)},
  publisher = springer,
  series = lncs,
  volume = {1384},
  year = {1998}
}

@proceedings{tacas99,
  title = {Proceedings of the Fifth International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS'99)},
  editor = {R. Cleaveland},
  booktitle = {Proceedings of the Fifth International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS'99)},
  doi = {10.1007/3-540-49059-0},
  publisher = springer,
  series = lncs,
  volume = {1579},
  year = {1999}
}

@proceedings{tamc19,
  title = {Proceedings of the Fifteenth Annual Conference on Theory and Applications of Models of Computation (TAMC'19)},
  editor = {T. Gopal and J. Watada},
  booktitle = {Proceedings of the Fifteenth Annual Conference on Theory and Applications of Models of Computation (TAMC'19)},
  publisher = springer,
  series = lncs,
  volume = {11436},
  year = {2019}
}

@proceedings{time08,
  title = {Proceedings of the fifteenth International Symposium on Temporal Representation and Reasoning (TIME'08)},
  editor = {S. Demri and C. Jensen},
  booktitle = {Proceedings of the fifteenth International Symposium on Temporal Representation and Reasoning (TIME'08)},
  publisher = ieee,
  year = {2008}
}

@book{TIMEHandbook,
  title = {Handbook of Temporal Reasoning in Artificial Intelligence},
  editor = {M. Fisher and D. Gabbay and L. Vila},
  booktitle = {Handbook of Temporal Reasoning in Artificial Intelligence},
  publisher = elsevier,
  series = {Foundations of Artificial Intelligence},
  volume = {1},
  year = {2005}
}

@proceedings{vl65,
  title = {Correct Reasoning: Essays on Logic-Based {AI} in Honour of {V}ladimir {L}ifschitz},
  editor = {E. Erdem and J. Lee and Y. Lierler and D. Pearce},
  booktitle = {Correct Reasoning: Essays on Logic-Based {AI} in Honour of {V}ladimir {L}ifschitz},
  publisher = springer,
  series = lncs,
  volume = {7265},
  year = {2012}
}

@proceedings{vldb02,
  title = {Proceedings of Twenty-eighth International Conference on Very Large Data Bases (VLDB'02)},
  booktitle = {Proceedings of Twenty-eighth International Conference on Very Large Data Bases (VLDB'02)},
  publisher = m-k,
  year = {2002}
}

@proceedings{vldb03,
  title = {Proceedings of Twenty-ninth International Conference on Very Large Data Bases (VLDB'03)},
  editor = {J. Freytag and P. Lockemann and S. Abiteboul and M. Carey and P. Selinger and A. Heuer},
  booktitle = {Proceedings of Twenty-ninth International Conference on Very Large Data Bases (VLDB'03)},
  publisher = m-k,
  year = {2003}
}

@proceedings{vldb06,
  title = {Proceedings of the Thirty-second International Conference on Very Large Data Bases},
  editor = {U. Dayal and K. Whang and D. Lomet and G. Alonso and G. Lohman and M. Kersten and S. Cha and Y. Kim},
  booktitle = {Proceedings of the Thirty-second International Conference on Very Large Data Bases},
  publisher = acm,
  year = {2006}
}

@proceedings{vldb90,
  title = {Proceedings of the Sixteenth International Conference on Very Large Data Bases (VLDB'90)},
  editor = {D. McLeod and R. Sacks{-}Davis and H. Schek},
  booktitle = {Proceedings of the Sixteenth International Conference on Very Large Data Bases (VLDB'90)},
  publisher = m-k,
  year = {1990}
}

@proceedings{vldb91,
  title = {Proceedings of the Seventeenth International Conference on Very Large Data Bases (VLDB'91)},
  editor = {G. Lohman and A. Sernadas and R. Camps},
  booktitle = {Proceedings of the Seventeenth International Conference on Very Large Data Bases (VLDB'91)},
  publisher = m-k,
  year = {1991}
}

@proceedings{wabi08,
  title = {Proceedings of the Eighth International Workshop on Algorithms in Bioinformatics (WABI'08)},
  editor = {K. Crandall and J. Lagergren},
  booktitle = {Proceedings of the Eighth International Workshop on Algorithms in Bioinformatics (WABI'08)},
  publisher = springer,
  series = lncs,
  volume = {5251},
  year = {2008}
}

@proceedings{wcb08,
  title = {Proceedings of the Workshop on Constraint Based Methods for Bioinformatics (WCB'08)},
  booktitle = {Proceedings of the Workshop on Constraint Based Methods for Bioinformatics (WCB'08)},
  year = {2008}
}

@proceedings{wcb16,
  title = {Proceedings of the Workshop on Constraint Based Methods for Bioinformatics (WCB'16)},
  editor = {A. Dovier and A. {Dal Pal{\`u}} and S. {de Givry}},
  booktitle = {Proceedings of the Workshop on Constraint Based Methods for Bioinformatics (WCB'16)},
  year = {2008}
}

@proceedings{wi06,
  title = {Proceedings of the International Conference on Web Intelligence (WI'06)},
  booktitle = {Proceedings of the International Conference on Web Intelligence (WI'06)},
  publisher = ieee,
  year = {2006}
}

@proceedings{wlp06,
  title = {Proceedings of the Twentieth Workshop on Logic Programming (WLP'06)},
  editor = {M. Fink and H. Tompits and S. Woltran},
  booktitle = {Proceedings of the Twentieth Workshop on Logic Programming (WLP'06)},
  number = {INFSYS RR-1843-06-02},
  organization = {Technische Universit{\"a}t Wien},
  series = {Technical Report Series},
  year = {2006}
}

@proceedings{wlpe01,
  title = {Proceedings of the Eleventh Workshop on Logic Programming Environments (WLPE'01)},
  editor = {A. Kusalik},
  booktitle = {Proceedings of the Eleventh Workshop on Logic Programming Environments (WLPE'01)},
  year = {2001}
}

@proceedings{wwst05,
  title = {We Will Show Them! Essays in Honour of Dov Gabbay},
  editor = {S. Art{\"e}mov and H. Barringer and A. d'Avila Garcez and L. Lamb and J. Woods},
  booktitle = {We Will Show Them! Essays in Honour of Dov Gabbay},
  publisher = {College Publications},
  volume = {1},
  year = {2005}
}

@proceedings{www09,
  title = {Proceedings of the Eighteenth International Conference on World Wide Web (WWW'09)},
  editor = {J. Quemada and G. Le{\'o}n and Y. Maarek and W. Nejdl},
  booktitle = {Proceedings of the Eighteenth International Conference on World Wide Web (WWW'09)},
  publisher = acm,
  year = {2009}
}

@proceedings{zue12,
  title = {Sechste GMM/GI/ITG-Fachtagung f{\"u}r Zuverl{\"a}ssigkeit und Entwurf (ZuE'12)},
  editor = {R. Drechsler and G. Fey},
  booktitle = {Sechste GMM/GI/ITG-Fachtagung f{\"u}r Zuverl{\"a}ssigkeit und Entwurf (ZuE'12)},
  year = {2012}
}