SAT-Based PAC Learning of Description Logic Concepts

ten Cate et al. "SAT-Based PAC Learning of Description Logic Concepts." International Joint Conference on Artificial Intelligence, 2023. doi:10.24963/IJCAI.2023/373

[ten Cate et al. "SAT-Based PAC Learning of Description Logic Concepts." International Joint Conference on Artificial Intelligence, 2023.](https://mlanthology.org/ijcai/2023/tencate2023ijcai-sat/) doi:10.24963/IJCAI.2023/373

@inproceedings{tencate2023ijcai-sat,
  title     = {{SAT-Based PAC Learning of Description Logic Concepts}},
  author    = {ten Cate, Balder and Funk, Maurice and Jung, Jean Christoph and Lutz, Carsten},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2023},
  pages     = {3347-3355},
  doi       = {10.24963/IJCAI.2023/373},
  url       = {https://mlanthology.org/ijcai/2023/tencate2023ijcai-sat/}
}