Building Large Knowledge-Based Systems: Representation and Inference in the …

You will find that this textbook covers all the core material you need for the course.