Balder ten Cate, Maurice Funk, Jean Christoph Jung, and Carsten Lutz.
SAT-Based PAC Learning of Description Logic Concepts. Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023, 19th-25th August 2023, Macao, SAR, China, 3347--3355, ijcai.org, 2023.
[PUMA:
imported]
URL