Compiling propositional weighted bases (Q814606): Difference between revisions

@@ Property / cites work @@
+A two-phase exact algorithm for MAX-SAT and weighted MAX-SAT problems
+Normal rank
@@ Property / cites work @@
+The size of a revised knowledge base
@@ Property / cites work: The size of a revised knowledge base / rank @@
+Normal rank
@@ Property / cites work @@
+Q4506459
@@ Property / cites work: Q4506459 / rank @@
+Normal rank
@@ Property / cites work @@
+Preprocessing of intractable problems
@@ Property / cites work: Preprocessing of intractable problems / rank @@
+Normal rank
@@ Property / cites work @@
+Is intractability of nonmonotonic reasoning a real drawback?
+Normal rank
@@ Property / cites work @@
+On compact representations of propositional circumscription
+Normal rank
@@ Property / cites work @@
+Nonmonotonic reasoning: From complexity to algorithms
+Normal rank
@@ Property / cites work @@
+Decomposable negation normal form
@@ Property / cites work: Decomposable negation normal form / rank @@
+Normal rank
@@ Property / cites work @@
+On the Tractable Counting of Theory Models and its Application to Truth Maintenance and Belief Revision
+Normal rank
@@ Property / cites work @@
+Q4411139
@@ Property / cites work: Q4411139 / rank @@
+Normal rank
@@ Property / cites work @@
+Tree clustering for constraint networks
@@ Property / cites work: Tree clustering for constraint networks / rank @@
+Normal rank
@@ Property / cites work @@
+Default reasoning from conditional knowledge bases: Complexity and tractable cases
+Normal rank
@@ Property / cites work @@
+Algorithms for the maximum satisfiability problem
@@ Property / cites work: Algorithms for the maximum satisfiability problem / rank @@
+Normal rank
@@ Property / cites work @@
+Q2752123
@@ Property / cites work: Q2752123 / rank @@
+Normal rank
@@ Property / cites work @@
+Monotonic reductions, representative equivalence, and compilation of intractable problems
+Normal rank
@@ Property / cites work @@
+Reducing belief revision to circumscription (and vice versa)
+Normal rank
@@ Property / cites work @@
+Note about cardinality-based circumscription
@@ Property / cites work: Note about cardinality-based circumscription / rank @@
+Normal rank
@@ Property / cites work @@
+Q4236365
@@ Property / cites work: Q4236365 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4298260
@@ Property / cites work: Q4298260 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4012254
@@ Property / cites work: Q4012254 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning, nonmonotonicity and learning in connectionist networks that capture propositional knowledge
+Normal rank
@@ Property / cites work @@
+A theory of diagnosis from first principles
@@ Property / cites work: A theory of diagnosis from first principles / rank @@
+Normal rank
@@ Property / cites work @@
+Knowledge compilation and theory approximation
@@ Property / cites work: Knowledge compilation and theory approximation / rank @@
+Normal rank
@@ Property / cites work @@
+Q3762226
@@ Property / cites work: Q3762226 / rank @@
+Normal rank