ML Anthology

Karge, Jonas

1 publications

IJCAI 2024 Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents Tim S. Lyon, Jonas Karge