Courses in summer term 2007 / Lecture Artificial Intelligence / Script:
| 0. Overview | [PDF] | 10.04.2007 | |
| 1. Uninformed Search | [PDF] | 12+24+26.04.2007 | |
| 2. Informed Search | [PDF] | 02+08.05.2007 | |
| 3. Constraint Satisfaction Problems | [PDF] | 15+22.05.2007 | |
| 4. Propositional Logic | [PDF] | 05+12+19.06.2007 | |
| 5. First-Order Logic | [PDF] | 26.06.2007 | |
| 6. Inference in First-Order Logic | [PDF] | 03.07.2007 | |
| 8. Inductive Logic Programming | [PDF] | 10+12.07.2007 |
For the slides on planning refer directly to the text book homepage: http://aima.cs.berkeley.edu
Exam will take place on Tuesday, the 24.07.2007 at 08:00-10:00 in room A9