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

Lecture 19 - Inference in Predicate Logic