TY  - RPRT
TI  - SAT-Based PAC Learning of Description Logic Concepts
AU  - Balder ten Cate
AU  - Maurice Funk
AU  - Jean Christoph Jung
AU  - Carsten Lutz
PY  - 2023
UR  - https://arxiv.org/abs/2305.08511
ID  - 2305.08511
ER  -