F. Baader, and O. Fernández Gil. Automated Reasoning - 12th International Joint Conference, IJCAR 2024, Nancy, France, July 1-6, 2024, Proceedings, Part II, volume 14740 of Lecture Notes in Computer Science, page 279--297. Springer, (2024)
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. Ulbricht. Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, IJCAI-24, page 8577--8582. International Joint Conferences on Artificial Intelligence Organization, (August 2024)Early Career.
T. Lehtonen, A. Rapberger, M. Ulbricht, and J. Wallner. Proceedings of the Twentieth International Conference on Principles of Knowledge Representation and Reasoning, page 440--450. California, International Joint Conferences on Artificial Intelligence Organization, (September 2023)
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)
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)
M. Berthold, A. Rapberger, and M. Ulbricht. Proceedings of the Twentieth International Conference on Principles of Knowledge Representation and Reasoning, page 86--96. California, International Joint Conferences on Artificial Intelligence Organization, (September 2023)
