Introduces the first SAT encodings for Pareto- and completion-optimal repairs under general priority relations and evaluates multiple procedures for computing answers under AR, IAR, and brave semantics.
• Let us extend ν by setting ν(x⃗ a) = true and ν(x⃗ a′) = false for every ⃗ a′ ∈ PotAns such that ⃗ a̸= ⃗ a′
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.LO 1years
2022 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Querying Inconsistent Prioritized Data with ORBITS: Algorithms, Implementation, and Experiments
Introduces the first SAT encodings for Pareto- and completion-optimal repairs under general priority relations and evaluates multiple procedures for computing answers under AR, IAR, and brave semantics.