Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

correcting some names #244

Merged
merged 3 commits into from
Jan 22, 2025
Merged

correcting some names #244

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
6bda6aa
correcting some names
jorgefandinno Jan 22, 2025
092349a
some strings
jorgefandinno Jan 22, 2025
cf31814
more strings
jorgefandinno Jan 22, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
14 changes: 7 additions & 7 deletions krr.bib
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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},
Expand Down Expand Up @@ -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}
Expand All @@ -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}
}
Expand Down Expand Up @@ -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},
Expand Down Expand Up @@ -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},
Expand Down Expand Up @@ -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},
Expand Down Expand Up @@ -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},
Expand Down
54 changes: 27 additions & 27 deletions procs.bib
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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}
Expand Down Expand Up @@ -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}
}

Expand All @@ -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}
Expand Down Expand Up @@ -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,
Expand Down Expand Up @@ -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}
Expand Down Expand Up @@ -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)},
Expand Down Expand Up @@ -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},
Expand Down Expand Up @@ -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},
Expand Down Expand Up @@ -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}
Expand Down Expand Up @@ -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}
Expand Down Expand Up @@ -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}
Expand Down Expand Up @@ -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,
Expand All @@ -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,
Expand Down Expand Up @@ -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,
Expand Down Expand Up @@ -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},
Expand Down Expand Up @@ -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}
Expand All @@ -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}
}

Expand Down Expand Up @@ -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}
Expand All @@ -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}
Expand Down
Loading