Complexity and expressive power of deterministic semantics for DATALOG\(^ \neg\). (Q1854304): Difference between revisions

@@ Property / cites work @@
+The expressive power of unique total stable model semantics
+Normal rank
@@ Property / cites work @@
+On the unique satisfiability problem
@@ Property / cites work: On the unique satisfiability problem / rank @@
+Normal rank
@@ Property / cites work @@
+Structure and complexity of relational queries
@@ Property / cites work: Structure and complexity of relational queries / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of selecting maximal solutions
@@ Property / cites work: The complexity of selecting maximal solutions / rank @@
+Normal rank
@@ Property / cites work @@
+Q4058132
@@ Property / cites work: Q4058132 / rank @@
+Normal rank
@@ Property / cites work @@
+A kripke-kleene semantics for logic programs*
@@ Property / cites work: A kripke-kleene semantics for logic programs* / rank @@
+Normal rank
@@ Property / cites work @@
+``Possible is certain'' is desirable and can be expressive
+Normal rank
@@ Property / cites work @@
+Q4385525
@@ Property / cites work: Q4385525 / rank @@
+Normal rank
@@ Property / cites work @@
+Why not negation by fixpoint?
@@ Property / cites work: Why not negation by fixpoint? / rank @@
+Normal rank
@@ Property / cites work @@
+Logic programming semantics made easy
@@ Property / cites work: Logic programming semantics made easy / rank @@
+Normal rank
@@ Property / cites work @@
+Q3339245
@@ Property / cites work: Q3339245 / rank @@
+Normal rank
@@ Property / cites work @@
+Autoepistemic logic
@@ Property / cites work: Autoepistemic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4298260
@@ Property / cites work: Q4298260 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of facets (and some facets of complexity)
+Normal rank
@@ Property / cites work @@
+Q3486858
@@ Property / cites work: Q3486858 / rank @@
+Normal rank
@@ Property / cites work @@
+Multiple total stable models are definitely needed to solve unique solution problems
+Normal rank
@@ Property / cites work @@
+The expressive powers of stable models for bound and unbound DATALOG queries
+Normal rank
@@ Property / cites work @@
+Deterministic and non-deterministic stable models
@@ Property / cites work: Deterministic and non-deterministic stable models / rank @@
+Normal rank
@@ Property / cites work @@
+Q3869300
@@ Property / cites work: Q3869300 / rank @@
+Normal rank
@@ Property / cites work @@
+The well-founded semantics for general logic programs
+Normal rank