A new default theories compilation for MSP-entailment (Q989883): Difference between revisions

@@ Property / cites work @@
+Using OBDDs to handle dynamic constraints
@@ Property / cites work: Using OBDDs to handle dynamic constraints / rank @@
+Normal rank
@@ Property / cites work @@
+Decomposable negation normal form
@@ Property / cites work: Decomposable negation normal form / rank @@
+Normal rank
@@ Property / cites work @@
+Q4784837
@@ Property / cites work: Q4784837 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4411139
@@ Property / cites work: Q4411139 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4039980
@@ Property / cites work: Q4039980 / rank @@
+Normal rank
@@ Property / cites work @@
+Nonmonotonic reasoning, preferential models and cumulative logics
+Normal rank
@@ Property / cites work @@
+Q2752126
@@ Property / cites work: Q2752126 / 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 @@
+What does a conditional knowledge base entail?
@@ Property / cites work: What does a conditional knowledge base entail? / rank @@
+Normal rank
@@ Property / cites work @@
+Q4246972
@@ Property / cites work: Q4246972 / rank @@
+Normal rank
@@ Property / cites work @@
+Alternative foundations for Reiter's default logic
+Normal rank
@@ Property / cites work @@
+Circumscription - a form of non-monotonic reasoning
+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 @@
+A logic for default reasoning
@@ Property / cites work: A logic for default reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+On the specificity of a possibility distribution
@@ Property / cites work: On the specificity of a possibility distribution / rank @@
+Normal rank
@@ Property / cites work @@
+Fuzzy sets as a basis for a theory of possibility
@@ Property / cites work: Fuzzy sets as a basis for a theory of possibility / rank @@
+Normal rank