- 6.871, Knowledge Based
Application Systems, Spring 1996 and Spring 1997,
(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