Copertina

Relational Graph Convolutional Networks Do Not Learn Sound Rules

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Morris, Matthew, Cucala, David J. Tena, Grau, Bernardo Cuenca, Horrocks, Ian
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Machine Learning Artificial Intelligence Logic in Computer Science 03B70 I.2.6; G.2.2; I.2.4; I.2.3
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

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

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

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

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

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

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

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

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

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

Intersymbolic AI: Interlinking Symbolic AI and Subsymbolic AI
di: Platzer, André
Pubblicazione: (2024)

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

Enhancing Large Language Models through Neuro-Symbolic Integration and Ontological Reasoning
di: Vsevolodovna, Ruslan Idelfonso Magana, et al.
Pubblicazione: (2025)

Verification of Unbounded Client-Server Systems with Distinguishable Clients
di: Phawade, Ramchandra, et al.
Pubblicazione: (2026)

Hybrid Game Control Envelope Synthesis
di: Kabra, Aditi, et al.
Pubblicazione: (2025)

A Proof System with Causal Labels (Part II): checking Counterfactual Fairness
di: Ceragioli, Leonardo, et al.
Pubblicazione: (2025)

Trustworthiness Preservation by Copies of Machine Learning Systems
di: Ceragioli, Leonardo, et al.
Pubblicazione: (2025)

A Proof System with Causal Labels (Part I): checking Individual Fairness and Intersectionality
di: Ceragioli, Leonardo, et al.
Pubblicazione: (2025)

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

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

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

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

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

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

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

A Sequent Calculus for General Inductive Definitions
di: Eede, Robbe Van den, et al.
Pubblicazione: (2026)

A Coq-based Axiomatization of Tarski's Mereogeometry
di: Barlatier, Patrick, et al.
Pubblicazione: (2025)

Mechanised uniform interpolation for modal logics K, GL, and iSL
di: Férée, Hugo, et al.
Pubblicazione: (2024)

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

SPARQL in N3: SPARQL CONSTRUCT as a rule language for the Semantic Web (Extended Version)
di: Arndt, Dörthe, et al.
Pubblicazione: (2025)

MIRAGE: Scaling Test-Time Inference with Parallel Graph-Retrieval-Augmented Reasoning Chains
di: Wei, Kaiwen, et al.
Pubblicazione: (2025)

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

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

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

Revisiting Conjunctive Query Entailment for $\mathcal S$
di: Ibáñez-García, Yazmín, et al.
Pubblicazione: (2025)

Executable First-Order Queries in the Logic of Information Flows
di: Aamer, Heba, et al.
Pubblicazione: (2022)

Verifying Procedural Programs via Constrained Rewriting Induction
di: Fuhs, Carsten, et al.
Pubblicazione: (2014)

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

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