KR2025Proceedings of the 22nd International Conference on Principles of Knowledge Representation and ReasoningProceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning

Melbourne, Australia. November 11-17, 2025.

Edited by
  1. Magdalena Ortiz
  2. Renata Wassermann
  3. Torsten Schaub

ISSN: 2334-1033
ISBN: 978-1-956792-08-9

Sponsored by
Published by

Copyright © 2025 International Joint Conferences on Artificial Intelligence Organization

Halting Recurrent GNNs and the Graded mu-Calculus

  1. Jeroen Bollen(Data Science Institute, Hasselt University, Belgium)
  2. Jan Van den Bussche(Data Science Institute, Hasselt University, Belgium)
  3. Stijn Vansummeren(Data Science Institute, Hasselt University, Belgium)
  4. Jonni Virtema(School of Computer Science, University of Sheffield, UK)

Bibtex record

@inproceedings{KR2025-18,
    title     = {{Halting Recurrent GNNs and the Graded mu-Calculus}},
    author    = {Bollen, Jeroen and Van den Bussche, Jan and Vansummeren, Stijn and Virtema, Jonni},
    booktitle = {{Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning}},
    pages     = {175--184},
    year      = {2025},
    month     = {10},
    doi       = {10.24963/kr.2025/18},
    url       = {https://doi.org/10.24963/kr.2025/18},
  }
Go back