Bottom-up evaluation and query optimization of well-founded models (Q673130): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692876
@@ Property / cites work: Q4692876 / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient bottom-up computation of queries on stratified databases
+Normal rank
@@ Property / cites work @@
+A generalization of the differential approach to recursive query evaluation
+Normal rank
@@ Property / cites work @@
+Q4694697
@@ Property / cites work: Q4694697 / rank @@
+Normal rank
@@ Property / cites work @@
+Strict completion of logic programs
@@ Property / cites work: Strict completion of logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4199578
@@ Property / cites work: Q4199578 / rank @@
+Normal rank
@@ Property / cites work @@
+The expressive power of stratified logic programs
@@ Property / cites work: The expressive power of stratified logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Safe computation of the well-founded semantics of datalog queries
+Normal rank
@@ Property / cites work @@
+Q3339245
@@ Property / cites work: Q3339245 / rank @@
+Normal rank
@@ Property / cites work @@
+Argument reduction by factoring
@@ Property / cites work: Argument reduction by factoring / rank @@
+Normal rank
@@ Property / cites work @@
+Q3348437
@@ Property / cites work: Q3348437 / rank @@
+Normal rank
@@ Property / cites work @@
+A procedural semantics for well-founded negation in logic programs
+Normal rank
@@ Property / cites work @@
+Q3746920
@@ Property / cites work: Q3746920 / rank @@
+Normal rank
@@ Property / cites work @@
+The Semantics of Predicate Logic as a Programming Language
+Normal rank
@@ Property / cites work @@
+Q3348436
@@ Property / cites work: Q3348436 / rank @@
+Normal rank
@@ Property / cites work @@
+The well-founded semantics for general logic programs
+Normal rank
@@ Property / cites work @@
+Tight, consistent, and computable completions for unrestricted logic programs
+Normal rank