When Offered:Fall, Odd-numbered years This course will cover such topics as natural language processing, automated theorem-provers, expert system shells, and machine learning. Student projects will involve advanced logic programming techniques. Prerequisite: CS 4440 (Artificial Intelligence).
