Introduction to Artificial Intelligence; logic programming; heuristic search; knowledge representation; expert systems.
