On the equivalence of upward and downward inheritance reasoners (Q1924737): Difference between revisions

@@ Property / describes a project that uses @@
+Eiffel
@@ Property / describes a project that uses: Eiffel / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q3493303
@@ Property / cites work: Q3493303 / rank @@
+Normal rank
@@ Property / cites work @@
+A skeptical theory of inheritance in nonmonotonic semantic networks
+Normal rank
@@ Property / cites work @@
+Q3998221
@@ Property / cites work: Q3998221 / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of nonmonotonic inheritance based on annotated logic
+Normal rank
@@ Property / cites work @@
+Q3200591
@@ Property / cites work: Q3200591 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4713940
@@ Property / cites work: Q4713940 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3200595
@@ Property / cites work: Q3200595 / rank @@
+Normal rank
@@ Property / cites work @@
+Resolving ambiguity in nonmonotonic inheritance hierarchies
+Normal rank
@@ Property / cites work @@
+Q3829538
@@ Property / cites work: Q3829538 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992826
@@ Property / cites work: Q3992826 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bf01534457
+Normal rank
@@ Property / OpenAlex ID @@
+W2035126360
@@ Property / OpenAlex ID: W2035126360 / rank @@
+Normal rank