Extending Description Logics with Uncertainty Reasoning in Possibilistic Logic (Q3524995): Difference between revisions

@@ Property / cites work @@
+Q4406531
@@ Property / cites work: Q4406531 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning with partially ordered information in a possibilistic logic framework
+Normal rank
@@ Property / cites work @@
+Epistemic entrenchment and possibilistic logic
@@ Property / cites work: Epistemic entrenchment and possibilistic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4236386
@@ Property / cites work: Q4236386 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4708909
@@ Property / cites work: Q4708909 / rank @@
+Normal rank
@@ Property / cites work @@
+An alternative proof method for possibilistic logic and its application to terminological logics
+Normal rank
@@ Property / cites work @@
+A tableau decision procedure for \(\mathcal{SHOIQ}\)
+Normal rank
@@ Property / cites work @@
+On languages with two variables
@@ Property / cites work: On languages with two variables / rank @@
+Normal rank
@@ Property / cites work @@
+Q3624094
@@ Property / cites work: Q3624094 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2717787
@@ Property / cites work: Q2717787 / rank @@
+Normal rank