Merge pull request #249 from krr-up/jorge/journal-edit

krr.bib

@@ -9964,6 +9964,14 @@ @misc{fanhan24a
   year = {2024}
 }
 
+@inproceedings{fanhan25a,
+  title = {Recursive Aggregates as Intensional Functions in Answer Set Programming: Semantics and Strong Equivalence},
+  author = {J. Fandinno and Z. Hansen},
+  crossref = {aaai25},
+  pages = {(to appear)},
+  year = {2025}
+}
+
 @inproceedings{fanlif23a,
   title = {On {H}euer’s Procedure for Verifying Strong Equivalence},
   author = {J. Fandinno and V. Lifschitz},
@@ -9978,6 +9986,14 @@ @inproceedings{fanlif24a
   year = {2024}
 }
 
+@inproceedings{fanlil25a,
+  title = {Solving Epistemic Logic Programs using Generate-and-Test with Propagation},
+  author = {J. Fandinno and L. Lillo},
+  crossref = {aaai25},
+  pages = {(to appear)},
+  year = {2025}
+}
+
 @article{fanmic08a,
   title = {Boosting {SAT} Solver Performance via a New Hybrid Approach},
   author = {L. Fang and M. Hsiao},

procs.bib

@@ -164,6 +164,14 @@ @proceedings{aaai24
   year = {2024}
 }
 
+@proceedings{aaai25,
+  title = {Proceedings of the Thirty-nineth National Conference on Artificial Intelligence (AAAI'25)},
+  editor = {T. Walsh and J. Shah and Z. Kolter},
+  booktitle = {Proceedings of the Thirty-eighth National Conference on Artificial Intelligence (AAAI'25)},
+  publisher = {{AAAI} Press},
+  year = {2025}
+}
+
 @proceedings{aaai87,
   title = {Proceedings of the Sixth National Conference on Artificial Intelligence (AAAI'87)},
   editor = {K. Forbus and H. Shrobe},