Tuesdays and Thursdays 2 pm; Room CSI 1121
This course surveys many important artificial intelligence methods, and illustrates their use for applications. Topics covered include AI programming languages, search, mechanical theorem proving, knowledge representation and inference, natural language processing, planning, machine learning, neural networks, evolutionary computation, and artificial life.
