CSCE 521 - Automated Reasoning

3 Credit Hour(s) 3 Lecture Hour(s) 0 Lab Hour(s)

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

Prereq: CMPS 420G or permission of instructor required