An implementation of nonmonotonic reasoning with system W (Q6045090): Difference between revisions

@@ Property / cites work @@
+Skeptical Inference Based on C-Representations and Its Characterization as a Constraint Satisfaction Problem
+Normal rank
@@ Property / cites work @@
+Properties of skeptical c-inference for conditional knowledge bases and its realization as a constraint satisfaction problem
+Normal rank
@@ Property / cites work @@
+Properties and interrelationships of skeptical, weakly skeptical, and credulous inference induced by classes of minimal models
+Normal rank
@@ Property / cites work @@
+Normal forms of conditional knowledge bases respecting system P-entailments and signature renamings
+Normal rank
@@ Property / cites work @@
+Q5766989
@@ Property / cites work: Q5766989 / rank @@
+Normal rank
@@ Property / cites work @@
+Qualitative probabilities for default reasoning, belief revision, and causal modeling
+Normal rank
@@ Property / cites work @@
+Properties of system W and its relationships to other inductive inference operators
+Normal rank
@@ Property / cites work @@
+A thorough axiomatization of a principle of conditional preservation in belief revision
+Normal rank
@@ Property / cites work @@
+Conditionals in nonmonotonic reasoning and belief revision. Considering conditionals as agents
+Normal rank
@@ Property / cites work @@
+Nonmonotonic reasoning from conditional knowledge bases with system W
+Normal rank
@@ Property / cites work @@
+Nonmonotonic reasoning, preferential models and cumulative logics
+Normal rank
@@ Property / cites work @@
+Semantic classification of qualitative conditionals and calculating closures of nonmonotonic inference relations
+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 @@
+Q4518818
@@ Property / cites work: Q4518818 / rank @@
+Normal rank