Distinguished Paper on IJCAI 2023
- Forschung
The paper "SAT-Based PAC learning of Description Logic Concepts" by Balder ten Cate (University of Amsterdam), Maurice Funk (University of Leipzig), Jean Christoph Jung (TU Dortmund) and Carsten Lutz (University of Leipzig) was awarded a Distinguished Paper Award at the 32nd International Joint Conference on Artificial Intelligence ( IJCAI 2023) - one of the top conferences on the foundations of artificial intelligence, see: https: //ijcai-23.org/distinguished-paper-awards/
The full version is available at Arxiv: https: //arxiv.org/abs/2305.08511
The SPELL tool presented in the paper is freely available: https: //github.com/spell-system/SPELL