| Date | Do before class | Class notes |
| Tues, Aug 29 | Introduction | |
| Thurs, Aug 31 | Read chapter 2 | Introduction |
| Tues, Sept 5 | Read about Lisp | Lisp1.lsp |
| Thurs, Sept 7 | Write some Lisp code | Lisp2.lsp |
| Tues, Sept 12 | Read chapter 3 | Search1Questions |
| Thurs, Sept 14 | Hand in 3.9 & 3.11. | Search2Questions |
| Tues, Sept 19 | Read chapter 4 | Search3Questions |
| Thurs, Sept 21 | Hand in 4.1, 4.2, 4.3, 4.10, 4.16 | Search4Questions |
| Tues, Sept 16 | Read chapter 5 | Search5Questions |
| Thurs, Sept 28 | Hand in 5.1 | Search6Questions |
| Tues, Oct 3 | Hand in programming assignment 1 | First Prolog lecture |
| Thurs, Oct 5 | Study for exam | Midterm examLast years exam solutions |
| Tues, Oct 10 | Read chapter 6 | SemanticsQuestions |
| Thurs, Oct 12 | Hand in written assignment for chapter 6 | Propositional logic Questions |
| Tues, Oct 17 | Read chapter 7 | First order logic Questions |
| Thurs, Oct 19 | Hand in written assignment for chapter 7 | Practice using FOL Questions |
| Tues, Oct 24 | Read chapter 8 | OntologyQuestions |
| Thurs, Oct 26 | Hand in written assignment for chapter 8 | Unification and chaining Questions |
| Tues, Oct 31 | Read chapter 9, except 9.7 | ResolutionQuestions |
| Thurs, Nov 2 | Hand in 9.1, 9.4, 9.5 | Second Prolog lecture |
| Tues, Nov 7 | Read chapter 10 | Logic programming Questions |
| Thurs, Nov 9 | Hand in programming assignment 2 | Production systems, Frame systems Questions |
| Tues, Nov 14 | Study for Exam | Midterm Exam |
| Thurs, Nov 16 | Read chapter 11 | Partial order planning 1Questions |
| Tues, Nov 21 | Hand in written assignment for chapter 11 | Partial order planning 2Questions |
| Tues, Nov 28 | Read chapter 12 | Decomposition planning Questions |
| Thurs, Nov 30 | Hand in programming assignment 3 | More extensions to Pop Questions |
| Tues, Dec 5 | Read chapter 14 | Uncertain reasoning 1 Questions |
| Thurs, Dec 7 | Read chapter 15 | Uncertain reasoning 2 Questions |
| Tues, Dec 12 | Hand in programming assignment 4 | Uncertain reasoning 3 Questions |
| Thurs, Dec 14 | Study for exam | Final Exam Last year's exam solutions |