The KL-ONE family (Q1202629): Difference between revisions

@@ Property / cites work @@
+Q4003161
@@ Property / cites work: Q4003161 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3888567
@@ Property / cites work: Q3888567 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4144815
@@ Property / cites work: Q4144815 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3928287
@@ Property / cites work: Q3928287 / rank @@
+Normal rank
@@ Property / cites work @@
+``Reducing'' classic to practice: Knowledge representation theory meets reality
+Normal rank
@@ Property / cites work @@
+Q3789105
@@ Property / cites work: Q3789105 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4013977
@@ Property / cites work: Q4013977 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4013984
@@ Property / cites work: Q4013984 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4488091
@@ Property / cites work: Q4488091 / rank @@
+Normal rank
@@ Property / cites work @@
+Computational complexity of terminological reasoning in BACK
+Normal rank
@@ Property / cites work @@
+Erratum to: A four valued semantics for terminological logics
+Normal rank
@@ Property / cites work @@
+Q3493312
@@ Property / cites work: Q3493312 / rank @@
+Normal rank
@@ Property / cites work @@
+Login: a logic programming language with built-in inheritance
+Normal rank
@@ Property / cites work @@
+Inheritance hierarchies: Semantics and unifications
+Normal rank
@@ Property / cites work @@
+Q3493318
@@ Property / cites work: Q3493318 / rank @@
+Normal rank
@@ Property / cites work @@
+Feature-constraint logics for unification grammars
+Normal rank
@@ Property / cites work @@
+Q4013976
@@ Property / cites work: Q4013976 / rank @@
+Normal rank
@@ Property / cites work @@
+A four-valued semantics for terminological logics
@@ Property / cites work: A four-valued semantics for terminological logics / rank @@
+Normal rank
@@ Property / cites work @@
+A syntactic theory of belief and action
@@ Property / cites work: A syntactic theory of belief and action / rank @@
+Normal rank