Stéphane Demri (LMF, CNRS) and Karin Quaas (Leipzig University) received the Best-Paper Award at JELIA 2023, the 18th Edition of the European Conference on Logics in Artificial Intelligence, which is a major forum for logic-based approaches to AI.
In their award-winning contribution, entitled First Steps Towards Taming Description Logics with Strings, Stéphane Demri and Karin Quaas present the first complexity result for an expressive description logic with a nontrivial concrete domain on strings.