NPTEL Video Course : NOC:Artificial Intelligence: Knowledge Representation and Reasoning

Lecture 9 - Logic and Representation: A Quick Tour