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.

09/15/2023

Distinguished Paper at IJCAI 2023

Prof. Jung receives Distinguished Paper Award for the paper „SAT-Based Learning of Description Logic Concepts“.