Restricted semantics for default reasoning (Q1757453): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10472-018-9592-z
+Normal rank
@@ Property / OpenAlex ID @@
+W2809625647
@@ Property / OpenAlex ID: W2809625647 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4888321
@@ Property / cites work: Q4888321 / rank @@
+Normal rank
@@ Property / cites work @@
+The value of the four values
@@ Property / cites work: The value of the four values / rank @@
+Normal rank
@@ Property / cites work @@
+Q4472206
@@ Property / cites work: Q4472206 / rank @@
+Normal rank
@@ Property / cites work @@
+Reducing Preferential Paraconsistent Reasoning to Classical Entailment
+Normal rank
@@ Property / cites work @@
+Q4132493
@@ Property / cites work: Q4132493 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3858244
@@ Property / cites work: Q3858244 / rank @@
+Normal rank
@@ Property / cites work @@
+A simple signed system for paraconsistent reasoning
+Normal rank
@@ Property / cites work @@
+A Default Logic Patch for Default Logic
@@ Property / cites work: A Default Logic Patch for Default Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Cumulative default logic: In defense of nonmonotonic inference rules
+Normal rank
@@ Property / cites work @@
+Semi-stable semantics
@@ Property / cites work: Semi-stable semantics / rank @@
+Normal rank
@@ Property / cites work @@
+On the theory of inconsistent formal systems
@@ Property / cites work: On the theory of inconsistent formal systems / rank @@
+Normal rank
@@ Property / cites work @@
+Uniform semantic treatment of default and autoepistemic logics
+Normal rank
@@ Property / cites work @@
+Complexity Results for Nonmonotonic Logics
@@ Property / cites work: Complexity Results for Nonmonotonic Logics / rank @@
+Normal rank
@@ Property / cites work @@
+A Fault-Tolerant Default Logic
@@ Property / cites work: A Fault-Tolerant Default Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Default theories that always have extensions
@@ Property / cites work: Default theories that always have extensions / rank @@
+Normal rank
@@ Property / cites work @@
+Q4028819
@@ Property / cites work: Q4028819 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4298363
@@ Property / cites work: Q4298363 / rank @@
+Normal rank
@@ Property / cites work @@
+A logic for default reasoning
@@ Property / cites work: A logic for default reasoning / rank @@
+Normal rank