C. Baral and M. Gelfond, Logic programming and knowledge representation, J. Log. Program, vol.19, pp.73-148, 1994.

P. Blackburn, M. De-rijke, and Y. Venema, Modal Logic. Cambridge Tracts in Theoretical Computer Science, 2001.
URL : https://hal.archives-ouvertes.fr/inria-00100503

P. Cabalar, J. Fandinno, and L. Fariñas-del-cerro, Splitting epistemic logic programs, Proceedings of the 17th International Workshop on Nonmonotonic Reasoning, pp.27-29, 2018.

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

J. Chen, The generalized logic of only knowing (GOL) that covers the notion of epistemic specifications, J. Log. Comput, vol.7, issue.2, pp.159-174, 1997.

K. L. Clark, Logic and Data Bases, Symposium on Logic and Data Bases, Centre d'études et de recherches de Toulouse, France. Advances in Data Base Theory, pp.293-322, 1977.

D. M. Gabbay, R. Craven, N. Kesim-Ç-içekli, and B. Sadighi, What is negation as failure? In: Artikis, vol.7360, pp.52-78, 2012.

M. Gelfond, Strong introspection, Proceedings of the 9th National Conference on Artificial Intelligence, vol.1, pp.386-391, 1991.

M. Gelfond, Logic programming and reasoning with incomplete information, Ann. Math. Artif. Intell, vol.12, issue.1-2, pp.89-116, 1994.

M. Gelfond, Answer sets, Handbook of Knowledge Representation, vol.1, p.285, 2008.

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

M. Gelfond, New definition of epistemic specifications, 2011.

M. Gelfond and V. Lifschitz, The stable model semantics for logic programming, Logic Programming, Proceedings of the Fifth International Conference and Symposium, vol.2, pp.1070-1080, 1988.

M. Gelfond and V. Lifschitz, Classical negation in logic programs and disjunctive databases, New Gener. Comput, vol.9, pp.365-386, 1991.

A. Heyting, Die formalen Regeln der intuitionistischen Logik, Sitzungsber. Preuss. Akad. Wiss. 42-71, pp.158-169, 1930.

K. Inoue and C. Sakama, Negation as failure in the head, J. Log. Program, vol.35, issue.1, pp.39-78, 1998.

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.

P. T. Kahl, Refining the semantics for epistemic logic programs, 2014.

P. T. Kahl, A. P. Leclerc, A. D. Palù, P. Tarau, and N. Saeedloei, Epistemic logic programs with world view constraints, Technical Communications of the 34th International Conference on Logic Programming, vol.64, pp.14-17, 2018.

P. T. Kahl, A. P. Leclerc, and T. C. Son, A parallel memory-efficient epistemic logic program solver: harder, better, 2016.

R. A. Kowalski, Logic programming, Computational Logic, Handbook of the History of Logic, vol.9, pp.523-569, 2014.

A. P. Leclerc and P. T. Kahl, A survey of advances in epistemic logic program solvers. abs/1809, Also in the Proceedings of the 11th International Workshop on Answer Set Programming and other Computer Paradigms, p.7141, 2018.

V. Lifschitz, L. R. Tang, and H. Turner, Nested expressions in logic programs, Ann. Math. Artif. Intell, vol.25, issue.3-4, pp.369-389, 1999.

V. W. Marek and M. Truszczynski, Stable models and an alternative logic programming paradigm, 1998.

I. Niemelä, Logic programs with stable model semantics as a constraint programming paradigm, Ann. Math. Artif. Intell, vol.25, issue.3-4, pp.241-273, 1999.

D. Pearce, A new logical characterisation of stable models and answer sets, NMELP 1996, vol.1216, pp.57-70, 1997.

D. Pearce, Equilibrium logic, Ann. Math. Artif. Intell, vol.47, issue.1-2, pp.3-41, 2006.

T. C. Przymusinski, On the relationship between logic programming and nonmonotonic reasoning, Proceedings of the 7th National Conference on Artificial Intelligence, pp.444-448, 1988.

Y. Shen and T. Eiter, Evaluating epistemic negation in answer set programming, Artif. Intell, vol.237, pp.115-135, 2016.

Y. Shen and T. Eiter, Evaluating epistemic negation in answer set programming (extended abstract), Proceedings of the 26th International Joint Conference on Artificial Intelligence, 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 26th International Joint Conference on Artificial Intelligence, pp.1269-1275, 2017.

R. Stalnaker, What is a nonmonotonic consequence relation? Fundam, Inform, vol.21, issue.1/2, pp.7-21, 1994.

E. I. Su, Extensions of equilibrium logic by modal concepts. (Extensions de la logique d'équilibre par des concepts modaux), 2015.
URL : https://hal.archives-ouvertes.fr/tel-01636791

M. Truszczy?ski, Revisiting epistemic specifications, Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, vol.6565, pp.315-333, 2011.

K. Wang, Y. ;. Zhang, G. Greco, and N. Leone, Nested epistemic logic programs, LPNMR 2005, vol.3662, pp.279-290, 2005.

R. Watson, A splitting set theorem for epistemic specifications, 2000.

Y. Zhang, Updating epistemic logic programs, J. Log. Comput, vol.19, issue.2, pp.405-423, 2009.

Y. Zhang and Y. Zhang, Epistemic specifications and conformant planning, Proceedings of the 2017 Workshop on Knowledge-Based Techniques for Problem Solving and Reasoning, 2017.

Z. Zhang, A. D. Palù, P. Tarau, and N. Saeedloei, Introspecting preferences in answer set programming, Technical Communications of the 34th International Conference on Logic Programming, vol.64, pp.14-17, 2018.