Image de couverture de livre

Conditional Logical Message Passing Transformer for Complex Query Answering

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Zhang, Chongzhi, Peng, Zhiping, Zheng, Junhao, Ma, Qianli
Format:	Preprint
Publié:	2024
Sujets:	Machine Learning Artificial Intelligence Logic in Computer Science
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Pathformer: Recursive Path Query Encoding for Complex Logical Query Answering
par: Zhang, Chongzhi, et autres
Publié: (2024)

Neural-Symbolic Message Passing with Dynamic Pruning
par: Zhang, Chongzhi, et autres
Publié: (2025)

Meta Operator for Complex Query Answering on Knowledge Graphs
par: Yin, Hang, et autres
Publié: (2024)

Can Transformers Reason Logically? A Study in SAT Solving
par: Pan, Leyan, et autres
Publié: (2024)

Rethinking Complex Queries on Knowledge Graphs with Neural Link Predictors
par: Yin, Hang, et autres
Publié: (2023)

ANDRE: An Attention-based Neuro-symbolic Differentiable Rule Extractor for Inductive Logic Programming
par: Sharifi, Iman, et autres
Publié: (2026)

The Logical Expressiveness of Temporal GNNs via Two-Dimensional Product Logics
par: Sälzer, Marco, et autres
Publié: (2025)

Learning Logic Specifications for Policy Guidance in POMDPs: an Inductive Logic Programming Approach
par: Meli, Daniele, et autres
Publié: (2024)

Extracting Formulae in Many-Valued Logic from Deep Neural Networks
par: Zhang, Yani, et autres
Publié: (2024)

Neural Logic Networks for Interpretable Classification
par: Perreault, Vincent, et autres
Publié: (2025)

Dual Box Embeddings for the Description Logic EL++
par: Jackermeier, Mathias, et autres
Publié: (2023)

Regional, Lattice and Logical Representations of Neural Networks
par: Preto, Sandro, et autres
Publié: (2025)

Temporal Inductive Logic Reasoning over Hypergraphs
par: Yang, Yuan, et autres
Publié: (2022)

Comparing Neural Network Encodings for Logic-based Explainability
par: Carvalho, Levi Cordeiro, et autres
Publié: (2025)

Learning Concepts Definable in First-Order Logic with Counting
par: van Bergerem, Steffen
Publié: (2019)

Logic Tensor Network-Enhanced Generative Adversarial Network
par: Upreti, Nijesh, et autres
Publié: (2026)

Compiling High-Level Neural Network Specifications into VNN-LIB Queries
par: Daggitt, Matthew L., et autres
Publié: (2024)

Learning Temporal Logic Predicates from Data with Statistical Guarantees
par: Soroka, Emi, et autres
Publié: (2024)

Polynomial Surrogate Training for Differentiable Ternary Logic Gate Networks
par: Damera, Sai Sandeep, et autres
Publié: (2026)

Logic of Hypotheses: from Zero to Full Knowledge in Neurosymbolic Integration
par: Bizzaro, Davide, et autres
Publié: (2025)

Reduced Implication-bias Logic Loss for Neuro-Symbolic Learning
par: He, Haoyuan, et autres
Publié: (2022)

GLIDR: Graph-Like Inductive Logic Programming with Differentiable Reasoning
par: Johnson, Blair, et autres
Publié: (2025)

From Circuit Evidence to Mechanistic Theory: An Inductive Logic Approach
par: Aljaafari, Nura, et autres
Publié: (2026)

Multitask Kernel-based Learning with First-Order Logic Constraints
par: Diligenti, Michelangelo, et autres
Publié: (2023)

Transformer Encoder Satisfiability: Complexity and Impact on Formal Reasoning
par: Sälzer, Marco, et autres
Publié: (2024)

A Logic for Reasoning About Aggregate-Combine Graph Neural Networks
par: Nunn, Pierre, et autres
Publié: (2024)

Enhancing Reasoning Capabilities of LLMs via Principled Synthetic Logic Corpus
par: Morishita, Terufumi, et autres
Publié: (2024)

On the Stability and Realizability of Recurrent Polynomial Surrogate Ternary Logic Gate Networks
par: Damera, Sai Sandeep, et autres
Publié: (2026)

A Foundational Theory of Quantitative Abstraction: Adjunctions, Duality, and Logic for Probabilistic Systems
par: Anwer, Nivar, et autres
Publié: (2025)

Machine Learning Model Integration with Open World Temporal Logic for Process Automation
par: Aditya, Dyuman, et autres
Publié: (2025)

SATQuest: A Verifier for Logical Reasoning Evaluation and Reinforcement Fine-Tuning of LLMs
par: Zhao, Yanxiao, et autres
Publié: (2025)

Magnushammer: A Transformer-Based Approach to Premise Selection
par: Mikuła, Maciej, et autres
Publié: (2023)

The Geometry of Reasoning: Flowing Logics in Representation Space
par: Zhou, Yufa, et autres
Publié: (2025)

Do It for HER: First-Order Temporal Logic Reward Specification in Reinforcement Learning (Extended Version)
par: Olivieri, Pierriccardo, et autres
Publié: (2026)

THEIA: Learning Complete Kleene Three-Valued Logic in a Pure-Neural Modular Architecture
par: Li, Augustus Haoyang
Publié: (2026)

The Polynomial Counting Capabilities of Message Passing Neural Networks
par: Sälzer, Marco, et autres
Publié: (2026)

Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces
par: Chevallier, Mark, et autres
Publié: (2025)

Lattice Deduction Transformers
par: Davis, Liam, et autres
Publié: (2026)

Autoformalizing Natural Language to First-Order Logic: A Case Study in Logical Fallacy Detection
par: Lalwani, Abhinav, et autres
Publié: (2024)

Queries With Exact Truth Values in Paraconsistent Description Logics
par: Bienvenu, Meghyn, et autres
Publié: (2024)