Cover Image

Can You Tell the Difference? Contrastive Explanations for ABox Entailments

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Koopmann, Patrick, Mahmood, Yasir, Ngomo, Axel-Cyrille Ngonga, Tiwari, Balram
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Dung's Argumentation Framework: Unveiling the Expressive Power with Inconsistent Databases
by: Mahmood, Yasir, et al.
Published: (2024)

Why not? Developing ABox Abduction beyond Repairs
by: Haak, Anselm, et al.
Published: (2025)

ABox Abduction for Inconsistent Knowledge Bases under Repair Semantics
by: Haak, Anselm, et al.
Published: (2026)

Inconsistent Databases and Argumentation Frameworks with Collective Attacks
by: Mahmood, Yasir, et al.
Published: (2026)

Entailment vs. Verification for Partial-assignment Satisfiability and Enumeration
by: Sebastiani, Roberto
Published: (2025)

Rejection in Abstract Argumentation: Harder Than Acceptance?
by: Fichte, Johannes K., et al.
Published: (2024)

Fitting Description Logic Ontologies to ABox and Query Examples
by: Funk, Maurice, et al.
Published: (2025)

Interpolation in Knowledge Representation
by: Jung, Jean Christoph, et al.
Published: (2025)

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

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

Contextual Augmentation for Entity Linking using Large Language Models
by: Vollmers, Daniel, et al.
Published: (2025)

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

A set-theoretical approach for ABox reasoning services (Extended Version)
by: Cantone, Domenico, et al.
Published: (2017)

You-Only-Randomize-Once: Shaping Statistical Properties in Constraint-based PCG
by: Katz, Jediah, et al.
Published: (2024)

Can Large Language Models Autoformalize Kinematics?
by: Kabra, Aditi, et al.
Published: (2025)

How should I compute my candidates? A taxonomy and classification of diagnosis computation algorithms
by: Rodler, Patrick
Published: (2022)

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

Can LLM Aid in Solving Constraints with Inductive Definitions?
by: Feng, Weizhi, et al.
Published: (2026)

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

Learning First-Order Rules with Relational Path Contrast for Inductive Relation Reasoning
by: Pan, Yudai, et al.
Published: (2021)

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

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)

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

Repairing Networks of $\mathcal{EL_\perp}$ Ontologies using Weakening and Completing -- Extended version
by: Li, Ying, et al.
Published: (2024)

Techniques for Measuring the Inferential Strength of Forgetting Policies
by: Doherty, Patrick, et al.
Published: (2024)

Dual Forgetting Operators in the Context of Weakest Sufficient and Strongest Necessary Conditions
by: Doherty, Patrick, et al.
Published: (2023)

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

Extended Version of: On the Structural Hardness of Answer Set Programming: Can Structure Efficiently Confine the Power of Disjunctions?
by: Hecher, Markus, et al.
Published: (2024)

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)

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

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

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

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

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

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

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

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