News
37th Campus Run of the TU Dortmund University on May 24, 2023
Several members of our chair participated in this year's campus run of TU Dortmund University...
Courses in the summer semester 2023
The courses for the summer semester 2023 are now online.
SchwentickFest
On the occasion of Prof. Thomas Schwentick's 60th birthday, the "SchwentickFest", a workshop organized by some of Prof. Schwentick's cooperation…
The chair 1 - Logic in Computer Science is pleased to welcome a new member
Since November 1, 2022, Prof. Jean Christoph Jung has been a new member of the chair.
New DFG-funded project "CASPER – Conditionals and ASP for Expert Reasoning"
The DFG funds the project "A Hybrid Knowledge-Based System Using Conditionals and ASP With Interactive Modelling Environment and Application to…
Courses in the winter semester 2022/2023
The courses for the winter semester 2022/2023 are now online.
Outstanding Paper Award
At the 52nd International Symposium on Multiple-valued Logic...
Four articles from the IE working group accepted at 31st International Joint Conference on Artificial Intelligence / 25th European Conference on Artificial Intelligence (IJCAI-ECAI 2022).
These are...
Three articles related to Multiple-Valued Systems were accepted for presentation and publication as part of ISMVL-2022.
These are...