Cover Image

The Logical Expressiveness of Temporal GNNs via Two-Dimensional Product Logics

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Sälzer, Marco, Wałęga, Przemysław Andrzej, Lange, Martin
Format:	Preprint
Published:	2025
Subjects:	Machine Learning Artificial Intelligence Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A Logic for Reasoning About Aggregate-Combine Graph Neural Networks
by: Nunn, Pierre, et al.
Published: (2024)

Verifying Quantized GNNs With Readout Is Decidable But Highly Intractable
by: Chernobrovkin, Artem, et al.
Published: (2025)

Transformer Encoder Satisfiability: Complexity and Impact on Formal Reasoning
by: Sälzer, Marco, et al.
Published: (2024)

Towards Understanding the Expressive Power of GNNs with Global Readout
by: Funk, Maurice, et al.
Published: (2026)

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)

On the Expressiveness of State Space Models via Temporal Logics
by: Alsmann, Eric, et al.
Published: (2026)

Temporal Inductive Logic Reasoning over Hypergraphs
by: Yang, Yuan, et al.
Published: (2022)

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

Learning Temporal Logic Predicates from Data with Statistical Guarantees
by: Soroka, Emi, et al.
Published: (2024)

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

Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces
by: Chevallier, Mark, et al.
Published: (2025)

TGPO: Temporal Grounded Policy Optimization for Signal Temporal Logic Tasks
by: Meng, Yue, et al.
Published: (2025)

Diverse Controllable Diffusion Policy with Signal Temporal Logic
by: Meng, Yue, et al.
Published: (2025)

Model Predictive Robustness of Signal Temporal Logic Predicates
by: Lin, Yuanfei, et al.
Published: (2022)

Machine Learning Model Integration with Open World Temporal Logic for Process Automation
by: Aditya, Dyuman, et al.
Published: (2025)

Logical Characterizations of GNNs with Mean Aggregation
by: Schönherr, Moritz, et al.
Published: (2025)

Expressive Temporal Specifications for Reward Monitoring
by: Adalat, Omar, et al.
Published: (2025)

Learning Logic Specifications for Policy Guidance in POMDPs: an Inductive Logic Programming Approach
by: Meli, Daniele, et al.
Published: (2024)

Do It for HER: First-Order Temporal Logic Reward Specification in Reinforcement Learning (Extended Version)
by: Olivieri, Pierriccardo, et al.
Published: (2026)

Enhancing Reasoning Capabilities of LLMs via Principled Synthetic Logic Corpus
by: Morishita, Terufumi, et al.
Published: (2024)

Neural Logic Networks for Interpretable Classification
by: Perreault, Vincent, et al.
Published: (2025)

Regional, Lattice and Logical Representations of Neural Networks
by: Preto, Sandro, et al.
Published: (2025)

Dual Box Embeddings for the Description Logic EL++
by: Jackermeier, Mathias, et al.
Published: (2023)

Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning
by: Mukherji, Kaustuv, et al.
Published: (2025)

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

Comparing Neural Network Encodings for Logic-based Explainability
by: Carvalho, Levi Cordeiro, et al.
Published: (2025)

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

Logic Tensor Network-Enhanced Generative Adversarial Network
by: Upreti, Nijesh, et al.
Published: (2026)

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

The Logical Expressiveness of Topological Neural Networks
by: Akbari, Amirreza, et al.
Published: (2026)

Logic of Hypotheses: from Zero to Full Knowledge in Neurosymbolic Integration
by: Bizzaro, Davide, et al.
Published: (2025)

GLIDR: Graph-Like Inductive Logic Programming with Differentiable Reasoning
by: Johnson, Blair, et al.
Published: (2025)

Polynomial Surrogate Training for Differentiable Ternary Logic Gate Networks
by: Damera, Sai Sandeep, et al.
Published: (2026)

Reduced Implication-bias Logic Loss for Neuro-Symbolic Learning
by: He, Haoyuan, et al.
Published: (2022)

Can Transformers Reason Logically? A Study in SAT Solving
by: Pan, Leyan, et al.
Published: (2024)

From Circuit Evidence to Mechanistic Theory: An Inductive Logic Approach
by: Aljaafari, Nura, et al.
Published: (2026)

Conditional Logical Message Passing Transformer for Complex Query Answering
by: Zhang, Chongzhi, et al.
Published: (2024)

Autoformalizing Natural Language to First-Order Logic: A Case Study in Logical Fallacy Detection
by: Lalwani, Abhinav, et al.
Published: (2024)

On the Stability and Realizability of Recurrent Polynomial Surrogate Ternary Logic Gate Networks
by: Damera, Sai Sandeep, et al.
Published: (2026)

Extracting Formulae in Many-Valued Logic from Deep Neural Networks
by: Zhang, Yani, et al.
Published: (2024)