NPTEL Video Course : NOC:Fundamentals of Artificial Intelligence

Lecture 15 - Inference in First Order Logic - II