Der Beitrag "Inconsistency Handling in DatalogMTL" von unserer Mitarbeiterin Atefe Khodadaditaghanaki wurde auf der International Joint Conference on Artificial Intelligence 2025 (IJCAI-25) akzeptiert.
Der Beitrag "Common Foundations for SHACL, ShEx, and PG-Schema" von unserem Mitarbeiter Cem Okulmus wurde auf der 2025 ACM Web Conference 2025 (WWW 25) akzeptiert.
Der Beitrag "Solving Polynomial Equations Over Finite Fields" von unserem Mitarbeiter Anselm Haak wurde auf der SODA25 (ACM-SIAM Symposium on Discrete Algorithms) akzeptiert.
Eine Liste der veröffentlichten Paper finden Sie hier.
Das Paper Reasoning in Rough Description Logics with Multiple Indiscernibility Relations von Rafael Peñaloza und Anni-Yasmin Turhan wurde mit dem Harold Boley Distinguished Paper Award von der International Joint Conference on Rules and Reasoning (RuleML+RR) ausgezeichnetz. Ein Foto von der Verleihung finden sie hier.