CSC361 Artificial Intelligence - Fall 2015

Introduction to AI problem solving - Search - Local Search - Knowledge representation - Constraint Satisfaction - Propositional Logic - First-Order Logic - Automatic theorem proving - Reasoning - Introduction to Machine Learning.