Simplified forms of computerized reasoning with distance semantics (Q545150): Difference between revisions

@@ Property / cites work @@
+Answer sets for consistent query answering in inconsistent databases
+Normal rank
@@ Property / cites work @@
+Distance-based paraconsistent logics
@@ Property / cites work: Distance-based paraconsistent logics / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning with prioritized information by iterative aggregation of distance functions
+Normal rank
@@ Property / cites work @@
+Distance semantics for database repair
@@ Property / cites work: Distance semantics for database repair / rank @@
+Normal rank
@@ Property / cites work @@
+Voting by Committees
@@ Property / cites work: Voting by Committees / rank @@
+Normal rank
@@ Property / cites work @@
+Multiset theory
@@ Property / cites work: Multiset theory / rank @@
+Normal rank
@@ Property / cites work @@
+Resolution for Max-SAT
@@ Property / cites work: Resolution for Max-SAT / rank @@
+Normal rank
@@ Property / cites work @@
+Q4329185
@@ Property / cites work: Q4329185 / rank @@
+Normal rank
@@ Property / cites work @@
+Minimal-change integrity maintenance using tuple deletions
+Normal rank
@@ Property / cites work @@
+A sphere world semantics for default reasoning
@@ Property / cites work: A sphere world semantics for default reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Disjunctive merging: quota and Gmin merging operators
+Normal rank
@@ Property / cites work @@
+Implementing semantic merging operators using binary decision diagrams
+Normal rank
@@ Property / cites work @@
+Two modellings for theory change
@@ Property / cites work: Two modellings for theory change / rank @@
+Normal rank
@@ Property / cites work @@
+Error Detecting and Error Correcting Codes
@@ Property / cites work: Error Detecting and Error Correcting Codes / rank @@
+Normal rank
@@ Property / cites work @@
+Q3624109
@@ Property / cites work: Q3624109 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4375770
@@ Property / cites work: Q4375770 / rank @@
+Normal rank
@@ Property / cites work @@
+Measuring inconsistency
@@ Property / cites work: Measuring inconsistency / rank @@
+Normal rank
@@ Property / cites work @@
+\(\text{DA}^2\) merging operators
@@ Property / cites work: \(\text{DA}^2\) merging operators / rank @@
+Normal rank
@@ Property / cites work @@
+Merging Information Under Constraints: A Logical Framework
+Normal rank
@@ Property / cites work @@
+Q4787406
@@ Property / cites work: Q4787406 / rank @@
+Normal rank
@@ Property / cites work @@
+Another perspective on default reasoning
@@ Property / cites work: Another perspective on default reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Distance semantics for belief revision
@@ Property / cites work: Distance semantics for belief revision / rank @@
+Normal rank
@@ Property / cites work @@
+Q2768759
@@ Property / cites work: Q2768759 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4246802
@@ Property / cites work: Q4246802 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4298260
@@ Property / cites work: Q4298260 / rank @@
+Normal rank
@@ Property / cites work @@
+MaxSolver: An efficient exact algorithm for (weighted) maximum satisfiability
+Normal rank