CS472: Foundations of Artificial Intelligence
