INF5170 – Master seminar in logic

Course content

The master seminar in logic treats topics in logic, knowledge representation and automatic reasoning. The themes will vary from semester to semester depending on th