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

@@ Property / describes a project that uses @@
+KAON2
@@ Property / describes a project that uses: KAON2 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-540-75256-1_72
+Normal rank
@@ Property / OpenAlex ID @@
+W1636943114
@@ Property / OpenAlex ID: W1636943114 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:3524995