Copertina

Pointwise-in-Time Explanation for Linear Temporal Logic Rules

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Brindise, Noel, Langbort, Cedric
Natura:	Preprint
Pubblicazione:	2023
Soggetti:	Artificial Intelligence
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Live LTL Progress Tracking: Towards Task-Based Exploration
di: Brindise, Noel, et al.
Pubblicazione: (2026)

"What are my options?": Explaining RL Agents with Diverse Near-Optimal Alternatives (Extended)
di: Brindise, Noel, et al.
Pubblicazione: (2025)

Rule2Text: Natural Language Explanation of Logical Rules in Knowledge Graphs
di: Shirvani-Mahdavi, Nasim, et al.
Pubblicazione: (2025)

Any-Time Regret-Guaranteed Algorithm for Control of Linear Quadratic Systems
di: Chekan, Jafar Abbaszadeh, et al.
Pubblicazione: (2024)

Diverse Planning with Simulators via Linear Temporal Logic
di: Abdelwahed, Mustafa F., et al.
Pubblicazione: (2025)

Abductive and Contrastive Explanations for Scoring Rules in Voting
di: Contet, Clément, et al.
Pubblicazione: (2024)

Metric Temporal Equilibrium Logic over Timed Traces
di: Becker, Arvid, et al.
Pubblicazione: (2023)

Unveiling Latent Causal Rules: A Temporal Point Process Approach for Abnormal Event Explanation
di: Kuang, Yiling, et al.
Pubblicazione: (2024)

Leveraging Association Rules for Better Predictions and Better Explanations
di: Audemard, Gilles, et al.
Pubblicazione: (2025)

One Subgoal at a Time: Zero-Shot Generalization to Arbitrary Linear Temporal Logic Requirements in Multi-Task Reinforcement Learning
di: Guo, Zijian, et al.
Pubblicazione: (2025)

Logic Agent: Enhancing Validity with Logic Rule Invocation
di: Liu, Hanmeng, et al.
Pubblicazione: (2024)

ChaosBench-Logic: A Benchmark for Logical and Symbolic Reasoning on Chaotic Dynamical Systems
di: Thomas, Noel
Pubblicazione: (2026)

TIMING: Temporality-Aware Integrated Gradients for Time Series Explanation
di: Jang, Hyeongwon, et al.
Pubblicazione: (2025)

Preference Elicitation for Step-Wise Explanations in Logic Puzzles
di: Foschini, Marco, et al.
Pubblicazione: (2025)

Logic Explanation of AI Classifiers by Categorical Explaining Functors
di: Fioravanti, Stefano, et al.
Pubblicazione: (2025)

Explaining Explanations in Probabilistic Logic Programming
di: Vidal, Germán
Pubblicazione: (2024)

Rethinking Explanations: Formalizing Contrast in Description Logics
di: Mahmood, Yasir, et al.
Pubblicazione: (2026)

ChaosBench-Logic v2: Evaluating LLM Logical Reasoning over Dynamical Systems at Scale
di: Thomas, Noel
Pubblicazione: (2026)

Learning Logical Rules using Minimum Message Length
di: Sharma, Ruben, et al.
Pubblicazione: (2025)

From Large Language Model Predicates to Logic Tensor Networks: Neurosymbolic Offer Validation in Regulated Procurement
di: Haufe, Cedric, et al.
Pubblicazione: (2026)

Generating Counterfactual Explanations Under Temporal Constraints
di: Buliga, Andrei, et al.
Pubblicazione: (2025)

Probabilistic Explanations for Linear Models
di: Subercaseaux, Bernardo, et al.
Pubblicazione: (2024)

On Trustworthy Rule-Based Models and Explanations
di: Siala, Mohamed, et al.
Pubblicazione: (2025)

Learning Quadruped Locomotion Policies using Logical Rules
di: DeFazio, David, et al.
Pubblicazione: (2021)

LLM-Assisted Logic Rule Learning: Scaling Human Expertise for Time Series Anomaly Detection
di: Zhang, Haoting, et al.
Pubblicazione: (2026)

Enhancing the Interpretability of Rule-based Explanations through Information Retrieval
di: Umbrico, Alessandro, et al.
Pubblicazione: (2025)

ChatRule: Mining Logical Rules with Large Language Models for Knowledge Graph Reasoning
di: Luo, Linhao, et al.
Pubblicazione: (2023)

Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic
di: Raha, Ritam, et al.
Pubblicazione: (2021)

Efficiently Learning Probabilistic Logical Models by Cheaply Ranking Mined Rules
di: Feldstein, Jonathan, et al.
Pubblicazione: (2024)

Rule2Text: A Framework for Generating and Evaluating Natural Language Explanations of Knowledge Graph Rules
di: Shirvani-Mahdavi, Nasim, et al.
Pubblicazione: (2025)

How Explanations Leak the Decision Logic: Stealing Graph Neural Networks via Explanation Alignment
di: Ma, Bin, et al.
Pubblicazione: (2025)

Temporal Robustness in Discrete Time Linear Dynamical Systems
di: Metya, Nilava, et al.
Pubblicazione: (2025)

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

How Rules Represent Causal Knowledge: Causal Modeling with Abductive Logic Programs
di: Rückschloß, Kilian, et al.
Pubblicazione: (2025)

Logic-based Explanations for Linear Support Vector Classifiers with Reject Option
di: Filho, Francisco Mateus Rocha, et al.
Pubblicazione: (2024)

Control Synthesis from Linear Temporal Logic Specifications using Model-Free Reinforcement Learning
di: Bozkurt, Alper Kamil, et al.
Pubblicazione: (2019)

A Modal Logic for Temporal and Jurisdictional Classifier Models
di: Di Florio, Cecilia, et al.
Pubblicazione: (2025)

Model-Level GNN Explanations via Rule-to-Graph Readout for Logit Reconstruction
di: Lu, Shengyao, et al.
Pubblicazione: (2025)

Fuzzy Logic Function as a Post-hoc Explanator of the Nonlinear Classifier
di: Klimo, Martin, et al.
Pubblicazione: (2024)

Local-to-Global Logical Explanations for Deep Vision Models
di: Vasu, Bhavan, et al.
Pubblicazione: (2026)