NPTEL Video Course : Artificial Intelligence (Prof. P. Dasgupta)

Lecture 11 - Resolution - Refutation Proofs