conftrace_

counting modality

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

logical expressiveness (1) graph neural network (1) aggregate-combine gnn (1) modal logic (1) satisfiability problem (1)

Papers

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