Neuigkeit vom 20. September 2023

ICCL-Forschende mit Distinguished Paper Award geehrt

Forscher:innen des International Center for Computational Logic (ICCL) der TU Dresden wurden mit dem Harol Boley Distinguished Paper Award auf der diesjährigen RuleML+RR Konferenz ausgezeichnet.

Auf der International Joint Conference on Rules and Reasoning (RuleML+RR) treffen sich jedes Jahr führende Experten:innen auf dem Gebiet der regelbasierten Logik. Die Konferenz bietet damit eine gemeinsame Plattform für Foscher:innen sowie Fachleuten aus der Industrie, sich über die neusten Entwicklungen und Ideen in diesem Gebiet auszutauschen.

Das mit dem Award ausgezeichnete Paper "Combining Proofs for Description Logic and Concrete Domain Reasoning" von Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann und Alisa Kovtunova befasst sich mit Methoden, um Beweise für die von DL-Reasonern abgeleiteten Fakten möglichst benutzerfreundlich darzustellen.

Diese herausragende Leistung demonstriert das Engagement des Instituts, zukunftsweisende Forschung in den Bereichen künstliche Intelligenz und Wissensrepräsentation voranzutreiben.