Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues (Q4911144): Difference between revisions

@@ Property / author @@
-Marco Manna
@@ Property / author: Marco Manna / rank @@
-Normal rank
@@ Property / author @@
+Marco Manna
@@ Property / author: Marco Manna / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.2316
@@ Property / arXiv ID: 1210.2316 / rank @@
+Normal rank
@@ Property / cites work @@
+Conjunctive query containment revisited
@@ Property / cites work: Conjunctive query containment revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Tractable reasoning and efficient query answering in description logics: The DL-Lite family
+Normal rank
@@ Property / cites work @@
+Testing containment of conjunctive queries under functional and inclusion dependencies
+Normal rank
@@ Property / cites work @@
+On the Restraining Power of Guards
@@ Property / cites work: On the Restraining Power of Guards / rank @@
+Normal rank
@@ Property / cites work @@
+Stable models and circumscription
@@ Property / cites work: Stable models and circumscription / rank @@
+Normal rank
@@ Property / cites work @@
+Data exchange: semantics and query answering
@@ Property / cites work: Data exchange: semantics and query answering / rank @@
+Normal rank
@@ Property / cites work @@
+Modal languages and bounded fragments of predicate logic
+Normal rank
@@ Property / cites work @@
+A logic programming approach to knowledge-state planning
+Normal rank
@@ Property / OpenAlex ID @@
+W2044118198
@@ Property / OpenAlex ID: W2044118198 / rank @@
+Normal rank