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

Lecture 110 - Kripke Structures: Possible Worlds Semantics