pimp LNS entries

krr.bib

@@ -142,8 +142,6 @@ @string{kgc
 
 @string{kluwer = {Kluwer Academic Publishers}}
 
-@string{lics = {Proceedings of the Logic in Computer Science Conference}}
-
 @string{lnai = {Lecture Notes in Artificial Intelligence}}
 
 @string{lnbi = {Lecture Notes in Bioinformatics}}
@@ -1411,7 +1409,7 @@ @article{aslizhzh12a
 
 @inproceedings{aslohaba21a,
   title = {A New Boolean Encoding for {MAPF} and its Performance with {ASP} and MaxSAT Solvers},
-  author = {R. Ach{\'a} and R. L{\'o}pez and S. Hagedorn and J. Baier},
+  author = {R. {As{\'i}n Ach{\'a}} and R. L{\'o}pez and S. Hagedorn and J. Baier},
   crossref = {socs21},
   pages = {11-19}
 }
@@ -3911,6 +3909,7 @@ @article{bocegasc12a
   journal = {Annals of Operations Research},
   number = {1},
   pages = {59-70},
+  url = {http://dx.doi.org/10.1007/s10479-010-0707-0},
   volume = {194},
   year = {2012}
 }
@@ -23895,16 +23894,17 @@ @inproceedings{suinnascsotaba24b
   title = {Large Neighborhood Prioritized Search for Combinatorial Optimization with Answer Set Programming},
   author = {I. Sugimori and K. Inoue and H. Nabeshima and T. Schaub and T. Soh and N. Tamura and M. Banbara},
   crossref = {kr24},
-  note = {To appear; available as \cite{suinnascsotaba24a}}
+  doi = {10.24963/KR.2024/72},
+  note = {Available as \cite{suinnascsotaba24a}},
+  url = {https://doi.org/10.24963/kr.2024/72}
 }
 
 @inproceedings{suinnascsotaba24c,
   title = {ASP-based Large Neighborhood Prioritized Search for Course Timetabling},
   author = {I. Sugimori and K. Inoue and H. Nabeshima and T. Schaub and T. Soh and N. Tamura and M. Banbara},
   crossref = {lpnmr24},
-  note = {To appear},
-  optdoi = {},
-  optpages = {}
+  doi = {10.1007/978-3-031-74209-5\_5},
+  pages = {57-70}
 }
 
 @inproceedings{sulizhkiko21a,

procs.bib

@@ -141,7 +141,7 @@ @proceedings{aaai21
 
 @proceedings{aaai22,
   title = {Proceedings of the Thirty-sixth National Conference on Artificial Intelligence (AAAI'22)},
-  editor = {J. Dy and S. Natarajan and M. Wooldridge},
+  editor = {K. Sycara and V. Honavar and M. Spaan},
   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},
@@ -156,6 +156,14 @@ @proceedings{aaai23
   year = {2023}
 }
 
+@proceedings{aaai24,
+  title = {Proceedings of the Thirty-eighth National Conference on Artificial Intelligence (AAAI'24)},
+  editor = {J. Dy and S. Natarajan and M. Wooldridge},
+  booktitle = {Proceedings of the Thirty-eighth National Conference on Artificial Intelligence (AAAI'24)},
+  publisher = {{AAAI} Press},
+  year = {2024}
+}
+
 @proceedings{aaai87,
   title = {Proceedings of the Sixth National Conference on Artificial Intelligence (AAAI'87)},
   editor = {K. Forbus and H. Shrobe},
@@ -1066,6 +1074,16 @@ @proceedings{cp15
   year = {2015}
 }
 
+@proceedings{cp18,
+  title = {Proceedings of the Twenty-forth International Conference on Principles and Practice of Constraint Programming (CP'18)},
+  editor = {J. Hooker},
+  booktitle = {Proceedings of the Twenty-forth International Conference on Principles and Practice of Constraint Programming (CP'18)},
+  publisher = springer,
+  series = lncs,
+  volume = {11008},
+  year = {2018}
+}
+
 @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},
@@ -1076,6 +1094,16 @@ @proceedings{cp19
   year = {2019}
 }
 
+@proceedings{cp20,
+  title = {Proceedings of the Twenty-sixth International Conference on Principles and Practice of Constraint Programming (CP'20)},
+  editor = {H. Simonis},
+  booktitle = {Proceedings of the Twenty-sixth International Conference on Principles and Practice of Constraint Programming (CP'20)},
+  publisher = springer,
+  series = lncs,
+  volume = {12333},
+  year = {2020}
+}
+
 @proceedings{cp21,
   title = {Proceedings of the Twenty-seventh International Conference on Principles and Practice of Constraint Programming (CP'21)},
   editor = {L. Michel},
@@ -1794,6 +1822,14 @@ @proceedings{icaps04
   year = {2004}
 }
 
+@proceedings{icaps05,
+  title = {Proceedings of the Fifteenth International Conference on Automated Planning and Scheduling (ICAPS'05)},
+  editor = {S. Biundo and K. Myers and K. Rajan},
+  booktitle = {Proceedings of the Fifteenth International Conference on Automated Planning and Scheduling (ICAPS'05)},
+  publisher = {{AAAI} Press},
+  year = {2005}
+}
+
 @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},
@@ -1914,6 +1950,14 @@ @proceedings{icaps22
   year = {2022}
 }
 
+@proceedings{icaps24,
+  title = {Proceedings of the Thirty-fourth International Conference on Automated Planning and Scheduling (ICAPS'24)},
+  editor = {S. Bernardini and C. Muise},
+  booltitle = {Proceedings of the Thirty-fourth International Conference on Automated Planning and Scheduling (ICAPS'24)},
+  publisher = {{AAAI} Press},
+  year = {2024}
+}
+
 @proceedings{iccad02,
   title = {Proceedings of the International Conference on Computer-Aided Design (ICCAD'02)},
   editor = {L. Pileggi and A. Kuehlmann},
@@ -2423,6 +2467,14 @@ @proceedings{ijcai21
   year = {2021}
 }
 
+@proceedings{ijcai22,
+  title = {Proceedings of the Thirty-first International Joint Conference on Artificial Intelligence (IJCAI'22)},
+  editor = {L. {D}e Raedt},
+  booktitle = {Proceedings of the Thirty-first International Joint Conference on Artificial Intelligence (IJCAI'22)},
+  publisher = {ijcai.org},
+  year = {2022}
+}
+
 @proceedings{ijcai69,
   title = {Proceedings of the First International Joint Conference on Artificial Intelligence (IJCAI'69)},
   editor = {D. Walker and L. Norton},
@@ -2878,10 +2930,10 @@ @proceedings{kr23
 }
 
 @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},
+  title = {Proceedings of the Twenty-first International Conference on Principles of Knowledge Representation and Reasoning (KR'24},
+  editor = {P. Marquis and M. Ortiz and M. Pagnucco},
+  booktitle = {Proceedings of the Twenty-first International Conference on Principles of Knowledge Representation and Reasoning (KR'24)},
+  doi = {10.24963/KR.2024},
   year = {2023}
 }
 
@@ -3266,11 +3318,12 @@ @proceedings{lpnmr22
 
 @proceedings{lpnmr24,
   title = {Proceedings of the Seventeenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'24)},
-  editor = {C. Dodaro and V. Martinez},
+  editor = {C. Dodaro and G. Gupta and V. Martinez},
   booktitle = {Proceedings of the Seventeenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'24)},
-  optvolume = {},
+  doi = {10.1007/978-3-031-74209-5},
   publisher = springer,
   series = lnai,
+  volume = {15245},
   year = {2024}
 }