Prototypes in a hybrid language with primitive descriptions (Q1202670): Difference between revisions

@@ Property / cites work @@
+Defeasible inheritance: A lattice based approach
@@ Property / cites work: Defeasible inheritance: A lattice based approach / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692608
@@ Property / cites work: Q4692608 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning and revision in hybrid representation systems
+Normal rank
@@ Property / cites work @@
+Q3493312
@@ Property / cites work: Q3493312 / rank @@
+Normal rank
@@ Property / cites work @@
+Interpreting network formalisms
@@ Property / cites work: Interpreting network formalisms / rank @@
+Normal rank
@@ Property / cites work @@
+Terminological reasoning is inherently intractable
+Normal rank
@@ Property / cites work @@
+An epistemic operator for description logics
@@ Property / cites work: An epistemic operator for description logics / rank @@
+Normal rank
@@ Property / cites work @@
+New axioms for the contrast model of similarity
@@ Property / cites work: New axioms for the contrast model of similarity / rank @@
+Normal rank