Description: Prereq- uisite(s): graduate standing or consent of instructor. A review of recent research topics in the fields of artifi- cial intelligence and logic programming. Emphasizes expert systems, automated reasoning, and knowledge representation. May be taken Satisfactory (S) or No Credit (NC) with consent of instructor and graduate advisor. Course is repeatable to a maximum of 8 units.