Lecture 1 - Introduction to Artificial Intelligence

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

Lecture 21 - Reasoning under uncertainty

Lecture 22 - Bayesian Networks

Lecture 23 - Reasoning with Bayes Networks

Lecture 24 - Reasoning with Bayes networks (Contd.)

Lecture 25 - Reasoning under uncertainty: Issues

Lecture 26 - Learning : Decision Trees

Lecture 27 - Learning : Neural Networks

Lecture 28 - Back Propagation Learning