Image de couverture de livre

Meta Operator for Complex Query Answering on Knowledge Graphs

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Yin, Hang, Wang, Zihao, Song, Yangqiu
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

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

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

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

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

Neurosymbolic AI for Reasoning over Knowledge Graphs: A Survey
par: DeLong, Lauren Nicole, et autres
Publié: (2023)

Fully Geometric Multi-Hop Reasoning on Knowledge Graphs with Transitive Relations
par: Zhapa-Camacho, Fernando, et autres
Publié: (2025)

Harnessing the Power of Semi-Structured Knowledge and LLMs with Triplet-Based Prefiltering for Question Answering
par: Boer, Derian, et autres
Publié: (2024)

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

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

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

A Novel Approach To Implementing Knowledge Distillation In Tsetlin Machines
par: Kinateder, Calvin
Publié: (2025)

Transformers for Complex Query Answering over Knowledge Hypergraphs
par: Tsang, Hong Ting, et autres
Publié: (2025)

Value Function Initialization for Knowledge Transfer and Jump-start in Deep Reinforcement Learning
par: Mehimeh, Soumia
Publié: (2025)

Symbolic Knowledge Extraction and Injection with Sub-symbolic Predictors: A Systematic Literature Review
par: Ciatto, Giovanni, et autres
Publié: (2025)

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

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

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

Learning Federated Neural Graph Databases for Answering Complex Queries from Distributed Knowledge Graphs
par: Hu, Qi, et autres
Publié: (2024)

Solving Formal Math Problems by Decomposition and Iterative Reflection
par: Zhou, Yichi, et autres
Publié: (2025)

Can Transformers Learn to Verify During Backtracking Search?
par: Phua, Yin Jun, et autres
Publié: (2026)

Think Locally, Explain Globally: Graph-Guided LLM Investigations via Local Reasoning and Belief Propagation
par: Jha, Saurabh, et autres
Publié: (2026)

Lean Copilot: Large Language Models as Copilots for Theorem Proving in Lean
par: Song, Peiyang, et autres
Publié: (2024)

Integrating LTL Constraints into PPO for Safe Reinforcement Learning
par: Zhang, Maifang, et autres
Publié: (2026)

The Computational Complexity of Satisfiability in State Space Models
par: Alsmann, Eric, et autres
Publié: (2025)

LeanAgent: Lifelong Learning for Formal Theorem Proving
par: Kumarappan, Adarsh, et autres
Publié: (2024)

Formal Mathematical Reasoning: A New Frontier in AI
par: Yang, Kaiyu, et autres
Publié: (2024)

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

Transformers Can Learn Connectivity in Some Graphs but Not Others
par: Roy, Amit, et autres
Publié: (2025)

The Geometry of Reasoning: Flowing Logics in Representation Space
par: Zhou, Yufa, 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)

PREMAP: A Unifying PREiMage APproximation Framework for Neural Networks
par: Zhang, Xiyue, et autres
Publié: (2024)

Querying and Repairing Inconsistent Prioritized Knowledge Bases: Complexity Analysis and Links with Abstract Argumentation
par: Bienvenu, Meghyn, et autres
Publié: (2020)

DeepOnto: A Python Package for Ontology Engineering with Deep Learning
par: He, Yuan, et autres
Publié: (2023)

Evaluating Federated Learning for At-Risk Student Prediction: A Comparative Analysis of Model Complexity and Data Balancing
par: Tertulino, Rodrigo, et autres
Publié: (2025)

A Compositional Atlas for Algebraic Circuits
par: Wang, Benjie, et autres
Publié: (2024)

Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report)
par: Abdulla, Parosh Aziz, et autres
Publié: (2024)

Extending Complex Logical Queries on Uncertain Knowledge Graphs
par: Fei, Weizhi, et autres
Publié: (2024)

Neural Proofs for Sound Verification and Control of Complex Systems
par: Abate, Alessandro
Publié: (2025)

TaoBench: Do Automated Theorem Prover LLMs Generalize Beyond MathLib?
par: Taylor, Alexander K, et autres
Publié: (2026)

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