Balder ten Cate, Maurice Funk, Jean Christoph Jung, Carsten Lutz. SAT-based PAC Learning of Description Logic Concepts (Extended Abstract). In Oliver Kutz, Carsten Lutz, Ana Ozaki, editors, Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023)., Rhodes, Greece, September 2-4, 2023. Volume 3515 of CEUR Workshop Proceedings, CEUR-WS.org, 2023. [doi]
@inproceedings{CateFJL23-0,
title = {SAT-based PAC Learning of Description Logic Concepts (Extended Abstract)},
author = {Balder ten Cate and Maurice Funk and Jean Christoph Jung and Carsten Lutz},
year = {2023},
url = {https://ceur-ws.org/Vol-3515/abstract-9.pdf},
researchr = {https://researchr.org/publication/CateFJL23-0},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023)., Rhodes, Greece, September 2-4, 2023},
editor = {Oliver Kutz and Carsten Lutz and Ana Ozaki},
volume = {3515},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}