Planning is the reasoning part of acting. It deals with selecting and organizing actions to achieve a given goal. The course introduces automated planning, starting with a formal logical model of planning tasks, through core planning techniques (state-space and plan-space search, planning graph and reduction-based techniques), till exploiting control knowledge and relation to scheduling and execution.