fix aaai

krr-up · Jan 27, 2025 · ce514ed · ce514ed
1 parent 12b519d
commit ce514ed
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 10 deletions.
diff --git a/krr.bib b/krr.bib
@@ -14523,7 +14523,6 @@ @inproceedings{issar90a
   title = {Path-Focused Duplication: A Search Procedure for General Matings},
   author = {S. Issar},
   booktitle = aaai,
-  organization = aaai,
   pages = {221-226},
   year = {1990}
 }
@@ -17052,8 +17051,7 @@ @article{lifschitz22a
 @inproceedings{lifschitz84,
   title = {Some Results on Circumscription},
   author = {V. Lifschitz},
-  booktitle = {Proceedings of the First International Workshop on Nonmonotonic Reasoning, New Paltz, NY},
-  organization = aaai,
+  booktitle = {Proceedings of the First International Workshop on Nonmonotonic Reasoning (NMR'84)},
   year = {1984}
 }
 
@@ -21314,7 +21312,6 @@ @inproceedings{reidek87
   title = {Foundations of Assumption-based Truth Maintenance Systems},
   author = {R. Reiter and J. de Kleer},
   booktitle = aaai,
-  organization = aaai,
   pages = {183-188},
   year = {1987}
 }

diff --git a/procs.bib b/procs.bib
@@ -1219,7 +1219,7 @@ @proceedings{cs07
   title = {Proceedings of the Eighth International Symposium on Logical Formalizations of Commonsense Reasoning},
   editor = {E. Amir and V. Lifschitz and R. Miller},
   booktitle = {Proceedings of the Eighth International Symposium on Logical Formalizations of Commonsense Reasoning},
-  publisher = aaai,
+  publisher = {{AAAI} Press},
   year = {2007}
 }
 
@@ -3560,23 +3560,20 @@ @proceedings{nmr18
 @proceedings{nmr84,
   title = {Proceedings of the First International Workshop on Nonmonotonic Reasoning},
   booktitle = {Proceedings of the First International Workshop on Nonmonotonic Reasoning},
-  organization = aaai,
   year = {1984}
 }
 
 @proceedings{nmr90,
   title = {Proceedings of the Third International Workshop on Nonmonotonic Reasoning},
   editor = {K. Konolige},
   booktitle = {Proceedings of the Third International Workshop on Nonmonotonic Reasoning},
-  organization = aaai,
   year = {1990}
 }
 
 @proceedings{nmr92,
   title = {Proceedings of the Fourth International Workshop on Nonmonotonic Reasoning},
   editor = {D. Etherington and H. Kautz},
   booktitle = {Proceedings of the Fourth International Workshop on Nonmonotonic Reasoning},
-  organization = aaai,
   year = {1992}
 }
 
@@ -4272,15 +4269,15 @@ @proceedings{socs11
   title = {Proceedings of the Fourth Annual Symposium on Combinatorial Search (SOCS'11)},
   editor = {D. Borrajo and M. Likhachev and C. L{\'o}pez},
   booktitle = {Proceedings of the Fourth Annual Symposium on Combinatorial Search (SOCS'11)},
-  publisher = aaai,
+  publisher = {{AAAI} Press},
   year = {2011}
 }
 
 @proceedings{socs12,
   title = {Proceedings of the Fourth Annual Symposium on Combinatorial Search (SOCS'12)},
   editor = {D. Borrajo and A. Felner and R. Korf and M. Likhachev and C. {Linares L{\'o}pez} and W. Ruml and N. Sturtevant},
   booktitle = {Proceedings of the Fourth Annual Symposium on Combinatorial Search (SOCS'12)},
-  publisher = aaai,
+  publisher = {{AAAI} Press},
   year = {2012}
 }