Startseite
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 [...] 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 Knowl …
