'Resolution - Refutation Proofs' Video Lecture

Resolution - Refutation Proofs

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

    • Resolution - Refutation Proofs - 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 >> Resolution Refutation Proofs
    Download this video in MP4, FLV & 3GP formats
    Format  Size  Download
    MP4 261 MB MP4 Video Download Link 1
    MP4 261 MB MP4 Video Download Link 2
    FLV 215 MB FLV Video Download Link 1
    FLV 215 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