L. Gómez Álvarez, and S. Rudolph. Proceedings of the TwentySecond International Conference on Principles of Knowledge Representation and Reasoning, page 366–375. International Joint Conferences on Artificial Intelligence Organization, (November 2025)