@article(paracoherent16,
 author       = {Giovanni Amendola and Thomas Eiter and Michael Fink and Nicola Leone and Jo{\~{a}}o Moura},
 year         = {2016},
 title        = {Semi-equilibrium models for paracoherent answer set programs},
 journal      = {Artif. Intell.},
 volume       = {234},
 pages        = {219--271},
 doi          = {10.1016/j.artint.2016.01.011},
)
@proceedings(DBLP:conf/lpnmr/2017,
 editor       = {Marcello Balduccini and Tomi Janhunen},
 year         = {2017},
 title        = {Logic Programming and Nonmonotonic Reasoning - 14th International Conference, {LPNMR} 2017, Espoo, Finland, July 3-6, 2017, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {10377},
 publisher    = {Springer},
 doi          = {10.1007/978-3-319-61660-5},
)
@proceedings(DBLP:conf/lpnmr/2005,
 editor       = {Chitta Baral and Gianluigi Greco and Nicola Leone and Giorgio Terracina},
 year         = {2005},
 title        = {Logic Programming and Nonmonotonic Reasoning, 8th International Conference, {LPNMR} 2005, Diamante, Italy, September 5-8, 2005, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {3662},
 publisher    = {Springer},
 doi          = {10.1007/11546207},
)
@article(CabalarAEEL20,
 author       = {Pedro Cabalar and Jorge Fandinno and Luis Fari{\~{n}}as del Cerro},
 year         = {2020},
 title        = {Autoepistemic answer set programming},
 journal      = {Artificial Intelligence},
 volume       = {289},
 pages        = {103382},
 doi          = {10.1016/j.artint.2020.103382},
)
@proceedings(DBLP:conf/jelia/2019,
 editor       = {Francesco Calimeri and Nicola Leone and Marco Manna},
 year         = {2019},
 title        = {Logics in Artificial Intelligence - 16th European Conference, {JELIA} 2019, Rende, Italy, May 7-11, 2019, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {11468},
 publisher    = {Springer},
 doi          = {10.1007/978-3-030-19570-0},
)
@inproceedings(ijcaiFHS15,
 author       = {Fari{\~{n}}as del Cerro, Luis and Andreas Herzig and Ezgi Iraz Su},
 year         = {2015},
 title        = {Epistemic Equilibrium Logic},
 editor       = {Qiang Yang and Michael J. Wooldridge},
 booktitle    = {Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July 25-31, 2015},
 publisher    = {{AAAI} Press},
 pages        = {2964--2970},
 url          = {http://ijcai.org/Abstract/15/419},
)
@proceedings(DBLP:conf/lpnmr/2011,
 editor       = {James P. Delgrande and Wolfgang Faber},
 year         = {2011},
 title        = {Logic Programming and Nonmonotonic Reasoning - 11th International Conference, {LPNMR} 2011, Vancouver, Canada, May 16-19, 2011. Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {6645},
 publisher    = {Springer},
 doi          = {10.1007/978-3-642-20895-9},
)
@inproceedings(Gelfond91strong,
 author       = {Michael Gelfond},
 year         = {1991},
 title        = {Strong Introspection},
 editor       = {Thomas L. Dean and Kathleen R. McKeown},
 booktitle    = {Proceedings of the 9th National Conference on Artificial Intelligence, Anaheim, CA, USA, July 14-19, 1991, Volume 1},
 publisher    = {{AAAI} Press / The {MIT} Press},
 pages        = {386--391},
 url          = {http://www.aaai.org/Library/AAAI/1991/aaai91-060.php},
)
@article(Gelfond94,
 author       = {Michael Gelfond},
 year         = {1994},
 title        = {Logic Programming and Reasoning with Incomplete Information},
 journal      = {Annals of Mathematics and Artificial Intelligence},
 volume       = {12},
 number       = {1-2},
 pages        = {89--116},
 doi          = {10.1007/BF01530762},
)
@inproceedings(gelfond2011new,
 author       = {Michael Gelfond},
 year         = {2011},
 title        = {New Semantics for Epistemic Specifications},
 editor       = {Delgrande and Faber},
 pages        = {260--265},
 doi          = {10.1007/978-3-642-20895-9\_29},
)
@inproceedings(GelfondL88,
 author       = {Michael Gelfond and Vladimir Lifschitz},
 year         = {1988},
 title        = {The Stable Model Semantics for Logic Programming},
 editor       = {Robert A. Kowalski and Kenneth A. Bowen},
 booktitle    = {Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 {(2) Volumes}},
 publisher    = {{MIT} Press},
 pages        = {1070--1080},
)
@phdthesis(kahl2014refining,
 author       = {Patrick Thor Kahl},
 year         = {2014},
 title        = {Refining the semantics for epistemic logic programs},
 school       = {Texas Tech University},
 address      = {Department of Computer Science, Lubblock, TX, USA},
)
@inproceedings(Kahlwvconstraints18,
 author       = {Patrick Thor Kahl and Anthony P. Leclerc},
 year         = {2018},
 title        = {Epistemic Logic Programs with World View Constraints},
 editor       = {Pal{\`{u}}},
 pages        = {1:1--1:17},
 doi          = {10.4230/OASIcs.ICLP.2018.1},
 url          = {http://www.dagstuhl.de/dagpub/978-3-95977-090-3},
)
@article(KahlLS16,
 author       = {Patrick Thor Kahl and Anthony P. Leclerc and Tran Cao Son},
 year         = {2016},
 title        = {A Parallel Memory-efficient Epistemic Logic Program Solver: Harder, Better, Faster},
 journal      = {CoRR},
 volume       = {abs/1608.06910},
 url          = {http://arxiv.org/abs/1608.06910},
)
@article(levesque90,
 author       = {Hector J. Levesque},
 year         = {1990},
 title        = {All {I} Know: {A} Study in Autoepistemic Logic},
 journal      = {Artif. Intell.},
 volume       = {42},
 number       = {2-3},
 pages        = {263--309},
 doi          = {10.1016/0004-3702(90)90056-6},
)
@inproceedings(MarekT93,
 author       = {V. Wiktor Marek and Miroslaw Truszczynski},
 year         = {1993},
 title        = {Reflective Autoepistemic Logic and Logic Programming},
 editor       = {Lu{\'{\i}}s Moniz Pereira and Anil Nerode},
 booktitle    = {Logic Programming and Non-monotonic Reasoning, Proceedings of the Second International Workshop, Lisbon, Portugal, June 1993},
 publisher    = {{MIT} Press},
 pages        = {115--131},
)
@article(Moore83,
 author       = {Robert C. Moore},
 year         = {1985},
 title        = {Semantical Considerations on Nonmonotonic Logic},
 journal      = {Artif. Intell.},
 volume       = {25},
 number       = {1},
 pages        = {75--94},
 doi          = {10.1016/0004-3702(85)90042-6},
)
@proceedings(DBLP:conf/iclp/2018,
 editor       = {Alessandro Dal Pal{\`{u}} and Paul Tarau and Neda Saeedloei and Paul Fodor},
 year         = {2018},
 title        = {Technical Communications of the 34th International Conference on Logic Programming, {ICLP} 2018, July 14-17, 2018, Oxford, United Kingdom},
 series       = {{OASICS}},
 volume       = {64},
 publisher    = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
 url          = {http://www.dagstuhl.de/dagpub/978-3-95977-090-3},
)
@article(Pearce06,
 author       = {David Pearce},
 year         = {2006},
 title        = {Equilibrium logic},
 journal      = {Annals of Mathematics and Artificial Intelligence},
 volume       = {47},
 number       = {1-2},
 pages        = {3--41},
 doi          = {10.1007/s10472-006-9028-z},
)
@inproceedings(Schwarz92,
 author       = {Grigori Schwarz},
 year         = {1992},
 title        = {Minimal Model Semantics for Nonmonotonic Modal Logics},
 booktitle    = {Proceedings of the Seventh Annual Symposium on Logic in Computer Science {(LICS) '92}, Santa Cruz, California, USA, June 22-25, 1992},
 pages        = {34--43},
 doi          = {10.1109/LICS.1992.185517},
)
@article(ShenEiter16,
 author       = {Yi{-}Dong Shen and Thomas Eiter},
 year         = {2016},
 title        = {Evaluating epistemic negation in answer set programming},
 journal      = {Artificial Intelligence},
 volume       = {237},
 pages        = {115--135},
 doi          = {10.1016/j.artint.2016.04.004},
)
@article(Eiter.tooStrong2020,
 author       = {Yi{-}Dong Shen and Thomas Eiter},
 year         = {2020},
 title        = {Constraint Monotonicity, Epistemic Splitting and Foundedness Are Too Strong in Answer Set Programming},
 journal      = {CoRR},
 volume       = {abs/2010.00191},
 url          = {https://arxiv.org/abs/2010.00191},
)
@phdthesis(Su15,
 author       = {Ezgi Iraz Su},
 year         = {2015},
 title        = {Extensions of equilibrium logic by modal concepts. (Extensions de la logique d'{\'{e}}quilibre par des concepts modaux)},
 school       = {Institut de Recherche en Informatique de Toulouse, France},
 url          = {https://tel.archives-ouvertes.fr/tel-01636791},
)
@inproceedings(Su17RAEL,
 author       = {Ezgi Iraz Su},
 year         = {2017},
 title        = {A Monotonic View on Reflexive Autoepistemic Reasoning},
 editor       = {Balduccini and Janhunen},
 pages        = {85--100},
 doi          = {10.1007/978-3-319-61660-5\_10},
)
@inproceedings(Su19jelia,
 author       = {Ezgi Iraz Su},
 year         = {2019},
 title        = {Epistemic Answer Set Programming},
 editor       = {Calimeri},
 pages        = {608--626},
 doi          = {10.1007/978-3-030-19570-0\_40},
)
@inproceedings(Su19revisiting,
 author       = {Ezgi Iraz SU},
 year         = {2019},
 title        = {Revisiting epistemic answer set programing and epistemic splitting property},
 booktitle    = {Workshop on Epistemic Extensions of Logic Programming (EELP 2019) of the 35th International Conference of Logic Programming, Las Cruces, New Mexico, USA},
)
@article(SU.FI20,
 author       = {Ezgi Iraz Su},
 year         = {2020},
 title        = {A Unifying Approach for Nonmonotonic {S4F}, (Reflexive) Autoepistemic Logic, and Answer Set Programming},
 journal      = {Fundamenta Informaticae},
 volume       = {176},
 pages        = {205--234},
 doi          = {10.3233 / FI-2020-1972},
)
@article(SuFH20,
 author       = {Ezgi Iraz Su and Luis Fari{\~{n}}as del Cerro and Andreas Herzig},
 year         = {2020},
 title        = {Autoepistemic equilibrium logic and epistemic specifications},
 journal      = {Artificial Intelligence},
 volume       = {282},
 pages        = {103249},
 doi          = {10.1016/j.artint.2020.103249},
)
@inproceedings(WangZ05nested,
 author       = {Kewen Wang and Yan Zhang},
 year         = {2005},
 title        = {Nested Epistemic Logic Programs},
 editor       = {Baral},
 pages        = {279--290},
 doi          = {10.1007/11546207\_22},
)