Volume: Vol-4230 DL 2026 | Year: 2026

Paper: « preface2026 | invited-abstract1 | invited-abstract2 »

Computing Interpolants in Description Logics

• Jean Christoph Jung

PDF