Courses Taught

6.871, Knowledge Based Application Systems, Spring 1996 and Spring 1997, MIT
(co-taught with Randall Davis)
6.893, Reasoning and Rationality, Spring 1993, MIT.
Graduate seminar, Spring 1987, Limited Reasoning and Rational Self-Government, Carnegie-Mellon University.
Graduate AI Class 15.780 (guest lecturer), Fall 1986, 1987. Lecture notes, How to Frame It: Modern applied logic from the top down, Carnegie-Mellon University.
Seminar, Spring 1983, Some Theories of Reasoned Assumptions, University of Pittsburgh.

Last modified: Wed Mar 31 10:47:49 EST 1999