1. Chakraborti, T., Sreedharan, S., Zhang, Y., Kambhampati, S.: Plan explanations as model reconciliation: moving beyond explanation as soliloquy. In: IJCAI, pp. 156–163 (2017)
2. van Emden, M., Kowalski, R.: The semantics of predicate logic as a programming language. J. ACM 23(4), 733–742 (1976)
3. Fox, M., Long, D., Magazzeni, D.: Explainable planning. CoRR abs/1709.10256 (2017). http://arxiv.org/abs/1709.10256
4. Gelfond, M., Lifschitz, V.: Logic programs with classical negation. In: LP, pp. 579–597 (1990)
5. Kambhampati, S.: Synthesizing explainable behavior for human-AI collaboration. In: AAMAS, pp. 1–2 (2019)