Best Paper Award für Forschende des ICCL

Franz Baader und Filippo De Bortoli erhielten den Best Paper Award im Information Systems Track des 39th ACM/SIGAPP Symposium on Applied Computing. Ausgezeichnet wurde das Paper "The Abstract Expressive Power of First-Order and Description Logics with Concrete Domains". In diesem Werk vergleichen die Autoren die Ausdrucksstärke von Prädikatenlogik erster Stufe mit der von Beschreibungslogiken erweitert um konkrete Domänen. Konkrete Domänen erlauben es, Objekte wie Zahlen und bestimmte Prädikate auf diesen Objekten wie Vergleichsoperationen innerhalb einer Beschreibungslogik zu referenzieren.

Herzlichen Glückwunsch!