Stanford CS221 | Autumn 2025 | Lecture 16: Logic II
Stanford Online · 75:47
First-order logic is presented as a knowledge-representation language that can compactly encode objects, rules, and quantified claims about the world, then support inference—unlike propositional logic, which treats ea...