conftrace_

aggregate-combine gnn

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

graph neural network (1) modal logic (1) logical expressiveness (1) counting modality (1) satisfiability problem (1)

Papers

A Logic for Reasoning about Aggregate-Combine Graph Neural Networks IJCAI 2024