Copertina

Querying and Repairing Inconsistent Prioritized Knowledge Bases: Complexity Analysis and Links with Abstract Argumentation

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Bienvenu, Meghyn, Bourgaux, Camille
Natura:	Preprint
Pubblicazione:	2020
Soggetti:	Logic in Computer Science Artificial Intelligence Databases
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Inconsistency Handling in Prioritized Databases with Universal Constraints: Complexity Analysis and Links with Active Integrity Constraints
di: Bienvenu, Meghyn, et al.
Pubblicazione: (2023)

Querying Inconsistent Prioritized Data with ORBITS: Algorithms, Implementation, and Experiments
di: Bienvenu, Meghyn, et al.
Pubblicazione: (2022)

Cost-Based Semantics for Querying Inconsistent Weighted Knowledge Bases
di: Bienvenu, Meghyn, et al.
Pubblicazione: (2024)

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

A Rule-Based Approach to Specifying Preferences over Conflicting Facts and Querying Inconsistent Knowledge Bases
di: Bienvenu, Meghyn, et al.
Pubblicazione: (2025)

Inconsistency Handling in DatalogMTL
di: Bienvenu, Meghyn, et al.
Pubblicazione: (2025)

Queries With Exact Truth Values in Paraconsistent Description Logics
di: Bienvenu, Meghyn, et al.
Pubblicazione: (2024)

Semiring Provenance for Lightweight Description Logics
di: Bourgaux, Camille, et al.
Pubblicazione: (2023)

Rethinking Complex Queries on Knowledge Graphs with Neural Link Predictors
di: Yin, Hang, et al.
Pubblicazione: (2023)

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

Knowledge Base Embeddings: Semantics and Theoretical Properties
di: Bourgaux, Camille, et al.
Pubblicazione: (2024)

The Sticky Path to Expressive Querying: Decidability of Navigational Queries under Existential Rules
di: Ostropolski-Nalewaja, Piotr, et al.
Pubblicazione: (2024)

Analysing Temporal Reasoning in Description Logics Using Formal Grammars
di: Bourgaux, Camille, et al.
Pubblicazione: (2025)

Query Languages for Machine-Learning Models
di: Grohe, Martin
Pubblicazione: (2026)

Exploiting Uncertainty for Querying Inconsistent Description Logics Knowledge Bases
di: Zese, Riccardo, et al.
Pubblicazione: (2023)

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

Database Querying under Missing Values Governed by Missingness Mechanisms
di: Bertossi, Leopoldo, et al.
Pubblicazione: (2026)

Generating $SROI^-$ Ontologies via Knowledge Graph Query Embedding Learning
di: He, Yunjie, et al.
Pubblicazione: (2024)

From Shapes to Shapes: Inferring SHACL Shapes for Results of SPARQL CONSTRUCT Queries (Extended Version)
di: Seifer, Philipp, et al.
Pubblicazione: (2024)

Decidability of Querying First-Order Theories via Countermodels of Finite Width
di: Feller, Thomas, et al.
Pubblicazione: (2023)

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

Shapley Revisited: Tractable Responsibility Measures for Query Answers
di: Bienvenu, Meghyn, et al.
Pubblicazione: (2025)

Shapley Value Computation in Ontology-Mediated Query Answering
di: Bienvenu, Meghyn, et al.
Pubblicazione: (2024)

How Hard is it to Decide if a Fact is Relevant to a Query?
di: Bienvenu, Meghyn, et al.
Pubblicazione: (2026)

Dialogue-based Explanations for Logical Reasoning using Structured Argumentation
di: Ho, Loan, et al.
Pubblicazione: (2025)

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

Database Research needs an Abstract Relational Query Language
di: Gatterbauer, Wolfgang, et al.
Pubblicazione: (2025)

Sufficient Explanations in Databases and their Connections to Database Repairs
di: Bertossi, Leopoldo, et al.
Pubblicazione: (2025)

A Horn extension of DL-Lite with NL data complexity
di: Arpasi, Janos, et al.
Pubblicazione: (2026)

The Common Core Ontologies
di: Jensen, Mark, et al.
Pubblicazione: (2024)

A semantic approach to mapping the Provenance Ontology to Basic Formal Ontology
di: Prudhomme, Tim, et al.
Pubblicazione: (2024)

Recursive querying of neural networks via weighted structures
di: Grohe, Martin, et al.
Pubblicazione: (2026)

Middle Architecture Criteria
di: Beverley, John, et al.
Pubblicazione: (2024)

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

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

Data Complexity of Querying Description Logic Knowledge Bases under Cost-Based Semantics
di: Bienvenu, Meghyn, et al.
Pubblicazione: (2025)

Logical Foundations and Complexity of 4QL, a Query Language with Unrestricted Negation
di: Maluszynski, Jan, et al.
Pubblicazione: (2010)

On the Complexity of the Grounded Semantics for Infinite Argumentation Frameworks
di: Andrews, Uri, et al.
Pubblicazione: (2025)

Optimally Rewriting Formulas and Database Queries: A Confluence of Term Rewriting, Structural Decomposition, and Complexity
di: Chen, Hubie, et al.
Pubblicazione: (2024)

Advancing Spatial Reasoning in Large Language Models: An In-Depth Evaluation and Enhancement Using the StepGame Benchmark
di: Li, Fangjun, et al.
Pubblicazione: (2024)