pith. sign in

A Proofs for Section 3 Proposition 1.K ≻ |=G brave q(⃗ a)iffΠG brave is coherent

Prioritized repairing, consistent query answering in relational databases · 2012

1 Pith paper cite this work. Polarity classification is still indexing.

1 Pith paper citing it
browse 1 citing papers

fields

cs.LO 1

years

2026 1

verdicts

UNVERDICTED 1

representative citing papers

Using ASP(Q) to Handle Inconsistent Prioritized Data

cs.LO · 2026-04-23 · unverdicted · novelty 6.0

ASP(Q) encodings enable the first implementations of globally-optimal repair semantics and a tractable grounded under-approximation for inconsistency-tolerant querying of prioritized data, with complexity in the polynomial hierarchy and supporting experiments.

citing papers explorer

Showing 1 of 1 citing paper.

  • Using ASP(Q) to Handle Inconsistent Prioritized Data cs.LO · 2026-04-23 · unverdicted · none · ref 4

    ASP(Q) encodings enable the first implementations of globally-optimal repair semantics and a tractable grounded under-approximation for inconsistency-tolerant querying of prioritized data, with complexity in the polynomial hierarchy and supporting experiments.