To content

News

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.

08/23/2022

Courses in the winter semester 2022/2023

The courses for the winter semester 2022/2023 are now online.

06/07/2022

Outstanding Paper Award

At the 52nd International Symposium on Multiple-valued Logic...

05/12/2022

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

04/07/2022

Three articles related to Multiple-Valued Systems were accepted for presentation and publication as part of ISMVL-2022.

These are...

03/31/2022

Paper from the LogiDAC working group published and presented at ICDT 2022

The paper “Rewriting with Acyclic Queries: Mind Your Head” by Gaetano Geck, Jens Keppeler, Thomas Schwentick, and Christopher Spinrath has been...

03/22/2022

New journal TheoretiCS launched

We are happy to announce the launch of TheoretiCS, a new open-access journal dedicated to Theoretical Computer Science.

08/26/2021

Article accepted for the journal International Journal of Approximate Reasoning.

The Article “Simple Contrapositive Assumption-Based Argumentation. Part II: Reasoning with Preferences” by Jesse Heyninck and Ofer Arieli (Academic…

08/26/2021

Further article accepted for presentation and publication at JELIA 2021.

The article "Conditional Descriptor Revision and its Implementation by a CSP" by Jonas Haldimann (FernUniversität in Hagen), Kai Sauerwald…

08/26/2021

Two articles from the IE working group accepted as part of KR2021.

The article "Revision and Conditional Inference" for Abstract Dialectical Frameworks by Jesse Heyninck, Gabriele Kern-Isberner, Tjitze Rienstra (WeST…

08/25/2021

Two articles from the working group accepted as part of NMR2021.

The articles "Arguing about Complex Formulas: Generalizing Abstract Dialectical Frameworks" and "Possibilistic logic underlies abstract dialectical…

Location & approach