%0 Generic %1 lyon2024constructiveinterpolationconceptbasedbeth %A Lyon, Tim S. %A Karge, Jonas %D 2024 %K imported xack %R https://doi.org/10.24963/ijcai.2024/386 %T Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents %U https://arxiv.org/abs/2404.15840

@misc{lyon2024constructiveinterpolationconceptbasedbeth, added-at = {2024-12-11T10:24:08.000+0100}, archiveprefix = {arXiv}, author = {Lyon, Tim S. and Karge, Jonas}, biburl = {https://puma.scadsai.uni-leipzig.de/bibtex/2177362c763d0a482d0d81b542098ec65/scadsfct}, doi = {https://doi.org/10.24963/ijcai.2024/386}, eprint = {2404.15840}, interhash = {a1dae5c6dea722f32efd50df26c87d44}, intrahash = {177362c763d0a482d0d81b542098ec65}, keywords = {imported xack}, primaryclass = {cs.LO}, timestamp = {2025-02-26T14:48:24.000+0100}, title = {Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents}, url = {https://arxiv.org/abs/2404.15840}, year = 2024 }