News
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.
Distinguished Paper at IJCAI 2023
Prof. Jung receives Distinguished Paper Award for the paper „SAT-Based Learning of Description Logic Concepts“.
Courses for the winter semester 2023/2024
The overview of the courses for the winter semester 2023/2024 is now online.