Hinweis: Aufgrund von geplanten Wartungsarbeiten wird die Website am Mittwoch, 11. Februar 2026, ab 15:00 Uhr bis 22:00 Uhr nicht erreichbar sein.
Wir bitten dadurch entstandene Unannehmlichkeiten zu entschuldigen und danken für das Verständnis.
Zum Inhalt
Fakultät für Informatik

Eine Arbeit der AG Knowledge-Based Systems wurde bei der IJCAI 2023 angenommen.

news-icon conference © TU Dortmund

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