Imagen de Portada

Counterfactual Explanations as Plans

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Belle, Vaishak
Formato:	Preprint
Publicado:	2025
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

Propositional Abduction via Only-Knowing: A Non-Monotonic Approach
por: Molick, Sanderson, et al.
Publicado: (2026)

Logic Tensor Network-Enhanced Generative Adversarial Network
por: Upreti, Nijesh, et al.
Publicado: (2026)

Semantic Objective Functions: A distribution-aware method for adding logical constraints in deep learning
por: Mendez-Lucero, Miguel Angel, et al.
Publicado: (2024)

Integrating LTL Constraints into PPO for Safe Reinforcement Learning
por: Zhang, Maifang, et al.
Publicado: (2026)

Change in Quantitative Bipolar Argumentation: Sufficient, Necessary, and Counterfactual Explanations
por: Kampik, Timotheus, et al.
Publicado: (2025)

CFGs: Causality Constrained Counterfactual Explanations using goal-directed ASP
por: Dasgupta, Sopam, et al.
Publicado: (2024)

CoGS: Causality Constrained Counterfactual Explanations using goal-directed ASP
por: Dasgupta, Sopam, et al.
Publicado: (2024)

Can You Tell the Difference? Contrastive Explanations for ABox Entailments
por: Koopmann, Patrick, et al.
Publicado: (2025)

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

Complexity of Faceted Explanations in Propositional Abduction
por: Schmidt, Johannes, et al.
Publicado: (2025)

P2C: Path to Counterfactuals
por: Dasgupta, Sopam, et al.
Publicado: (2025)

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

Reconciling Consistency-Based Diagnosis with Actual-Causality-Based Explanations
por: Bertossi, Leopoldo
Publicado: (2026)

Context-aware, Ante-hoc Explanations of Driving Behaviour
por: Grundt, Dominik, et al.
Publicado: (2025)

Decentralized Planning Using Probabilistic Hyperproperties
por: Pontiggia, Francesco, et al.
Publicado: (2025)

An Undecidability Proof for the Plan Existence Problem
por: Achilleos, Antonis
Publicado: (2026)

Rigorous Explanations for Tree Ensembles
por: Izza, Yacine, et al.
Publicado: (2026)

On Conformant Planning and Model-Checking of $\exists^*\forall^*$ Hyperproperties
por: Beutner, Raven, et al.
Publicado: (2025)

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

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

Formal Explanations for Neuro-Symbolic AI
por: Paul, Sushmita, et al.
Publicado: (2024)

Strength Change Explanations in Quantitative Argumentation
por: Kampik, Timotheus, et al.
Publicado: (2026)

Automated Process Planning Based on a Semantic Capability Model and SMT
por: Köcher, Aljosha, et al.
Publicado: (2023)

Long-term Power Grid Planning via Answer Set Programming
por: Ielo, Antonio, et al.
Publicado: (2026)

MC3G: Model Agnostic Causally Constrained Counterfactual Generation
por: Dasgupta, Sopam, et al.
Publicado: (2025)

Providing personalized Explanations: a Conversational Approach
por: Luo, Jieting, et al.
Publicado: (2023)

Research Vision: Multi-Agent Path Planning for Cops And Robbers Via Reactive Synthesis
por: Fishell, William, et al.
Publicado: (2025)

Cloud Kitchen: Using Planning-based Composite AI to Optimize Food Delivery Processes
por: Švancár, Slavomír, et al.
Publicado: (2024)

Most General Explanations of Tree Ensembles (Extended Version)
por: Izza, Yacine, et al.
Publicado: (2025)

Explaining, Fast and Slow: Abstraction and Refinement of Provable Explanations
por: Bassan, Shahaf, et al.
Publicado: (2025)

Scaling the Explanation of Multi-Class Bayesian Network Classifiers
por: Zhang, Yaofang, et al.
Publicado: (2026)

A Counterfactual Cause in Situation Calculus
por: Liu, Daxin, et al.
Publicado: (2025)

First Order Logic with Fuzzy Semantics for Describing and Recognizing Nerves in Medical Images
por: Bloch, Isabelle, et al.
Publicado: (2025)

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

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

An Automated Theorem Generator with Theoretical Foundation Based on Rectangular Standard Contradiction
por: Xu, Yang, et al.
Publicado: (2025)

Abductive Reasoning in a Paraconsistent Framework
por: Bienvenu, Meghyn, et al.
Publicado: (2024)

The logic of KM belief update is contained in the logic of AGM belief revision
por: Bonanno, Giacomo
Publicado: (2026)

Similarity-based analogical proportions
por: Antić, Christian
Publicado: (2024)

ReAct! An Interactive Tool for Hybrid Planning in Robotics
por: Dogmus, Zeynep, et al.
Publicado: (2013)