Distinguished Paper auf IJCAI 2023
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/.
Ein Interview mit Maurice Funk über den Artikel ist auf AIhub erschienen: https://aihub.org/2023/10/26/ijcai2023-distinguished-paper-interview-with-maurice-funk-knowledge-bases-and-querying/.
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