Prerequisites: graduate standing or consent of instructor

Description: A review of recent research topics in the fields of artificial intelligence and logic programming. Emphasizes expert systems, automated reasoning, and knowledge representation. May be taken Satisfactory (S) or No Credit (NC) by students advanced to candidacy for the Ph.D. Course is repeatable to a maximum of 8 units.