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

Lecture 9 - First Order Logic