CS 544 Knowledge Representation & Reasoning

Prerequisites: CSIT 512 and CS 528. 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.