TY  - CONF

T1  - Halting Recurrent GNNs and the Graded μ-Calculus

JO  - Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning, KR 2025

PY  - 2025/09/17

AU  - Bollen J

AU  - Van den Bussche J

AU  - Vansummeren S

AU  - Virtema J

ED  - 

Y2  - 2025/10/09

ER  -