One Article by group Knowledge-Based Systems accepted at IJCAI 2023
The article "SAT-Based PAC learning of Description Logic Concepts" by Maurice Funk (Leipzig University), Jean Christoph Jung (TU
New DFG-funded project "Foundations of work-efficient constant-time parallel dynamic and static algorithms"
The DFG funds the project "Foundations of work-efficient constant-time parallel dynamic and static algorithms" for three years...
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.
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...