Computing minimal models by partial instantiation (Q672131): Difference between revisions

@@ Property / cites work @@
+Mixed integer programming methods for computing nonmonotonic deductive databases
+Normal rank
@@ Property / cites work @@
+Extended Horn sets in propositional logic
@@ Property / cites work: Extended Horn sets in propositional logic / rank @@
+Normal rank
@@ Property / cites work @@
+The Specialization of Programs by Theorem Proving
@@ Property / cites work: The Specialization of Programs by Theorem Proving / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized closed world assumption is \(\Pi ^ 0_ 2\)-complete
+Normal rank
@@ Property / cites work @@
+Disjunctive \(LP+\) integrity constraints = stable model semantics.
+Normal rank
@@ Property / cites work @@
+Solving propositional satisfiability problems
@@ Property / cites work: Solving propositional satisfiability problems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3789064
@@ Property / cites work: Q3789064 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3339245
@@ Property / cites work: Q3339245 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4391449
@@ Property / cites work: Q4391449 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5600875
@@ Property / cites work: Q5600875 / rank @@
+Normal rank
@@ Property / cites work @@
+The relationship between stable, supported, default and autoepistemic semantics for general logic programs
+Normal rank
@@ Property / cites work @@
+An Efficient Unification Algorithm
@@ Property / cites work: An Efficient Unification Algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+Computing circumscriptive databases
@@ Property / cites work: Computing circumscriptive databases / rank @@
+Normal rank
@@ Property / cites work @@
+Q4846259
@@ Property / cites work: Q4846259 / rank @@
+Normal rank