Personally, I find the lack of logic programming, and logic in general, a rather notable property of the outlined curriculum. In fact, "logic" is nowhere explicitly mentioned in the course titles. Neither are "formal" and "method". For comparison, at the department of AI in Edinburgh, Prolog was very important and even actively developed to such an extent that current Prolog systems are still hugely influenced by "Ed…
>Also, theorem proving is an important area of computer science with many connections to AI. I think this is only true if you use a different definition of AI than the one likely used here. Expert systems aren't considered to be very effective tools for useful "AI" anymore. You can't define a procedure to recognize a happy face in logic programming, at least not with any degree of efficiency.
This cannot be the test to differentiate between AI and "AI"?