Cumulative default logic: Finite characterization, algorithms, and complexity (Q1337685): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/0004-3702(94)90086-8
+Normal rank
@@ Property / OpenAlex ID @@
+W2004387901
@@ Property / OpenAlex ID: W2004387901 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q59259764
@@ Property / Wikidata QID: Q59259764 / rank @@
+Normal rank
@@ Property / cites work @@
+Cumulative default logic: In defense of nonmonotonic inference rules
+Normal rank
@@ Property / cites work @@
+Q4537442
@@ Property / cites work: Q4537442 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4282550
@@ Property / cites work: Q4282550 / rank @@
+Normal rank
@@ Property / cites work @@
+A survey of complexity results for non-monotonic logics
+Normal rank
@@ Property / cites work @@
+On the complexity of propositional knowledge base revision, updates, and counterfactuals
+Normal rank
@@ Property / cites work @@
+Propositional circumscription and extended closed-world reasoning are \(\Pi_ 2^ P\)-complete
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity Results for Nonmonotonic Logics
@@ Property / cites work: Complexity Results for Nonmonotonic Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Cumulative default logic: Finite characterization, algorithms, and complexity
+Normal rank
@@ Property / cites work @@
+Q4385525
@@ Property / cites work: Q4385525 / rank @@
+Normal rank
@@ Property / cites work @@
+On extensions of general default theories
@@ Property / cites work: On extensions of general default theories / 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 @@
+Q4028825
@@ Property / cites work: Q4028825 / rank @@
+Normal rank