F. Baader, F. Kriegel, and A. Nuradiansyah. Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing (SAC '23), March 27--31, 2023, Tallinn, Estonia, page 974--982. Association for Computing Machinery, (2023)
F. Baader, F. Kriegel, and A. Nuradiansyah. Proceedings of the 36th International Workshop on Description Logics (DL 2023), Rhodes, Greece, September 2--4, 2023, volume 3515 of CEUR Workshop Proceedings, CEUR-WS.org, (2023)
F. Baader, P. Koopmann, and F. Kriegel. LTCS-Report, 23-03. Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, Dresden, Germany, (2023)
F. Baader, P. Koopmann, and F. Kriegel. Proceedings of the 18th European Conference on Logics in Artificial Intelligence (JELIA 2023), September 20--22, 2023, Dresden, Germany, volume 14281 of Lecture Notes in Computer Science, page 11--34. Springer, (2023)
F. Kriegel. Proceedings of the 37th International Workshop on Description Logics (DL 2024), Bergen, Norway, June 18--21, 2024, volume 3739 of CEUR Workshop Proceedings, CEUR-WS.org, (2024)
F. Baader, F. Kriegel, and A. Nuradiansyah. LTCS-Report, 24-02. Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, Dresden, Germany, (2024)
F. Baader, F. Kriegel, and A. Nuradiansyah. Proceedings of the 13th International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2024), April 8--11, 2024, Sheffield, United Kingdom, volume 14589 of Lecture Notes in Computer Science, page 3--22. Springer, (2024)
F. Baader, and R. Wassermann. Proceedings of the TwentyFirst International Conference on Principles of Knowledge Representation and Reasoning, page 94–105. International Joint Conferences on Artificial Intelligence Organization, (November 2024)