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

Lecture 10 - Inference in First Order Logic