Aktuelles
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.
Arbeit aus der Arbeitsgruppe Knowledge-Based Systems akzeptiert
Eine Arbeit der AG Knowledge-Based Systems wurde bei der KR 2024 angenommen.
Übersicht der Lehrveranstaltungen im Wintersemester 2024/2025
Die Übersicht der Lehrveranstaltungen für das Wintersemester 2024/2025 ist ab jetzt online.
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…
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).
Arbeit aus der Arbeitsgruppe Knowledge-Based Systems akzeptiert
Eine Arbeit der AG Knowledge-Based Systems wurde bei der IJCAI 2024 angenommen.
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…
Übersicht der Lehrveranstaltungen im Sommersemester 2024
Die Übersicht der Lehrveranstaltungen für das Sommersemester 2024 ist ab jetzt online.