Transcript Artificial Intelligence CS 165A Thursday, November 8, 2007  Inference in FOL (Ch 9)  Brief midterm review.