The complexity of finite model reasoning in description logics (Q2486582): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.ic.2004.11.002
+Normal rank
@@ Property / OpenAlex ID @@
+W2080057244
@@ Property / OpenAlex ID: W2080057244 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4406531
@@ Property / cites work: Q4406531 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4737212
@@ Property / cites work: Q4737212 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4400805
@@ Property / cites work: Q4400805 / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomial-time implication problems for unary inclusion dependencies
+Normal rank
@@ Property / cites work @@
+Propositional dynamic logic of regular programs
@@ Property / cites work: Propositional dynamic logic of regular programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q2767029
@@ Property / cites work: Q2767029 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Deduction – CADE-19
@@ Property / cites work: Automated Deduction – CADE-19 / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity Results for First-Order Two-Variable Logic with Counting
+Normal rank
@@ Property / cites work @@
+On the complexity of integer programming
@@ Property / cites work: On the complexity of integer programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q4012244
@@ Property / cites work: Q4012244 / rank @@
+Normal rank
@@ Property / cites work @@
+Attributive concept descriptions with complements
@@ Property / cites work: Attributive concept descriptions with complements / rank @@
+Normal rank
@@ Property / cites work @@
+Q3818127
@@ Property / cites work: Q3818127 / rank @@
+Normal rank
@@ Property / cites work @@
+The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse
+Normal rank
@@ Property / cites work @@
+Q4219045
@@ Property / cites work: Q4219045 / rank @@
+Normal rank