ICCL Researchers win Best Paper Award at SAC 2024

Franz Baader and Filippo De Bortoli received the Best Paper Award in the Information Systems area at the 39th ACM/SIGAPP Symposium on Applied Computing for the paper "The Abstract Expressive Power of First-Order and Description Logics with Concrete Domains", in which they investigate and compare formal first-order properties of description logics and first-order logic with and without concrete domain constructors, which have been introduced in description logics to enable reference to specific features of entities and their comparison.

We congratulate to the authors for this outstanding archivement!