The Planning Domain Definition Language (PDDL) [1]}, [2]} is used to formulate the planning problem.
We use the SkiROS [3]} framework that
automatically translates a task into a PDDL planning problem by generating domain description and problem instance using the world model.
We then use the semantic world model (WM) from SkiROS  [4]} as the knowledge integration framework.
