S. Hosemann, J. Jung, C. Lutz, und S. Rudolph. Proceedings of the TwentySecond International Conference on Principles of Knowledge Representation and Reasoning, Seite 407–416. International Joint Conferences on Artificial Intelligence Organization, (November 2025)