News
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.
One Article by group Knowledge-Based Systems accepted at KR 2024
One Article by group Knowledge-Based Systems accepted at KR 2024
Courses for the winter semester 2024/2025
The overview of the courses for the winter semester 2024/2025 is now online.
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…
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).
One Article by group Knowledge-Based Systems accepted at IJCAI 2024
One Article by group Knowledge-Based Systems accepted at IJCAI 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…
Courses for the summer semester 2024
The overview of the courses for the summer semester 2024 is now online.