P. Cabalar, J. Fandinno, and L. Fariñas-del-cerro, Splitting epistemic logic programs, Proceedings of the 17th International Workshop on Non-monotonic Reasoning (NMR 2018), pp.81-89, 2018.

F. Del-cerro, L. Herzig, A. Su, and E. I. , Epistemic equilibrium logic, Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI 2015), pp.2964-2970, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01334713

M. Gelfond, Strong introspection, Proceedings of the AAAI Conference, vol.1, pp.386-391, 1991.

M. Gelfond, New semantics for epistemic specifications, LPNMR 2011, vol.6645, pp.260-265, 2011.

M. Gelfond and V. Lifschitz, The stable model semantics for logic programming, Proceedings of the 5th International Conference on Logic Programming, pp.1070-1080, 1988.

P. Kahl, R. Watson, E. Balai, M. Gelfond, and Y. Zhang, The language of epistemic specifications (refined) including a prototype solver, J. Log. Comput, 2015.

A. P. Leclerc and P. T. Kahl, Epistemic logic programs with world view constraints, Technical communication of the 34th International Conference on Logic Programming (ICLP 2018), 2018.

A. P. Leclerc and P. T. Kahl, A survey of advances in epistemic logic program solvers, Proceedings of the 11th International Workshop on Answer Set Programming and Other Computer Paradigms (ASPOCP 2018), 2018.

V. Lifschitz and H. Turner, Splitting a logic program, Proceedings of the International Conference on Logic Programming, pp.23-37, 1994.

Y. Shen and T. Eiter, Evaluating epistemic negation in answer set programming (extended abstract), Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI 2017), pp.5060-5064, 2017.

T. C. Son, T. Le, P. T. Kahl, and A. P. Leclerc, On computing world views of epistemic logic programs, Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI 2017), vol.6565, pp.315-333, 2011.

R. Watson, A splitting set theorem for epistemic specifications, CoRR: Proceedings of the 8th International Workshop on Non-monotonic Reasoning, 2000.