CSCE 521 - Automated Reasoning

Credit Hours: 3
Lecture Contact Hours: 3 Lab Contact Hours: 0

Automated reasoning. Emphasis on logical, probabilistic, and non-monotonic reasoning.

Prerequisite(s): CMPS 420G or permission of instructor required