Nonmonotonic reasoning, preferential models and cumulative logics (Q1174512): Difference between revisions

@@ Property / cites work @@
+Q5599801
@@ Property / cites work: Q5599801 / rank @@
+Normal rank
@@ Property / cites work @@
+Simple consequence relations
@@ Property / cites work: Simple consequence relations / rank @@
+Normal rank
@@ Property / cites work @@
+Quick completeness proofs for some logics of conditionals
+Normal rank
@@ Property / cites work @@
+A first-order conditional logic for prototypical properties
+Normal rank
@@ Property / cites work @@
+An approach to default reasoning based on a first-order conditional logic: Revised report
+Normal rank
@@ Property / cites work @@
+Q3703316
@@ Property / cites work: Q3703316 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5610986
@@ Property / cites work: Q5610986 / rank @@
+Normal rank
@@ Property / cites work @@
+Counterfactuals
@@ Property / cites work: Counterfactuals / rank @@
+Normal rank
@@ Property / cites work @@
+Q3703315
@@ Property / cites work: Q3703315 / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatic basis for computer programming
@@ Property / cites work: An axiomatic basis for computer programming / 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 @@
+Completeness and decidability of three logics of counterfactual conditionals<sup>1</sup>
+Normal rank
@@ Property / cites work @@
+Intensional logics without iterative axioms
@@ Property / cites work: Intensional logics without iterative axioms / rank @@
+Normal rank
@@ Property / cites work @@
+On the satisfiability of circumscription
@@ Property / cites work: On the satisfiability of circumscription / rank @@
+Normal rank
@@ Property / cites work @@
+Q3829532
@@ Property / cites work: Q3829532 / rank @@
+Normal rank
@@ Property / cites work @@
+Circumscription - a form of non-monotonic reasoning
+Normal rank
@@ Property / cites work @@
+Non-monotonic logic. I
@@ Property / cites work: Non-monotonic logic. I / rank @@
+Normal rank
@@ Property / cites work @@
+Q4343988
@@ Property / cites work: Q4343988 / 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 @@
+Q3240239
@@ Property / cites work: Q3240239 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992826
@@ Property / cites work: Q3992826 / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of conditional logic
@@ Property / cites work: Foundations of conditional logic / rank @@
+Normal rank