On thursday's class, I plan to do 1.(~20min) an example of resolution theorem proving in FOPC (see my slide about Rao and Valentines--that is the example I will use). Reading: Section 9.5. 2.(~50min) Reasoning with Uncertainty--start. Reading: Chapter 13--probably upto 13.6 Rao [Nov 11, 2003]