One Article by group Knowledge-Based Systems accepted at IJCAI 2023
The article "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) und Carsten Lutz (Leipzig University) has been accepted at the 32nd International Joint Conference on Artificial Intelligence (IJCAI 2023) .
The full version of the article 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