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

@@ 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