1. Baral, C., Gelfond, M.: Logic programming and knowledge representation. J. Log. Program. 19, 73–148 (1994)
2. Cambridge Tracts in Theoretical Computer Science;P Blackburn,2001
3. Cabalar, P., Fandinno, J., Fariñas del Cerro, L.: Splitting epistemic logic programs. In: Proceedings of the 17th International Workshop on Nonmonotonic Reasoning, NMR 2018, Tempe, Arizona, USA, 27–29 October 2018 (2018)
4. Fariñas del Cerro, L., Herzig, A., Su, E.I.: Epistemic equilibrium logic. In: Yang, Q., Wooldridge, M. (eds.) Proceedings of the 24th International Joint Conference on Artificial Intelligence, pp. 2964–2970. AAAI Press (2015). http://ijcai.org/papers15/Abstracts/IJCAI15-419.html
5. Chen, J.: The generalized logic of only knowing (GOL) that covers the notion of epistemic specifications. J. Log. Comput. 7(2), 159–174 (1997)