NPTEL Video Course : Artificial Intelligence (Prof. Deepak Khemani)

Lecture 46 - Reasoning in FOL