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)