Dual forgetting operators in the context of weakest sufficient and strongest necessary conditions (Q6152662): Difference between revisions

@@ Property / cites work @@
+Q4864249
@@ Property / cites work: Q4864249 / rank @@
+Normal rank
@@ Property / cites work @@
+On the logic of theory change: Partial meet contraction and revision functions
+Normal rank
@@ Property / cites work @@
+Q4430391
@@ Property / cites work: Q4430391 / rank @@
+Normal rank
@@ Property / cites work @@
+On the strength and scope of DLS
@@ Property / cites work: On the strength and scope of DLS / rank @@
+Normal rank
@@ Property / cites work @@
+Logic and structure
@@ Property / cites work: Logic and structure / rank @@
+Normal rank
@@ Property / cites work @@
+A Knowledge Level Account of Forgetting
@@ Property / cites work: A Knowledge Level Account of Forgetting / rank @@
+Normal rank
@@ Property / cites work @@
+Introspective forgetting
@@ Property / cites work: Introspective forgetting / rank @@
+Normal rank
@@ Property / cites work @@
+Computing circumscription revisited: A reduction algorithm
+Normal rank
@@ Property / cites work @@
+Q4264098
@@ Property / cites work: Q4264098 / rank @@
+Normal rank
@@ Property / cites work @@
+Forgetting in multi-agent modal logics
@@ Property / cites work: Forgetting in multi-agent modal logics / rank @@
+Normal rank
@@ Property / cites work @@
+Knowledge forgetting in propositional \(\mu\)-calculus
+Normal rank
@@ Property / cites work @@
+AGM 25 years. Twenty-five years of research in belief change
+Normal rank
@@ Property / cites work @@
+Q3543581
@@ Property / cites work: Q3543581 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5707890
@@ Property / cites work: Q5707890 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4411161
@@ Property / cites work: Q4411161 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning under inconsistency: a forgetting-based approach
+Normal rank
@@ Property / cites work @@
+Solving logic program conflict through strong and weak forgettings
+Normal rank