Trichotomies in the complexity of minimal inference (Q692908): Difference between revisions

@@ Property / cites work @@
+Bases for Boolean co-clones
@@ Property / cites work: Bases for Boolean co-clones / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of model checking for circumscriptive formulae
+Normal rank
@@ Property / cites work @@
+The complexity of propositional closed world reasoning and circumscription
+Normal rank
@@ Property / cites work @@
+The complexity of selecting maximal solutions
@@ Property / cites work: The complexity of selecting maximal solutions / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity Classifications of Boolean Constraint Satisfaction Problems
+Normal rank
@@ Property / cites work @@
+Characterizing diagnoses and systems
@@ Property / cites work: Characterizing diagnoses and systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4418672
@@ Property / cites work: Q4418672 / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional circumscription and extended closed-world reasoning are \(\Pi_ 2^ P\)-complete
+Normal rank
@@ Property / cites work @@
+Closed systems of functions and predicates
@@ Property / cites work: Closed systems of functions and predicates / rank @@
+Normal rank
@@ Property / cites work @@
+On the relationship between circumscription and negation as failure
+Normal rank
@@ Property / cites work @@
+Closure properties of constraints
@@ Property / cites work: Closure properties of constraints / rank @@
+Normal rank
@@ Property / cites work @@
+On the Complexity of Some Enumeration Problems for Matroids
+Normal rank
@@ Property / cites work @@
+Q4799291
@@ Property / cites work: Q4799291 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of minimal satisfiability problems
@@ Property / cites work: The complexity of minimal satisfiability problems / rank @@
+Normal rank
@@ Property / cites work @@
+A dichotomy in the complexity of propositional circumscription
+Normal rank
@@ Property / cites work @@
+Circumscription - a form of non-monotonic reasoning
+Normal rank
@@ Property / cites work @@
+Logic for Programming, Artificial Intelligence, and Reasoning
+Normal rank
@@ Property / cites work @@
+Q4354427
@@ Property / cites work: Q4354427 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4662458
@@ Property / cites work: Q4662458 / rank @@
+Normal rank
@@ Property / cites work @@
+The Two-Valued Iterative Systems of Mathematical Logic. (AM-5)
+Normal rank
@@ Property / cites work @@
+Graph minors. XIII: The disjoint paths problem
@@ Property / cites work: Graph minors. XIII: The disjoint paths problem / rank @@
+Normal rank
@@ Property / cites work @@
+The algebras of partial functions and their invariants
+Normal rank
@@ Property / cites work @@
+The complexity of satisfiability problems
@@ Property / cites work: The complexity of satisfiability problems / rank @@
+Normal rank
@@ Property / cites work @@
+Partial Polymorphisms and Constraint Satisfaction Problems
+Normal rank
@@ Property / cites work @@
+The Complexity of Circumscriptive Inference in Post’s Lattice
+Normal rank
@@ Property / cites work @@
+Q4904137
@@ Property / cites work: Q4904137 / rank @@
+Normal rank