Cover Image

The Correspondence Between Bounded Graph Neural Networks and Fragments of First-Order Logic

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Grau, Bernardo Cuenca, Feng, Eva, Wałęga, Przemysław Andrzej
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Preservation Theorems for Unravelling-Invariant Classes: A Uniform Approach for Modal Logics and Graph Neural Networks
by: Wałęga, Przemysław Andrzej, et al.
Published: (2026)

Aggregate-Combine-Readout GNNs Are More Expressive Than Logic C2
by: Hauke, Stan P, et al.
Published: (2025)

The Logical Expressiveness of Temporal GNNs via Two-Dimensional Product Logics
by: Sälzer, Marco, et al.
Published: (2025)

From Neural Networks to Logical Theories: The Correspondence between Fibring Modal Logics and Fibring Neural Networks
by: Harzli, Ouns El, et al.
Published: (2025)

Parity, Sensitivity, and Transformers
by: Kozachinskiy, Alexander, et al.
Published: (2026)

Goal-Driven Reasoning in DatalogMTL with Magic Sets
by: Wang, Shaoyu, et al.
Published: (2024)

Practical Reasoning in DatalogMTL
by: Wang, Dingmin, et al.
Published: (2024)

Adding Circumscription to Decidable Fragments of First-Order Logic: A Complexity Rollercoaster
by: Lutz, Carsten, et al.
Published: (2024)

Fuzzy Datalog$^\exists$ over Arbitrary t-Norms
by: Lanzinger, Matthias, et al.
Published: (2024)

Description Logics with Two Types of Definite Descriptions: Complexity, Expressiveness, and Automated Deduction
by: Sochański, Michał, et al.
Published: (2025)

Logical Expressivity and Explanations for Monotonic GNNs with Scoring Functions
by: Morris, Matthew, et al.
Published: (2025)

Computational Complexity of Standpoint LTL
by: Demri, Stéphane, et al.
Published: (2024)

Hybrid Modal Operators for Definite Descriptions
by: Wałęga, Przemysław Andrzej, et al.
Published: (2024)

Expressive Power of Temporal Message Passing
by: Wałęga, Przemysław Andrzej, et al.
Published: (2024)

Sufficient Conditions for Stability of Minimum-Norm Interpolating Deep ReLU Networks
by: Harzli, Ouns El, et al.
Published: (2026)

Logical Distillation of Graph Neural Networks
by: Pluska, Alexander, et al.
Published: (2024)

Relational Graph Convolutional Networks Do Not Learn Sound Rules
by: Morris, Matthew, et al.
Published: (2024)

Graph Neural Network-Based Reinforcement Learning for Controlling Biological Networks - the GATTACA Framework
by: Mizera, Andrzej, et al.
Published: (2025)

Discussion Graph Semantics of First-Order Logic with Equality for Reasoning about Discussion and Argumentation
by: Arisaka, Ryuta
Published: (2024)

Enhancing Transformers for Generalizable First-Order Logical Entailment
by: Zheng, Tianshi, et al.
Published: (2025)

FOL-Traces: Verified First-Order Logic Reasoning Traces at Scale
by: Lee, Isabelle, et al.
Published: (2025)

How Explanations Leak the Decision Logic: Stealing Graph Neural Networks via Explanation Alignment
by: Ma, Bin, et al.
Published: (2025)

Enhancing Logical Expressiveness in Graph Neural Networks via Path-Neighbor Aggregation
by: Yu, Han, et al.
Published: (2025)

Lifted Inference beyond First-Order Logic
by: Malhotra, Sagar, et al.
Published: (2023)

Beyond Backpropagation: Exploring Innovative Algorithms for Energy-Efficient Deep Neural Network Training
by: Spyra, Przemysław
Published: (2025)

Topological Neural Networks: Mitigating the Bottlenecks of Graph Neural Networks via Higher-Order Interactions
by: Giusti, Lorenzo
Published: (2024)

LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers
by: Olausson, Theo X., et al.
Published: (2023)

Demystifying Higher-Order Graph Neural Networks
by: Besta, Maciej, et al.
Published: (2024)

Automatically Differentiable Nonlinear Tensor Networks (ADNTNs) for Exponential Compression of Deep Neural Networks
by: Cichocki, Andrzej, et al.
Published: (2026)

Learning Concepts Definable in First-Order Logic with Counting
by: van Bergerem, Steffen
Published: (2019)

Utilizing Description Logics for Global Explanations of Heterogeneous Graph Neural Networks
by: Köhler, Dominik, et al.
Published: (2024)

LGAN: An Efficient High-Order Graph Neural Network via the Line Graph Aggregation
by: Du, Lin, et al.
Published: (2025)

Exact Computation of Any-Order Shapley Interactions for Graph Neural Networks
by: Muschalik, Maximilian, et al.
Published: (2025)

RLJP: Legal Judgment Prediction via First-Order Logic Rule-enhanced with Large Language Models
by: Zhang, Yue, et al.
Published: (2025)

Poisoning the Inner Prediction Logic of Graph Neural Networks for Clean-Label Backdoor Attacks
by: Zhang, Yuxiang, et al.
Published: (2026)

Multitask Kernel-based Learning with First-Order Logic Constraints
by: Diligenti, Michelangelo, et al.
Published: (2023)

On the Limits of Hierarchically Embedded Logic in Classical Neural Networks
by: Cochran, Bill
Published: (2025)

Bounded Fitting for Expressive Description Logics
by: Funk, Maurice, et al.
Published: (2026)

SES: Bridging the Gap Between Explainability and Prediction of Graph Neural Networks
by: Huang, Zhenhua, et al.
Published: (2024)

First-Order Geometry, Spectral Compression, and Structural Compatibility under Bounded Computation
by: Li, Changkai
Published: (2026)