NPTEL Video Course : NOC:Fundamentals of Artificial Intelligence

Lecture 14 - Inference in First Order Logic - I