1 CS 2710, ISSP 2160 The Situation Calculus KR and Planning Some final topics in KR.
CS 2710, ISSP 2160