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) with consent of instructor and graduate advisor. Course is repeatable to a maximum of 8 units.