Buchumschlag

Temporal Causal Reasoning with (Non-Recursive) Structural Equation Models

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Gladyshev, Maksim, Alechina, Natasha, Dastani, Mehdi, Doder, Dragan, Logan, Brian
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Artificial Intelligence Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Probabilistic Strategy Logic with Degrees of Observability
von: Mu, Chunyan, et al.
Veröffentlicht: (2024)

Temporal Causal Models as a Model of Computation
von: Gladyshev, Maksim, et al.
Veröffentlicht: (2026)

Causal-Temporal Event Graphs: A Formal Model for Recursive Agent Execution Traces
von: Foldvik, Simon
Veröffentlicht: (2026)

Providing personalized Explanations: a Conversational Approach
von: Luo, Jieting, et al.
Veröffentlicht: (2023)

Maximally Permissive Reward Machines
von: Varricchione, Giovanni, et al.
Veröffentlicht: (2024)

On Probabilistic and Causal Reasoning with Summation Operators
von: Ibeling, Duligur, et al.
Veröffentlicht: (2024)

Causes and Strategies in Multiagent Systems
von: Kerkhove, Sylvia S., et al.
Veröffentlicht: (2025)

Inferring Causal Graph Temporal Logic Formulas to Expedite Reinforcement Learning in Temporally Extended Tasks
von: Aria, Hadi Partovi, et al.
Veröffentlicht: (2026)

Static Analysis of Recursive SHACL
von: Oudshoorn, Anouk, et al.
Veröffentlicht: (2026)

Dynamic Epistemic Logic of Resource Bounded Information Mining Agents
von: Dolgorukov, Vitaliy, et al.
Veröffentlicht: (2024)

Traffic Scenario Logic: A Spatial-Temporal Logic for Modeling and Reasoning of Urban Traffic Scenarios
von: Wang, Ruolin, et al.
Veröffentlicht: (2024)

Categorical Construction of Logically Verifiable Neural Architectures
von: Nye, Logan
Veröffentlicht: (2025)

Analysing Temporal Reasoning in Description Logics Using Formal Grammars
von: Bourgaux, Camille, et al.
Veröffentlicht: (2025)

Spatiotemporal Robustness of Temporal Logic Tasks using Multi-Objective Reasoning
von: Schön, Oliver, et al.
Veröffentlicht: (2026)

Abductive Reasoning in a Paraconsistent Framework
von: Bienvenu, Meghyn, et al.
Veröffentlicht: (2024)

Intuitionistic $j$-Do-Calculus in Topos Causal Models
von: Mahadevan, Sridhar
Veröffentlicht: (2025)

Recursive Aggregates as Intensional Functions in Answer Set Programming: Semantics and Strong Equivalence
von: Fandinno, Jorge, et al.
Veröffentlicht: (2024)

Reasoning Systems as Structured Processes: Foundations, Failures, and Formal Criteria
von: Nikooroo, Saleh, et al.
Veröffentlicht: (2025)

Recursive Decomposition of Logical Thoughts: Framework for Superior Reasoning and Knowledge Propagation in Large Language Models
von: Qasim, Kaleem Ullah, et al.
Veröffentlicht: (2025)

Enhancing Analogical Reasoning in the Abstraction and Reasoning Corpus via Model-Based RL
von: Lee, Jihwan, et al.
Veröffentlicht: (2024)

Recursive querying of neural networks via weighted structures
von: Grohe, Martin, et al.
Veröffentlicht: (2026)

Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning
von: Mukherji, Kaustuv, et al.
Veröffentlicht: (2025)

Temporal Inductive Logic Reasoning over Hypergraphs
von: Yang, Yuan, et al.
Veröffentlicht: (2022)

TOGGLE: Temporal Logic-Guided Large Language Model Compression for Edge
von: Khalil, Khurram, et al.
Veröffentlicht: (2025)

Eidoku: A Neuro-Symbolic Verification Gate for LLM Reasoning via Structural Constraint Satisfaction
von: Miya, Shinobu
Veröffentlicht: (2025)

Applications of Intuitionistic Temporal Logic to Temporal Answer Set Programming
von: Cabalar, Pedro, et al.
Veröffentlicht: (2026)

Large Language Models for Interpretable Mental Health Diagnosis
von: Kim, Brian Hyeongseok, et al.
Veröffentlicht: (2025)

Probabilistic and Causal Satisfiability: Constraining the Model
von: Bläser, Markus, et al.
Veröffentlicht: (2025)

Large Language Models Imitate Logical Reasoning, but at what Cost?
von: McGinness, Lachlan, et al.
Veröffentlicht: (2025)

Why Cannot Large Language Models Ever Make True Correct Reasoning?
von: Cheng, Jingde
Veröffentlicht: (2025)

Reliable Reasoning with Large Language Models via Preference-Based Maximum Satisfiability
von: Orvalho, Pedro, et al.
Veröffentlicht: (2026)

interwhen: A Generalizable Framework for Steering Reasoning Models with Test-time Verification
von: Bhat, Vishak K, et al.
Veröffentlicht: (2026)

A Syllogistic Probe: Tracing the Evolution of Logic Reasoning in Large Language Models
von: Zang, Zhengqing, et al.
Veröffentlicht: (2026)

Towards Constraint Temporal Answer Set Programming
von: Cabalar, Pedro, et al.
Veröffentlicht: (2025)

Reasoning in Neurosymbolic AI
von: Tran, Son, et al.
Veröffentlicht: (2025)

Defeasible Reasoning on Concepts
von: Ding, Yiwen, et al.
Veröffentlicht: (2024)

ReasonOps: A Unified Operational Paradigm for Trustworthy Verified LLM Reasoning
von: Rashid, Adnan
Veröffentlicht: (2026)

Formally Verified Certification of Unsolvability of Temporal Planning Problems
von: Wang, David, et al.
Veröffentlicht: (2025)

Towards Neuro-symbolic Causal Rule Synthesis, Verification, and Evaluation Grounded in Legal and Safety Principles
von: Rehan, Zainab, et al.
Veröffentlicht: (2026)

Generics and Default Reasoning in Large Language Models
von: Kirkpatrick, James Ravi, et al.
Veröffentlicht: (2025)