Volume: Vol-4091 DL 2025 | Year: 2025

Paper: « paper21 | paper22 | paper23 »

Computation of Interpolants for Description Logic Concepts in Hard Cases

• Jean Christoph Jung
• Jedrzej Kolodziejski
• Frank Wolter

PDF