Restricted default theories: expressive power and outlier detection tasks (Q483301): 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.1016/j.tcs.2014.11.010
+Normal rank
@@ Property / OpenAlex ID @@
+W1994969449
@@ Property / OpenAlex ID: W1994969449 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4864249
@@ Property / cites work: Q4864249 / rank @@
+Normal rank
@@ Property / cites work @@
+Computational properties of metaquerying problems
@@ Property / cites work: Computational properties of metaquerying problems / rank @@
+Normal rank
@@ Property / cites work @@
+Outlier detection using default reasoning
@@ Property / cites work: Outlier detection using default reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Outlier detection for simple default theories
@@ Property / cites work: Outlier detection for simple default theories / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional semantics for disjunctive logic programs
+Normal rank
@@ Property / cites work @@
+Yet some more complexity results for default logic
+Normal rank
@@ Property / cites work @@
+Metaqueries: Semantics, complexity, and efficient algorithms
+Normal rank
@@ Property / cites work @@
+Proof complexity of propositional default logic
@@ Property / cites work: Proof complexity of propositional default logic / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of reasoning for fragments of default logic
+Normal rank
@@ Property / cites work @@
+Q4850061
@@ Property / cites work: Q4850061 / 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 @@
+Q4385525
@@ Property / cites work: Q4385525 / rank @@
+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 @@
+On the Parameterized Complexity of Default Logic and Autoepistemic Logic
+Normal rank
@@ Property / cites work @@
+Q2734929
@@ Property / cites work: Q2734929 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4298260
@@ Property / cites work: Q4298260 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4224292
@@ Property / cites work: Q4224292 / 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 @@
+Q2755109
@@ Property / cites work: Q2755109 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4713941
@@ Property / cites work: Q4713941 / rank @@
+Normal rank