16:10

Models And KBs

26:10

Logic 7 - First Order Logic | Stanford CS221: AI (Autumn 2021)

11:54

Resolution

15:40

What Is Fuzzy Logic? | Fuzzy Logic, Part 1

19:32

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

21:23

FOL (First Order Logic)

20:01

knowledge base agents (logical) and a bit of entailment

14:40

Conjunctive Normal Form (CNF) and Disjunctive Normal Form (DNF)