Buchumschlag

Rethinking Explanations: Formalizing Contrast in Description Logics

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Mahmood, Yasir, Sharma, Arnab, Ngomo, Axel-Cyrille Ngonga, Tiwari, Balram
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Artificial Intelligence Logic
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Can You Tell the Difference? Contrastive Explanations for ABox Entailments
von: Koopmann, Patrick, et al.
Veröffentlicht: (2025)

Dung's Argumentation Framework: Unveiling the Expressive Power with Inconsistent Databases
von: Mahmood, Yasir, et al.
Veröffentlicht: (2024)

Inconsistent Databases and Argumentation Frameworks with Collective Attacks
von: Mahmood, Yasir, et al.
Veröffentlicht: (2026)

Analysing Temporal Reasoning in Description Logics Using Formal Grammars
von: Bourgaux, Camille, et al.
Veröffentlicht: (2025)

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

Embedding Knowledge Graphs in Degenerate Clifford Algebras
von: Teyou, Louis Mozart Kamdem, et al.
Veröffentlicht: (2024)

Embedding Knowledge Graph in Function Spaces
von: Teyou, Louis Mozart Kamdem, et al.
Veröffentlicht: (2024)

Queries With Exact Truth Values in Paraconsistent Description Logics
von: Bienvenu, Meghyn, et al.
Veröffentlicht: (2024)

HybridFC: A Hybrid Fact-Checking Approach for Knowledge Graphs
von: Qudus, Umair, et al.
Veröffentlicht: (2024)

Disentangling the Wikipedia Category Graph for Corpus Extraction
von: Axel-Cyrille Ngonga Ngomo
Veröffentlicht: (2009)

Adaptive Stochastic Weight Averaging
von: Demir, Caglar, et al.
Veröffentlicht: (2024)

Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents
von: Lyon, Tim S., et al.
Veröffentlicht: (2024)

Model Change for Description Logic Concepts
von: Ozaki, Ana, et al.
Veröffentlicht: (2026)

Fuzzy Lattice-based Description Logic
von: Ding, Yiwen, et al.
Veröffentlicht: (2025)

Contextual Augmentation for Entity Linking using Large Language Models
von: Vollmers, Daniel, et al.
Veröffentlicht: (2025)

Neural Class Expression Synthesis
von: Kouagou, N'Dah Jean, et al.
Veröffentlicht: (2021)

Improving rule mining via embedding-based link prediction
von: Kouagou, N'Dah Jean, et al.
Veröffentlicht: (2024)

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

Exploring Non-Regular Extensions of Propositional Dynamic Logic with Description-Logics Features
von: Bednarczyk, Bartosz
Veröffentlicht: (2023)

Formalizing Kantian Ethics: Formula of the Universal Law Logic (FULL)
von: Olson, Taylor
Veröffentlicht: (2026)

A Modal Logic for Possibilistic Reasoning with Fuzzy Formal Contexts
von: Howlader, Prosenjit, et al.
Veröffentlicht: (2025)

Robustness of Constraint Automata for Description Logics with Concrete Domains
von: Demri, Stéphane, et al.
Veröffentlicht: (2026)

Neural Reasoning for Robust Instance Retrieval in $\mathcal{SHOIQ}$
von: Teyou, Louis Mozart Kamdem, et al.
Veröffentlicht: (2025)

Semiring Provenance for Lightweight Description Logics
von: Bourgaux, Camille, et al.
Veröffentlicht: (2023)

Exploiting Uncertainty for Querying Inconsistent Description Logics Knowledge Bases
von: Zese, Riccardo, et al.
Veröffentlicht: (2023)

A New Tractable Description Logic under Categorical Semantics
von: Duc, Chan Le, et al.
Veröffentlicht: (2025)

Rejection in Abstract Argumentation: Harder Than Acceptance?
von: Fichte, Johannes K., et al.
Veröffentlicht: (2024)

Incremental, inconsistency-resilient reasoning over Description Logic Abox streams
von: Proost, Cas, et al.
Veröffentlicht: (2026)

Logic-Parametric Neuro-Symbolic NLI: Controlling Logical Formalisms for Verifiable LLM Reasoning
von: Farjami, Ali, et al.
Veröffentlicht: (2026)

Dynamic Logic of Trust-Based Beliefs
von: Jiang, Junli, et al.
Veröffentlicht: (2025)

Dual Box Embeddings for the Description Logic EL++
von: Jackermeier, Mathias, et al.
Veröffentlicht: (2023)

Data Complexity in Expressive Description Logics With Path Expressions
von: Bednarczyk, Bartosz
Veröffentlicht: (2024)

Relating Answer Set Programming and Many-sorted Logics for Formal Verification
von: Hansen, Zachary
Veröffentlicht: (2025)

A Formal Framework for the Explanation of Finite Automata Decisions
von: Granada, Jaime Cuartas, et al.
Veröffentlicht: (2026)

LeanAgent: Lifelong Learning for Formal Theorem Proving
von: Kumarappan, Adarsh, et al.
Veröffentlicht: (2024)

Minimal Model Reasoning in Description Logics: Don't Try This at Home!
von: Di Stefano, Federica, et al.
Veröffentlicht: (2025)

Spectra of Cardinality Queries over Description Logic Knowledge Bases
von: Manière, Quentin, et al.
Veröffentlicht: (2024)

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

Learning Chain Of Thoughts Prompts for Predicting Entities, Relations, and even Literals on Knowledge Graphs
von: Baci, Alkid, et al.
Veröffentlicht: (2026)

Parameter Averaging in Link Prediction
von: Sapkota, Rupesh, et al.
Veröffentlicht: (2025)