%0 Conference Paper %1 DBLP:conf/ijcai/CateFJL23 %A ten Cate, Balder %A Funk, Maurice %A Jung, Jean Christoph %A Lutz, Carsten %B Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023, 19th-25th August 2023, Macao, SAR, China %D 2023 %I ijcai.org %K imported %P 3347--3355 %R 10.24963/IJCAI.2023/373 %T SAT-Based PAC Learning of Description Logic Concepts %U https://doi.org/10.24963/ijcai.2023/373

@inproceedings{DBLP:conf/ijcai/CateFJL23, added-at = {2024-10-02T10:38:17.000+0200}, author = {ten Cate, Balder and Funk, Maurice and Jung, Jean Christoph and Lutz, Carsten}, bibsource = {dblp computer science bibliography, https://dblp.org}, biburl = {https://puma.scadsai.uni-leipzig.de/bibtex/25684e019af5721735f418af38bdcf567/scadsfct}, booktitle = {Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, {IJCAI} 2023, 19th-25th August 2023, Macao, SAR, China}, doi = {10.24963/IJCAI.2023/373}, interhash = {8d1d6284550c52b1a543dc1982bfc14c}, intrahash = {5684e019af5721735f418af38bdcf567}, keywords = {imported}, pages = {3347--3355}, publisher = {ijcai.org}, timestamp = {2024-10-02T10:38:17.000+0200}, title = {SAT-Based {PAC} Learning of Description Logic Concepts}, url = {https://doi.org/10.24963/ijcai.2023/373}, year = 2023 }