Computational methods for database repair by signed formulae (Q2502158): Difference between revisions

@@ Property / describes a project that uses @@
+QuBE++
@@ Property / describes a project that uses: QuBE++ / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+QUBOS
@@ Property / describes a project that uses: QUBOS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+semprop
@@ Property / describes a project that uses: semprop / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+LUPS
@@ Property / describes a project that uses: LUPS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Chaff
@@ Property / describes a project that uses: Chaff / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10472-005-9012-z
+Normal rank
@@ Property / OpenAlex ID @@
+W2015200168
@@ Property / OpenAlex ID: W2015200168 / rank @@
+Normal rank
@@ Property / cites work @@
+On the logic of theory change: Partial meet contraction and revision functions
+Normal rank
@@ Property / cites work @@
+LUPS -- A language for updating logic programs
@@ Property / cites work: LUPS -- A language for updating logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Answer sets for consistent query answering in inconsistent databases
+Normal rank
@@ Property / cites work @@
+Q4472206
@@ Property / cites work: Q4472206 / rank @@
+Normal rank
@@ Property / cites work @@
+Reducing Preferential Paraconsistent Reasoning to Classical Entailment
+Normal rank
@@ Property / cites work @@
+Foundations of Information and Knowledge Systems
@@ Property / cites work: Foundations of Information and Knowledge Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q5715664
@@ Property / cites work: Q5715664 / rank @@
+Normal rank
@@ Property / cites work @@
+Coherent Composition of Distributed Knowledge-Bases through Abduction
+Normal rank
@@ Property / cites work @@
+Q4427904
@@ Property / cites work: Q4427904 / rank @@
+Normal rank
@@ Property / cites work @@
+Possibilistic merging and distance-based fusion of propositional information
+Normal rank
@@ Property / cites work @@
+Q4472208
@@ Property / cites work: Q4472208 / rank @@
+Normal rank
@@ Property / cites work @@
+Signed systems for paraconsistent reasoning
@@ Property / cites work: Signed systems for paraconsistent reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Q4708928
@@ Property / cites work: Q4708928 / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic and Quantitative Approaches to Reasoning with Uncertainty
+Normal rank
@@ Property / cites work @@
+An algorithm to evaluate quantified Boolean formulae and its experimental evaluation
+Normal rank
@@ Property / cites work @@
+On the logic of iterated belief revision
@@ Property / cites work: On the logic of iterated belief revision / rank @@
+Normal rank
@@ Property / cites work @@
+Q4472210
@@ Property / cites work: Q4472210 / rank @@
+Normal rank
@@ Property / cites work @@
+Logics in Artificial Intelligence
@@ Property / cites work: Logics in Artificial Intelligence / rank @@
+Normal rank
@@ Property / cites work @@
+On Computing Belief Change Operations using Quantified Boolean Formulas
+Normal rank
@@ Property / cites work @@
+Census Data Repair: A Challenging Application of Disjunctive Logic Programming
+Normal rank
@@ Property / cites work @@
+Q4539620
@@ Property / cites work: Q4539620 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4736524
@@ Property / cites work: Q4736524 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2767028
@@ Property / cites work: Q2767028 / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional knowledge base revision and minimal change
+Normal rank
@@ Property / cites work @@
+Q4472213
@@ Property / cites work: Q4472213 / rank @@
+Normal rank
@@ Property / cites work @@
+A thorough axiomatization of a principle of conditional preservation in belief revision
+Normal rank
@@ Property / cites work @@
+Resolution for quantified Boolean formulas
@@ Property / cites work: Resolution for quantified Boolean formulas / rank @@
+Normal rank
@@ Property / cites work @@
+Merging Information Under Constraints: A Logical Framework
+Normal rank
@@ Property / cites work @@
+Q4412858
@@ Property / cites work: Q4412858 / rank @@
+Normal rank
@@ Property / cites work @@
+A survey of approaches to automatic schema matching
+Normal rank
@@ Property / cites work @@
+A polynomial time computable metric between points sets
+Normal rank
@@ Property / cites work @@
+An abductive framework for computing knowledge base updates
+Normal rank
@@ Property / cites work @@
+Information integration using logical views
@@ Property / cites work: Information integration using logical views / rank @@
+Normal rank
@@ Property / cites work @@
+Complete sets and the polynomial-time hierarchy
@@ Property / cites work: Complete sets and the polynomial-time hierarchy / rank @@
+Normal rank