News from the research group Computational Logic of September 7, 2017

Best Paper Award for Sebastian Rudolph and Lukas Schweizer

At EPIA 2017, Sebastian Rudolph and Lukas Schweizer were awarded with the Springer-sponsored Best Paper Award for their paper with the title "Not too Big, Not too Small…Complexities of Fixed-Domain Reasoning in First-Order and Description Logics". The EPIA Conference on Artificial Intelligence is a well-established Portuguese AI Conference with international participation. This year's installation received 177 submissions, of which 71 were accepted.

More info at: https://web.fe.up.pt/~epia2017/best-paper-award/