Contracting intuitionistic theories (Q813088): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/s11225-005-8475-6
+Normal rank
@@ Property / OpenAlex ID @@
+W1973803728
@@ Property / OpenAlex ID: W1973803728 / rank @@
+Normal rank
@@ Property / cites work @@
+On the logic of theory change: Partial meet contraction and revision functions
+Normal rank
@@ Property / cites work @@
+On the logic of theory change: safe contraction
@@ Property / cites work: On the logic of theory change: safe contraction / rank @@
+Normal rank
@@ Property / cites work @@
+AI 2003: Advances in Artificial Intelligence
@@ Property / cites work: AI 2003: Advances in Artificial Intelligence / rank @@
+Normal rank
@@ Property / cites work @@
+Theory contraction through base contraction
@@ Property / cites work: Theory contraction through base contraction / rank @@
+Normal rank
@@ Property / cites work @@
+On probabilistic representation of non-probabilistic belief revision
+Normal rank
@@ Property / cites work @@
+Q4260397
@@ Property / cites work: Q4260397 / rank @@
+Normal rank
@@ Property / cites work @@
+Controlled Revision - An algorithmic approach for belief revision
+Normal rank
@@ Property / cites work @@
+Theory-Contraction is NP-Complete
@@ Property / cites work: Theory-Contraction is NP-Complete / rank @@
+Normal rank