The F-logic approach for description languages (Q1924824): Difference between revisions

@@ Property / describes a project that uses @@
+HiLog
@@ Property / describes a project that uses: HiLog / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+HiLog: A foundation for higher-order logic programming
+Normal rank
@@ Property / cites work @@
+Logical foundations of object-oriented and frame-based languages
+Normal rank
@@ Property / cites work @@
+Q5740435
@@ Property / cites work: Q5740435 / rank @@
+Normal rank
@@ Property / cites work @@
+Computational complexity of terminological reasoning in BACK
+Normal rank
@@ Property / cites work @@
+Q3493313
@@ Property / cites work: Q3493313 / rank @@
+Normal rank
@@ Property / cites work @@
+Terminological reasoning is inherently intractable
+Normal rank
@@ Property / cites work @@
+Q4244312
@@ Property / cites work: Q4244312 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3493318
@@ Property / cites work: Q3493318 / 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 @@
+The KL-ONE family
@@ Property / cites work: The KL-ONE family / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1924824