:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Brindise, Noel, Langbort, Cedric
Format:	Preprint
Published:	2023
Subjects:	Artificial Intelligence
Online Access:	https://arxiv.org/abs/2306.13956
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

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

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

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

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

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

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

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

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

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

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

Explaining Explanations in Probabilistic Logic Programming
by: Vidal, Germán
Published: (2024)

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

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

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

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

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

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

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

Probabilistic Explanations for Linear Models
by: Subercaseaux, Bernardo, et al.
Published: (2024)

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

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

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

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

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

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

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

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

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

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

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

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

Revisiting Regret Benchmarks in Online Non-Stochastic Control
by: Hebbar, Vijeth, et al.
Published: (2025)

Misinformation Regulation in the Presence of Competition between Social Media Platforms (Extended Version)
by: Sasaki, So, et al.
Published: (2024)

Responding to Promises: No-regret learning against followers with memory
by: Hebbar, Vijeth, et al.
Published: (2024)

On Network Congestion Reduction Using Public Signals Under Boundedly Rational User Equilibria (Full Version)
by: Massicot, Olivier, et al.
Published: (2024)

Almost-Bayesian Quadratic Persuasion (Extended Version)
by: Massicot, Olivier, et al.
Published: (2022)

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