From 6bda6aa49c5aade5c1fc198cfce63c15ed5be73d Mon Sep 17 00:00:00 2001 From: Jorge Fandinno Date: Tue, 21 Jan 2025 18:01:56 -0600 Subject: [PATCH 1/3] correcting some names --- krr.bib | 6 +++--- procs.bib | 30 +++++++++++++++--------------- 2 files changed, 18 insertions(+), 18 deletions(-) diff --git a/krr.bib b/krr.bib index 31ca2e8..4be44aa 100644 --- a/krr.bib +++ b/krr.bib @@ -13064,7 +13064,7 @@ @article{gspirest13a @inproceedings{gucahe90b, title = {Contributions to a Proof Theory for Generic Defaults}, - author = {R. de Guerreiro and M. Casanova and A. Hermerly}, + author = {R. de {T. Guerreiro} and M. Casanova and A. Hermerly}, booktitle = ecai, pages = {213-218}, year = {1990} @@ -13079,7 +13079,7 @@ @inproceedings{guecan95a @inproceedings{guecas90a, title = {An Alternative Semantics for Default Logic}, - author = {R. de Guerreiro and M. Casanova}, + author = {R. de {T. Guerreiro} and M. Casanova}, crossref = {nmr90}, pages = {141-157} } @@ -25521,7 +25521,7 @@ @inproceedings{wagrkako20a @inproceedings{wahuwagr22a, title = {{MeTeoR}: Practical Reasoning in Datalog with Metric Temporal Operators}, - author = {D. Wang and P. Hu and P. Wa{\l}ega and B. Grau}, + author = {D. Wang and P. Hu and P. Wa{\l}ega and B. {Cuenca Grau}}, crossref = {aaai22}, doi = {10.1609/AAAI.V36I5.20535}, pages = {5906-5913}, diff --git a/procs.bib b/procs.bib index 470023a..018cee9 100644 --- a/procs.bib +++ b/procs.bib @@ -158,7 +158,7 @@ @proceedings{aaai23 @proceedings{aaai24, title = {Proceedings of the Thirty-eighth National Conference on Artificial Intelligence (AAAI'24)}, - editor = {J. Dy and S. Natarajan and M. Wooldridge}, + editor = {M. Wooldridge and J. Dy and S. Natarajan}, booktitle = {Proceedings of the Thirty-eighth National Conference on Artificial Intelligence (AAAI'24)}, publisher = {{AAAI} Press}, year = {2024} @@ -1449,7 +1449,7 @@ @proceedings{ecai20 @proceedings{ecai24, title = {Proceedings of the Twenty-seventh European Conference on Artificial Intelligence (ECAI'24)}, - editor = {U. Endriss and F. Melo and K. Bach and A. Diz and J. Moral and S. Barro and F. Heintz}, + editor = {U. Endriss and F. Melo and K. Bach and A. Diz and J. Alonso-Moral and S. Barro and F. Heintz}, booktitle = {Proceedings of the Twenty-seventh European Conference on Artificial Intelligence (ECAI'24)}, publisher = ios, year = {2024} @@ -1654,7 +1654,7 @@ @proceedings{foiks08 @proceedings{foiks20, title = {Proceedings of the Eleventh International Symposium on Foundations of Information and Knowledge Systems (FoIKS'20)}, - editor = {S. Hartmann and G. Kern-Isberner}, + editor = {A. Herzig and J. Kontinen}, booktitle = {Proceedings of the Fifth International Symposium on Foundations of Information and Knowledge Systems (FoIKS'20)}, publisher = springer, series = lncs, @@ -1721,7 +1721,7 @@ @proceedings{gd04 @proceedings{gecco02, title = {Proceedings of the Fourth Annual Conference on Genetic and Evolutionary Computation (GECCO'02)}, - editor = {M. Kaufmann}, + editor = {W. Langdon and E. Cant{\'u}-Paz and K. Mathias and R. Roy and D. Davis and R. Poli and K. Balakrishnan and V. Honavar and G. Rudolph and J. Wegener and L. Bull and M. Potter and A. Schultz and J. Miller and E. Burke and N. Jonoska}, booktitle = {Proceedings of the Fourth Annual Conference on Genetic and Evolutionary Computation (GECCO'02)}, publisher = acm, year = {2002} @@ -2039,7 +2039,7 @@ @proceedings{iclp-lipics12 @proceedings{iclp-lipics16, title = {Technical Communications of the Thirty-second International Conference on Logic Programming (ICLP'16)}, - editor = {M. Carro and A. King}, + editor = {M. Carro and A. King and N. Saeedloei and M. {D}e Vos}, 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)}, @@ -2067,7 +2067,7 @@ @proceedings{iclp-tc14 @proceedings{iclp-tc16, title = {Technical Communications of the Thirty-second International Conference on Logic Programming (ICLP'16)}, - editor = {M. Leuschel and T. Schrijvers}, + editor = {M. Carro and A. King and N. Saeedloei and M. {D}e Vos}, booktitle = {Technical Communications of the Thirty-second International Conference on Logic Programming (ICLP'16)}, publisher = cup, series = {Theory and Practice of Logic Programming, Online Supplement}, @@ -2580,7 +2580,7 @@ @proceedings{ilp01 @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}, + 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)}, number = {INFSYS RR-1843-11-06}, series = {Institute for Information Systems, Technische Universit{\"a}t Wien, Technical Report Series}, @@ -2854,7 +2854,7 @@ @proceedings{kr00 @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}, + editor = {D. Fensel and F. Giunchiglia and D. McGuinness and M. Williams}, booktitle = {Proceedings of the Eighth International Conference on Principles of Knowledge Representation and Reasoning (KR'02)}, publisher = m-k, year = {2002} @@ -2886,7 +2886,7 @@ @proceedings{kr08 @proceedings{kr10, title = {Proceedings of the Twelfth International Conference on Principles of Knowledge Representation and Reasoning (KR'10)}, - editor = {F. Lin and U. Sattler}, + editor = {F. Lin and U. Sattler and M. Truszczynski}, booktitle = {Proceedings of the Twelfth International Conference on Principles of Knowledge Representation and Reasoning (KR'10)}, publisher = {{AAAI} Press}, year = {2010} @@ -2990,7 +2990,7 @@ @proceedings{kr92 @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}, + editor = {J. Doyle and E. Sandewall and P. Torasso}, booktitle = {Proceedings of the Fourth International Conference on Principles of Knowledge Representation and Reasoning (KR'94)}, publisher = m-k, year = {1994} @@ -3117,7 +3117,7 @@ @proceedings{lion12 @proceedings{lion13, title = {Proceedings of the Seventh International Conference on Learning and Intelligent Optimization (LION'13)}, - editor = {P. Pardalos and G. Nicosia}, + editor = {G. Nicosia and P. Pardalos}, booktitle = {Proceedings of the Seventh International Conference on Learning and Intelligent Optimization (LION'13)}, publisher = springer, series = lncs, @@ -3127,7 +3127,7 @@ @proceedings{lion13 @proceedings{lion14, title = {Proceedings of the Eighth International Conference on Learning and Intelligent Optimization (LION'14)}, - editor = {P. Pardalos and M. Resende}, + editor = {P. Pardalos and M. Resende and C. Vogiatzis and J. Walteros}, booktitle = {Proceedings of the Eighth International Conference on Learning and Intelligent Optimization (LION'14)}, publisher = springer, series = lncs, @@ -3345,7 +3345,7 @@ @proceedings{lpnmr22 @proceedings{lpnmr24, title = {Proceedings of the Seventeenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'24)}, - editor = {C. Dodaro and G. Gupta and V. Martinez}, + editor = {C. Dodaro and G. Gupta and M. Martinez}, booktitle = {Proceedings of the Seventeenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'24)}, doi = {10.1007/978-3-031-74209-5}, publisher = springer, @@ -3441,7 +3441,7 @@ @proceedings{mg65 @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}, + editor = {P. L{\'o}pez-Garc{\'\i}a 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}, @@ -3712,7 +3712,7 @@ @proceedings{podc96 @proceedings{pods02, title = {Proceedings of the Twenty-first ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS'02)}, - editor = {L. Popa}, + editor = {L. Popa and S. Abiteboul and P. Kolaitis}, booktitle = {Proceedings of the Twenty-first ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS'02)}, publisher = acm, year = {2002} From 092349ae4b59b0adc35e5a18bda927cfcd2446bf Mon Sep 17 00:00:00 2001 From: Jorge Fandinno Date: Tue, 21 Jan 2025 18:08:56 -0600 Subject: [PATCH 2/3] some strings --- krr.bib | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/krr.bib b/krr.bib index 4be44aa..561298c 100644 --- a/krr.bib +++ b/krr.bib @@ -15517,7 +15517,7 @@ @inproceedings{kemstu91a @article{kercod94a, title = {Parallel Logic Programming Systems.}, author = {J. {Chassin de Kergommeaux} and P. Codognet}, - journal = {ACM Computing Surveys}, + journal = acmcs, number = {3}, pages = {295-336}, volume = {26}, @@ -18829,7 +18829,7 @@ @inproceedings{miktru95a @article{miles08a, title = {Cross-disciplinary perspectives on meta-learning for algorithm selection}, author = {K. Smith-Miles}, - journal = {ACM Computing Surveys}, + journal = acmcs, number = {1}, pages = {6:1-6:25}, volume = {41}, From cf31814b6fa8a7d3fb1e056fe34e301fe79a688c Mon Sep 17 00:00:00 2001 From: Jorge Fandinno Date: Tue, 21 Jan 2025 18:50:11 -0600 Subject: [PATCH 3/3] more strings --- krr.bib | 4 ++-- procs.bib | 24 ++++++++++++------------ 2 files changed, 14 insertions(+), 14 deletions(-) diff --git a/krr.bib b/krr.bib index 561298c..966b0ec 100644 --- a/krr.bib +++ b/krr.bib @@ -8870,7 +8870,7 @@ @article{eifalepf03a @article{eifalepf99a, title = {The Diagnosis Frontend of the dlv System}, author = {T. Eiter and W. Faber and N. Leone and G. Pfeifer}, - journal = {AI Communications}, + journal = aicom, number = {1-2}, pages = {99-111}, url = {citeseer.nj.nec.com/article/eiter99diagnosis.html}, @@ -18333,7 +18333,7 @@ @inproceedings{marsak96a @article{marsak99a, title = {{GRASP}: A Search Algorithm for Propositional Satisfiability}, author = {J. Marques-Silva and K. Sakallah}, - journal = {IEEE Transactions on Computers}, + journal = ieeetc, number = {5}, pages = {506-521}, volume = {48}, diff --git a/procs.bib b/procs.bib index 018cee9..8c3e29d 100644 --- a/procs.bib +++ b/procs.bib @@ -1371,7 +1371,7 @@ @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}, + publisher = ios, year = {2000} } @@ -1379,7 +1379,7 @@ @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}, + publisher = ios, year = {2002} } @@ -1387,7 +1387,7 @@ @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}, + publisher = ios, year = {2004} } @@ -1395,7 +1395,7 @@ @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}, + publisher = ios, year = {2006} } @@ -1403,7 +1403,7 @@ @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}, + publisher = ios, year = {2008} } @@ -1411,7 +1411,7 @@ @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}, + publisher = ios, year = {2010} } @@ -1419,7 +1419,7 @@ @proceedings{ecai12 title = {Proceedings of the Twentieth European Conference on Artificial Intelligence (ECAI'12)}, editor = {L. {D}e 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}, + publisher = ios, year = {2012} } @@ -1427,7 +1427,7 @@ @proceedings{ecai14 title = {Proceedings of the Twenty-first European Conference on Artificial Intelligence (ECAI'14)}, editor = {T. Schaub and G. Friedrich and B. {O}'\relax Sullivan}, booktitle = {Proceedings of the Twenty-first European Conference on Artificial Intelligence (ECAI'14)}, - publisher = {IOS Press}, + publisher = ios, year = {2014} } @@ -1435,7 +1435,7 @@ @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}, + publisher = ios, year = {2016} } @@ -3738,7 +3738,7 @@ @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}, + publisher = acm, year = {1992} } @@ -4148,7 +4148,7 @@ @book{SATHandbook editor = {A. Biere and M. Heule and H. van Maaren and T. Walsh}, booktitle = {Handbook of Satisfiability}, doi = {10.3233/FAIA336}, - publisher = {IOS Press}, + publisher = ios, series = {Frontiers in Artificial Intelligence and Applications}, volume = {185}, year = {2009} @@ -4158,7 +4158,7 @@ @book{SATHandbook21 title = {Handbook of Satisfiability - Second Edition}, editor = {A. Biere and M. Heule and H. van Maaren and T. Walsh}, booktitle = {Handbook of Satisfiability - Second Edition}, - publisher = {IOS Press}, + publisher = ios, series = {Frontiers in Artificial Intelligence and Applications}, volume = {336}, year = {2021}