NPTEL Video Course : NOC:Fundamentals of Artificial Intelligence

Lecture 12 - First Order Logic - I