F. Baader, P. Koopmann, F. Kriegel, and A. Nuradiansyah. LTCS-Report, 22-01. Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, Dresden, Germany, (2022)
F. Baader, P. Koopmann, F. Kriegel, and A. Nuradiansyah. Proceedings of the 19th Extended Semantic Web Conference, ESWC 2022, Hersonissos, Greece, May 29 -- June 2, 2022, volume 13261 of Lecture Notes in Computer Science, page 130--146. Springer, (2022)
F. Baader, P. Koopmann, F. Kriegel, and A. Nuradiansyah. Proceedings of the 35th International Workshop on Description Logics (DL 2022), Haifa, Israel, August 7--10, 2022, volume 3263 of CEUR Workshop Proceedings, CEUR-WS.org, (2022)
F. Baader, and J. Giesl. 9th International Conference on Formal Structures for Computation and Deduction (FSCD 2024), volume 299 of Leibniz International Proceedings in Informatics (LIPIcs), page 16:1--16:18. Dagstuhl, Germany, Schloss Dagstuhl -- Leibniz-Zentrum für Informatik, (2024)
M. Berthold. Proceedings of the Nineteenth International Conference on Principles of Knowledge Representation and Reasoning, California, International Joint Conferences on Artificial Intelligence Organization, (July 2022)
A. Rapberger, and M. Ulbricht. Proceedings of the Nineteenth International Conference on Principles of Knowledge Representation and Reasoning, California, International Joint Conferences on Artificial Intelligence Organization, (July 2022)
R. Baumann, and A. Heine. Proceedings of the Twentieth International Conference on Principles of Knowledge Representation and Reasoning, page 721--725. California, International Joint Conferences on Artificial Intelligence Organization, (September 2023)
R. Baumann, and M. Berthold. Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, page 2539–2545. International Joint Conferences on Artificial Intelligence Organization, (July 2022)
G. Buraglio, W. Dvorak, M. König, and M. Ulbricht. Proceedings of the Thirty-ThirdInternational Joint Conference on Artificial Intelligence, California, International Joint Conferences on Artificial Intelligence Organization, (August 2024)