A survey of more advanced topics in artificial intelligence that involve logic, such as theorem proving, natural language processing, digital games,
knowledge representation. There will be assignments and a midterm but no final; instead, there will be small-group projects with presentations/demos
in class towards the end of term.
CSC 485B: Pre-requisite is 3rd year standing