From ce514edb6eef3517187bcc05193288e1293fee96 Mon Sep 17 00:00:00 2001
From: Torsten Schaub <torsten@cs.uni-potsdam.de>
Date: Mon, 27 Jan 2025 10:35:16 +0100
Subject: [PATCH] fix aaai

---
 krr.bib   | 5 +----
 procs.bib | 9 +++------
 2 files changed, 4 insertions(+), 10 deletions(-)

diff --git a/krr.bib b/krr.bib
index 2572fd2..36db382 100644
--- 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
index 8c3e29d..d56cf9c 100644
--- 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,7 +3560,6 @@ @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}
 }
 
@@ -3568,7 +3567,6 @@ @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}
 }
 
@@ -3576,7 +3574,6 @@ @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,7 +4269,7 @@ @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}
 }
 
@@ -4280,7 +4277,7 @@ @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}
 }