On intuitionistic query answering in description bases (Q5210783): Difference between revisions

@@ Property / cites work @@
+Q4003161
@@ Property / cites work: Q4003161 / 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 @@
+Q3743300
@@ Property / cites work: Q3743300 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994895
@@ Property / cites work: Q3994895 / rank @@
+Normal rank
@@ Property / cites work @@
+The Alexander Method - a technique for the processing of recursive axioms in deductive databases
+Normal rank
@@ Property / cites work @@
+Foundations of a functional approach to knowledge representation
+Normal rank
@@ Property / cites work @@
+Q3992908
@@ Property / cites work: Q3992908 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning and revision in hybrid representation systems
+Normal rank
@@ Property / cites work @@
+On the declarative and procedural semantics of logic programs
+Normal rank
@@ Property / cites work @@
+Q4244312
@@ Property / cites work: Q4244312 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3969890
@@ Property / cites work: Q3969890 / rank @@
+Normal rank