In-depth study of a few major areas historically considered to be part of artificial intelligence. Emphasizes the design considerations involved in automatic theorem proving, natural language understanding, and machine learning. Cross-listed as SYS 716. (Y)
Prerequisites & Notes Prerequisite: CS 616 or SYS 616.
