Quick links:
 | Week 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 |
| Codes for home work |
| A good tutorial on C++ Standard Template Library |
| Propositional logic from the internet encyclopedia of philosophy (Googling with "Propositional logic" will give you many more interesting reviews and introductions) |
| Some papers on action languages: Gelfond & Lifschitz Gelfond & Baral |
| Examples of Smodels programs |
|
Week |
Date |
Topic |
Chapter |
Homework |
Solution |
Notes |
|
23-Aug-05 |
Review (Propositional & First Order Logic) |
8 | HW1: pdf or latex | logic.pdf | ||
|
|
25-Aug-05 |
Review (Inference) |
9 | |||
|
30-Aug-05 |
Review (Search) |
3 | HW2: pdf or latex C++ source | search.pdf | ||
|
|
1-Sep-05 |
Review (Informed Search) |
4 | |||
|
6-Sep-05 |
No class |
|||||
|
|
8-Sep-05 |
No class |
||||
|
13-Sep-05 |
Constraint Satisfaction Problem (a tutorial on CSP by F. Bacchus) | 5 | csp.pdf and csp.doc (pdf) | |||
|
|
15-Sep-05 |
|
HW3: pdf or latex | |||
|
20-Sep-05 |
Logic Programming and Answer Sets (a tutorial on LP and ASP by C. Baral) | * | Updated 9/27 lp.pdf* | |||
|
|
22-Sep-05 |
|
||||
|
27-Sep-05 |
Reasoning about actions and change | * | ||||
|
29-Sep-05 |
Planning I - Answer Set Planning | Updated 10/3 rac.pdf | ||||
|
4-Oct-05 |
Planning II - State-space | 11.2 | parser.tar.gz | Read HSP | ||
|
|
6-Oct-05 |
planner.gz | ||||
|
11-Oct-05 |
Planning III - Plan-space |
11.3 | domains | pop | ||
|
|
13-Oct-05 |
|
||||
|
18-Oct-05 |
Midterm |
pdf or latex | ||||
|
|
20-Oct-05 |
No Class |
||||
|
25-Oct-05 |
Planning III - Graph plan |
11.4 | graphplan | |||
|
|
27-Oct-05 |
Planning IV - SAT Plan |
11.5 | sat plan | ||
|
1-Nov-05 |
Uncertain knowledge and reasoning |
13 | belief network | |||
|
3-Nov-05 |
||||||
|
8-Nov-05 |
Probabilistic reasoning |
14 | ||||
|
|
10-Nov-05 |
|||||
|
15-Nov-05 |
||||||
|
|
17-Nov-05 |
|
||||
|
22-Nov-05 |
Thanksgiving Holiday |
|||||
|
|
24-Nov-05 |
Thanksgiving Holiday |
||||
|
29-Nov-05 |
|
|||||
|
|
1-Dec-05 |
Review |
||||
|
6-Dec-05 |
Exam (10:30 am - 12:30 am) |
|||||
|
|
8-Dec-05 |
|
Last Updated on 11/09/2005 02:59 PM -0700