Exploiting conjunctive queries in description logic programs (Q1028641): Difference between revisions

@@ Property / DOI @@
-.1007/s10472-009-9111-3
@@ Property / DOI: 10.1007/s10472-009-9111-3 / rank @@
-Normal rank
@@ Property / Wikidata QID @@
+Q57549137
@@ Property / Wikidata QID: Q57549137 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4406531
@@ Property / cites work: Q4406531 / rank @@
+Normal rank
@@ Property / cites work @@
+Combining answer set programming with description logics for the semantic web
+Normal rank
@@ Property / cites work @@
+Logic for Programming, Artificial Intelligence, and Reasoning
+Normal rank
@@ Property / cites work @@
+Logics in Artificial Intelligence
@@ Property / cites work: Logics in Artificial Intelligence / rank @@
+Normal rank
@@ Property / cites work @@
+Q3624113
@@ Property / cites work: Q3624113 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4539653
@@ Property / cites work: Q4539653 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4938424
@@ Property / cites work: Q4938424 / rank @@
+Normal rank
@@ Property / cites work @@
+On the expressibility of stable logic programming
@@ Property / cites work: On the expressibility of stable logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Autoepistemic logic
@@ Property / cites work: Autoepistemic logic / rank @@
+Normal rank
@@ Property / cites work @@
+A Comparison of Reasoning Techniques for Querying Large Description Logic ABoxes
+Normal rank
@@ Property / cites work @@
+Q2751358
@@ Property / cites work: Q2751358 / rank @@
+Normal rank
@@ Property / cites work @@
+Data complexity of query answering in expressive description logics via tableaux
+Normal rank
@@ Property / cites work @@
+Partial deduction in disjunctive logic programming
+Normal rank
@@ Property / DBLP publication ID @@
+journals/amai/EiterIKS08
@@ Property / DBLP publication ID: journals/amai/EiterIKS08 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S10472-009-9111-3
@@ Property / DOI: 10.1007/S10472-009-9111-3 / rank @@
+Normal rank