UMKC Catalog
PrintPrint


Loading

Computer Science (COMP-SCI) - Inference Techniques And Knowledge Representation
COMP-SCI 5564      Inference Techniques And Knowledge Representation
Inference Techniques is an in-depth course of logic and automatic theorem proving, intended for Computer Science graduate students, with particular importance to those students interested in Artificial Intelligence. The main areas of study will be concerned with the principals and techniques used for automatic theorem proving. An overview of the representation of knowledge and logic, a detailed appreciation of theorem proving methods, and implementation techniques will be provided in the course. The course will provide background for further study in varying fields of A.I. Prerequisite: CS 461 or consent of instructor.
Faculty: School of Computing & Engineer
Department: Comp Sci & Elect Engr
Back