The Complexity of Reasoning for Fragments of Default Logic (Q3637157): 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/978-3-642-02777-2_7
+Normal rank
@@ Property / OpenAlex ID @@
+W2898424779
@@ Property / OpenAlex ID: W2898424779 / rank @@
+Normal rank
@@ Property / cites work @@
+Yet some more complexity results for default logic
+Normal rank
@@ Property / cites work @@
+The complexity of propositional implication
@@ Property / cites work: The complexity of propositional implication / rank @@
+Normal rank
@@ Property / cites work @@
+Sequent calculi for propositional nonmonotonic logics
+Normal rank
@@ Property / cites work @@
+Complexity of Default Logic on Generalized Conjunctive Queries
+Normal rank
@@ Property / cites work @@
+Complexity Results for Nonmonotonic Logics
@@ Property / cites work: Complexity Results for Nonmonotonic Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Translating default logic into standard autoepistemic logic
+Normal rank
@@ Property / cites work @@
+On the relation between default and autoepistemic logic
+Normal rank
@@ Property / cites work @@
+Hard problems for simple default logics
@@ Property / cites work: Hard problems for simple default logics / rank @@
+Normal rank
@@ Property / cites work @@
+Satisfiability problems for propositional calculi
@@ Property / cites work: Satisfiability problems for propositional calculi / rank @@
+Normal rank
@@ Property / cites work @@
+Circumscription - a form of non-monotonic reasoning
+Normal rank
@@ Property / cites work @@
+Q4273952
@@ Property / cites work: Q4273952 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4298260
@@ Property / cites work: Q4298260 / 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 @@
+Reductions on NP and p-selective sets
@@ Property / cites work: Reductions on NP and p-selective sets / rank @@
+Normal rank