Reasoning about knowledge and belief is an important topic in AI. We have studied several aspects of this, including epistemic planning.