Cover Image

Complex Logical Reasoning over Knowledge Graphs using Large Language Models

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Choudhary, Nurendra, Reddy, Chandan K.
Format:	Preprint
Published:	2023
Subjects:	Logic in Computer Science Artificial Intelligence Information Retrieval F.4.1; H.3.3; I.1.1
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Multi-Modal Recommendation Unlearning for Legal, Licensing, and Modality Constraints
by: Sinha, Yash, et al.
Published: (2024)

Bias Mitigation for AI-Feedback Loops in Recommender Systems: A Systematic Literature Review and Taxonomy
by: Stoecker, Theodor, et al.
Published: (2025)

Separation Logic of Generic Resources via Sheafeology
by: van Starkenburg, Berend, et al.
Published: (2025)

Trocq: Proof Transfer for Free, With or Without Univalence
by: Cohen, Cyril, et al.
Published: (2023)

Simple Types for Polymorphic Functions
by: Jay, Barry, et al.
Published: (2026)

An Interpretable Ensemble of Graph and Language Models for Improving Search Relevance in E-Commerce
by: Choudhary, Nurendra, et al.
Published: (2024)

VK-LSVD: A Large-Scale Industrial Dataset for Short-Video Recommendation
by: Poslavsky, Aleksandr, et al.
Published: (2026)

Agent-Based User-Adaptive Filtering for Categorized Harassing Communication
by: Rahaman, Zenefa, et al.
Published: (2026)

Regular Expressions with Backreferences: Polynomial-Time Matching Techniques
by: Schmid, Markus L.
Published: (2019)

A Scalable and High Availability Solution for Recommending Resolutions to Problem Tickets
by: Saragadam, Harish, et al.
Published: (2025)

Loops, Inverse Limits and Non-Determinism
by: Brattka, Vasco
Published: (2025)

Compositional Separation of Control Flow and Data Flow
by: Arellanes, Damian
Published: (2023)

Exponential Resolution Lower Bounds for Weak Pigeonhole Principle and Perfect Matching Formulas over Sparse Graphs
by: de Rezende, Susanna F., et al.
Published: (2019)

LeanLTL: A unifying framework for linear temporal logics in Lean
by: Vin, Eric, et al.
Published: (2025)

How to Verify a Turing Machine with Dafny
by: Lederer, Edgar F. A.
Published: (2026)

Expressive Power of Graph Transformers via Logic
by: Ahvonen, Veeti, et al.
Published: (2025)

FastPFRec: A Fast Personalized Federated Recommendation with Secure Sharing
by: Yan, Zhenxing, et al.
Published: (2026)

IdeaForge: A Knowledge Graph-Grounded Multi-Agent Framework for Cross-Methodology Innovation Analysis and Patent Claim Generation
by: Bose, Joy
Published: (2026)

A Rust-to-Lean Verification Pipeline with AI Provers: An Experience Report
by: Klaus, Natalia, et al.
Published: (2026)

Nominal Algebraic-Coalgebraic Data Types, with Applications to Infinitary Lambda-Calculi
by: Cerda, Rémy
Published: (2025)

Logical Characterizations of Recurrent Graph Neural Networks with Reals and Floats
by: Ahvonen, Veeti, et al.
Published: (2024)

Mechanized HOL Reasoning in Set Theory
by: Guilloud, Simon, et al.
Published: (2024)

Hoare meets Heisenberg: A Lightweight Logic for Quantum Programs
by: Sundaram, Aarthi, et al.
Published: (2021)

Tensor Manifold-Based Graph-Vector Fusion for AI-Native Academic Literature Retrieval
by: Wei, Xing, et al.
Published: (2026)

Turing machines deciders, part I
by: The bbchallenge Collaboration, et al.
Published: (2025)

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

Hardness of busy beaver value BB(15)
by: Stérin, Tristan, et al.
Published: (2021)

Probabilistic Epistemic Dynamic Agentive Logic
by: Logan, Shay Allen
Published: (2026)

Cultural Encoding in Large Language Models: The Existence Gap in AI-Mediated Brand Discovery
by: Junyao, Huang, et al.
Published: (2025)

A Nivat Theorem for Weighted Alternating Automata over Commutative Semirings
by: Grabolle, Gustav
Published: (2022)

Solving Quantified Modal Logic Problems by Translation to Classical Logics
by: Steen, Alexander, et al.
Published: (2022)

What does it take to certify a conversion checker?
by: Lennon-Bertrand, Meven
Published: (2025)

Science Checker Reloaded: A Bidirectional Paradigm for Transparency and Logical Reasoning
by: Rakotoson, Loïc, et al.
Published: (2024)

A Real-Analytic Approach to Differential-Algebraic Dynamic Logic
by: Hellwig, Jonathan, et al.
Published: (2025)

The Cultural Gene of Large Language Models: A Study on the Impact of Cross-Corpus Training on Model Values and Biases
by: Fenech-Borg, Emanuel Z., et al.
Published: (2025)

Cross-Attention and Encoder-Decoder Transformers: A Logical Characterization
by: Ahvonen, Veeti, et al.
Published: (2026)

SPARTA: Scalable and Principled Benchmark of Tree-Structured Multi-hop QA over Text and Tables
by: Park, Sungho, et al.
Published: (2026)

A Type Theory for Probabilistic and Bayesian Reasoning
by: Adams, Robin, et al.
Published: (2015)

Siren Federate: Bridging document, relational, and graph models for exploratory graph analysis
by: Bordea, Georgeta, et al.
Published: (2025)

Neural networks as fuzzy logic formulas
by: Heiman, Damian, et al.
Published: (2026)