CSC 8520
:
Artificial Intelligence
Problem-solving methods; knowledge representation; search; predicate calculus; automated theorem proving; natural language processing.
Prerequisites
CSC 8301 :C