Teaching
Courses Winter 18:
COMP 3400 Computational Logic and Automated Reasoning
COMP 5307: Knowledge Representation