epk-20170808


  • Single-agent planner is a complete epistemic planner without the epistemic closed world assumption for single agent which is logic-based.