Merge pull request #244 from krr-up/jorge/correct-names

correcting some names

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},
@@ -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}
 }
@@ -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},
@@ -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},
@@ -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},
@@ -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},

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}
@@ -1371,71 +1371,71 @@ @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}
 }
 
 @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}
 }
 
 @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}
 }
 
 @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}
 }
 
 @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}
 }
 
 @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}
 }
 
 @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}
 }
 
 @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}
 }
 
 @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}
 }
 
@@ -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}
@@ -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}