Cover Image

T-CPDL: A Temporal Causal Probabilistic Description Logic for Developing Logic-RAG Agent

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Yu, Hong Qing
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence Logic in Computer Science I.2.7; F.4.1
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Do LLMs Game Formalization? Evaluating Faithfulness in Logical Reasoning
by: Kim, Kyuhee, et al.
Published: (2026)

A Unified Formal Theory on the Logical Limits of Symbol Grounding
by: Liu, Zhangchi
Published: (2025)

TPTP World Infrastructure for Non-classical Logics
by: Steen, Alexander, et al.
Published: (2025)

Pantograph: A Machine-to-Machine Interaction Interface for Advanced Theorem Proving, High Level Reasoning, and Data Extraction in Lean 4
by: Aniva, Leni, et al.
Published: (2024)

Logic.py: Bridging the Gap between LLMs and Constraint Solvers
by: Kesseli, Pascal, et al.
Published: (2025)

Deontic Temporal Logic for Formal Verification of AI Ethics
by: V., Priya T., et al.
Published: (2025)

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

Logic interpretations of ANN partition cells
by: Schmitt, Ingo
Published: (2024)

Tractable and Intractable Entailment Problems in Separation Logic with Inductively Defined Predicates
by: Echenim, Mnacho, et al.
Published: (2023)

Experiments with Choice in Dependently-Typed Higher-Order Logic
by: Ranalter, Daniel, et al.
Published: (2024)

LFC-DA: Logical Formula-Controlled Data Augmentation for Enhanced Logical Reasoning
by: Li, Shenghao
Published: (2025)

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

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

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

Robust Computation Tree Logic
by: Nayak, Satya Prakash, et al.
Published: (2022)

Modal Logics -- RNmatrices vs. Nmatrices
by: Coniglio, Marcelo E., et al.
Published: (2024)

On the Power and Limitations of Examples for Description Logic Concepts
by: Cate, Balder ten, et al.
Published: (2024)

An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic
by: Martina, Antoine, et al.
Published: (2023)

Why this and not that? A Logic-based Framework for Contrastive Explanations
by: Geibinger, Tobias, et al.
Published: (2025)

Unique Characterisability and Learnability of Temporal Queries Mediated by an Ontology
by: Jung, Jean Christoph, et al.
Published: (2023)

A Socratic RAG Approach to Connect Natural Language Queries on Research Topics with Knowledge Organization Systems
by: Lefton, Lew, et al.
Published: (2025)

Understanding Syllogistic Reasoning in LLMs from Formal and Natural Language Perspectives
by: Poddar, Aheli, et al.
Published: (2025)

Automated Theorem Provers Help Improve Large Language Model Reasoning
by: McGinness, Lachlan, et al.
Published: (2024)

CogNarr Ecosystem: Facilitating Group Cognition at Scale
by: Boik, John C.
Published: (2024)

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

A Primer for Preferential Non-Monotonic Propositional Team Logics
by: Sauerwald, Kai, et al.
Published: (2024)

Recursive Semantic Anchoring in ISO 639:2023: A Structural Extension to ISO/TC 37 Frameworks
by: Kilictas, Bugra, et al.
Published: (2025)

Implementing the First-Order Logic of Here and There
by: Otten, Jens, et al.
Published: (2026)

ProofBridge: Auto-Formalization of Natural Language Proofs in Lean via Joint Embeddings
by: Jana, Prithwish, et al.
Published: (2025)

Complexity of Łukasiewicz Modal Probabilistic Logics
by: Kozhemiachenko, Daniil, et al.
Published: (2025)

A Note on the Complexity of the Satisfiability Problem for Graded Modal Logics
by: Kazakov, Yevgeny, et al.
Published: (2009)

Goal-Driven Query Answering over First- and Second-Order Dependencies with Equality
by: Tsamoura, Efthymia, et al.
Published: (2024)

GeoGalactica: A Scientific Large Language Model in Geoscience
by: Lin, Zhouhan, et al.
Published: (2023)

Incomplete Descriptions and Qualified Definiteness
by: Więckowski, Bartosz
Published: (2024)

Efficient Normalization of Linear Temporal Logic
by: Esparza, Javier, et al.
Published: (2023)

Temporal Many-valued Conditional Logics: a Preliminary Report
by: Alviano, Mario, et al.
Published: (2024)

Logics for the Relational Syllogistic
by: Pratt-Hartmann, Ian, et al.
Published: (2008)

On Higher-Order Probabilistic Verification via the Weighted Relational Model of Linear Logic
by: Lago, Ugo Dal, et al.
Published: (2026)

Inductive Learning of Logical Theories with LLMs: An Expressivity-Graded Analysis
by: Gandarela, João Pedro, et al.
Published: (2024)

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