Distinguished Paper auf IJCAI 2023
- Forschung
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) — einer der Top-Konferenzen zum Thema Grundlagen der Künstlichen Intelligenz — mit einem Distinguished Paper Award ausgezeichnet, siehe: https://ijcai-23.org/distinguished-paper-awards/
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