From 01fcac34058aaea15a8b6c9b6301a0ad4f3c5ba9 Mon Sep 17 00:00:00 2001 From: Torsten Schaub Date: Thu, 26 Dec 2024 09:40:59 +0100 Subject: [PATCH 01/11] pimp LNS entries --- krr.bib | 9 +++++---- procs.bib | 9 +++++---- 2 files changed, 10 insertions(+), 8 deletions(-) diff --git a/krr.bib b/krr.bib index 2271efc..3a16d7c 100644 --- a/krr.bib +++ b/krr.bib @@ -23873,16 +23873,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, diff --git a/procs.bib b/procs.bib index ca6bd7c..61ae98d 100644 --- a/procs.bib +++ b/procs.bib @@ -2873,9 +2873,9 @@ @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}, + 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'23)}, - optdoi = {10.24963/KR.2024}, + doi = {10.24963/KR.2024}, year = {2023} } @@ -3259,11 +3259,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} } From 43efbab644993705f6800f8d0cb0f2b173abc2c2 Mon Sep 17 00:00:00 2001 From: Torsten Schaub Date: Thu, 26 Dec 2024 09:47:14 +0100 Subject: [PATCH 02/11] arrghhh --- procs.bib | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/procs.bib b/procs.bib index 61ae98d..97e07a8 100644 --- a/procs.bib +++ b/procs.bib @@ -2872,9 +2872,9 @@ @proceedings{kr23 } @proceedings{kr24, - title = {Proceedings of the Twenty-first International Conference on Principles of Knowledge Representation and Reasoning (KR'23)}, + 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'23)}, + booktitle = {Proceedings of the Twenty-first International Conference on Principles of Knowledge Representation and Reasoning (KR'24)}, doi = {10.24963/KR.2024}, year = {2023} } From 5bfd273dba86eda7442ce11c12b0b603f59f00aa Mon Sep 17 00:00:00 2001 From: Torsten Schaub Date: Thu, 26 Dec 2024 13:32:20 +0100 Subject: [PATCH 03/11] fix typo --- krr.bib | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/krr.bib b/krr.bib index 3a16d7c..797dcf6 100644 --- a/krr.bib +++ b/krr.bib @@ -1411,7 +1411,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} } From 2af53f5a952ad08f271028ea2c05d33ada6b3e35 Mon Sep 17 00:00:00 2001 From: Torsten Schaub Date: Thu, 26 Dec 2024 16:19:34 +0100 Subject: [PATCH 04/11] fix typo --- krr.bib | 30 +++++++++++++++--------------- 1 file changed, 15 insertions(+), 15 deletions(-) diff --git a/krr.bib b/krr.bib index 797dcf6..a90c98f 100644 --- a/krr.bib +++ b/krr.bib @@ -8896,6 +8896,21 @@ @inproceedings{eifitowo07a pages = {330-335} } +@inproceedings{eigehimuoest22a, + title = {Large-Neighbourhood Search for Optimisation in Answer-Set Solving}, + author = {T. Eiter and T. Geibinger and N. {Higuera Ruiz} and N. Musliu and J. Oetsch and D. Stepanova}, + crossref = {aaai22}, + doi = {10.1609/AAAI.V36I5.20502}, + pages = {5616-5625} +} + +@inproceedings{eigehimuoest22b, + title = {{ALASPO:} An Adaptive Large-Neighbourhood {ASP} Optimiser}, + author = {T. Eiter and T. Geibinger and N. {Higuera Ruiz} and N. Musliu and J. Oetsch and D. Stepanova}, + crossref = {kr22}, + url = {https://proceedings.kr.org/2022/58/} +} + @article{eigeiakarescwe18a, title = {The {DLVHEX} System}, author = {T. Eiter and S. Germano and G. Ianni and T. Kaminski and C. Redl and P. Sch{\"u}ller and A. Weinzierl}, @@ -8915,21 +8930,6 @@ @inproceedings{eigemuoeskst21a pages = {280-290} } -@inproceedings{eigerimuoest22a, - title = {Large-Neighbourhood Search for Optimisation in Answer-Set Solving}, - author = {T. Eiter and T. Geibinger and N. {Higuera Ruiz} and N. Musliu and J. Oetsch and D. Stepanova}, - crossref = {aaai22}, - doi = {10.1609/AAAI.V36I5.20502}, - pages = {5616-5625} -} - -@inproceedings{eigerimuoest22b, - title = {{ALASPO:} An Adaptive Large-Neighbourhood {ASP} Optimiser}, - author = {T. Eiter and T. Geibinger and N. {Higuera Ruiz} and N. Musliu and J. Oetsch and D. Stepanova}, - crossref = {kr22}, - url = {https://proceedings.kr.org/2022/58/} -} - @inproceedings{eigoma94a, title = {Expressive Power and Complexity of Disjunctive {D}atalog under the Stable Model Semantics}, author = {T. Eiter and G. Gottlob and H. Mannila}, From b1bc0560b5b66adc2d04d2a0a42ee46f31ebc60c Mon Sep 17 00:00:00 2001 From: Torsten Schaub Date: Thu, 26 Dec 2024 16:22:36 +0100 Subject: [PATCH 05/11] add procs --- procs.bib | 28 ++++++++++++++++++++++++++++ 1 file changed, 28 insertions(+) diff --git a/procs.bib b/procs.bib index 97e07a8..ef2d447 100644 --- a/procs.bib +++ b/procs.bib @@ -1063,6 +1063,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}, @@ -1073,6 +1083,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}, @@ -1789,6 +1809,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}, From e7b56dd6f5b515724b46a197130ca644274d8d3d Mon Sep 17 00:00:00 2001 From: Torsten Schaub Date: Thu, 26 Dec 2024 16:57:39 +0100 Subject: [PATCH 06/11] no lics abbrev --- krr.bib | 2 -- 1 file changed, 2 deletions(-) diff --git a/krr.bib b/krr.bib index a90c98f..9198402 100644 --- a/krr.bib +++ b/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}} From 335016f2e7a261d814c460a96573eb34d193275e Mon Sep 17 00:00:00 2001 From: Torsten Schaub Date: Thu, 26 Dec 2024 16:57:47 +0100 Subject: [PATCH 07/11] add url --- krr.bib | 1 + 1 file changed, 1 insertion(+) diff --git a/krr.bib b/krr.bib index 9198402..3fe6e74 100644 --- a/krr.bib +++ b/krr.bib @@ -3909,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} } From 774af15f9e16ba94aaa1c14919e99d0442acb404 Mon Sep 17 00:00:00 2001 From: Torsten Schaub Date: Thu, 26 Dec 2024 16:58:16 +0100 Subject: [PATCH 08/11] add icaps24 --- procs.bib | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/procs.bib b/procs.bib index ef2d447..261efd9 100644 --- a/procs.bib +++ b/procs.bib @@ -1937,6 +1937,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}, From 25b595aa12f2c4d6603e4df2a680ea7106da8ad0 Mon Sep 17 00:00:00 2001 From: Torsten Schaub Date: Fri, 27 Dec 2024 17:16:35 +0100 Subject: [PATCH 09/11] fix eds --- procs.bib | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/procs.bib b/procs.bib index 261efd9..3c2a9db 100644 --- a/procs.bib +++ b/procs.bib @@ -140,7 +140,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}, From b82e9b049c171fc78ce0690f3d3a69610140a7ff Mon Sep 17 00:00:00 2001 From: Torsten Schaub Date: Fri, 27 Dec 2024 17:16:45 +0100 Subject: [PATCH 10/11] add ed --- procs.bib | 1 + 1 file changed, 1 insertion(+) diff --git a/procs.bib b/procs.bib index 3c2a9db..9705ead 100644 --- a/procs.bib +++ b/procs.bib @@ -149,6 +149,7 @@ @proceedings{aaai22 @proceedings{aaai23, title = {Proceedings of the Thirty-seventh National Conference on Artificial Intelligence (AAAI'23)}, + editor = {B. Williams and Y. Chen and J. Neville}, booktitle = {Proceedings of the Thirty-seventh National Conference on Artificial Intelligence (AAAI'23)}, publisher = {{AAAI} Press}, year = {2023} From dd44b5616a0e6e839a62ada19993b7a6eca0c1e0 Mon Sep 17 00:00:00 2001 From: Torsten Schaub Date: Fri, 27 Dec 2024 17:17:06 +0100 Subject: [PATCH 11/11] add procs --- procs.bib | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) diff --git a/procs.bib b/procs.bib index 9705ead..d8543f0 100644 --- a/procs.bib +++ b/procs.bib @@ -155,6 +155,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}, @@ -2454,6 +2462,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},