Course Prefix:CSECourse #: 563Keywords:showing 0 to 1
CSE 563LEC Knowledge Representation
An introduction to the issues and techniques of representing knowledge and reasoning in a computer system. Syntax and semantics of various representational formalisms including predicate logic, logic programming, description logics and constraints. Current software tools will be used in projects.
3 Grading: Graded (GRD) Typically Offered:Varies