PFIA 2024
CNIA
A logic for reasoning about aggregate-combine graph neural networks (IJCAI 2024)
Pierre Nunn, Marco Sälzer, François Schwarzentruber, Nicolas Troquard
Informations à venir.