 |  |  |
| Lecture - 2 Problem Solving by Search | Lecture - 3 Searching with Costs | Lecture - 4 Informed State Space Search |
 |  |  |
| Lecture - 5 Heuristic Search: A* and Beyond | Lecture - 6 Problem Reduction Search: AND/OR Graphs | Lecture - 7 Searching Game Trees |
 |  |  |
| Lecture - 8 Knowledge Based Systems: Logic and Deduction | Lecture - 9 First Order Logic | Lecture - 10 Inference in First Order Logic |
 |  |  |
| Lecture - 11 Resolution - Refutation Proofs | Lecture - 12 Resolution Refutation Proofs | Lecture - 13 Logic Programming : Prolog |
 |  |  |
| Lecture - 14 Prolog Programming | Lecture - 15 Prolog: Exercising Control | Lecture - 16 Additional Topics |
 |  |  |
| Lecture - 17 Introduction to Planning | Lecture - 18 Partial Order Planning | Lecture - 19 GraphPLAN and SATPlan |
 |
| Lecture - 20 SATPlan |
