We present a system that implements a framework for cognitive planning 1. The system allows us to represent and reason about the beliefs, desires and intentions of other agents using an NP-fragment of a multiagent epistemic logic. The system has three components: the belief revision, the planner and the translator modules. They work in an integrated way to firstly capture new information about the world, secondly to perform the planning process extracting operators from a set of actions that will lead to achieving a goal and, finally, to verify satisfiability of the formulas generated at each step of the process. We illustrate how our system can be used to implement an persuasive artificial agent interacting with a human user.