Cover Image

Causal-Temporal Event Graphs: A Formal Model for Recursive Agent Execution Traces

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Foldvik, Simon
Format:	Preprint
Published:	2026
Subjects:	Logic in Computer Science Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Temporal Causal Reasoning with (Non-Recursive) Structural Equation Models
by: Gladyshev, Maksim, et al.
Published: (2025)

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

Formally Verified Certification of Unsolvability of Temporal Planning Problems
by: Wang, David, et al.
Published: (2025)

Analysing Temporal Reasoning in Description Logics Using Formal Grammars
by: Bourgaux, Camille, et al.
Published: (2025)

Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces
by: Chevallier, Mark, et al.
Published: (2025)

Information Science Principles of Machine Learning: A Causal Chain Meta-Framework Based on Formalized Information Mapping
by: Xu, Jianfeng
Published: (2025)

Bridging LLM Planning Agents and Formal Methods: A Case Study in Plan Verification
by: Ramani, Keshav, et al.
Published: (2025)

Formal Ethical Obligations in Reinforcement Learning Agents: Verification and Policy Updates
by: Shea-Blymyer, Colin, et al.
Published: (2024)

Subject-Event Ontology Without Global Time: Foundations and Execution Semantics
by: Boldachev, Alexander
Published: (2025)

Static Analysis of Recursive SHACL
by: Oudshoorn, Anouk, et al.
Published: (2026)

Formally Certified Approximate Model Counting
by: Tan, Yong Kiam, et al.
Published: (2024)

Formally Explaining Decision Tree Models with Answer Set Programming
by: Takemura, Akihiro, et al.
Published: (2026)

Graph-Native Cognitive Memory for AI Agents: Formal Belief Revision Semantics for Versioned Memory Architectures
by: Park, Young Bin
Published: (2026)

A Strategy for Implementing description Temporal Dynamic Algorithms in Dynamic Knowledge Graphs by SPIN
by: Shahbazi, Alireza, et al.
Published: (2024)

Enhancing Formal Theorem Proving: A Comprehensive Dataset for Training AI Models on Coq Code
by: Florath, Andreas
Published: (2024)

A Syllogistic Probe: Tracing the Evolution of Logic Reasoning in Large Language Models
by: Zang, Zhengqing, et al.
Published: (2026)

On Probabilistic and Causal Reasoning with Summation Operators
by: Ibeling, Duligur, et al.
Published: (2024)

Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques
by: Han, Sangjun, et al.
Published: (2025)

On Formally Undecidable Traits of Intelligent Machines
by: Fox, Matthew
Published: (2024)

Rational Inference in Formal Concept Analysis
by: Carr, Lucas, et al.
Published: (2025)

Formally Verified Approximate Policy Iteration
by: Schäffeler, Maximilian, et al.
Published: (2024)

LeanAgent: Lifelong Learning for Formal Theorem Proving
by: Kumarappan, Adarsh, et al.
Published: (2024)

A Modal Logic for Possibilistic Reasoning with Fuzzy Formal Contexts
by: Howlader, Prosenjit, et al.
Published: (2025)

Intuitionistic $j$-Do-Calculus in Topos Causal Models
by: Mahadevan, Sridhar
Published: (2025)

Recursive Aggregates as Intensional Functions in Answer Set Programming: Semantics and Strong Equivalence
by: Fandinno, Jorge, et al.
Published: (2024)

Learning Formal Mathematics From Intrinsic Motivation
by: Poesia, Gabriel, et al.
Published: (2024)

A Formal Framework for the Definition of 'State': Hierarchical Representation and Meta-Universe Interpretation
by: Itoh, Kei
Published: (2025)

Policy-Adaptable Methods For Resolving Normative Conflicts Through Argumentation and Graph Colouring
by: Joyce, Johnny
Published: (2025)

Recursive querying of neural networks via weighted structures
by: Grohe, Martin, et al.
Published: (2026)

Formalizing Kantian Ethics: Formula of the Universal Law Logic (FULL)
by: Olson, Taylor
Published: (2026)

The Epistemic Asymmetry of Consciousness Self-Reports: A Formal Analysis of AI Consciousness Denial
by: Kim, Chang-Eop
Published: (2024)

APOLLO: Automated LLM and Lean Collaboration for Advanced Formal Reasoning
by: Ospanov, Azim, et al.
Published: (2025)

Reasoning Systems as Structured Processes: Foundations, Failures, and Formal Criteria
by: Nikooroo, Saleh, et al.
Published: (2025)

Abstraction-Based Proof Production in Formal Verification of Neural Networks
by: Elboher, Yizhak Yisrael, et al.
Published: (2025)

A Theory of Formalisms for Representing Knowledge
by: Zhang, Heng, et al.
Published: (2024)

MSC-180: A Benchmark for Automated Formal Theorem Proving from Mathematical Subject Classification
by: Li, Sirui, et al.
Published: (2025)

Stress-Testing the Reasoning Competence of LLMs With Proofs Under Minimal Formalism
by: Arkoudas, Konstantine, et al.
Published: (2026)

Translating Informal Proofs into Formal Proofs Using a Chain of States
by: Wang, Ziyu, et al.
Published: (2025)

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

TOGGLE: Temporal Logic-Guided Large Language Model Compression for Edge
by: Khalil, Khurram, et al.
Published: (2025)