Lyon and Karge. "Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents." International Joint Conference on Artificial Intelligence, 2024.
Markdown
[Lyon and Karge. "Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents." International Joint Conference on Artificial Intelligence, 2024.](https://mlanthology.org/ijcai/2024/lyon2024ijcai-constructive/)
BibTeX
@inproceedings{lyon2024ijcai-constructive,
title = {{Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents}},
author = {Lyon, Tim S. and Karge, Jonas},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2024},
pages = {3484-3492},
url = {https://mlanthology.org/ijcai/2024/lyon2024ijcai-constructive/}
}