NPTEL Video Course : NOC:Artificial Intelligence: Concepts and Techniques

Lecture 20 - Inference in First Order Logic