4:43

8. Proof by Backward Chaining Approach Example Propositional Logic in Artificial Intelligence

8:13

9. Unification in First Order Logic Propositional Logic Artificial Intelligence by Mahesh Huddar

8:24

1. MiniMax Search Algorithm Solved Example | Min Max Search Artificial Intelligence by Mahesh Huddar

1:18:34

Logic 1 - Propositional Logic | Stanford CS221: AI (Autumn 2019)

9:08

14 Proof by Resolution First Order Logic Solved Example Artificial Intelligence Mahesh Huddar Part 1

19:19

CS461 AI Lecture: Tracing the Unify Algorithm (Optional)

15:08

Forward and BackwardChaining

26:10

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