The classical foundations of machines that reason, search and plan. Intelligent agents, search from breadth-first to A*, adversarial game-playing, constraint satisfaction, logic and knowledge, planning, and reasoning when the world is uncertain.
This subject course follows the topic vertically, across the years it spans. The lessons are still being written — each is shown as a placeholder.