20:14

Inference in First Order Logic (FOL) and Unification

16:10

Models And KBs

19:32

Logic 6 - Propositional Resolutions | Stanford CS221: AI (Autumn 2021)

30:29

Constraint satisfaction problems

38:34

Logic 3 - Propositional Logic Semantics | Stanford CS221: AI (Autumn 2021)

36:22

Introduction to Big O Notation and Time Complexity (Data Structures & Algorithms #7)

50:05

6. Monte Carlo Simulation

20:37

minimax algorithm