Lectures in this course:28 1 - Introduction to Artificial Intelligence (59:46) 2 - Problem Solving by Search (59:52) 3 - Searching with Costs (59:55)

4 - Informed State Space Search (59:55) 5 - Heuristic Search: A* and Beyond (59:56) 6 - Problem Reduction Search: AND/OR Graphs (59:52) 7 - Searching Game Trees (59:55) 8 - Knowledge Based Systems: Logic and Deduction (59:55) 9 - First Order Logic (59:50) 10 - Inference in First Order Logic (59:55) 11 - Resolution - Refutation Proofs (59:56) 12 - Resolution Refutation Proofs (01:00:00) 13 - Logic Programming : Prolog (59:50) 14 - Prolog Programming (59:44) 15 - Prolog: Exercising Control (59:48) 16 - Additional Topics (59:53) 17 - Introduction to Planning (59:54) 18 - Partial Order Planning (59:58) 19 - GraphPLAN and SATPlan (59:56) 20 - SATPlan (59:56) 21 - Reasoning under uncertainty (59:47) 22 - Bayesian Networks (59:54) 23 - Reasoning with Bayes Networks (59:56) 24 - Reasoning with Bayes networks (Contd.) (59:50) 25 - Reasoning under uncertainty: Issues (59:55) 26 - Learning : Decision Trees (59:54) 27 - Learning : Neural Networks (59:48) 28 - Back Propagation Learning (59:50)