Foundations of Artificial Intelligence
