1. Christian Alrabbaa , Franz Baader , Stefan Borgwardt , Patrick Koopmann , and Alisa Kovtunova . 2020 . Finding Small Proofs for Description Logic Entailments: Theory and Practice . In Proceedings of the 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR)(EPiC Series in Computing, Vol. 73) , Elvira Albert and Laura Kovács (Eds.). EasyChair, 32–67. Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, and Alisa Kovtunova. 2020. Finding Small Proofs for Description Logic Entailments: Theory and Practice. In Proceedings of the 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR)(EPiC Series in Computing, Vol. 73), Elvira Albert and Laura Kovács (Eds.). EasyChair, 32–67.
2. Christian Alrabbaa , Willi Hieke , and Anni-Yasmin Turhan . 2021 . Counter Model Transformation for Explaining Non-Subsumption in. In Proceedings of the 7th Workshop on Formal and Cognitive Reasoning co-located with 44th German Conference on Artificial Intelligence (KI)(CEUR Workshop Proceedings, Vol. 2961) , Christoph Beierle, Marco Ragni, Frieder Stolzenburg, and Matthias Thimm (Eds.). CEUR-WS.org, 9–22. Christian Alrabbaa, Willi Hieke, and Anni-Yasmin Turhan. 2021. Counter Model Transformation for Explaining Non-Subsumption in. In Proceedings of the 7th Workshop on Formal and Cognitive Reasoning co-located with 44th German Conference on Artificial Intelligence (KI)(CEUR Workshop Proceedings, Vol. 2961), Christoph Beierle, Marco Ragni, Frieder Stolzenburg, and Matthias Thimm (Eds.). CEUR-WS.org, 9–22.
3. Franz Baader , Sebastian Brandt , and Carsten Lutz . 2005 . Pushing the Envelope. In IJCAI-05 , Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI), Leslie Pack Kaelbling and Alessandro Saffiotti (Eds.). Professional Book Center, 364–369 . Franz Baader, Sebastian Brandt, and Carsten Lutz. 2005. Pushing the Envelope. In IJCAI-05, Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI), Leslie Pack Kaelbling and Alessandro Saffiotti (Eds.). Professional Book Center, 364–369.
4. Franz Baader , Ian Horrocks , Carsten Lutz , and Uli Sattler . 2017. An Introduction to Description Logic . Cambridge University Press . Franz Baader, Ian Horrocks, Carsten Lutz, and Uli Sattler. 2017. An Introduction to Description Logic. Cambridge University Press.