CS472 Foundations of Artificial Intelligence
