Aktuelles
18.11.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.
05.11.2024
Arbeit aus der Arbeitsgruppe Knowledge-Based Systems akzeptiert
Eine Arbeit der AG Knowledge-Based Systems wurde bei der KR 2024 angenommen.
18.07.2024
Übersicht der Lehrveranstaltungen im Wintersemester 2024/2025
Die Übersicht der Lehrveranstaltungen für das Wintersemester 2024/2025 ist ab jetzt online.
06.06.2024
Prof. Dr-Ing Dr. h.c. Claudio Moraga - Hauptvortrag über die Geschichte der ISMVL Symposia
Das 54 International Symposium über Merwertige Logik fand in der letzten Maiwoche an der Masarik Universität, in Brno, Czech Republik, statt. In…
17.05.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).
17.05.2024
Arbeit aus der Arbeitsgruppe Knowledge-Based Systems akzeptiert
Eine Arbeit der AG Knowledge-Based Systems wurde bei der IJCAI 2024 angenommen.
05.03.2024
Prof. Dr.-Ing. Dr. h. c. Claudio Moraga als Co-Autor an Buchveröffentlichung beteiligt
Das Buch “Bent Functions and Permutation Methods” von Radomir Stanković, Milena Radomir Stanković, Claudio Moraga und Jakko Astola wurde vom Springer…
01.02.2024
Übersicht der Lehrveranstaltungen im Sommersemester 2024
Die Übersicht der Lehrveranstaltungen für das Sommersemester 2024 ist ab jetzt online.