These are especially good
NB: As of 8/08, all of these
links work, though they don't necessarily lead to the most recent
version of the course; you may have to search around a bit):
Levesque, Hector J. (1986), "Knowledge Representation and Reasoning",
in Joseph F. Traub, Barbara J. Grosz, Butler W. Lampson,
& Nils J. Nilsson (eds.), Annual Review of Computer Science
(Palo Alto, CA: Annual Reviews) 1: 255-287.
Levesque, Hector J. (1986),
"Making Believers out of Computers",
Artificial Intelligence
30: 81-108.