This class was tough.
This is a foundation and mandatory course for all students interested in KR. The course is heavily on FOL and some DL. The instructor has been teaching this course for a while and he does a very good job teaching it. You should go to his office hours whenever possible. It is not easy but it is worth the time and effort.
KR in general, FOL, resolution, horn-clause, DL, default, belief, etc.
Hours per week:
Advice for students:
Read the textbook before you go to class. Read it before you take the course if possible. Go to intructor's office hours whenever possible