TY  - CONF

T1  - Halting Recurrent GNNs and the Graded mu-Calculus

JO  - Proceedings of the TwentySecond International Conference on Principles of Knowledge Representation and Reasoning

UR  - https://doi.org/10.24963/kr.2025/18

PY  - 2025/11/01

AU  - Bollen J

AU  - Van den Bussche J

AU  - Vansummeren S

AU  - Virtema J

ED  - 

DO  - DOI: 10.24963/kr.2025/18

PB  - International Joint Conferences on Artificial Intelligence Organization

SP  - 175

EP  - 184

Y2  - 2026/01/07

ER  -