342: Neural Networks (Miikkulainen)

343: Artificial Intelligence (Mooney)

343: Artificial Intelligence (Miikkulainen)

351: LISP and Symbolic Computation (Mooney)

378: Natural Language Processing (Harris)

381K: Artificial Intelligence (Miikkulainen)

381K: Artificial Intelligence (Novak)

388L: Intro to Mathematical Logic (Lifschitz)

391L: Machine Learning (Mooney)

394: Expert Systems (Porter)

394N: Neural Networks (Miikkulainen)

394P: Automatic Programming (Novak)

395T: Knowledge-Based Systems (Porter)

395T: Cognitive Science (Porter)

395T: Cognitive Science (Miikkulainen)

395T: Answer Set Programming (Lifschitz)

395T: Large-Scale Data Mining (Dhillon)

395T: Topics in Theorem Proving.:ACL2 (Moore)

395T: Intelligent Robotics (Kuipers)