Prerequisites: graduate standing or consent of instructor
Description: A review of recent research topics in the fields of artificial intelligence and logic programming with a particular emphasis on expert systems, auto- mated reasoning, and knowledge representation.