An epistemic operator for description logics (Q1128772): Difference between revisions

@@ Property / cites work @@
+On the relative expressiveness of description logics and predicate logics
+Normal rank
@@ Property / cites work @@
+Q3750100
@@ Property / cites work: Q3750100 / rank @@
+Normal rank
@@ Property / cites work @@
+A refined architecture for terminological systems: Terminology = Schema + Views
+Normal rank
@@ Property / cites work @@
+Q4386924
@@ Property / cites work: Q4386924 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4264772
@@ Property / cites work: Q4264772 / rank @@
+Normal rank
@@ Property / cites work @@
+The Taming of the Cut. Classical Refutations with Analytic Cut
+Normal rank
@@ Property / cites work @@
+The complexity of concept languages
@@ Property / cites work: The complexity of concept languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q4012243
@@ Property / cites work: Q4012243 / rank @@
+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 @@
+Deduction in Concept Languages: from Subsumption to Instance Checking
+Normal rank
@@ Property / cites work @@
+Ground Nonmonotonic Modal Logics
@@ Property / cites work: Ground Nonmonotonic Modal Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3703315
@@ Property / cites work: Q3703315 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3970695
@@ Property / cites work: Q3970695 / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of a functional approach to knowledge representation
+Normal rank
@@ Property / cites work @@
+Minimal belief and negation as failure
@@ Property / cites work: Minimal belief and negation as failure / rank @@
+Normal rank
@@ Property / cites work @@
+A logic of knowledge and justified assumption
@@ Property / cites work: A logic of knowledge and justified assumption / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning and revision in hybrid representation systems
+Normal rank
@@ Property / cites work @@
+Terminological reasoning is inherently intractable
+Normal rank
@@ Property / cites work @@
+On intuitionistic query answering in description bases
+Normal rank
@@ Property / cites work @@
+Attributive concept descriptions with complements
@@ Property / cites work: Attributive concept descriptions with complements / rank @@
+Normal rank
@@ Property / cites work @@
+Logic and structure.
@@ Property / cites work: Logic and structure. / rank @@
+Normal rank
@@ Property / cites work @@
+The KL-ONE family
@@ Property / cites work: The KL-ONE family / rank @@
+Normal rank