Distinguished Paper at IJCAI 2023
![[Translate to English:]](/storages/zentraler_bilderpool/_processed_/6/0/csm_Publikation_73f8e8c20f.png "[Translate to English:]")
The paper "SAT-Based PAC learning of Description Logic Concepts" by Balder ten Cate (University of Amsterdam), Maurice Funk (Leipzig University), Jean Christoph Jung (TU Dortmund University) and Carsten Lutz (Leipzig University) received a Distinguished Paper Award at the32nd International Joint Conference on Artificial Intelligence (IJCAI 2023) — one of the premier forums for foundations of artificial intelligence, see https://ijcai-23.org/distinguished-paper-awards/.
An interview with Maurice Funk about the article is available at AIhub: https://aihub.org/2023/10/26/ijcai2023-distinguished-paper-interview-with-maurice-funk-knowledge-bases-and-querying/.
The full version of the paper is available on arxiv: https://arxiv.org/abs/2305.08511
The presented tool SPELL is freely available as well: https://github.com/spell-system/SPELL