CSC562 Artificial Intelligence (joint) - Spring 2015

Introduction to AI problem solving - Search - Local Search - Knowledge representation: First-Order Logic - Automatic theorem proving - Planning - Reasoning - reasoning with uncertainty - Belief Networks - Introduction to Machine Learning.