Aktuelles
Neues DFG-Projekt "CASPER – Conditionals and ASP for Expert Reasoning"
Die DFG fördert das Projekt "Ein hybrides wissensbasiertes System auf der Basis von Konditionalen und ASP mit interaktiver Modellierungsumgebung und…
![DFG](/storages/logic-in-cs/_processed_/5/7/csm_dfg_logo_schriftzug_blau_foerderung_4c_47cf5f5414.jpg)
Lehrveranstaltungen im Wintersemester 2022/2023
Die Lehrveranstaltungen für das Wintersemester 2022/2023 sind ab jetzt online.
![Audimax Studierende sitzen in einer Vorlesung im Audimax.](/storages/zentraler_bilderpool/_processed_/f/5/csm_Audimax_Vorlesung-2_006092fe4c.jpg)
Outstanding Paper Award
Am 52. Internationalen Symposium über Mehrwertige Logik...
![Auszeichnungen Ein paar aufeinander liegende Urkunden.](/storages/zentraler_bilderpool/_processed_/c/8/csm_Auszeichnungen_Dokumente_6b77e76164.jpg)
Vier Arbeiten der IE-Gruppe wurden bei der 31st International Joint Conference on Artificial Intelligence / 25th European Conference on Artificial Intelligence (IJCAI-ECAI 2022) angenommen.
Es handelt sich um folgende Arbeiten:...
![news-icon conference news-icon conference](/storages/zentraler_bilderpool/_processed_/b/4/csm_news-tagung-konferenz_7c9881c218.jpg)
Drei Artikel bzgl. Mehrwertige Systeme wurden zur Präsentation und Veröffentlichung im Rahmen des ISMVL-2022 akzeptiert.
Es handelt sich um...
![news-icon conference news-icon conference](/storages/zentraler_bilderpool/_processed_/b/4/csm_news-tagung-konferenz_7c9881c218.jpg)
Artikel aus der Arbeitsgruppe LogiDAC im Rahmen der ICDT 2022 veröffentlicht und präsentiert
Der Artikel “Rewriting with Acyclic Queries: Mind Your Head” von Gaetano Geck, Jens Keppeler, Thomas Schwentick, und Christopher Spinrath wurde im...
![news-icon conference news-icon conference](/storages/zentraler_bilderpool/_processed_/b/4/csm_news-tagung-konferenz_7c9881c218.jpg)
New journal TheoretiCS launched
We are happy to announce the launch of TheoretiCS, a new open-access journal dedicated to Theoretical Computer Science.
Weiterer Artikel wurde zur Präsentation und Veröffentlichung im Rahmen der JELIA 2021 akzeptiert.
Der Artikel „Conditional Descriptor Revision and its Implementation by a CSP“ von Jonas Haldimann (FernUniversität in Hagen), Kai Sauerwald…
Artikel wurde für die Zeitschrift International Journal of Approximate Reasoning akzeptiert.
Der Artikel “Simple Contrapositive Assumption-Based Argumentation. Part II: Reasoning with Preferences” von Jesse Heyninck und Ofer Arieli (Academic…