'SATPlan' Video Lecture

SATPlan

  • Course: Artificial Intelligence
  • Discipline: Computer Science and Engineering
  • Faculty: Prof. P. Dasgupta
  • Institute: IIT Kharagpur

    • SATPlan - Click on the Video Link shown below to play the video on Youtube. Browse through Artificial Intelligence (Computer Science and Engineering) Video Lectures by Prof. P. Dasgupta from IIT Kharagpur through NPTEL.

    NEXT LECTURE >> Reasoning under uncertainty
    Download this video in MP4, FLV & 3GP formats
    Format  Size  Download
    MP4 259 MB MP4 Video Download Link 1
    MP4 259 MB MP4 Video Download Link 2
    FLV 283 MB FLV Video Download Link 1
    FLV 283 MB FLV Video Download Link 2
    3gp 67 MB 3gp Video Download Link 1
    3gp 67 MB 3gp Video Download Link 2
    Search Courses
    Course Video Lectures Introduction to Artificial Intelligence Problem Solving by Search Searching with Costs Informed State Space Search Heuristic Search: A* and Beyond Problem Reduction Search: AND/OR Graphs Searching Game Trees Knowledge Based Systems: Logic and Deduction First Order Logic Inference in First Order Logic Resolution - Refutation Proofs Resolution Refutation Proofs Logic Programming : Prolog Prolog Programming Prolog: Exercising Control Additional Topics Introduction to Planning Partial Order Planning GraphPLAN and SATPlan SATPlan Reasoning under uncertainty Bayesian Networks Reasoning with Bayes Networks Reasoning with Bayes networks (Contd.) Reasoning under uncertainty: Issues Learning : Decision Trees Learning : Neural Networks Back Propagation Learning
    2015. EngineeringVideoLectures.com