CS-171 Final Review First-Order Logic, Knowledge Representation (8.1-8.5) Constraint Satisfaction Problems (6.1-6.4) Machine Learning (18.1-18.12, 20.1-20.3.2)
