Bartosz Bednarczyk wins the best student paper award at JELIA 2023.
From International Center for Computational Logic
News of October 20, 2023
Bartosz Bednarczyk wins the best student paper award at JELIA 2023.
Congratulations to Bartosz Bednarczyk of the Computational Logic Group at the ICCL for winning the best student paper award at the European Conference on Logics in Artificial Intelligence (JELIA 2023)! After having won the best student paper award at JELIA 2021, it is the second time that Bartosz contribution to JELIA has been honored.
This year's work "Beyond ALCreg: Exploring Non-Regular Extensions of PDL with Description Logics Features" investigates the impact of non-regular path expressions on the decidability of satisfiability checking and querying in description logics, establishing several undecidability results.
