F. Falakh, S. Rudolph, and K. Sauerwald. Proceedings of the 6th International Joint Conference on Rules and Reasoning (RuleML+RR 2022), volume 13752 of LNCS, page 95--110. Springer, (September 2022)
B. ten Cate, M. Funk, J. Jung, and C. Lutz. Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023, 19th-25th August 2023, Macao, SAR, China, page 3347--3355. ijcai.org, (2023)
C. Lutz, Q. Manière, and R. Nolte. Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023)., Rhodes, Greece, September 2-4, 2023, volume 3515 of CEUR Workshop Proceedings, CEUR-WS.org, (2023)
L. Álvarez, S. Rudolph, and H. Straß. Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, page 333--343. IJCAI Inc, (2023)
F. Baader, and F. Kriegel. Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, KR 2022, Haifa, Israel, July 31 -- August 5, 2022, page 22--32. (2022)
K. Nguyen Anh, and M. Ulbricht. Proceedings of the Thirty-ThirdInternational Joint Conference on Artificial Intelligence, California, International Joint Conferences on Artificial Intelligence Organization, (August 2024)
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)
