Computer Science 311: Artificial Intelligence