Buchumschlag

CFGs: Causality Constrained Counterfactual Explanations using goal-directed ASP

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Dasgupta, Sopam, Arias, Joaquín, Salazar, Elmer, Gupta, Gopal
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Artificial Intelligence Machine Learning Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

CoGS: Causality Constrained Counterfactual Explanations using goal-directed ASP
von: Dasgupta, Sopam, et al.
Veröffentlicht: (2024)

MC3G: Model Agnostic Causally Constrained Counterfactual Generation
von: Dasgupta, Sopam, et al.
Veröffentlicht: (2025)

CoGS: Model Agnostic Causality Constrained Counterfactual Explanations using goal-directed ASP
von: Dasgupta, Sopam, et al.
Veröffentlicht: (2024)

P2C: Path to Counterfactuals
von: Dasgupta, Sopam, et al.
Veröffentlicht: (2025)

Generating Causally Compliant Counterfactual Explanations using ASP
von: Dasgupta, Sopam
Veröffentlicht: (2025)

Modeling Deontic Modal Logic in the s(CASP) Goal-directed Predicate Answer Set Programming System
von: Gupta, Gopal, et al.
Veröffentlicht: (2025)

Counterfactual Generation with Answer Set Programming
von: Dasgupta, Sopam, et al.
Veröffentlicht: (2024)

A Reliable Common-Sense Reasoning Socialbot Built Using LLMs and Goal-Directed ASP
von: Zeng, Yankai, et al.
Veröffentlicht: (2024)

Automating Semantic Analysis of System Assurance Cases using Goal-directed ASP
von: Murugesan, Anitha, et al.
Veröffentlicht: (2024)

Learning Brave Assumption-Based Argumentation Frameworks via ASP
von: De Angelis, Emanuele, et al.
Veröffentlicht: (2024)

Counterfactual Explanations as Plans
von: Belle, Vaishak
Veröffentlicht: (2025)

Rigorous Explanations for Tree Ensembles
von: Izza, Yacine, et al.
Veröffentlicht: (2026)

Formal Explanations for Neuro-Symbolic AI
von: Paul, Sushmita, et al.
Veröffentlicht: (2024)

On Trustworthy Rule-Based Models and Explanations
von: Siala, Mohamed, et al.
Veröffentlicht: (2025)

Building Trustworthy AI by Addressing its 16+2 Desiderata with Goal-Directed Commonsense Reasoning
von: Tudor, Alexis R., et al.
Veröffentlicht: (2025)

Scaling the Explanation of Multi-Class Bayesian Network Classifiers
von: Zhang, Yaofang, et al.
Veröffentlicht: (2026)

Most General Explanations of Tree Ensembles (Extended Version)
von: Izza, Yacine, et al.
Veröffentlicht: (2025)

Explaining, Fast and Slow: Abstraction and Refinement of Provable Explanations
von: Bassan, Shahaf, et al.
Veröffentlicht: (2025)

An ASP-Based Framework for MUSes
von: Kabir, Mohimenul, et al.
Veröffentlicht: (2025)

Direct Encoding of Declare Constraints in ASP
von: Chiariello, Francesco, et al.
Veröffentlicht: (2024)

Towards Mass Spectrum Analysis with ASP
von: Küchenmeister, Nils, et al.
Veröffentlicht: (2025)

Diminution: On Reducing the Size of Grounding ASP Programs
von: Yang, HuanYu, et al.
Veröffentlicht: (2025)

FLINGO -- Instilling ASP Expressiveness into Linear Integer Constraints
von: Fandinno, Jorge, et al.
Veröffentlicht: (2026)

An ASP-based Solution to the Medical Appointment Scheduling Problem
von: Vozna, Alina, et al.
Veröffentlicht: (2026)

Hyperproperty-Constrained Secure Reinforcement Learning
von: Bonnah, Ernest, et al.
Veröffentlicht: (2025)

Finite Groundings for ASP with Functions: A Journey through Consistency
von: Gerlach, Lukas, et al.
Veröffentlicht: (2024)

Decomposition Strategies and Multi-shot ASP Solving for Job-shop Scheduling
von: El-Kholany, Mohammed M. S., et al.
Veröffentlicht: (2022)

Improving ASP-based ORS Schedules through Machine Learning Predictions
von: Bruno, Pierangela, et al.
Veröffentlicht: (2025)

Change in Quantitative Bipolar Argumentation: Sufficient, Necessary, and Counterfactual Explanations
von: Kampik, Timotheus, et al.
Veröffentlicht: (2025)

Using ASP(Q) to Handle Inconsistent Prioritized Data
von: Bienvenu, Meghyn, et al.
Veröffentlicht: (2026)

ASP-Bench: From Natural Language to Logic Programs
von: Szeider, Stefan
Veröffentlicht: (2026)

Reconciling Consistency-Based Diagnosis with Actual-Causality-Based Explanations
von: Bertossi, Leopoldo
Veröffentlicht: (2026)

Probabilistic and Causal Satisfiability: Constraining the Model
von: Bläser, Markus, et al.
Veröffentlicht: (2025)

Application of AI to formal methods - an analysis of current trends
von: Stock, Sebastian, et al.
Veröffentlicht: (2024)

Learning big logical rules by joining small rules
von: Hocquette, Céline, et al.
Veröffentlicht: (2024)

Marabou 2.0: A Versatile Formal Analyzer of Neural Networks
von: Wu, Haoze, et al.
Veröffentlicht: (2024)

Machine Learning for Quantifier Selection in cvc5
von: Jakubův, Jan, et al.
Veröffentlicht: (2024)

Compiling High-Level Neural Network Specifications into VNN-LIB Queries
von: Daggitt, Matthew L., et al.
Veröffentlicht: (2024)

Proceedings 12th International Workshop on Theorem proving components for Educational software
von: Narboux, Julien, et al.
Veröffentlicht: (2024)

Autoformalizing Euclidean Geometry
von: Murphy, Logan, et al.
Veröffentlicht: (2024)