Merge pull request #179 from krr-up/epistemic

fafage22a

.gitignore

@@ -1,3 +1,4 @@
 *~
 auto/
 legacy/
+__pycache__/

krr.bib

@@ -3615,6 +3615,16 @@ @inproceedings{bilose11a
   pages = {101-115}
 }
 
+@article{bimowo20a,
+  title = {selp: {A} Single-Shot Epistemic Logic Program Solver},
+  author = {M. Bichler and M. Morak and S. Woltran},
+  journal = tplp,
+  number = {4},
+  pages = {435-455},
+  volume = {20},
+  year = {2020}
+}
+
 @article{bipibe19a,
   title = {Planning with preferences using Multi-Attribute Utility Theory along with a Choquet Integral},
   author = {L. Bidoux and J. Pignon and F. B{\'{e}}naben},
@@ -9420,6 +9430,14 @@ @inproceedings{fableo07a
   pages = {97-109}
 }
 
+@inproceedings{fabmor23a,
+  title = {Evaluating Epistemic Logic Programs via Answer Set Programming with Quantifiers},
+  author = {W. Faber and M. Morak},
+  crossref = {aaai23},
+  pages = {6322-6329},
+  year = {2023}
+}
+
 @inproceedings{fabudopo20a,
   title = {{EFP} 2.0: {A} Multi-Agent Epistemic Solver with Multiple E-State Representations},
   author = {F. Fabiano and A. Burigana and A. Dovier and E. Pontelli},
@@ -9434,6 +9452,16 @@ @inproceedings{fabwol09a
   pages = {115-128}
 }
 
+@article{fafage22a,
+  title = {Thirty years of Epistemic Specifications},
+  author = {J. Fandinno and W. Faber and M. Gelfond},
+  journal = tplp,
+  number = {6},
+  pages = {1043-1083},
+  volume = {22},
+  year = {2022}
+}
+
 @article{fafrhascsc16a,
   title = {Twenty-Five Years of Successful Application of Constraint Technologies at Siemens},
   author = {A. Falkner and G. Friedrich and A. Haselb{\"{o}}ck and G. Schenner and H. Schreiner},
@@ -11310,13 +11338,39 @@ @incollection{gelfond08a
   pages = {285-316}
 }
 
+@inproceedings{gelfond11a,
+  title = {New Semantics for Epistemic Specifications},
+  author = {M. Gelfond},
+  crossref = {lpnmr11},
+  pages = {260-265},
+  year = {2011}
+}
+
 @inproceedings{gelfond87a,
   title = {On Stratified Autoepistemic Theories},
   author = {M. Gelfond},
   crossref = {aaai87},
   pages = {207-211}
 }
 
+@inproceedings{gelfond91a,
+  title = {Strong Introspection},
+  author = {M. Gelfond},
+  crossref = {aaai91},
+  pages = {386-391},
+  year = {1991}
+}
+
+@article{gelfond94a,
+  title = {Logic Programming and Reasoning with Incomplete Information},
+  author = {M. Gelfond},
+  journal = amai,
+  number = {1-2},
+  pages = {89-116},
+  volume = {12},
+  year = {1994}
+}
+
 @inproceedings{gelgab97a,
   title = {From Functional Specifications to Logic Programms},
   author = {M. Gelfond and A. Gabaldon},
@@ -11438,6 +11492,14 @@ @article{gelope05a
   year = {2005}
 }
 
+@inproceedings{gelpri93a,
+  title = {Reasoning on Open Domains},
+  author = {M. Gelfond and H. Przymusinska},
+  crossref = {lpnmr93},
+  pages = {397-413},
+  year = {1993}
+}
+
 @article{gelprz86,
   title = {Negation as Failure: Careful Closure Procedure},
   author = {M. Gelfond and H. Przymusinska},
@@ -14774,6 +14836,12 @@ @article{kalepesc16a
   year = {2016}
 }
 
+@inproceedings{kaleso16a,
+  title = {A Parallel Memory-efficient Epistemic Logic Program Solver: Harder, Better, Faster},
+  author = {P. Kahl and A. Leclerc and T. Son},
+  crossref = {aspocp16}
+}
+
 @article{kalica98a,
   title = {Planning and Acting in Partially Observable Stochastic Domains},
   author = {L. Kaelbling and M. Littman and A. Cassandra},
@@ -15010,6 +15078,13 @@ @inproceedings{kauwal99a
   pages = {526-533}
 }
 
+@article{kawabagezh15a,
+  title = {The language of epistemic specifications (refined) including a prototype solver},
+  author = {P. Kahl and R. Watson and E. Balai and M. Gelfond and Y. Zhang},
+  journal = jlc,
+  year = {2015}
+}
+
 @article{kawabagezh20a,
   title = {The language of epistemic specifications (refined) including a prototype solver},
   author = {P. Kahl and R. Watson and E. Balai and M. Gelfond and Y. Zhang},
@@ -15856,6 +15931,15 @@ @article{lebestga17a
   year = {2017}
 }
 
+@misc{leckah18a,
+  title = {A survey of advances in epistemic logic program solvers},
+  author = {A. Leclerc and P. Kahl},
+  archiveprefix = {arXiv},
+  eprint = {1809.07141},
+  primaryclass = {cs.AI},
+  year = {2018}
+}
+
 @inproceedings{lee05a,
   title = {A Model-Theoretic Counterpart of Loop Formulas},
   author = {J. Lee},
@@ -22463,6 +22547,23 @@ @article{shawit04a
   year = {2004}
 }
 
+@article{sheeit16a,
+  title = {Evaluating Epistemic Negation in Answer Set Programming},
+  author = {Y. Shen and T. Eiter},
+  journal = aij,
+  pages = {115-135},
+  volume = {237},
+  year = {2016}
+}
+
+@inproceedings{sheeit17a,
+  title = {Evaluating Epistemic Negation in Answer Set Programming (Extended Abstract)},
+  author = {Y. Shen and T. Eiter},
+  crossref = {ijcai17},
+  pages = {5060-5064},
+  year = {2017}
+}
+
 @incollection{shepherson87a,
   title = {Negation in Logic Programming},
   author = {J. Shepherson},
@@ -22974,6 +23075,14 @@ @article{sointabana10a
   year = {2010}
 }
 
+@inproceedings{solekale17a,
+  title = {On Computing World Views of Epistemic Logic Programs},
+  author = {T. Son and T. Le and P. Kahl and A. Leclerc},
+  crosref = {ijcai17},
+  pages = {1269-1275},
+  year = {2017}
+}
+
 @article{sonbar01a,
   title = {Formalizing sensing actions - A transition function based approach},
   author = {T. Son and C. Baral},

procs.bib

@@ -145,6 +145,13 @@ @proceedings{aaai22
   year = {2022}
 }
 
+@proceedings{aaai23,
+  title = {Proceedings of the Thirty-seventh National Conference on Artificial Intelligence (AAAI'23)},
+  booktitle = {Proceedings of the Thirty-seventh National Conference on Artificial Intelligence (AAAI'23)},
+  publisher = {{AAAI} Press},
+  year = {2023}
+}
+
 @proceedings{aaai87,
   title = {Proceedings of the Sixth National Conference on Artificial Intelligence (AAAI'87)},
   editor = {K. Forbus and H. Shrobe},
@@ -169,6 +176,14 @@ @proceedings{aaai90
   year = {1990}
 }
 
+@proceedings{aaai91,
+  title = {Proceedings of the Ninth National Conference on Artificial Intelligence (AAAI'91)},
+  editor = {T. Dean and K. McKeown},
+  booktitle = {Proceedings of the Nineth National Conference on Artificial Intelligence (AAAI'91)},
+  publisher = {{AAAI} Press},
+  year = {1991}
+}
+
 @proceedings{aaai94,
   title = {Proceedings of the Twelfth National Conference on Artificial Intelligence (AAAI'94)},
   editor = {B. Hayes-Roth and R. Korf},
@@ -3116,6 +3131,16 @@ @proceedings{lpnmr22
   year = {2022}
 }
 
+@proceedings{lpnmr93,
+  title = {Proceedings of the Second International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'93)},
+  editor = {L. Pereira and A. Nerode},
+  booktitle = {Proceedings of the Second International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'93)},
+  publisher = springer,
+  series = lnai,
+  volume = {928},
+  year = {1993}
+}
+
 @proceedings{lpnmr95,
   title = {Proceedings of the Third International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'95)},
   editor = {V. Marek and A. Nerode},