Magic sets for disjunctive Datalog programs (Q1761296): Difference between revisions

@@ Property / describes a project that uses @@
+Gringo
@@ Property / describes a project that uses: Gringo / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ASSAT
@@ Property / describes a project that uses: ASSAT / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+OpenRuleBench
@@ Property / describes a project that uses: OpenRuleBench / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Datalog
@@ Property / describes a project that uses: Datalog / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2034521022
@@ Property / OpenAlex ID: W2034521022 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.6346
@@ Property / arXiv ID: 1204.6346 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4864249
@@ Property / cites work: Q4864249 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4473260
@@ Property / cites work: Q4473260 / rank @@
+Normal rank
@@ Property / cites work @@
+Answer sets for consistent query answering in inconsistent databases
+Normal rank
@@ Property / cites work @@
+Hyper tableaux
@@ Property / cites work: Hyper tableaux / rank @@
+Normal rank
@@ Property / cites work @@
+On the power of magic
@@ Property / cites work: On the power of magic / rank @@
+Normal rank
@@ Property / cites work @@
+Inconsistency Tolerance
@@ Property / cites work: Inconsistency Tolerance / rank @@
+Normal rank
@@ Property / cites work @@
+Minimal-change integrity maintenance using tuple deletions
+Normal rank
@@ Property / cites work @@
+Logic Programming
@@ Property / cites work: Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Magic Sets and their application to data integration
+Normal rank
@@ Property / cites work @@
+Database Theory - ICDT 2005
@@ Property / cites work: Database Theory - ICDT 2005 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4736524
@@ Property / cites work: Q4736524 / rank @@
+Normal rank
@@ Property / cites work @@
+The pushdown method to optimize chain logic programs
+Normal rank
@@ Property / cites work @@
+Reasoning in description logics by a reduction to disjunctive datalog
+Normal rank
@@ Property / cites work @@
+Unfolding partiality and disjunctions in stable model semantics
+Normal rank
@@ Property / cites work @@
+Bottom-up evaluation and query optimization of well-founded models
+Normal rank
@@ Property / cites work @@
+Logic Programming
@@ Property / cites work: Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+The DLV system for knowledge representation and reasoning
+Normal rank
@@ Property / cites work @@
+Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation
+Normal rank
@@ Property / cites work @@
+What is answer set programming to propositional satisfiability
+Normal rank
@@ Property / cites work @@
+ASSAT: computing answer sets of a logic program by SAT solvers
+Normal rank
@@ Property / cites work @@
+Q4016556
@@ Property / cites work: Q4016556 / rank @@
+Normal rank
@@ Property / cites work @@
+On the complexity of regular-grammars with integer attributes
+Normal rank
@@ Property / cites work @@
+Q3477931
@@ Property / cites work: Q3477931 / rank @@
+Normal rank
@@ Property / cites work @@
+A Comparison of Reasoning Techniques for Querying Large Description Logic ABoxes
+Normal rank
@@ Property / cites work @@
+Logical query optimization by proof-tree transformation
+Normal rank
@@ Property / cites work @@
+Team-building with answer set programming in the Gioia-Tauro seaport
+Normal rank
@@ Property / cites work @@
+Modular stratification and magic sets for Datalog programs with negation
+Normal rank
@@ Property / cites work @@
+Extending and implementing the stable model semantics
+Normal rank
@@ Property / cites work @@
+Q3348436
@@ Property / cites work: Q3348436 / rank @@
+Normal rank