Loading...
|
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
|
|
Print