CSC 244/444: Logical Foundations of Artificial Intelligence

Fall 2008 Information

An introduction to the logical foundations of AI including first-order logic, knowledge representation, deductive, nondeductive and probabilistic reasoning, and planning by intelligent agents.

Students taking this course at the 400 level will be required to complete additional readings and/or assignments, including a significant project or essay.

Prerequisites: CSC 173 and 242. (Fall)


Last changed 8/28/08 by Marty Guenther (marty@cs.rochester.edu)