A study of symbolic processing and intelligent applications; major models, state-space, problem-subproblem, automated deduction will be applied to solve problems in heuristic programming and artificial intelligence. This course is usually offered in alternate years.