News

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…

11/03/2022

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.

10/01/2022

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…