Minimal model generation with positive unit hyper-resolution tableaux (Q4645233): Difference between revisions

@@ Property / cites work @@
+On the duality of abduction and model generation in a framework for model generation with equality
+Normal rank
@@ Property / cites work @@
+Q4863622
@@ Property / cites work: Q4863622 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4264729
@@ Property / cites work: Q4264729 / rank @@
+Normal rank
@@ Property / cites work @@
+Controlled integration of the cut rule into connection tableau calculi
+Normal rank
@@ Property / cites work @@
+Q3821629
@@ Property / cites work: Q3821629 / rank @@
+Normal rank
@@ Property / cites work @@
+Tableaux and sequent calculus for minimal entailment
+Normal rank
@@ Property / cites work @@
+An improved proof procedure1
@@ Property / cites work: An improved proof procedure1 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5541351
@@ Property / cites work: Q5541351 / rank @@
+Normal rank
@@ Property / cites work @@
+First-order syntactic characterizations of minimal entailment, domain- minimal entailment, and Herbrand entailment
+Normal rank
@@ Property / cites work @@
+Ordered model trees: A normal form for disjunctive deductive databases
+Normal rank