A sphere world semantics for default reasoning (Q5101449): Difference between revisions

@@ Property / cites work @@
+On the logic of theory change: Partial meet contraction and revision functions
+Normal rank
@@ Property / cites work @@
+Q3039305
@@ Property / cites work: Q3039305 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692931
@@ Property / cites work: Q4692931 / rank @@
+Normal rank
@@ Property / cites work @@
+General logical databases and programs: Default logic semantics and stratification
+Normal rank
@@ Property / cites work @@
+Negation by default and unstratifiable logic programs
+Normal rank
@@ Property / cites work @@
+Unifying default reasoning and belief revision in a modal framework
+Normal rank
@@ Property / cites work @@
+Conditional logics of normality: A modal approach
@@ Property / cites work: Conditional logics of normality: A modal approach / rank @@
+Normal rank
@@ Property / cites work @@
+Q3995236
@@ Property / cites work: Q3995236 / rank @@
+Normal rank
@@ Property / cites work @@
+Formalizing nonmonotonic reasoning systems
@@ Property / cites work: Formalizing nonmonotonic reasoning systems / rank @@
+Normal rank
@@ Property / cites work @@
+Nonmonotonic inference based on expectations
@@ Property / cites work: Nonmonotonic inference based on expectations / rank @@
+Normal rank
@@ Property / cites work @@
+Q3107917
@@ Property / cites work: Q3107917 / rank @@
+Normal rank
@@ Property / cites work @@
+Two modellings for theory change
@@ Property / cites work: Two modellings for theory change / rank @@
+Normal rank
@@ Property / cites work @@
+Q3829532
@@ Property / cites work: Q3829532 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4260400
@@ Property / cites work: Q4260400 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4273952
@@ Property / cites work: Q4273952 / rank @@
+Normal rank
@@ Property / cites work @@
+A logical framework for default reasoning
@@ Property / cites work: A logical framework for default reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+A logic for default reasoning
@@ Property / cites work: A logic for default reasoning / rank @@
+Normal rank