Operational concepts of nonmonotonic logics. I: Default logic (Q1333283): Difference between revisions

@@ Property / cites work @@
+Applying SLD-Resolution to a Class of Non-Horn Logic Programs
+Normal rank
@@ Property / cites work @@
+Q4692931
@@ Property / cites work: Q4692931 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3217641
@@ Property / cites work: Q3217641 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3995236
@@ Property / cites work: Q3995236 / rank @@
+Normal rank
@@ Property / cites work @@
+Cumulative default logic: In defense of nonmonotonic inference rules
+Normal rank
@@ Property / cites work @@
+A graph-theoretic approach to default logic
@@ Property / cites work: A graph-theoretic approach to default logic / rank @@
+Normal rank
@@ Property / cites work @@
+Formalizing nonmonotonic reasoning systems
@@ Property / cites work: Formalizing nonmonotonic reasoning systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4244306
@@ Property / cites work: Q4244306 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4028795
@@ Property / cites work: Q4028795 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3829532
@@ Property / cites work: Q3829532 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4202924
@@ Property / cites work: Q4202924 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4229041
@@ Property / cites work: Q4229041 / 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
@@ Property / cites work @@
+Q4003336
@@ Property / cites work: Q4003336 / rank @@
+Normal rank