Only knowing with degrees of confidence (Q2372201): Difference between revisions

@@ Property / cites work @@
+Q4530456
@@ Property / cites work: Q4530456 / rank @@
+Normal rank
@@ Property / cites work @@
+Expressing preferences in default logic
@@ Property / cites work: Expressing preferences in default logic / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Programming and Nonmonotonic Reasoning
@@ Property / cites work: Logic Programming and Nonmonotonic Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Term-modal logics
@@ Property / cites work: Term-modal logics / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity Results for Nonmonotonic Logics
@@ Property / cites work: Complexity Results for Nonmonotonic Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Levesque's axiomatization of only knowing is incomplete
+Normal rank
@@ Property / cites work @@
+Q4180316
@@ Property / cites work: Q4180316 / rank @@
+Normal rank
@@ Property / cites work @@
+All I know: A study in autoepistemic logic
@@ Property / cites work: All I know: A study in autoepistemic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Logics in Artificial Intelligence
@@ Property / cites work: Logics in Artificial Intelligence / rank @@
+Normal rank
@@ Property / cites work @@
+A logic for default reasoning
@@ Property / cites work: A logic for default reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+On the decidability and complexity of reasoning about only knowing
+Normal rank
@@ Property / cites work @@
+A sound and complete tableau calculus for reasoning about only knowing and knowing at most
+Normal rank
@@ Property / cites work @@
+Q4938884
@@ Property / cites work: Q4938884 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5483017
@@ Property / cites work: Q5483017 / rank @@
+Normal rank