Cover Image

CoGS: Causality Constrained Counterfactual Explanations using goal-directed ASP

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Dasgupta, Sopam, Arias, Joaquín, Salazar, Elmer, Gupta, Gopal
Format:	Preprint
Published:	2024
Subjects:	Artificial Intelligence Machine Learning Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

CoGS: Model Agnostic Causality Constrained Counterfactual Explanations using goal-directed ASP
by: Dasgupta, Sopam, et al.
Published: (2024)

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

P2C: Path to Counterfactuals
by: Dasgupta, Sopam, et al.
Published: (2025)

Generating Causally Compliant Counterfactual Explanations using ASP
by: Dasgupta, Sopam
Published: (2025)

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

Counterfactual Generation with Answer Set Programming
by: Dasgupta, Sopam, et al.
Published: (2024)

Automating Semantic Analysis of System Assurance Cases using Goal-directed ASP
by: Murugesan, Anitha, et al.
Published: (2024)

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

Learning Brave Assumption-Based Argumentation Frameworks via ASP
by: De Angelis, Emanuele, et al.
Published: (2024)

Rigorous Explanations for Tree Ensembles
by: Izza, Yacine, et al.
Published: (2026)

Counterfactual Explanations as Plans
by: Belle, Vaishak
Published: (2025)

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

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

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

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

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

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

An ASP-Based Framework for MUSes
by: Kabir, Mohimenul, et al.
Published: (2025)

Towards Mass Spectrum Analysis with ASP
by: Küchenmeister, Nils, et al.
Published: (2025)

Direct Encoding of Declare Constraints in ASP
by: Chiariello, Francesco, et al.
Published: (2024)

Diminution: On Reducing the Size of Grounding ASP Programs
by: Yang, HuanYu, et al.
Published: (2025)

Hyperproperty-Constrained Secure Reinforcement Learning
by: Bonnah, Ernest, et al.
Published: (2025)

FLINGO -- Instilling ASP Expressiveness into Linear Integer Constraints
by: Fandinno, Jorge, et al.
Published: (2026)

An ASP-based Solution to the Medical Appointment Scheduling Problem
by: Vozna, Alina, et al.
Published: (2026)

Finite Groundings for ASP with Functions: A Journey through Consistency
by: Gerlach, Lukas, et al.
Published: (2024)

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

Improving ASP-based ORS Schedules through Machine Learning Predictions
by: Bruno, Pierangela, et al.
Published: (2025)

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

Using ASP(Q) to Handle Inconsistent Prioritized Data
by: Bienvenu, Meghyn, et al.
Published: (2026)

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

Constraint-aware Learning of Probabilistic Sequential Models for Multi-Label Classification
by: Buleshnyi, Mykhailo, et al.
Published: (2025)

Application of AI to formal methods - an analysis of current trends
by: Stock, Sebastian, et al.
Published: (2024)

Autonomous Code Evolution Meets NP-Completeness
by: Yu, Cunxi, et al.
Published: (2025)

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

MathConstraint: Automated Generation of Verified Combinatorial Reasoning Instances for LLMs
by: Pati, Viresh, et al.
Published: (2026)

Lattice Deduction Transformers
by: Davis, Liam, et al.
Published: (2026)

Learning big logical rules by joining small rules
by: Hocquette, Céline, et al.
Published: (2024)

Enhancing Neural Theorem Proving through Data Augmentation and Dynamic Sampling Method
by: Vishwakarma, Rahul, et al.
Published: (2023)

Hypergraph Neural Networks Accelerate MUS Enumeration
by: Ijima, Hiroya, et al.
Published: (2026)