The paper "Inconsistency Handling in DatalogMTL" by our colleague Atefe Khodadaditaghanaki was accepted at the International Joint Conference on Artificial Intelligence 2025 (IJCAI-25). A link to the conference will follow. Abstract In this paper, we explore the issue of inconsistency handling in DatalogMTL, an extension of Datalog with metric temporal operators. Since facts are associated with time intervals, there are different manners to…

The Knowledge Representation group welcomes a new member of staff, Atefe Khodadaditaghanaki.

The paper "Common Foundations for SHACL, ShEx, and PG-Schema" by our colleague Cem Okulmus was accepted at the 2025 ACM Web Conference 2025 (WWW 25).

The KR group welcomes new group member Dr. Cem Okulmus.

Anni-Yasmin Turhan has been appointed a general chair of Declarative AI 2025 together with Ahmet Soylu and Hasan Dağ.

The paper "Solving Polynomial Equations Over Finite Fields" by our colleague Anselm Haak was published on SODA25 (ACM-SIAM Symposium on Discrete Algorithms). A list of the published papers can be found here.

The paper Reasoning in Rough Description Logics with Multiple Indiscernibility Relations by Rafael Peñaloza and Anni-Yasmin Turhan has been awarded the Harold Boley Distinguished Paper Award of the International Joint Conference on Rules and Reasoning (RuleML+RR). A picture of the award ceremony can be found here.

The KR group welcomes new group member Dr. Anselm Haak!