Course Description: Principles and practice of organizing and building artificial intelligence reasoning systems. Pattern-directed rule systems, truth-maintenance systems, and constraint languages.
Prerequisites: 348 and 325 or equivalent
Sample course web site: here
Last edited 2/22/07 by KDF