On the Relationship Between KR Approaches for Explainable Planning

Stylianos Loukas Vasileiou, William Yeoh, Tran Cao Son

In this paper, we build upon notions from knowledge representation and reasoning (KR) to expand a preliminary logic-based framework that characterizes the model reconciliation prob…