F. Baader, und O. Fernández Gil. Automated Reasoning - 12th International Joint Conference, IJCAR 2024, Nancy, France, July 1-6, 2024, Proceedings, Part II, Volume 14740 von Lecture Notes in Computer Science, Seite 279--297. Springer, (2024)
F. Baader, und J. Giesl. 9th International Conference on Formal Structures for Computation and Deduction (FSCD 2024), Volume 299 von Leibniz International Proceedings in Informatics (LIPIcs), Seite 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, Seite 8577--8582. International Joint Conferences on Artificial Intelligence Organization, (August 2024)Early Career.
T. Lehtonen, A. Rapberger, M. Ulbricht, und J. Wallner. Proceedings of the Twentieth International Conference on Principles of Knowledge Representation and Reasoning, Seite 440--450. California, International Joint Conferences on Artificial Intelligence Organization, (September 2023)
K. Nguyen Anh, und 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, und 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, und M. Ulbricht. Proceedings of the Twentieth International Conference on Principles of Knowledge Representation and Reasoning, Seite 86--96. California, International Joint Conferences on Artificial Intelligence Organization, (September 2023)
