NPTEL Video Course : NOC:An Introduction to Artificial Intelligence

Lecture 46 - Logic in AI : Resolution - Part 5