CSCE 780: Knowledge Representation
3 credits.
Pre-Requisites or Co-Reqs:
Prereq: CSCE 580
Representation techniques and languages for symbolic knowledge, including predicate calculus, frame-based systems, and terminological systems; computer reasoning using these systems.