The complexity of predicate default logic over a countable domain (Q1861328): Difference between revisions

@@ Property / cites work @@
+Q3773876
@@ Property / cites work: Q3773876 / rank @@
+Normal rank
@@ Property / cites work @@
+A comparative study of open default theories
@@ Property / cites work: A comparative study of open default theories / rank @@
+Normal rank
@@ Property / cites work @@
+Extensions for open default theories via the domain closure assumption
+Normal rank
@@ Property / cites work @@
+Closed-world databases and circumscription
@@ Property / cites work: Closed-world databases and circumscription / rank @@
+Normal rank
@@ Property / cites work @@
+Q5750390
@@ Property / cites work: Q5750390 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3486550
@@ Property / cites work: Q3486550 / rank @@
+Normal rank
@@ Property / cites work @@
+A logic of knowledge and justified assumption
@@ Property / cites work: A logic of knowledge and justified assumption / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of nonmonotonic rule systems I
@@ Property / cites work: A theory of nonmonotonic rule systems I / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of nonmonotonic rule systems. II
@@ Property / cites work: A theory of nonmonotonic rule systems. II / rank @@
+Normal rank
@@ Property / cites work @@
+Q4273952
@@ Property / cites work: Q4273952 / 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 @@
+A logic for default reasoning
@@ Property / cites work: A logic for default reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability and definability with circumscription
+Normal rank