None

- To analyze state-of-the-art automated planning techniques - To characterize every technique as well as the domains they suit better - To use tools that implement techniques discussed in class - To identify different open issues for research in order to suggest new Master and PhD thesis

Introduction Introduction to planning Knowledge representation Heuristic Search Classic planning State space. STRIPS and Prodigy Partial plans. UCPOP Neoclassic planning Plan graphs. GRAPHPLAN SAT planning. SATPLAN Heuristic planning Early approaches. HSP, FF New heuristics and planners. Fast downward, pattern data bases, landmarks, symbolic planning, portfolios Hierarchical Task Networks (HTN). SHOP2 Machine learning Other planning paradigms Temporal planning (scheduling) Planning under uncertainty

Theory classes One homework per two weeks Final project Oral presentation of project Individual office hours