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 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.
