01:20:39 duration 1 hour 20 minutes
AI 531: First Order Logic and Inference
AI 531 - First Order Logic Notation, Knowledge Engineering and Inference
01:25:26 duration 1 hour 25 minutes
AI 531: First Order Logic