Copertina

Using ASP(Q) to Handle Inconsistent Prioritized Data

Fuente: Zenodo

Salvato in:

Dettagli Bibliografici
Autori principali:	Bienvenu, Meghyn, Bourgaux, Camille, Jean, Robin, Mazzotta, Giuseppe
Natura:	Recurso digital
Pubblicazione:	Zenodo 2026
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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)

Querying and Repairing Inconsistent Prioritized Knowledge Bases: Complexity Analysis and Links with Abstract Argumentation
di: Bienvenu, Meghyn, et al.
Pubblicazione: (2020)

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

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

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

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

2-ASP(Q) programs with weak constraints: Complexity and efficient implementation
di: Cuteri, Andrea, et al.
Pubblicazione: (2026)

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

ASPEN: ASP-Based System for Collective Entity Resolution
di: Xiang, Zhiliang, 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)

Responsibility Measures for Conjunctive Queries with Negation
di: Bienvenu, Meghyn, et al.
Pubblicazione: (2026)

Abductive Reasoning in a Paraconsistent Framework
di: Bienvenu, Meghyn, 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)

Tractable Responsibility Measures for Ontology-Mediated Query Answering
di: Bienvenu, Meghyn, et al.
Pubblicazione: (2025)

When is Shapley Value Computation a Matter of Counting?
di: Bienvenu, Meghyn, et al.
Pubblicazione: (2023)

Unit Testing in ASP Revisited: Language and Test-Driven Development Environment
di: Amendola, Giovanni, et al.
Pubblicazione: (2024)

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

Inferring High-Level Events from Timestamped Data: Complexity and Medical Applications
di: Awuklu, Yvon K., et al.
Pubblicazione: (2026)

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

Comparison of SAT-based and ASP-based Algorithms for Inconsistency Measurement
di: Kuhlmann, Isabelle, et al.
Pubblicazione: (2023)

Advances in Logic-Based Entity Resolution: Enhancing ASPEN with Local Merges and Optimality Criteria
di: Xiang, Zhliang, et al.
Pubblicazione: (2025)

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

A Variable Occurrence-Centric Framework for Inconsistency Handling (Extended Version)
di: Salhi, Yakoub
Pubblicazione: (2024)

Inconsistent Ontology Handling by Translating Description Logics into Defeasible Logic Programming
di: Sergio Alejandro Gómez
Pubblicazione: (2007)

Drought response of zoysiagrass with varying leaf texture under progressive deficit irrigation
di: Meghyn Meeks, et al.
Pubblicazione: (2024)

Quantifying over Optimum Answer Sets
di: Mazzotta, Giuseppe, et al.
Pubblicazione: (2024)

A branching process with coalescence to model random phylogenetic networks
di: Bienvenu, François, et al.
Pubblicazione: (2022)

BLAST: Benchmarking LLMs with ASP-based Structured Testing
di: Santana, Manuel Alejandro Borroto, et al.
Pubblicazione: (2026)

Set-theoretical solutions to the pentagon equation: a survey
di: Mazzotta, Marzia
Pubblicazione: (2023)

Derecho A La Ciudad Y Conflictos Urbanos. La Ocupación Del Parque Indoamericano
di: Lucía Mazzotta
Pubblicazione: (2015)

Mathematically tractable models of random phylogenetic networks: an overview of some recent developments
di: Bienvenu, François
Pubblicazione: (2024)

Prioritized Soft Q-Decomposition for Lexicographic Reinforcement Learning
di: Rietz, Finn, et al.
Pubblicazione: (2023)

Improving ASP-based ORS Schedules through Machine Learning Predictions
di: Bruno, Pierangela, et al.
Pubblicazione: (2025)

SharpASP Artifact
di: Mohimenul, Kabir, et al.
Pubblicazione: (2026)

SharpASP Artifact
di: Mohimenul, Kabir, et al.
Pubblicazione: (2025)

A retrospective cohort study and review of the literature about germline mosaicism in Duchenne/Becker muscular dystrophy prenatal counseling: How to estimate the recurrence risk in clinical settings?
di: Camille Verebi, et al.
Pubblicazione: (2024)

Enumerating Minimal Unsatisfiable Cores of LTLf formulas
di: Ielo, Antonio, et al.
Pubblicazione: (2024)