News
Courses in the summer semester 2023
The courses for the summer semester 2023 are now online.
SchwentickFest
On the occasion of Prof. Thomas Schwentick's 60th birthday, the "SchwentickFest", a workshop organized by some of Prof. Schwentick's cooperation…
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.
Courses in the winter semester 2022/2023
The courses for the winter semester 2022/2023 are now online.
Outstanding Paper Award
At the 52nd International Symposium on Multiple-valued Logic...
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...
Three articles related to Multiple-Valued Systems were accepted for presentation and publication as part of ISMVL-2022.
These are...
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...
New journal TheoretiCS launched
We are happy to announce the launch of TheoretiCS, a new open-access journal dedicated to Theoretical Computer Science.
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…
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…
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…
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…