On the Complexity of Finding Good Proofs for Description Logic Entailments

Download PDF

Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova

Published: 01 Jan 2020, Last Modified: 15 Aug 2024Description Logics 2020EveryoneRevisionsBibTeXCC BY-SA 4.0