Combining Horn rules and description logics in CARIN (Q1274681): Difference between revisions

@@ Property / cites work @@
+Q4287474
@@ Property / cites work: Q4287474 / rank @@
+Normal rank
@@ Property / cites work @@
+Cardinality restrictions on concepts
@@ Property / cites work: Cardinality restrictions on concepts / rank @@
+Normal rank
@@ Property / cites work @@
+Q4256516
@@ Property / cites work: Q4256516 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4386924
@@ Property / cites work: Q4386924 / rank @@
+Normal rank
@@ Property / cites work @@
+A resolution principle for constrained logics
@@ Property / cites work: A resolution principle for constrained logics / rank @@
+Normal rank
@@ Property / cites work @@
+Trends in artificial intelligence. 2nd congress of the Italian Association for Artificial Intelligence, AI*IA, Palermo, Italy; October 29-31, 1991. Proceedings
+Normal rank
@@ Property / cites work @@
+Q4028788
@@ Property / cites work: Q4028788 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4028805
@@ Property / cites work: Q4028805 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of knowledge bases based on containment checking
+Normal rank
@@ Property / cites work @@
+Q3477931
@@ Property / cites work: Q3477931 / 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 @@
+Feature-constraint logics for unification grammars
+Normal rank
@@ Property / cites work @@
+The implication and finite implication problems for typed template dependencies
+Normal rank