Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova. On the Complexity of Finding Good Proofs for Description Logic Entailments. In Stefan Borgwardt, Thomas Meyer 0002, editors, Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), Online Event [Rhodes, Greece], September 12th to 14th, 2020. Volume 2663 of CEUR Workshop Proceedings, CEUR-WS.org, 2020. [doi]
Abstract is missing.