Image de couverture de livre

Reconciling Consistency-Based Diagnosis with Actual-Causality-Based Explanations

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Bertossi, Leopoldo
Format:	Preprint
Publié:	2026
Sujets:	Artificial Intelligence Databases Logic in Computer Science
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Sufficient Explanations in Databases and their Connections to Database Repairs
par: Bertossi, Leopoldo, et autres
Publié: (2025)

Database Querying under Missing Values Governed by Missingness Mechanisms
par: Bertossi, Leopoldo, et autres
Publié: (2026)

Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents
par: Lyon, Tim S., et autres
Publié: (2024)

Causality-Based Scores Alignment in Explainable Data Management
par: Azua, Felipe, et autres
Publié: (2025)

Cost-Based Semantics for Querying Inconsistent Weighted Knowledge Bases
par: Bienvenu, Meghyn, et autres
Publié: (2024)

A Rule-Based Approach to Specifying Preferences over Conflicting Facts and Querying Inconsistent Knowledge Bases
par: Bienvenu, Meghyn, et autres
Publié: (2025)

Querying and Repairing Inconsistent Prioritized Knowledge Bases: Complexity Analysis and Links with Abstract Argumentation
par: Bienvenu, Meghyn, et autres
Publié: (2020)

Queries With Exact Truth Values in Paraconsistent Description Logics
par: Bienvenu, Meghyn, et autres
Publié: (2024)

The Causal-Effect Score in Data Management
par: Azua, Felipe, et autres
Publié: (2025)

Dialogue-based Explanations for Logical Reasoning using Structured Argumentation
par: Ho, Loan, et autres
Publié: (2025)

A Horn extension of DL-Lite with NL data complexity
par: Arpasi, Janos, et autres
Publié: (2026)

Query Languages for Machine-Learning Models
par: Grohe, Martin
Publié: (2026)

Recursive querying of neural networks via weighted structures
par: Grohe, Martin, et autres
Publié: (2026)

Using ASP(Q) to Handle Inconsistent Prioritized Data
par: Bienvenu, Meghyn, et autres
Publié: (2026)

From Shapes to Shapes: Inferring SHACL Shapes for Results of SPARQL CONSTRUCT Queries (Extended Version)
par: Seifer, Philipp, et autres
Publié: (2024)

Semiring Provenance for Lightweight Description Logics
par: Bourgaux, Camille, et autres
Publié: (2023)

The Sticky Path to Expressive Querying: Decidability of Navigational Queries under Existential Rules
par: Ostropolski-Nalewaja, Piotr, et autres
Publié: (2024)

The Common Core Ontologies
par: Jensen, Mark, et autres
Publié: (2024)

Inconsistency Handling in DatalogMTL
par: Bienvenu, Meghyn, et autres
Publié: (2025)

Inconsistency Handling in Prioritized Databases with Universal Constraints: Complexity Analysis and Links with Active Integrity Constraints
par: Bienvenu, Meghyn, et autres
Publié: (2023)

A semantic approach to mapping the Provenance Ontology to Basic Formal Ontology
par: Prudhomme, Tim, et autres
Publié: (2024)

Querying Inconsistent Prioritized Data with ORBITS: Algorithms, Implementation, and Experiments
par: Bienvenu, Meghyn, et autres
Publié: (2022)

Middle Architecture Criteria
par: Beverley, John, et autres
Publié: (2024)

Decidability of Querying First-Order Theories via Countermodels of Finite Width
par: Feller, Thomas, et autres
Publié: (2023)

Advancing Spatial Reasoning in Large Language Models: An In-Depth Evaluation and Enhancement Using the StepGame Benchmark
par: Li, Fangjun, et autres
Publié: (2024)

Expressive Power of Deep Homomorphism Networks over Relational Databases
par: Schönherr, Moritz, et autres
Publié: (2026)

SpotIt+: Verification-based Text-to-SQL Evaluation with Database Constraints
par: Tremante, Andrew, et autres
Publié: (2026)

Generating $SROI^-$ Ontologies via Knowledge Graph Query Embedding Learning
par: He, Yunjie, et autres
Publié: (2024)

Rethinking Complex Queries on Knowledge Graphs with Neural Link Predictors
par: Yin, Hang, et autres
Publié: (2023)

Increasing the LLM Accuracy for Question Answering: Ontologies to the Rescue!
par: Allemang, Dean, et autres
Publié: (2024)

Towards Fast Algorithms for the Preference Consistency Problem Based on Hierarchical Models
par: George, Anne-Marie, et autres
Publié: (2024)

On Trustworthy Rule-Based Models and Explanations
par: Siala, Mohamed, et autres
Publié: (2025)

A Simple Algorithm for Consistent Query Answering under Primary Keys
par: Figueira, Diego, et autres
Publié: (2023)

Efficient Temporal Datalog Materialisation for Composite Event Recognition
par: Mantenoglou, Periklis
Publié: (2026)

Dynamic Logic of Trust-Based Beliefs
par: Jiang, Junli, et autres
Publié: (2025)

Counterfactual Explanations as Plans
par: Belle, Vaishak
Publié: (2025)

CFGs: Causality Constrained Counterfactual Explanations using goal-directed ASP
par: Dasgupta, Sopam, et autres
Publié: (2024)

Information Science Principles of Machine Learning: A Causal Chain Meta-Framework Based on Formalized Information Mapping
par: Xu, Jianfeng
Publié: (2025)

CoGS: Causality Constrained Counterfactual Explanations using goal-directed ASP
par: Dasgupta, Sopam, et autres
Publié: (2024)

On Probabilistic and Causal Reasoning with Summation Operators
par: Ibeling, Duligur, et autres
Publié: (2024)