NPTEL Video Course : NOC:Fundamentals of Artificial Intelligence

Lecture 13 - First Order Logic - II