conftrace_

logical expressiveness

3 papers

Explore in graph

Co-occurring keywords · papers mentioning both

graph neural network (3) counting modality (1) aggregate-combine gnn (1) path neighbor aggregation (1) modal logic (1) multi-relational graph (1) temporal graph (1) node classification (1) inductive bia (1) satisfiability problem (1)

Papers

Enhancing Logical Expressiveness in Graph Neural Networks via Path-Neighbor Aggregation AAAI 2026 A Logic for Reasoning about Aggregate-Combine Graph Neural Networks IJCAI 2024 Calibrate and Boost Logical Expressiveness of GNN Over Multi-Relational and Temporal Graphs NeurIPS 2023