NPTEL Video Course : Artificial Intelligence (Prof. Anupam Basu)

Lecture 14 - Reasoning Using First Order Logic