Logic 6 - Propositional Resolutions | Stanford CS221: AI (Autumn 2021)
26:10
Logic 7 - First Order Logic | Stanford CS221: AI (Autumn 2021)
22:14
Logic 1 - Overview: Logic Based Models | Stanford CS221: AI (Autumn 2021)
1:18:34
Logic 1 - Propositional Logic | Stanford CS221: AI (Autumn 2019)
10:32
An Introduction to Propositional Logic
1:19:55
Logic 2 - First-order Logic | Stanford CS221: AI (Autumn 2019)
16:08
Logic 8 - First Order Modus Ponens | Stanford CS221: Artificial Intelligence (Autumn 2021)
10:53
Logic 9 - First Order Resolution | Stanford CS221: AI (Autumn 2021)
24:20