A Logic for Reasoning About Aggregate-Combine Graph Neural Networks

Nunn et al. "A Logic for Reasoning About Aggregate-Combine Graph Neural Networks." International Joint Conference on Artificial Intelligence, 2024.

[Nunn et al. "A Logic for Reasoning About Aggregate-Combine Graph Neural Networks." International Joint Conference on Artificial Intelligence, 2024.](https://mlanthology.org/ijcai/2024/nunn2024ijcai-logic/)

@inproceedings{nunn2024ijcai-logic,
  title     = {{A Logic for Reasoning About Aggregate-Combine Graph Neural Networks}},
  author    = {Nunn, Pierre and Sälzer, Marco and Schwarzentruber, François and Troquard, Nicolas},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2024},
  pages     = {3532-3540},
  url       = {https://mlanthology.org/ijcai/2024/nunn2024ijcai-logic/}
}