CS479/CS579 : Planning
(Tentative Schedule)
(Time: T TH  11:45am - 1:00pm)
Week	Date	Topic	Reading/Notes	Assignment
1	15-Jan-04	Introduction	Chapter 11, Russel and Norvig (New edition)
2	20-Jan-04	Background Review	Propositional Logic
	22-Jan-04	(Logic, Search, CSP, etc.)	First oder logic (long note)
3	27-Jan-04	Planning as search	Search	Download/Install
	29-Jan-04		Graph Plan and HSP	GraphPlan System
4	3-Feb-04		Section 11.4 from Chapter 11	HSP
	5-Feb-04	First written homework and programming assignment (Click here for more detail)		11.4 (due 2/9/04)
5	10-Feb-04	Partial order planning	Section 11.3 from Chapter 11
	12-Feb-04		Least Commitment Planning
		Suggested additional reading	Refinement Planning
6	17-Feb-04	Planning as satisfiability	Section 11.5 from Chapter 11
	19-Feb-04		Planning as satisfiability
		Second homework		(due 3/1/04)
7	24-Feb-04	Planning as model checking	Paper on Planning as model checking
	26-Feb-04		A tutorial on planning as model checking
8	2-Mar-04		A paper on model checking
	4-Mar-04
		Third homework		(due 3/8/04)
9	7-Mar-04	HTN Planning	Section 2, Chapter 12 of Russell and Norvig's Book
	11-Mar-04		A procedure for HTN-Planning
10	16-Mar-04	Review	SHOP - A HTN-based planner
	18-Mar-04	Test
11	23-Mar-04	Spring break
	25-Mar-04
12	30-Mar-04	Test Discussion		Project Topic
	1-Apr-04			Start Project
13	6-Apr-04	Guest speaker		project
	8-Apr-04			project
14	13-Apr-04	Planning using temporal logic	Bacchus and Kabanza	project
	15-Apr-04			project
15	20-Apr-04	Planning using temporal logic	Continue with TLPlan of Bacchus and Kabanza	project
	22-Apr-04			project
16	27-Apr-04	Planning with uncertainty	Blythe	project
	29-Apr-04		Kaelbling et al.	project
17	4-May-04	Conformant/Conditional Planning		project
	6-May-04			Complete Project
18	11-May-04	Exam week
	13-May-04
Last modified: Wed Nov 05 18:25:48 Mountain Standard Time 2003