From the 1989-90 Bulletin:
In-depth study of areas selected from among knowledge representation, problem solving,
expert systems, planning, natural language, speech, robotics, computer vision, program
synthesis, program verification, theorem proving, and others. Focus ranges from basic
approaches to recent developments. Familiarity with basic concepts and techniques of
artificial intelligence required. Prerequisite: Computer Science 131.
This course was taught by Jim Schmolze.