News

07/13/2023

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…

06/29/2023

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.

06/05/2023

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...

05/30/2023

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),…

05/26/2023

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…

05/25/2023

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...

02/03/2023

Courses in the summer semester 2023

The courses for the summer semester 2023 are now online.

02/02/2023

SchwentickFest

On the occasion of Prof. Thomas Schwentick's 60th birthday, the "SchwentickFest", a workshop organized by some of Prof. Schwentick's cooperation…