Image de couverture de livre

Pathformer: Recursive Path Query Encoding for Complex Logical Query Answering

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Zhang, Chongzhi, Peng, Zhiping, Zheng, Junhao, Wang, Linghao, Shi, Ruifeng, Ma, Qianli
Format:	Preprint
Publié:	2024
Sujets:	Machine Learning 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

Conditional Logical Message Passing Transformer for Complex Query Answering
par: Zhang, Chongzhi, et autres
Publié: (2024)

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

Query Answering in Lattice-based Description Logic
par: Manoorkar, Krishna, et autres
Publié: (2024)

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

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

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

Tighter Bounds for Query Answering with Guarded TGDs
par: Amarilli, Antoine, et autres
Publié: (2022)

Logical GANs: Adversarial Learning through Ehrenfeucht Fraisse Games
par: Mannucci, Mirco A.
Publié: (2025)

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

Quantifying Logical Consistency in Transformers via Query-Key Alignment
par: Tulchinskii, Eduard, et autres
Publié: (2025)

Recursive Decomposition of Logical Thoughts: Framework for Superior Reasoning and Knowledge Propagation in Large Language Models
par: Qasim, Kaleem Ullah, et autres
Publié: (2025)

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

Logical Foundations and Complexity of 4QL, a Query Language with Unrestricted Negation
par: Maluszynski, Jan, et autres
Publié: (2010)

Generating $SROI^-$ Ontologies via Knowledge Graph Query Embedding Learning
par: He, Yunjie, et autres
Publié: (2024)

The Logical Expressiveness of Topological Neural Networks
par: Akbari, Amirreza, et autres
Publié: (2026)

Boolformer: Symbolic Regression of Logic Functions with Transformers
par: d'Ascoli, Stéphane, et autres
Publié: (2023)

Logic Gate Neural Networks are Good for Verification
par: Kresse, Fabian, et autres
Publié: (2025)

TLINet: Differentiable Neural Network Temporal Logic Inference
par: Li, Danyang, et autres
Publié: (2024)

Quantitative Linear Logic for Neuro-Symbolic Learning and Verification
par: Flinkow, Thomas, et autres
Publié: (2026)

Skill Machines: Temporal Logic Skill Composition in Reinforcement Learning
par: Tasse, Geraud Nangue, et autres
Publié: (2022)

Guiding LLM Temporal Logic Generation with Explicit Separation of Data and Control
par: Murphy, William, et autres
Publié: (2024)

Generalizing Logic-based Explanations for Machine Learning Classifiers via Optimization
par: Filho, Francisco Mateus Rocha, et autres
Publié: (2026)

A First-Order Logic-Based Alternative to Reward Models in RLHF
par: Jian, Chunjin, et autres
Publié: (2025)

A Logical View of GNN-Style Computation and the Role of Activation Functions
par: Barceló, Pablo, et autres
Publié: (2025)

The Sticky Path to Expressive Querying: Decidability of Navigational Queries under Existential Rules
par: Ostropolski-Nalewaja, Piotr, et autres
Publié: (2024)

A Simple Algorithm for Consistent Query Answering under Primary Keys
par: Figueira, Diego, et autres
Publié: (2023)

Learning Aggregate Queries Defined by First-Order Logic with Counting
par: van Bergerem, Steffen, et autres
Publié: (2024)

Slice and Explain: Logic-Based Explanations for Neural Networks through Domain Slicing
par: Queiroz, Luiz Fernando Paulino, et autres
Publié: (2026)

Continuous Modal Logical Neural Networks: Modal Reasoning via Stochastic Accessibility
par: Sulc, Antonin
Publié: (2026)

Conformal Signal Temporal Logic for Robust Reinforcement Learning Control: A Case Study
par: Beirami, Hani, et autres
Publié: (2026)

Bound Propagation meets Constraint Simplification: Improving Logic-based XAI for Neural Networks
par: Gomes, Ronaldo, et autres
Publié: (2026)

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

On Deciding the Data Complexity of Answering Linear Monadic Datalog Queries with LTL Operators(Extended Version)
par: Artale, Alessandro, et autres
Publié: (2025)

Induction and Recursion Principles in a Higher-Order Quantitative Logic for Probability
par: Bacci, Giorgio, et autres
Publié: (2025)

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

Exploiting Uncertainty for Querying Inconsistent Description Logics Knowledge Bases
par: Zese, Riccardo, et autres
Publié: (2023)

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)

Hybrid Models for Natural Language Reasoning: The Case of Syllogistic Logic
par: Guzmán, Manuel Vargas, et autres
Publié: (2025)

Modal Logical Neural Networks
par: Sulc, Antonin
Publié: (2025)