Eine Arbeit der AG Knowledge-Based Systems wurde bei der IJCAI 2023 angenommen.
Die Arbeit "SAT-Based PAC learning of Description Logic Concepts" von Balder ten Cate (Universität von Amsterdam), Maurice Funk (Universität Leipzig), Jean Christoph Jung (TU Dortmund) und Carsten Lutz (Universität Leipzig) wurde bei der 32nd International Joint Conference on Artificial Intelligence (IJCAI 2023) angenommen.
Die volle Version ist bei Arxiv erhältlich: https://arxiv.org/abs/2305.08511
Das in der Arbeit vorgestellte Tool SPELL ist frei zugänglich: https://github.com/spell-system/SPELL