Prerequisites: A minimum grade of “B-” in CS 504 and CS 528. (First semester—odd years/3 credits)
This course provides a comprehensive examination of current approaches to knowledge
representation. Topics covered will include first order logic, ontological engineering, reasoning
systems and dealing with uncertainty.