A Logic for Reasoning about Aggregate-Combine Graph Neural Networks.

Pierre Nunn, Marco Slzer, Franois Schwarzentruber, Nicolas Troquard

Browse the full IJCAI paper archive.