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

Lecture 45 - First-order Logic (FOL)