KR2026Proceedings of the 23rd International Conference on Principles of Knowledge Representation and ReasoningProceedings of the 23rd International Conference on Principles of Knowledge Representation and Reasoning

Lisbon, Portugal. July 20-23, 2026.

Edited by
  1. Renata Wassermann
  2. Marie-Laure Mugnier
  3. Franz Baader

ISSN: 2334-1033
ISBN: 978-1-956792-18-8

Sponsored by
Published by

Copyright © 2026 International Joint Conferences on Artificial Intelligence Organization

Verifying Quantized GNNs With Readout Is Decidable But Highly Intractable

  1. Artem Chernobrovkin(Gran Sasso Science Institute)
  2. Marco Sälzer(RPTU, Technical University of Kaiserslautern)
  3. François Schwarzentruber(École normale supérieure de Lyon)
  4. Nicolas Troquard(Gran Sasso Science Institute)

Bibtex record

@inproceedings{KR2026-83,
    title     = {{Verifying Quantized GNNs With Readout Is Decidable But Highly Intractable}},
    author    = {Chernobrovkin, Artem and Sälzer, Marco and Schwarzentruber, François and Troquard, Nicolas},
    booktitle = {{Proceedings of the 23rd International Conference on Principles of Knowledge Representation and Reasoning}},
    pages     = {883--894},
    year      = {2026},
    month     = {7},
    doi       = {10.24963/kr.2026/83},
    url       = {https://doi.org/10.24963/kr.2026/83},
  }
Go back