Please Wait. Loading Menu...

CS 544 Knowledge Representation and Reasoning

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.