News

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“.

07/13/2023

Tutorial on Concept Learning in Description Logics at KR 2023

Jointly with colleagues from the universities of Paderborn, Leipzig, and Liverpool, Jean Christoph Jung will offer a tutorial on concept learning in…

06/29/2023

Three articles by group Logic and Computing accepted at MFCS 2023

At the conference MFCS 2023 two papers from the Logic and Computing group and one paper from an undergraduate student were accepted.