Stanford CS221 | Autumn 2025 | Lecture 16: Logic II

For more information about Stanford’s Artificial Intelligence professional and graduate programs, visit: https://stanford.io/ai To learn more about enrolling in this course, visit: https://online.stanford.edu/courses/cs221-artificial-intelligence-principles-and-techniques Please follow along with the course schedule: https://stanford-cs221.github.io/autumn2025/ Teaching Team Percy Liang, Associate Professor of Computer Science (and courtesy in Statistics)