On the consistency of defeasible databases (Q1190793): Difference between revisions

@@ Property / cites work @@
+Q5599801
@@ Property / cites work: Q5599801 / rank @@
+Normal rank
@@ Property / cites work @@
+The logic of conditionals. An application of probability to deductive logic
+Normal rank
@@ Property / cites work @@
+Q4085699
@@ Property / cites work: Q4085699 / rank @@
+Normal rank
@@ Property / cites work @@
+An approach to default reasoning based on a first-order conditional logic: Revised report
+Normal rank
@@ Property / cites work @@
+Linear-time algorithms for testing the satisfiability of propositional horn formulae
+Normal rank
@@ Property / cites work @@
+Q3107917
@@ Property / cites work: Q3107917 / rank @@
+Normal rank
@@ Property / cites work @@
+Nonmonotonic reasoning, preferential models and cumulative logics
+Normal rank
@@ Property / cites work @@
+Q3493328
@@ Property / cites work: Q3493328 / rank @@
+Normal rank
@@ Property / cites work @@
+Erratum to: ``What does a conditional knowledge base entail?''
+Normal rank
@@ Property / cites work @@
+Q3481677
@@ Property / cites work: Q3481677 / 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 @@
+Q3992826
@@ Property / cites work: Q3992826 / rank @@
+Normal rank