Cover Image

Logical Expressivity and Explanations for Monotonic GNNs with Scoring Functions

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Morris, Matthew, Cucala, David J. Tena, Grau, Bernardo Cuenca
Format:	Preprint
Published:	2025
Subjects:	Machine Learning Artificial Intelligence Logic in Computer Science 03B70 I.2.6; G.2.2; I.2.4; I.2.3
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Sound Logical Explanations for Mean Aggregation Graph Neural Networks
by: Morris, Matthew, et al.
Published: (2025)

A novel framework for systematic propositional formula simplification based on existential graphs
by: de Mas, Jordina Francès, et al.
Published: (2024)

Defeasible Reasoning via Datalog$^\neg$
by: Maher, Michael J.
Published: (2021)

Beyond Prediction -- Structuring Epistemic Integrity in Artificial Reasoning Systems
by: Wright, Craig Steven
Published: (2025)

Bounded Model Checking for Unbounded Client Server Systems
by: Phawade, Ramchandra, et al.
Published: (2022)

Which are the True Defeasible Logics?
by: Maher, Michael J.
Published: (2024)

The Limits of Obliviate: Evaluating Unlearning in LLMs via Stimulus-Knowledge Entanglement-Behavior Framework
by: Shah, Aakriti, et al.
Published: (2025)

Definite Descriptions and Hybrid Tense Logic
by: Indrzejczak, Andrzej, et al.
Published: (2024)

Logic-based Explanations for Linear Support Vector Classifiers with Reject Option
by: Filho, Francisco Mateus Rocha, et al.
Published: (2024)

Encoding argumentation frameworks with set attackers to propositional logic systems
by: Tang, Shuai, et al.
Published: (2025)

Encoding higher-order argumentation frameworks with supports to propositional logic systems
by: Tang, Shuai
Published: (2025)

Intersymbolic AI: Interlinking Symbolic AI and Subsymbolic AI
by: Platzer, André
Published: (2024)

Enhancing Large Language Models through Neuro-Symbolic Integration and Ontological Reasoning
by: Vsevolodovna, Ruslan Idelfonso Magana, 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)

COBRA-PPM: A Causal Bayesian Reasoning Architecture Using Probabilistic Programming for Robot Manipulation Under Uncertainty
by: Cannizzaro, Ricardo, et al.
Published: (2024)

Understanding Boolean Function Learnability on Deep Neural Networks: PAC Learning Meets Neurosymbolic Models
by: Nicolau, Marcio, et al.
Published: (2020)

High Quality Embeddings for Horn Logic Reasoning
by: Zhang, Yifan, et al.
Published: (2026)

Unravelling Abstract Cyclic Proofs into Proofs by Induction
by: Grotenhuis, Lide, et al.
Published: (2026)

Logic interpretations of ANN partition cells
by: Schmitt, Ingo
Published: (2024)

On the Power and Limitations of Examples for Description Logic Concepts
by: Cate, Balder ten, et al.
Published: (2024)

Causal Cartographer: From Mapping to Reasoning Over Counterfactual Worlds
by: Gendron, Gaël, et al.
Published: (2025)

Tensor Logic: The Language of AI
by: Domingos, Pedro
Published: (2025)

Many Logics, One Methodology: A Plea for Logical Pluralism in Formalised Reasoning (preprint)
by: Benzmüller, Christoph, et al.
Published: (2026)

Faithful Logic Embeddings in HOL -- Deep and Shallow
by: Benzmüller, Christoph
Published: (2025)

From Scientific Texts to Verifiable Code: Automating the Process with Transformers
by: Wang, Changjie, et al.
Published: (2025)

An Incremental MaxSAT-based Model to Learn Interpretable and Balanced Classification Rules
by: Júnior, Antônio Carlos Souza Ferreira, et al.
Published: (2024)

Probabilities of the Third Type: Statistical Relational Learning and Reasoning with Relative Frequencies
by: Weitkämper, Felix
Published: (2022)

$ϕ^{\infty}$: Clause Purification, Embedding Realignment, and the Total Suppression of the Em Dash in Autoregressive Language Models
by: Kilictas, Bugra, et al.
Published: (2025)

OntoLogX: Ontology-Guided Knowledge Graph Extraction from Cybersecurity Logs with Large Language Models
by: Cotti, Luca, et al.
Published: (2025)

HIP Network: Historical Information Passing Network for Extrapolation Reasoning on Temporal Knowledge Graph
by: He, Yongquan, et al.
Published: (2024)

The Final-Stage Bottleneck: A Systematic Dissection of the R-Learner for Network Causal Inference
by: Sairam, S, et al.
Published: (2025)

Study Design and Demystification of Physics Informed Neural Networks for Power Flow Simulation
by: Leyli-abadi, Milad, et al.
Published: (2025)

SAGE: A Strategy-Aware Graph-Enhanced Generation Framework For Online Counseling
by: Aharon, Eliya Naomi, et al.
Published: (2026)

From Next Token Prediction to (STRIPS) World Models
by: Núñez-Molina, Carlos, et al.
Published: (2025)

Advancing Multimodal Agent Reasoning with Long-Term Neuro-Symbolic Memory
by: Jiang, Rongjie, et al.
Published: (2026)

Incremental Bootstrapping and Classification of Structured Scenes in a Fuzzy Ontology
by: Buoncompagni, Luca, et al.
Published: (2024)

NeSyCat: A Monad-Based Categorical Semantics of the Neurosymbolic ULLER Framework
by: Schellhorn, Daniel Romero, et al.
Published: (2026)

Optimizing Job Allocation using Reinforcement Learning with Graph Neural Networks
by: Quaedvlieg, Lars C. P. M.
Published: (2025)

A Domain-Agnostic Neurosymbolic Approach for Big Social Data Analysis: Evaluating Mental Health Sentiment on Social Media during COVID-19
by: Khandelwal, Vedant, et al.
Published: (2024)