Instructor: Prof. P. Dasgupta, Department of Computer Science and Engineering, IIT Kharagpur.
This course provides an introduction to artificial intelligence, covering topics like Problem Solving by Search, Searching with Costs, Heuristic Search: A* and Beyond, Searching Game Trees, Knowledge-Based Systems: Logic and Deduction, First Order Logic, Inference in First-Order Logic, Logic Programming: Prolog, Prolog: Exercising Control, GraphPLAN and SATPlan, Reasoning with Bayes Networks.