University of Auckland
COMPSCI 761 Advanced Topics in Artificial Intelligence
Lecture Videos & Slides
-
Lecture 01: Introduction to Logic
Video
Slides
-
Lecture 02: Propositional Logic
Video
Slides
-
Lecture 03: Propositional Logic Inference
Video
Slides
-
Lecture 04: Agents Driven by Propositional Logic
Video
Slides
-
Lecture 05: First-order Logic
Video
Slides
-
Lecture 06: First-order Logic Inference
Video
Slides
-
Lecture 07: First-order Logic Inference -- Logic Programming
Video
Slides
-
Lecture 08: Classical Planning I: Task Representation
Video
Slides
-
Lecture 09: Classical Planning II: Planning via Search
Video
Slides
-
Lecture 10: Classical Planning III: Planning via Inference
Video
Slides
-
Lecture 11: Planning with Uncertainty I: Utilities and Decisions
Video
Slides
-
Lecture 12: Planning with Uncertainty II: Decision Networks
Video
Slides
-
Lecture 13: Reinforcement Learning I: Markov Decision Process
Slides
-
Lecture 14: Reinforcement Learning II: Monte-Carlo Methods
Slides
-
Lecture 15: Reinforcement Learning III: Temporal-Difference Learning
Video
Slides
-
Lecture 16: Reinforcement Learning IV: Value Function Approximation
Video
Slides
-
Lecture 17: Reinforcement Learning V: Policy Gradient Methods
Video
Slides
-
Lecture 18: Reinforcement Learning V: Policy Gradient Methods (Con'd)
Video
Slides
Tutorials, Assignments & Examinations
Video lectures are also publicly available at the
library managed by the Universiry of Auckland, where
copyright applies.
All of the above material can be viewed collectively in this
folder.
All of the above material is made available under
CC-BY-NC 4.0.
Some content in slides for Reinforcement Learning is adapted from
David Silver's lectures.
Some content comes from third parties and may not be included in the license.