Imagen de Portada

Inferring Causal Graph Temporal Logic Formulas to Expedite Reinforcement Learning in Temporally Extended Tasks

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Aria, Hadi Partovi, Xu, Zhe
Formato:	Preprint
Publicado:	2026
Materias:	Artificial Intelligence Logic in Computer Science
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Expediting Reinforcement Learning by Incorporating Knowledge About Temporal Causality in the Environment
por: Corazza, Jan, et al.
Publicado: (2025)

Do It for HER: First-Order Temporal Logic Reward Specification in Reinforcement Learning (Extended Version)
por: Olivieri, Pierriccardo, et al.
Publicado: (2026)

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

Applications of Intuitionistic Temporal Logic to Temporal Answer Set Programming
por: Cabalar, Pedro, et al.
Publicado: (2026)

TGPO: Temporal Grounded Policy Optimization for Signal Temporal Logic Tasks
por: Meng, Yue, et al.
Publicado: (2025)

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

Causal-Temporal Event Graphs: A Formal Model for Recursive Agent Execution Traces
por: Foldvik, Simon
Publicado: (2026)

Decentralizing Multi-Agent Reinforcement Learning with Temporal Causal Information
por: Corazza, Jan, et al.
Publicado: (2025)

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

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

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

Learning Temporal Logic Predicates from Data with Statistical Guarantees
por: Soroka, Emi, et al.
Publicado: (2024)

Nl2Hltl2Plan: Scaling Up Natural Language Understanding for Multi-Robots Through Hierarchical Temporal Logic Task Representation
por: Xu, Shaojun, et al.
Publicado: (2024)

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

Temporal Inductive Logic Reasoning over Hypergraphs
por: Yang, Yuan, et al.
Publicado: (2022)

The Logical Expressiveness of Temporal GNNs via Two-Dimensional Product Logics
por: Sälzer, Marco, et al.
Publicado: (2025)

Extending Defeasibility for Propositional Standpoint Logics
por: Leisegang, Nicholas, et al.
Publicado: (2025)

Temporal Ensemble Logic
por: Zhang, Guo-Qiang
Publicado: (2024)

Machine Learning Model Integration with Open World Temporal Logic for Process Automation
por: Aditya, Dyuman, et al.
Publicado: (2025)

NeuroNL2LTL: A Neurosymbolic Framework for Natural Language Translation of Linear Temporal Logic
por: Quansah, Paapa Kwesi, et al.
Publicado: (2026)

On Alternating-Time Temporal Logic, Hyperproperties, and Strategy Sharing
por: Beutner, Raven, et al.
Publicado: (2023)

Temporal Planning via Interval Logic Satisfiability for Autonomous Systems
por: Ramirez, Miquel, et al.
Publicado: (2024)

Learning Probabilistic Temporal Logic Specifications for Stochastic Systems
por: Roy, Rajarshi, et al.
Publicado: (2025)

Learning Optimal Strategies for Temporal Tasks in Stochastic Games
por: Bozkurt, Alper Kamil, et al.
Publicado: (2021)

T-CPDL: A Temporal Causal Probabilistic Description Logic for Developing Logic-RAG Agent
por: Yu, Hong Qing
Publicado: (2025)

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

Diverse Controllable Diffusion Policy with Signal Temporal Logic
por: Meng, Yue, et al.
Publicado: (2025)

Model Predictive Robustness of Signal Temporal Logic Predicates
por: Lin, Yuanfei, et al.
Publicado: (2022)

The Boolean Solution Problem from the Perspective of Predicate Logic -- Extended Version
por: Wernhard, Christoph
Publicado: (2017)

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

From Shapes to Shapes: Inferring SHACL Shapes for Results of SPARQL CONSTRUCT Queries (Extended Version)
por: Seifer, Philipp, et al.
Publicado: (2024)

Towards Constraint Temporal Answer Set Programming
por: Cabalar, Pedro, et al.
Publicado: (2025)

Guiding Multi-agent Multi-task Reinforcement Learning by a Hierarchical Framework with Logical Reward Shaping
por: Liu, Chanjuan, et al.
Publicado: (2024)

Dynamic Logic of Trust-Based Beliefs
por: Jiang, Junli, et al.
Publicado: (2025)

Extracting Formulae in Many-Valued Logic from Deep Neural Networks
por: Zhang, Yani, et al.
Publicado: (2024)

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

TimelineKGQA: A Comprehensive Question-Answer Pair Generator for Temporal Knowledge Graphs
por: Sun, Qiang, et al.
Publicado: (2025)

Generating Plans for Belief-Desire-Intention (BDI) Agents Using Alternating-Time Temporal Logic (ATL)
por: Léveillé, Dylan
Publicado: (2025)

Utilizing Description Logics for Global Explanations of Heterogeneous Graph Neural Networks
por: Köhler, Dominik, et al.
Publicado: (2024)

Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning
por: Mukherji, Kaustuv, et al.
Publicado: (2025)