Distinguished Paper at IJCAI 2023
Prof. Jung receives Distinguished Paper Award for the paper „SAT-Based Learning of Description Logic Concepts“.
Courses for the winter semester 2023/2024
The overview of the courses for the winter semester 2023/2024 is now online.
Tutorial on Concept Learning in Description Logics at KR 2023
Jointly with colleagues from the universities of Paderborn, Leipzig, and Liverpool, Jean Christoph Jung will offer a tutorial on concept learning in…
Three articles by group Logic and Computing accepted at MFCS 2023
At the conference MFCS 2023 two papers from the Logic and Computing group and one paper from an undergraduate student were accepted.
New DFG-funded project „Plausible Reasoning and Revision in AI Along Two Dimensions: Syntax Splitting and Kinematics Principles“
The DFG funds the project "Plausible Reasoning and Revision in AI Along Two Dimensions: Syntax Splitting and Kinematics Principles" for three years...
One Article by group Knowledge-Based Systems accepted at IJCAI 2023
The article "SAT-Based PAC learning of Description Logic Concepts" by Balder ten Cate (University of Amsterdam), Maurice Funk (Leipzig University),…
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. The project of the…
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.