Artificial Intelligence (Advanced Topics)

In depth study of a few major areas historically considered to be part of artificial intelligence.

In depth study of a few major areas historically considered to be part of artificial intelligence; In particular; detailed coverage will be given to the design considerations involved in the following applications: automatic theorem proving; natural language understanding and machine learning