News

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…

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…