Buchumschlag

Using ASP(Q) to Handle Inconsistent Prioritized Data

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Bienvenu, Meghyn, Bourgaux, Camille, Jean, Robin, Mazzotta, Giuseppe
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Logic in Computer Science Artificial Intelligence Databases
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

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

Querying Inconsistent Prioritized Data with ORBITS: Algorithms, Implementation, and Experiments
von: Bienvenu, Meghyn, et al.
Veröffentlicht: (2022)

Querying and Repairing Inconsistent Prioritized Knowledge Bases: Complexity Analysis and Links with Abstract Argumentation
von: Bienvenu, Meghyn, et al.
Veröffentlicht: (2020)

Inconsistency Handling in DatalogMTL
von: Bienvenu, Meghyn, et al.
Veröffentlicht: (2025)

Cost-Based Semantics for Querying Inconsistent Weighted Knowledge Bases
von: Bienvenu, Meghyn, et al.
Veröffentlicht: (2024)

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

Using ASP(Q) to Handle Inconsistent Prioritized Data
von: Bienvenu, Meghyn, et al.
Veröffentlicht: (2026)

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

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

Abductive Reasoning in a Paraconsistent Framework
von: Bienvenu, Meghyn, et al.
Veröffentlicht: (2024)

2-ASP(Q) programs with weak constraints: Complexity and efficient implementation
von: Cuteri, Andrea, et al.
Veröffentlicht: (2026)

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

Knowledge Base Embeddings: Semantics and Theoretical Properties
von: Bourgaux, Camille, 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)

A Variable Occurrence-Centric Framework for Inconsistency Handling (Extended Version)
von: Salhi, Yakoub
Veröffentlicht: (2024)

Improving ASP-based ORS Schedules through Machine Learning Predictions
von: Bruno, Pierangela, et al.
Veröffentlicht: (2025)

Rule Rewriting Revisited: A Fresh Look at Static Filtering for Datalog and ASP
von: Hanisch, Philipp, et al.
Veröffentlicht: (2026)

Database Querying under Missing Values Governed by Missingness Mechanisms
von: Bertossi, Leopoldo, et al.
Veröffentlicht: (2026)

A Horn extension of DL-Lite with NL data complexity
von: Arpasi, Janos, et al.
Veröffentlicht: (2026)

Reconciling Consistency-Based Diagnosis with Actual-Causality-Based Explanations
von: Bertossi, Leopoldo
Veröffentlicht: (2026)

Query Languages for Machine-Learning Models
von: Grohe, Martin
Veröffentlicht: (2026)

Recursive querying of neural networks via weighted structures
von: Grohe, Martin, et al.
Veröffentlicht: (2026)

From Shapes to Shapes: Inferring SHACL Shapes for Results of SPARQL CONSTRUCT Queries (Extended Version)
von: Seifer, Philipp, et al.
Veröffentlicht: (2024)

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

The Common Core Ontologies
von: Jensen, Mark, et al.
Veröffentlicht: (2024)

A semantic approach to mapping the Provenance Ontology to Basic Formal Ontology
von: Prudhomme, Tim, et al.
Veröffentlicht: (2024)

Middle Architecture Criteria
von: Beverley, John, et al.
Veröffentlicht: (2024)

Enumerating Minimal Unsatisfiable Cores of LTLf formulas
von: Ielo, Antonio, et al.
Veröffentlicht: (2024)

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

Decidability of Querying First-Order Theories via Countermodels of Finite Width
von: Feller, Thomas, et al.
Veröffentlicht: (2023)

An ASP-Based Framework for MUSes
von: Kabir, Mohimenul, et al.
Veröffentlicht: (2025)

Towards Mass Spectrum Analysis with ASP
von: Küchenmeister, Nils, et al.
Veröffentlicht: (2025)

Direct Encoding of Declare Constraints in ASP
von: Chiariello, Francesco, et al.
Veröffentlicht: (2024)

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

How Hard is it to Decide if a Fact is Relevant to a Query?
von: Bienvenu, Meghyn, et al.
Veröffentlicht: (2026)

Shapley Revisited: Tractable Responsibility Measures for Query Answers
von: Bienvenu, Meghyn, et al.
Veröffentlicht: (2025)

Shapley Value Computation in Ontology-Mediated Query Answering
von: Bienvenu, Meghyn, et al.
Veröffentlicht: (2024)

Diminution: On Reducing the Size of Grounding ASP Programs
von: Yang, HuanYu, et al.
Veröffentlicht: (2025)

FLINGO -- Instilling ASP Expressiveness into Linear Integer Constraints
von: Fandinno, Jorge, et al.
Veröffentlicht: (2026)

An ASP-based Solution to the Medical Appointment Scheduling Problem
von: Vozna, Alina, et al.
Veröffentlicht: (2026)