Items where authors include "Vansummeren, S."

Proceedings Paper

Bollen, J., Van den Bussche, J., Vansummeren, S. et al. (1 more author) (2025) Halting Recurrent GNNs and the Graded mu-Calculus. In: Ortiz, M., Wassermann, R. and Schaub, T., (eds.) Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning. 22nd International Conference on Principles of Knowledge Representation and Reasoning (KR2025), 11-17 Nov 2025, Melbourne, Australia. International Joint Conferences on Artificial Intelligence Organization , pp. 175-184. ISBN 9781956792089