NPTEL Video Course : NOC:Artificial Intelligence Search Methods For Problem Solving

Lecture 83 - First Order Logic