1. Gelfond, M.: Strong introspection. In: AAAI-1991, pp. 386–391 (1991)
2. Gelfond, M.: Logic programming and reasoning with incomplete information. Ann. Math. Artif. Intell. 12(1–2), 89–116 (1994)
3. Kahl, P.T.: Refining the semantics for epistemic logic programs, Ph.D. thesis, Texas Tech University, USA (2014)
4. Farias del Cerro, L., Herzig, A., Su, E.I.: Epistemic equilibrium logic. In: IJCAI-2015, pp. 2964–2970 (2015)
5. Shen, Y.D., Eiter, T.: Evaluating epistemic negation in answer set programming. Artif. Intell. 237, 115–135 (2016)