Lifschitz and Circumscription (Q2900534): Difference between revisions

@@ Property / cites work @@
+Nonmonotonic reasoning in the framework of situation calculus
+Normal rank
@@ Property / cites work @@
+Stable models and circumscription
@@ Property / cites work: Stable models and circumscription / rank @@
+Normal rank
@@ Property / cites work @@
+Q3486550
@@ Property / cites work: Q3486550 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4028811
@@ Property / cites work: Q4028811 / rank @@
+Normal rank
@@ Property / cites work @@
+On the logic of causal explanation
@@ Property / cites work: On the logic of causal explanation / rank @@
+Normal rank
@@ Property / cites work @@
+Circumscription - a form of non-monotonic reasoning
+Normal rank
@@ Property / cites work @@
+Semantical considerations on nonmonotonic logic
@@ Property / cites work: Semantical considerations on nonmonotonic logic / rank @@
+Normal rank