C S 5440 - Topics in Artificial Intelligence (3)

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: C S 4440 (Artificial Intelligence).