%0 Conference Paper %1 conf/ijcai/CateFJL23 %A ten Cate, Balder %A Funk, Maurice %A Jung, Jean Christoph %A Lutz, Carsten %B IJCAI %D 2023 %I ijcai.org %K dblp %P 3347-3355 %T SAT-Based PAC Learning of Description Logic Concepts. %U http://dblp.uni-trier.de/db/conf/ijcai/ijcai2023.html#CateFJL23 %@ 978-1-956792-03-4

@inproceedings{conf/ijcai/CateFJL23, added-at = {2024-08-04T00:00:00.000+0200}, author = {ten Cate, Balder and Funk, Maurice and Jung, Jean Christoph and Lutz, Carsten}, biburl = {https://www.bibsonomy.org/bibtex/2129991e287b3b9afa52b78e27a7e695c/dblp}, booktitle = {IJCAI}, crossref = {conf/ijcai/2023}, ee = {https://doi.org/10.24963/ijcai.2023/373}, interhash = {8d1d6284550c52b1a543dc1982bfc14c}, intrahash = {129991e287b3b9afa52b78e27a7e695c}, isbn = {978-1-956792-03-4}, keywords = {dblp}, pages = {3347-3355}, publisher = {ijcai.org}, timestamp = {2024-10-21T07:11:48.000+0200}, title = {SAT-Based PAC Learning of Description Logic Concepts.}, url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai2023.html#CateFJL23}, year = 2023 }