News
11/18/2024
2nd Workshop on Craig Interpolation and Beth Definability, Nov 27-28th
On November 27-28th, the Knowledge-Based Systems Group of Chair 1 will host the 2nd workshop on Craig Interpolation and Beth Definability.
11/05/2024
One Article by group Knowledge-Based Systems accepted at KR 2024
One Article by group Knowledge-Based Systems accepted at KR 2024
07/18/2024
Courses for the winter semester 2024/2025
The overview of the courses for the winter semester 2024/2025 is now online.
06/06/2024
Prof. Dr-Ing Dr. h.c. Claudio Moraga - Keynote lecture on the history of the ISMVL Symposia
In the last week of May, the 54th International Symposium on Multiple-valued Logic was hosted by the Masarik University, in Brno, Czech Republic. In…
05/17/2024
Workshop on Answer Set Programming – May 28, 2024
On May 28, 2024, the Information Engineering Group of Chair 1 will host a workshop on Answer Set Programming (ASP).
05/17/2024
One Article by group Knowledge-Based Systems accepted at IJCAI 2024
One Article by group Knowledge-Based Systems accepted at IJCAI 2024.
03/05/2024
Prof. Dr.-Ing. Dr. h. c. Claudio Moraga involved as co-author in book publication
The book "Bent Functions and Permutation Methods" by Radomir Stanković, Milena Radomir Stanković, Claudio Moraga and Jakko Astola was published by…
02/01/2024
Courses for the summer semester 2024
The overview of the courses for the summer semester 2024 is now online.