Part 8 of Artificial Intelligence, in which I introduce some methods for representing and reasoning with knowledge.
No download links available.