In this work, Yanjun Li and I introduced two ways of using a powerful know-how based framework to do planning about planning: higher-order epistemic planning via model checking, and meta-level epistemic planning via satisfiability checking or theorem proving.
Leave a Reply