Giovanni Amendola
Thomas Eiter
Michael Fink
Nicola Leone
João Moura
2016
Semi-equilibrium models for paracoherent answer set programs
Artif. Intell.
234
219–271
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
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
10.1007/11546207
Pedro Cabalar
Jorge Fandinno
Luis Fariñas del Cerro
2020
Autoepistemic answer set programming
Artificial Intelligence
289
103382
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
10.1007/978-3-030-19570-0
Luis Fariñas del Cerro
Andreas Herzig
Ezgi Iraz Su
2015
Epistemic Equilibrium Logic
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
2964–2970
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
10.1007/978-3-642-20895-9
Michael Gelfond
1991
Strong Introspection
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
386–391
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
89–116
10.1007/BF01530762
Michael Gelfond
2011
New Semantics for Epistemic Specifications
Delgrande
Faber
260–265
10.1007/978-3-642-20895-9_29
Michael Gelfond
Vladimir Lifschitz
1988
The Stable Model Semantics for Logic Programming
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
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
2018
Epistemic Logic Programs with World View Constraints
Palù
1:1–1:17
10.4230/OASIcs.ICLP.2018.1
http://www.dagstuhl.de/dagpub/978-3-95977-090-3
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
http://arxiv.org/abs/1608.06910
Hector J. Levesque
1990
All I Know: A Study in Autoepistemic Logic
Artif. Intell.
42
2-3
263–309
10.1016/0004-3702(90)90056-6
V. Wiktor Marek
Miroslaw Truszczynski
1993
Reflective Autoepistemic Logic and Logic Programming
Luís Moniz Pereira
Anil Nerode
Logic Programming and Non-monotonic Reasoning, Proceedings of the Second International Workshop, Lisbon, Portugal, June 1993
MIT Press
115–131
Robert C. Moore
1985
Semantical Considerations on Nonmonotonic Logic
Artif. Intell.
25
1
75–94
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
http://www.dagstuhl.de/dagpub/978-3-95977-090-3
David Pearce
2006
Equilibrium logic
Annals of Mathematics and Artificial Intelligence
47
1-2
3–41
10.1007/s10472-006-9028-z
Grigori Schwarz
1992
Minimal Model Semantics for Nonmonotonic Modal Logics
Proceedings of the Seventh Annual Symposium on Logic in Computer Science (LICS) '92, Santa Cruz, California, USA, June 22-25, 1992
34–43
10.1109/LICS.1992.185517
Yi-Dong Shen
Thomas Eiter
2016
Evaluating epistemic negation in answer set programming
Artificial Intelligence
237
115–135
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
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
https://tel.archives-ouvertes.fr/tel-01636791
Ezgi Iraz Su
2017
A Monotonic View on Reflexive Autoepistemic Reasoning
Balduccini
Janhunen
85–100
10.1007/978-3-319-61660-5_10
Ezgi Iraz Su
2019
Epistemic Answer Set Programming
Calimeri
608–626
10.1007/978-3-030-19570-0_40
Ezgi Iraz SU
2019
Revisiting epistemic answer set programing and epistemic splitting property
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
205–234
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
103249
10.1016/j.artint.2020.103249
Kewen Wang
Yan Zhang
2005
Nested Epistemic Logic Programs
Baral
279–290
10.1007/11546207_22