Advanced topics in artificial intelligence. Possible areas include knowledge representation, LISP or PROLOG, search strategies, heuristics, goal refinement, theorem proving, and symbolic problem solving.
Prerequisites & Notes: Graduate student status or instructor permission.