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