News of September 20, 2023

ICCL Researchers received the Distinguished Paper Award at RuleML+RR 2023

In an outstanding achievement, researchers from the International Center for Computational Logic (ICCL) from TU Dresden were recognized with the Harol Boley Distinguished Paper Award at RuleML+RR 2023.

The International Joint Conference on Rules and Reasoning (RuleML+RR) is an annual gathering of leading experts in the rule based reasoning area. It provides a platform for researchers, academics, and industry professionals to exchange ideas and share the latest developments in these crucial fields.

The winning paper "Combining Proofs for Description Logic and Concrete Domain Reasoning" authored by Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, and Alisa Kovtunova; focuses on how to compute and display proofs for consequences derived by DL reasoners extended with Concrete Domains in a user-friendly way.

The Best Paper Award not only recognizes the ICCL's contributions to the field but also highlights the institute's commitment to advancing cutting-edge research in artificial intelligence and knowledge representation.